21 out <<
" " <<
name <<
'\n';
29 out <<
" static_lifetime";
31 out <<
" thread_local";
59 out <<
" mode=" <<
mode;
63 out <<
" module=" <<
module;
67 out <<
" location: " <<
location <<
'\n';
87 #define SYM_SWAP1(x) x.swap(b.x)
98 #define SYM_SWAP2(x) std::swap(x, b.x)
210 module == other.module &&
211 base_name == other.base_name &&
212 mode == other.mode &&
213 pretty_name == other.pretty_name &&
214 is_type == other.is_type &&
215 is_macro == other.is_macro &&
216 is_exported == other.is_exported &&
217 is_input == other.is_input &&
218 is_output == other.is_output &&
219 is_state_var == other.is_state_var &&
220 is_property == other.is_property &&
221 is_parameter == other.is_parameter &&
222 is_auxiliary == other.is_auxiliary &&
223 is_weak == other.is_weak &&
224 is_lvalue == other.is_lvalue &&
225 is_static_lifetime == other.is_static_lifetime &&
226 is_thread_local == other.is_thread_local &&
227 is_file_local == other.is_file_local &&
228 is_extern == other.is_extern &&
229 is_volatile == other.is_volatile;
235 return !(*
this == other);
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
std::string pretty(unsigned indent=0, unsigned max_indent=0) const
const irept & find(const irep_idt &name) const
Expression to hold a symbol (variable)
symbol_exprt & with_source_location(source_locationt location) &
Add the source location from location, if it is non-nil.
void swap(symbolt &b)
Swap values between two symbols.
bool operator==(const symbolt &other) const
void show(std::ostream &out) const
Dump the state of a symbol object to a given output stream.
bool is_well_formed() const
Check that a symbol is well formed.
source_locationt location
Source code location of definition of symbol.
class symbol_exprt symbol_expr() const
Produces a symbol_exprt for a symbol.
typet type
Type of symbol.
irep_idt name
The unique identifier.
irep_idt pretty_name
Language-specific display name.
irep_idt irep_idt base_name
Name of module the symbol belongs to.
bool operator!=(const symbolt &other) const
exprt value
Initial value of symbol.
irep_idt mode
Language mode.
const std::string & id2string(const irep_idt &d)
API to expression classes.
bool has_suffix(const std::string &s, const std::string &suffix)
std::ostream & operator<<(std::ostream &out, const symbolt &symbol)
Overload of stream operator to work with symbols.