Symbol table entry of function parameterThis is a symbol generated as part of type checking. More...

#include <symbol.h>

Inheritance diagram for parameter_symbolt:

Collaboration diagram for parameter_symbolt:

Public Member Functions
	parameter_symbolt ()

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

	symbolt ()

	symbolt (const irep_idt &_name, typet _type, const irep_idt &_mode)

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 = false

bool	is_macro = false

bool	is_exported = false

bool	is_input = false

bool	is_output = false

bool	is_state_var = false

bool	is_property = false

bool	is_static_lifetime = false

bool	is_thread_local = false

bool	is_lvalue = false

bool	is_file_local = false

bool	is_extern = false

bool	is_volatile = false

bool	is_parameter = false

bool	is_auxiliary = false

bool	is_weak = false

Detailed Description

Symbol table entry of function parameter

This is a symbol generated as part of type checking.

Definition at line 178 of file symbol.h.

Constructor & Destructor Documentation

parameter_symbolt::parameter_symbolt ( )

inline

Definition at line 181 of file symbol.h.

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