Symbol table entry describing a data type. More...

#include <symbol.h>

Inheritance diagram for type_symbolt:

Collaboration diagram for type_symbolt:

Public Member Functions
	type_symbolt (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

Symbol table entry describing a data type.

This is a symbol generated as part of type checking.

Definition at line 132 of file symbol.h.

Constructor & Destructor Documentation

type_symbolt::type_symbolt ( const typet & _type )

inlineexplicit

Definition at line 135 of file symbol.h.

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