Internally generated symbol table entry. More...

#include <symbol.h>

Inheritance diagram for auxiliary_symbolt:

Collaboration diagram for auxiliary_symbolt:

Public Member Functions
	auxiliary_symbolt ()

	auxiliary_symbolt (const irep_idt &name, const typet &type)

Public Member Functions inherited from symbolt
const irep_idt &	display_name () const
	Return language specific display name if present. More...

	symbolt ()

void	clear ()
	Zero initialise a symbol object. More...

void	swap (symbolt &b)
	Swap values between two symbols. More...

void	show (std::ostream &out) const
	Dump the state of a symbol object to a given output stream. More...

class symbol_exprt	symbol_expr () const
	Produces a symbol_exprt for a symbol. More...

bool	is_shared () const

bool	is_function () const

bool	is_compiled () const
	Returns true iff the the symbol's value has been compiled to a goto program. More...

void	set_compiled ()
	Set the symbol's value to "compiled"; to be used once the code-typed value has been converted to a goto program. More...

bool	is_well_formed () const
	Check that a symbol is well formed. More...

bool	operator== (const symbolt &other) const

bool	operator!= (const symbolt &other) const

Additional Inherited Members
Public Attributes inherited from symbolt
typet	type
	Type of symbol. More...

exprt	value
	Initial value of symbol. More...

source_locationt	location
	Source code location of definition of symbol. More...

irep_idt	name
	The unique identifier. More...

irep_idt	module
	Name of module the symbol belongs to. More...

irep_idt	base_name
	Base (non-scoped) name. More...

irep_idt	mode
	Language mode. More...

irep_idt	pretty_name
	Language-specific display name. More...

bool	is_type

bool	is_macro

bool	is_exported

bool	is_input

bool	is_output

bool	is_state_var

bool	is_property

bool	is_static_lifetime

bool	is_thread_local

bool	is_lvalue

bool	is_file_local

bool	is_extern

bool	is_volatile

bool	is_parameter

bool	is_auxiliary

bool	is_weak

Detailed Description

Internally generated symbol table entry.

This is a symbol generated as part of translation to or modification of the intermediate representation.

Definition at line 146 of file symbol.h.

Constructor & Destructor Documentation

auxiliary_symbolt::auxiliary_symbolt ( )

inline

Definition at line 149 of file symbol.h.

auxiliary_symbolt::auxiliary_symbolt	(	const irep_idt &	name,
		const typet &	type
	)

inline

Definition at line 158 of file symbol.h.

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