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

	symbolt ()

void	clear ()

void	swap (symbolt &b)

void	show (std::ostream &out) const

irept	to_irep () const

void	from_irep (const irept &src)

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

bool	is_shared () const

bool	is_procedure_local () 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

Symbol table entry of function parameter

This is a symbol generated as part of type checking.

Definition at line 163 of file symbol.h.

Constructor & Destructor Documentation

parameter_symbolt::parameter_symbolt ( )

inline

Definition at line 166 of file symbol.h.

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