symbolt Class Reference

#include <symbol.h>

Public Member Functions
	symbolt ()
const typet &	get_type () const
const exprt &	get_value () const
const type2tc &	get_type2 () const
const expr2tc &	get_value2 () const
void	set_type (const typet &t)
void	set_type (typet &&t)
void	set_type (const type2tc &t)
void	set_value (const exprt &v)
void	set_value (exprt &&v)
void	set_value (const expr2tc &v)
void	clear ()
void	swap (symbolt &b)
void	show (std::ostream &out) const
DUMP_METHOD void	dump () const
void	to_irep (irept &dest) const
void	from_irep (const irept &src)
irep_idt	get_function_name () const

Public Attributes
locationt	location
irep_idt	id
irep_idt	module
irep_idt	name
irep_idt	mode
bool	is_type
bool	is_macro
bool	is_parameter
bool	lvalue
bool	static_lifetime
bool	file_local
bool	is_extern
bool	is_thread_local
bool	is_set
std::vector< typet >	python_annotation_types

Constructor & Destructor Documentation

symbolt()

symbolt::symbolt

(

)

Member Function Documentation

clear()

void symbolt::clear

(

)

dump()

void symbolt::dump

(

)

const

from_irep()

void symbolt::from_irep

(

const irept &

src

)

get_function_name()

irep_idt symbolt::get_function_name

(

)

const

get_type()

const typet & symbolt::get_type

(

)

const

get_type2()

const type2tc & symbolt::get_type2

(

)

const

get_value()

const exprt & symbolt::get_value

(

)

const

get_value2()

const expr2tc & symbolt::get_value2

(

)

const

set_type() [1/3]

void symbolt::set_type

(

const type2tc &

t

)

set_type() [2/3]

void symbolt::set_type

(

const typet &

t

)

set_type() [3/3]

void symbolt::set_type

(

typet &&

t

)

set_value() [1/3]

void symbolt::set_value

(

const expr2tc &

v

)

set_value() [2/3]

void symbolt::set_value

(

const exprt &

v

)

set_value() [3/3]

void symbolt::set_value

(

exprt &&

v

)

show()

void symbolt::show

(

std::ostream &

out

)

const

swap()

void symbolt::swap

(

symbolt &

b

)

to_irep()

void symbolt::to_irep

(

irept &

dest

)

const

Member Data Documentation

file_local

bool symbolt::file_local

id

irep_idt symbolt::id

is_extern

bool symbolt::is_extern

is_macro

bool symbolt::is_macro

is_parameter

bool symbolt::is_parameter

is_set

bool symbolt::is_set

is_thread_local

bool symbolt::is_thread_local

is_type

bool symbolt::is_type

location

locationt symbolt::location

lvalue

bool symbolt::lvalue

mode

irep_idt symbolt::mode

module

irep_idt symbolt::module

name

irep_idt symbolt::name

python_annotation_types

std::vector<typet> symbolt::python_annotation_types

static_lifetime

bool symbolt::static_lifetime

---

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

• src/util/symtab/symbol.h
• src/util/symtab/symbol.cpp