ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
symbol_id Class Reference

#include <symbol_id.h>

Public Member Functions

 symbol_id (const std::string &file, const std::string &clazz, const std::string &function)
 symbol_id ()=default
void set_object (const std::string &obj)
void set_attribute (const std::string &attr)
void set_class (const std::string &clazz)
void set_function (const std::string &func)
void set_prefix (const std::string &prefix)
void set_filename (const std::string &filename)
const std::string & get_prefix () const
const std::string & get_function () const
const std::string & get_class () const
const std::string & get_filename () const
const std::string & get_object () const
void clear ()
std::string to_string () const
std::string global_to_string () const

Static Public Member Functions

static symbol_id from_string (const std::string &str)

Constructor & Destructor Documentation

◆ symbol_id() [1/2]

symbol_id::symbol_id ( const std::string & file,
const std::string & clazz,
const std::string & function )

◆ symbol_id() [2/2]

symbol_id::symbol_id ( )
default

Member Function Documentation

◆ clear()

void symbol_id::clear ( )

◆ from_string()

symbol_id symbol_id::from_string ( const std::string & str)
static

◆ get_class()

const std::string & symbol_id::get_class ( ) const
inline

◆ get_filename()

const std::string & symbol_id::get_filename ( ) const
inline

◆ get_function()

const std::string & symbol_id::get_function ( ) const
inline

◆ get_object()

const std::string & symbol_id::get_object ( ) const
inline

◆ get_prefix()

const std::string & symbol_id::get_prefix ( ) const
inline

◆ global_to_string()

std::string symbol_id::global_to_string ( ) const

◆ set_attribute()

void symbol_id::set_attribute ( const std::string & attr)
inline

◆ set_class()

void symbol_id::set_class ( const std::string & clazz)
inline

◆ set_filename()

void symbol_id::set_filename ( const std::string & filename)
inline

◆ set_function()

void symbol_id::set_function ( const std::string & func)
inline

◆ set_object()

void symbol_id::set_object ( const std::string & obj)
inline

◆ set_prefix()

void symbol_id::set_prefix ( const std::string & prefix)
inline

◆ to_string()

std::string symbol_id::to_string ( ) const

The documentation for this class was generated from the following files: