#include <irep.h>

Inheritance diagram for irept:

Classes
class	dt

Public Types
typedef std::vector< irept >	subt
typedef std::map< irep_idt, irept >	named_subt

Public Member Functions
void	dump () const
bool	is_nil () const
bool	is_not_nil () const
	irept (const irep_idt &_id)
	irept ()
	irept (const irept &irep)
irept &	operator= (const irept &irep)
	~irept ()
const irep_idt &	id () const
const std::string &	id_string () const
void	id (const irep_idt &_data)
const irept &	find (const irep_idt &name) const
irept &	add (const irep_idt &name)
const std::string &	get_string (const irep_idt &name) const
const irep_idt &	get (const irep_idt &name) const
bool	get_bool (const irep_idt &name) const
void	set (const irep_idt &name, const irep_idt &value)
void	set (const irep_idt &name, const long value)
void	set (const irep_idt &name, const irept &irep)
void	remove (const irep_idt &name)
void	move_to_sub (irept &irep)
void	move_to_named_sub (const irep_idt &name, irept &irep)
typet &	type ()
const typet &	type () const
bool	is_identifier_set () const
const irep_idt &	identifier () const
const irep_idt &	width () const
const irep_idt &	statement () const
const irep_idt &	name () const
const irep_idt &	component_name () const
const irep_idt &	tag () const
const irep_idt &	from () const
const irep_idt &	file () const
const irep_idt &	line () const
const irep_idt &	function () const
const irept &	function_irep () const
const irep_idt &	column () const
const irep_idt &	destination () const
const irep_idt &	access () const
const irep_idt &	base_name () const
const irep_idt &	comment () const
const irep_idt &	event () const
const irept &	event_irep () const
const irep_idt &	literal () const
const irep_idt &	loopid () const
const irep_idt &	mode () const
const irep_idt &	module () const
const irep_idt &	pretty_name () const
const irep_idt &	derived_this_arg () const
bool	base_ctor_derived () const
bool	need_vptr_init () const
const irep_idt &	property () const
const irep_idt &	size () const
const irept &	size_irep () const
const irep_idt &	integer_bits () const
const irep_idt &	to () const
const irep_idt &	failed_symbol () const
const irep_idt &	type_id () const
const irept &	arguments () const
const irept &	components () const
const irept &	cmt_type () const
const irept &	return_type () const
const irept &	body () const
const irept &	member_irep () const
const irept &	labels_irep () const
const irept &	bv () const
const irept &	targets () const
const irept &	variables () const
const irept &	object_type () const
const irept &	initializer () const
const irept &	cmt_size () const
const irept &	code () const
const irept &	guard () const
const irept &	location () const
const irept &	declaration_type () const
const irept &	decl_value () const
const irept &	end_location () const
const irept &	symvalue () const
const irept &	cmt_location () const
const irept &	decl_ident () const
bool	is_decl_ident_set () const
const irept &	elements () const
bool	is_dynamic_set () const
bool	dynamic () const
const irep_idt &	cmt_base_name () const
const irep_idt &	id_class () const
const irep_idt &	cmt_identifier () const
const irep_idt &	cformat () const
const irep_idt &	member_name () const
	Owning class tag of a member function type, e.g.
const irep_idt &	cpp_type () const
	Source-level spelling of a type, e.g.
const irep_idt &	cmt_width () const
const irept &	offsetof_type () const
bool	axiom () const
bool	cmt_constant () const
bool	dfault () const
bool	ellipsis () const
bool	explict () const
bool	file_local () const
bool	hex_or_oct () const
bool	hide () const
bool	implicit () const
bool	incomplete () const
bool	initialization () const
bool	inlined () const
bool	invalid_object () const
bool	is_parameter () const
bool	is_expression () const
bool	is_extern () const
bool	is_macro () const
bool	is_thread_local () const
bool	is_type () const
bool	lvalue () const
bool	reference () const
bool	restricted () const
bool	static_lifetime () const
bool	theorem () const
bool	cmt_unsigned () const
bool	user_provided () const
bool	cmt_volatile () const
bool	zero_initializer () const
void	arguments (const irept &val)
void	decl_ident (const irept &val)
void	identifier (const irep_idt ident)
void	statement (const irep_idt statm)
void	comment (const irep_idt cmt)
void	component_name (const irep_idt name)
void	hex_or_oct (const irep_idt which)
void	hex_or_oct (bool which)
void	cmt_width (const irep_idt width)
void	cmt_width (unsigned int width)
void	width (const irep_idt width)
void	width (unsigned int width)
void	cmt_unsigned (const irep_idt val)
void	cmt_unsigned (bool val)
void	property (const irep_idt prop)
void	cmt_base_name (const irep_idt name)
void	name (const irep_idt val)
void	cformat (const irep_idt val)
void	member_name (const irep_idt val)
void	cpp_type (const irep_idt val)
void	remove_member_name ()
void	flavor (const irep_idt val)
void	function (const irep_idt val)
void	size (const irep_idt val)
void	size (const irept &val)
void	user_provided (const irep_idt val)
void	user_provided (bool val)
void	destination (const irep_idt val)
void	cmt_constant (const irep_idt val)
void	cmt_constant (bool val)
void	cmt_active (const irep_idt val)
void	base_name (const irep_idt val)
void	code (const irept &val)
void	component (const irep_idt val)
void	component (unsigned int val)
void	dfault (bool val)
void	dynamic (bool val)
void	end_location (const irept &val)
void	ellipsis (bool val)
void	axiom (bool val)
void	event (const irep_idt &val)
void	failed_symbol (const irep_idt val)
void	file (const irep_idt val)
void	file_local (bool val)
void	guard (const irept &val)
void	hide (bool val)
void	id_class (unsigned int val)
void	cmt_identifier (const irep_idt val)
void	implicit (bool val)
void	incomplete (bool val)
void	inlined (bool val)
void	invalid_object (bool val)
void	is_parameter (bool val)
void	is_expression (bool val)
void	is_extern (bool val)
void	is_macro (bool val)
void	is_thread_local (bool val)
void	is_type (bool val)
void	label (const irep_idt &val)
void	lhs (bool val)
void	line (const irep_idt &val)
void	line (unsigned int val)
void	location (const irept &val)
void	lvalue (bool val)
void	mode (const irep_idt &val)
void	module (const irep_idt &val)
void	object_type (const irept &val)
void	pretty_name (const irep_idt &val)
void	derived_this_arg (const irep_idt &val)
void	base_ctor_derived (bool val)
void	need_vptr_init (bool val)
void	restricted (bool val)
void	cmt_size (const irept &val)
void	static_lifetime (bool val)
void	tag (const irep_idt &val)
void	theorem (bool val)
void	cmt_type (const irept &val)
void	type_id (unsigned int val)
void	cmt_volatile (bool val)
void	zero_initializer (bool val)
void	components (const irept &val)
void	offsetof_type (const irept &val)
void	declaration_type (const irept &val)
void	bv (const irept &val)
void	initializer (const irept &val)
void	labels (const irept &val)
void	symvalue (const irept &val)
void	member_irep (const irept &val)
void	return_type (const irept &val)
void	variables (const irept &val)
void	targets (const irept &val)
bool	is_address_of () const
bool	is_and () const
bool	is_or () const
bool	is_array () const
bool	is_bool () const
bool	is_code () const
bool	is_function_call () const
bool	is_constant () const
bool	is_dereference () const
bool	is_empty () const
bool	is_fixedbv () const
bool	is_floatbv () const
bool	is_incomplete_array () const
bool	is_index () const
bool	is_member () const
bool	is_not () const
bool	is_notequal () const
bool	is_pointer () const
bool	is_signedbv () const
bool	is_struct () const
bool	is_symbol () const
bool	is_typecast () const
bool	is_union () const
bool	is_unsignedbv () const
bool	is_vector () const
std::string	to_string () const
void	swap (irept &irep)
int	compare (const irept &i) const
void	clear ()
void	make_nil ()
subt &	get_sub ()
const subt &	get_sub () const
named_subt &	get_named_sub ()
const named_subt &	get_named_sub () const
named_subt &	get_comments ()
const named_subt &	get_comments () const
size_t	hash () const
size_t	full_hash () const
std::string	pretty (unsigned indent=0) const

Static Public Attributes
static const irep_idt	s_type = irep_idt("type")
static const irep_idt	s_arguments = irep_idt("arguments")
static const irep_idt	s_components = irep_idt("components")
static const irep_idt	s_return_type = irep_idt("return_type")
static const irep_idt	s_body = irep_idt("body")
static const irep_idt	s_member = irep_idt("member")
static const irep_idt	s_labels = irep_idt("labels")
static const irep_idt	s_bv = irep_idt("bv")
static const irep_idt	s_targets = irep_idt("targets")
static const irep_idt	s_variables = irep_idt("variables")
static const irep_idt	s_initializer = irep_idt("initializer")
static const irep_idt	s_declaration_type = irep_idt("declaration_type")
static const irep_idt	s_decl_value = irep_idt("decl_value")
static const irep_idt	s_symvalue = irep_idt("symvalue")
static const irep_idt	s_cmt_location = irep_idt("#location")
static const irep_idt	s_decl_ident = irep_idt("decl_ident")
static const irep_idt	s_elements = irep_idt("elements")
static const irep_idt	s_offsetof_type = irep_idt("offsetof_type")
static const irep_idt	a_width = irep_idt("width")
static const irep_idt	a_name = irep_idt("name")
static const irep_idt	a_statement = irep_idt("statement")
static const irep_idt	a_identifier = irep_idt("identifier")
static const irep_idt	a_comp_name = irep_idt("component_name")
static const irep_idt	a_tag = irep_idt("tag")
static const irep_idt	a_from = irep_idt("from")
static const irep_idt	a_file = irep_idt("file")
static const irep_idt	a_line = irep_idt("line")
static const irep_idt	a_function = irep_idt("function")
static const irep_idt	a_column = irep_idt("column")
static const irep_idt	a_access = irep_idt("access")
static const irep_idt	a_destination = irep_idt("destination")
static const irep_idt	a_base_name = irep_idt("base_name")
static const irep_idt	a_comment = irep_idt("comment")
static const irep_idt	a_event = irep_idt("event")
static const irep_idt	a_literal = irep_idt("literal")
static const irep_idt	a_loopid = irep_idt("loop-id")
static const irep_idt	a_mode = irep_idt("mode")
static const irep_idt	a_module = irep_idt("module")
static const irep_idt	a_pretty_name = irep_idt("pretty_name")
static const irep_idt	a_property = irep_idt("property")
static const irep_idt	a_size = irep_idt("size")
static const irep_idt	a_integer_bits = irep_idt("integer_bits")
static const irep_idt	a_to = irep_idt("to")
static const irep_idt	a_failed_symbol = irep_idt("#failed_symbol")
static const irep_idt	a_dynamic = irep_idt("#dynamic")
static const irep_idt	a_cmt_base_name = irep_idt("#base_name")
static const irep_idt	a_id_class = irep_idt("#id_class")
static const irep_idt	a_cmt_identifier = irep_idt("#identifier")
static const irep_idt	a_cformat = irep_idt("#cformat")
static const irep_idt	a_cmt_width = irep_idt("#width")
static const irep_idt	a_axiom = irep_idt("axiom")
static const irep_idt	a_member_name = irep_idt("#member_name")
static const irep_idt	a_cpp_type = irep_idt("#cpp_type")
static const irep_idt	a_cmt_constant = irep_idt("#constant")
static const irep_idt	a_default = irep_idt("default")
static const irep_idt	a_ellipsis = irep_idt("ellipsis")
static const irep_idt	a_explicit = irep_idt("explicit")
static const irep_idt	a_file_local = irep_idt("file_local")
static const irep_idt	a_hex_or_oct = irep_idt("#hex_or_oct")
static const irep_idt	a_hide = irep_idt("#hide")
static const irep_idt	a_implicit = irep_idt("#implicit")
static const irep_idt	a_incomplete = irep_idt("#incomplete")
static const irep_idt	a_initialization = irep_idt("initialization")
static const irep_idt	a_inlined = irep_idt("#inlined")
static const irep_idt	a_invalid_object = irep_idt("#invalid_object")
static const irep_idt	a_is_parameter = irep_idt("is_parameter")
static const irep_idt	a_is_expression = irep_idt("#is_expression")
static const irep_idt	a_is_extern = irep_idt("is_extern")
static const irep_idt	a_is_macro = irep_idt("is_macro")
static const irep_idt	a_is_thread_local = irep_idt("is_thread_local")
static const irep_idt	a_is_type = irep_idt("is_type")
static const irep_idt	a_lvalue = irep_idt("lvalue")
static const irep_idt	a_reference = irep_idt("#reference")
static const irep_idt	a_static_lifetime = irep_idt("static_lifetime")
static const irep_idt	a_theorem = irep_idt("theorem")
static const irep_idt	a_cmt_unsigned = irep_idt("#unsigned")
static const irep_idt	a_user_provided = irep_idt("user-provided")
static const irep_idt	a_cmt_volatile = irep_idt("#volatile")
static const irep_idt	a_zero_initializer = irep_idt("#zero_initializer")
static const irep_idt	a_restricted = irep_idt("#restricted")
static const irep_idt	a_flavor = irep_idt("flavor")
static const irep_idt	a_cmt_active = irep_idt("#active")
static const irep_idt	a_code = irep_idt("code")
static const irep_idt	a_component = irep_idt("component")
static const irep_idt	a_end_location = irep_idt("#end_location")
static const irep_idt	a_guard = irep_idt("guard")
static const irep_idt	a_label = irep_idt("label")
static const irep_idt	a_lhs = irep_idt("lhs")
static const irep_idt	a_location = irep_idt("location")
static const irep_idt	a_object_type = irep_idt("object_type")
static const irep_idt	a_cmt_size = irep_idt("#size")
static const irep_idt	a_cmt
static const irep_idt	a_type_id = irep_idt("typeid")
static const irep_idt	a_cmt_type = irep_idt("#type")
static const irep_idt	a_derived_this_arg = irep_idt("#derived_this_arg")
static const irep_idt	a_base_ctor_derived = irep_idt("#base_ctor_derived")
static const irep_idt	a_need_vptr_init = irep_idt("#need_vptr_init")
static const irep_idt	id_address_of = irep_idt("address_of")
static const irep_idt	id_and = irep_idt("and")
static const irep_idt	id_or = irep_idt("or")
static const irep_idt	id_array = irep_idt("array")
static const irep_idt	id_bool = irep_idt("bool")
static const irep_idt	id_code = irep_idt("code")
static const irep_idt	id_constant = irep_idt("constant")
static const irep_idt	id_dereference = irep_idt("dereference")
static const irep_idt	id_empty = irep_idt("empty")
static const irep_idt	id_fixedbv = irep_idt("fixedbv")
static const irep_idt	id_floatbv = irep_idt("floatbv")
static const irep_idt	id_incomplete_array = irep_idt("incomplete_array")
static const irep_idt	id_index = irep_idt("index")
static const irep_idt	id_member = irep_idt("member")
static const irep_idt	id_not = irep_idt("not")
static const irep_idt	id_notequal = irep_idt("notequal")
static const irep_idt	id_pointer = irep_idt("pointer")
static const irep_idt	id_signedbv = irep_idt("signedbv")
static const irep_idt	id_struct = irep_idt("struct")
static const irep_idt	id_symbol = irep_idt("symbol")
static const irep_idt	id_typecast = irep_idt("typecast")
static const irep_idt	id_union = irep_idt("union")
static const irep_idt	id_unsignedbv = irep_idt("unsignedbv")
static const irep_idt	id_vector = irep_idt("vector")

Protected Member Functions
void	remove_ref (dt *old_data)
const dt &	read () const
dt &	write ()
void	detatch ()

Static Protected Member Functions
static bool	is_comment (const irep_idt &name)

Protected Attributes
dt *	data

Friends
class	irep_serializationt
bool	operator== (const irept &i1, const irept &i2)
bool	operator!= (const irept &i1, const irept &i2)
std::ostream &	operator<< (std::ostream &out, const irept &irep)
bool	operator< (const irept &i1, const irept &i2)
bool	ordering (const irept &i1, const irept &i2)
bool	full_eq (const irept &a, const irept &b)

Member Typedef Documentation

◆ named_subt

typedef std::map<irep_idt, irept> irept::named_subt

◆ subt

typedef std::vector<irept> irept::subt

Constructor & Destructor Documentation

◆ irept() [1/3]

irept::irept ( const irep_idt & _id )

explicit

◆ irept() [2/3]

irept::irept ( )

inline

◆ irept() [3/3]

irept::irept ( const irept & irep )

inline

◆ ~irept()

irept::~irept ( )

inline

Member Function Documentation

◆ access()

const irep_idt & irept::access ( ) const

inline

◆ add()

irept & irept::add ( const irep_idt & name )

◆ arguments() [1/2]

const irept & irept::arguments ( ) const

inline

◆ arguments() [2/2]

void irept::arguments ( const irept & val )

inline

◆ axiom() [1/2]

bool irept::axiom ( ) const

inline

◆ axiom() [2/2]

void irept::axiom ( bool val )

inline

◆ base_ctor_derived() [1/2]

bool irept::base_ctor_derived ( ) const

inline

◆ base_ctor_derived() [2/2]

void irept::base_ctor_derived ( bool val )

inline

◆ base_name() [1/2]

const irep_idt & irept::base_name ( ) const

inline

◆ base_name() [2/2]

void irept::base_name ( const irep_idt val )

inline

◆ body()

const irept & irept::body ( ) const

inline

◆ bv() [1/2]

const irept & irept::bv ( ) const

inline

◆ bv() [2/2]

void irept::bv ( const irept & val )

inline

◆ cformat() [1/2]

const irep_idt & irept::cformat ( ) const

inline

◆ cformat() [2/2]

void irept::cformat ( const irep_idt val )

inline

◆ clear()

void irept::clear ( )

◆ cmt_active()

void irept::cmt_active ( const irep_idt val )

inline

◆ cmt_base_name() [1/2]

const irep_idt & irept::cmt_base_name ( ) const

inline

◆ cmt_base_name() [2/2]

void irept::cmt_base_name ( const irep_idt name )

inline

◆ cmt_constant() [1/3]

bool irept::cmt_constant ( ) const

inline

◆ cmt_constant() [2/3]

void irept::cmt_constant ( bool val )

inline

◆ cmt_constant() [3/3]

void irept::cmt_constant ( const irep_idt val )

inline

◆ cmt_identifier() [1/2]

const irep_idt & irept::cmt_identifier ( ) const

inline

◆ cmt_identifier() [2/2]

void irept::cmt_identifier ( const irep_idt val )

inline

◆ cmt_location()

const irept & irept::cmt_location ( ) const

inline

◆ cmt_size() [1/2]

const irept & irept::cmt_size ( ) const

inline

◆ cmt_size() [2/2]

void irept::cmt_size ( const irept & val )

inline

◆ cmt_type() [1/2]

const irept & irept::cmt_type ( ) const

inline

◆ cmt_type() [2/2]

void irept::cmt_type ( const irept & val )

inline

◆ cmt_unsigned() [1/3]

bool irept::cmt_unsigned ( ) const

inline

◆ cmt_unsigned() [2/3]

void irept::cmt_unsigned ( bool val )

inline

◆ cmt_unsigned() [3/3]

void irept::cmt_unsigned ( const irep_idt val )

inline

◆ cmt_volatile() [1/2]

bool irept::cmt_volatile ( ) const

inline

◆ cmt_volatile() [2/2]

void irept::cmt_volatile ( bool val )

inline

◆ cmt_width() [1/3]

const irep_idt & irept::cmt_width ( ) const

inline

◆ cmt_width() [2/3]

void irept::cmt_width ( const irep_idt width )

inline

◆ cmt_width() [3/3]

void irept::cmt_width ( unsigned int width )

inline

◆ code() [1/2]

const irept & irept::code ( ) const

inline

◆ code() [2/2]

void irept::code ( const irept & val )

inline

◆ column()

const irep_idt & irept::column ( ) const

inline

◆ comment() [1/2]

const irep_idt & irept::comment ( ) const

inline

◆ comment() [2/2]

void irept::comment ( const irep_idt cmt )

inline

◆ compare()

int irept::compare ( const irept & i ) const

◆ component() [1/2]

void irept::component ( const irep_idt val )

inline

◆ component() [2/2]

void irept::component ( unsigned int val )

inline

◆ component_name() [1/2]

const irep_idt & irept::component_name ( ) const

inline

◆ component_name() [2/2]

void irept::component_name ( const irep_idt name )

inline

◆ components() [1/2]

const irept & irept::components ( ) const

inline

◆ components() [2/2]

void irept::components ( const irept & val )

inline

◆ cpp_type() [1/2]

const irep_idt & irept::cpp_type ( ) const

inline

Source-level spelling of a type, e.g.

signed char, long long. Carries what IREP2's closed type system deliberately normalizes away. Three readers are presentation consumers (counterexample text, generated C, exception-id strings), but a fourth is not: the python frontend's type_utils::is_char_type asks whether an 8-bit bitvector is a character rather than an int8, and seven conversion sites branch on the answer, so dropping the spelling changes what is verified (docs/roadmap/scope-python-irep2.md §8). Carriage stays on the legacy irep.

◆ cpp_type() [2/2]

void irept::cpp_type ( const irep_idt val )

inline

◆ decl_ident() [1/2]

const irept & irept::decl_ident ( ) const

inline

◆ decl_ident() [2/2]

void irept::decl_ident ( const irept & val )

inline

◆ decl_value()

const irept & irept::decl_value ( ) const

inline

◆ declaration_type() [1/2]

const irept & irept::declaration_type ( ) const

inline

◆ declaration_type() [2/2]

void irept::declaration_type ( const irept & val )

inline

◆ derived_this_arg() [1/2]

const irep_idt & irept::derived_this_arg ( ) const

inline

◆ derived_this_arg() [2/2]

void irept::derived_this_arg ( const irep_idt & val )

inline

◆ destination() [1/2]

const irep_idt & irept::destination ( ) const

inline

◆ destination() [2/2]

void irept::destination ( const irep_idt val )

inline

◆ detatch()

void irept::detatch ( )

protected

◆ dfault() [1/2]

bool irept::dfault ( ) const

inline

◆ dfault() [2/2]

void irept::dfault ( bool val )

inline

◆ dump()

void irept::dump ( ) const

◆ dynamic() [1/2]

bool irept::dynamic ( ) const

inline

◆ dynamic() [2/2]

void irept::dynamic ( bool val )

inline

◆ elements()

const irept & irept::elements ( ) const

inline

◆ ellipsis() [1/2]

bool irept::ellipsis ( ) const

inline

◆ ellipsis() [2/2]

void irept::ellipsis ( bool val )

inline

◆ end_location() [1/2]

const irept & irept::end_location ( ) const

inline

◆ end_location() [2/2]

void irept::end_location ( const irept & val )

inline

◆ event() [1/2]

const irep_idt & irept::event ( ) const

inline

◆ event() [2/2]

void irept::event ( const irep_idt & val )

inline

◆ event_irep()

const irept & irept::event_irep ( ) const

inline

◆ explict()

bool irept::explict ( ) const

inline

◆ failed_symbol() [1/2]

const irep_idt & irept::failed_symbol ( ) const

inline

◆ failed_symbol() [2/2]

void irept::failed_symbol ( const irep_idt val )

inline

◆ file() [1/2]

const irep_idt & irept::file ( ) const

inline

◆ file() [2/2]

void irept::file ( const irep_idt val )

inline

◆ file_local() [1/2]

bool irept::file_local ( ) const

inline

◆ file_local() [2/2]

void irept::file_local ( bool val )

inline

◆ find()

const irept & irept::find ( const irep_idt & name ) const

◆ flavor()

void irept::flavor ( const irep_idt val )

inline

◆ from()

const irep_idt & irept::from ( ) const

inline

◆ full_hash()

size_t irept::full_hash ( ) const

◆ function() [1/2]

const irep_idt & irept::function ( ) const

inline

◆ function() [2/2]

void irept::function ( const irep_idt val )

inline

◆ function_irep()

const irept & irept::function_irep ( ) const

inline

◆ get()

const irep_idt & irept::get ( const irep_idt & name ) const

◆ get_bool()

bool irept::get_bool ( const irep_idt & name ) const

◆ get_comments() [1/2]

named_subt & irept::get_comments ( )

inline

◆ get_comments() [2/2]

const named_subt & irept::get_comments ( ) const

inline

◆ get_named_sub() [1/2]

named_subt & irept::get_named_sub ( )

inline

◆ get_named_sub() [2/2]

const named_subt & irept::get_named_sub ( ) const

inline

◆ get_string()

const std::string & irept::get_string ( const irep_idt & name ) const

inline

◆ get_sub() [1/2]

subt & irept::get_sub ( )

inline

◆ get_sub() [2/2]

const subt & irept::get_sub ( ) const

inline

◆ guard() [1/2]

const irept & irept::guard ( ) const

inline

◆ guard() [2/2]

void irept::guard ( const irept & val )

inline

◆ hash()

size_t irept::hash ( ) const

◆ hex_or_oct() [1/3]

bool irept::hex_or_oct ( ) const

inline

◆ hex_or_oct() [2/3]

void irept::hex_or_oct ( bool which )

inline

◆ hex_or_oct() [3/3]

void irept::hex_or_oct ( const irep_idt which )

inline

◆ hide() [1/2]

bool irept::hide ( ) const

inline

◆ hide() [2/2]

void irept::hide ( bool val )

inline

◆ id() [1/2]

const irep_idt & irept::id ( ) const

inline

◆ id() [2/2]

void irept::id ( const irep_idt & _data )

inline

◆ id_class() [1/2]

const irep_idt & irept::id_class ( ) const

inline

◆ id_class() [2/2]

void irept::id_class ( unsigned int val )

inline

◆ id_string()

const std::string & irept::id_string ( ) const

inline

◆ identifier() [1/2]

const irep_idt & irept::identifier ( ) const

inline

◆ identifier() [2/2]

void irept::identifier ( const irep_idt ident )

inline

◆ implicit() [1/2]

bool irept::implicit ( ) const

inline

◆ implicit() [2/2]

void irept::implicit ( bool val )

inline

◆ incomplete() [1/2]

bool irept::incomplete ( ) const

inline

◆ incomplete() [2/2]

void irept::incomplete ( bool val )

inline

◆ initialization()

bool irept::initialization ( ) const

inline

◆ initializer() [1/2]

const irept & irept::initializer ( ) const

inline

◆ initializer() [2/2]

void irept::initializer ( const irept & val )

inline

◆ inlined() [1/2]

bool irept::inlined ( ) const

inline

◆ inlined() [2/2]

void irept::inlined ( bool val )

inline

◆ integer_bits()

const irep_idt & irept::integer_bits ( ) const

inline

◆ invalid_object() [1/2]

bool irept::invalid_object ( ) const

inline

◆ invalid_object() [2/2]

void irept::invalid_object ( bool val )

inline

◆ is_address_of()

bool irept::is_address_of ( ) const

inline

◆ is_and()

bool irept::is_and ( ) const

inline

◆ is_array()

bool irept::is_array ( ) const

inline

◆ is_bool()

bool irept::is_bool ( ) const

inline

◆ is_code()

bool irept::is_code ( ) const

inline

◆ is_comment()

bool irept::is_comment ( const irep_idt & name )

inlinestaticprotected

◆ is_constant()

bool irept::is_constant ( ) const

inline

◆ is_decl_ident_set()

bool irept::is_decl_ident_set ( ) const

inline

◆ is_dereference()

bool irept::is_dereference ( ) const

inline

◆ is_dynamic_set()

bool irept::is_dynamic_set ( ) const

inline

◆ is_empty()

bool irept::is_empty ( ) const

inline

◆ is_expression() [1/2]

bool irept::is_expression ( ) const

inline

◆ is_expression() [2/2]

void irept::is_expression ( bool val )

inline

◆ is_extern() [1/2]

bool irept::is_extern ( ) const

inline

◆ is_extern() [2/2]

void irept::is_extern ( bool val )

inline

◆ is_fixedbv()

bool irept::is_fixedbv ( ) const

inline

◆ is_floatbv()

bool irept::is_floatbv ( ) const

inline

◆ is_function_call()

bool irept::is_function_call ( ) const

inline

◆ is_identifier_set()

bool irept::is_identifier_set ( ) const

inline

◆ is_incomplete_array()

bool irept::is_incomplete_array ( ) const

inline

◆ is_index()

bool irept::is_index ( ) const

inline

◆ is_macro() [1/2]

bool irept::is_macro ( ) const

inline

◆ is_macro() [2/2]

void irept::is_macro ( bool val )

inline

◆ is_member()

bool irept::is_member ( ) const

inline

◆ is_nil()

bool irept::is_nil ( ) const

inline

◆ is_not()

bool irept::is_not ( ) const

inline

◆ is_not_nil()

bool irept::is_not_nil ( ) const

inline

◆ is_notequal()

bool irept::is_notequal ( ) const

inline

◆ is_or()

bool irept::is_or ( ) const

inline

◆ is_parameter() [1/2]

bool irept::is_parameter ( ) const

inline

◆ is_parameter() [2/2]

void irept::is_parameter ( bool val )

inline

◆ is_pointer()

bool irept::is_pointer ( ) const

inline

◆ is_signedbv()

bool irept::is_signedbv ( ) const

inline

◆ is_struct()

bool irept::is_struct ( ) const

inline

◆ is_symbol()

bool irept::is_symbol ( ) const

inline

◆ is_thread_local() [1/2]

bool irept::is_thread_local ( ) const

inline

◆ is_thread_local() [2/2]

void irept::is_thread_local ( bool val )

inline

◆ is_type() [1/2]

bool irept::is_type ( ) const

inline

◆ is_type() [2/2]

void irept::is_type ( bool val )

inline

◆ is_typecast()

bool irept::is_typecast ( ) const

inline

◆ is_union()

bool irept::is_union ( ) const

inline

◆ is_unsignedbv()

bool irept::is_unsignedbv ( ) const

inline

◆ is_vector()

bool irept::is_vector ( ) const

inline

◆ label()

void irept::label ( const irep_idt & val )

inline

◆ labels()

void irept::labels ( const irept & val )

inline

◆ labels_irep()

const irept & irept::labels_irep ( ) const

inline

◆ lhs()

void irept::lhs ( bool val )

inline

◆ line() [1/3]

const irep_idt & irept::line ( ) const

inline

◆ line() [2/3]

void irept::line ( const irep_idt & val )

inline

◆ line() [3/3]

void irept::line ( unsigned int val )

inline

◆ literal()

const irep_idt & irept::literal ( ) const

inline

◆ location() [1/2]

const irept & irept::location ( ) const

inline

◆ location() [2/2]

void irept::location ( const irept & val )

inline

◆ loopid()

const irep_idt & irept::loopid ( ) const

inline

◆ lvalue() [1/2]

bool irept::lvalue ( ) const

inline

◆ lvalue() [2/2]

void irept::lvalue ( bool val )

inline

◆ make_nil()

void irept::make_nil ( )

inline

◆ member_irep() [1/2]

const irept & irept::member_irep ( ) const

inline

◆ member_irep() [2/2]

void irept::member_irep ( const irept & val )

inline

◆ member_name() [1/2]

const irep_idt & irept::member_name ( ) const

inline

Owning class tag of a member function type, e.g.

tag-MyClass. Written by the Solidity and Python frontends; no reader left in the tree. clang_cpp_adjust_code_gen used to locate a constructor's class symbol through it and now derives that from the this argument's pointee instead (docs/roadmap/frontends-to-irep2.md §50), so the remaining writes are dead and can go with their frontends' own slices.

◆ member_name() [2/2]

void irept::member_name ( const irep_idt val )

inline

◆ mode() [1/2]

const irep_idt & irept::mode ( ) const

inline

◆ mode() [2/2]

void irept::mode ( const irep_idt & val )

inline

◆ module() [1/2]

const irep_idt & irept::module ( ) const

inline

◆ module() [2/2]

void irept::module ( const irep_idt & val )

inline

◆ move_to_named_sub()

void irept::move_to_named_sub	(	const irep_idt &	name,
		irept &	irep )

◆ move_to_sub()

void irept::move_to_sub ( irept & irep )

◆ name() [1/2]

const irep_idt & irept::name ( ) const

inline

◆ name() [2/2]

void irept::name ( const irep_idt val )

inline

◆ need_vptr_init() [1/2]

bool irept::need_vptr_init ( ) const

inline

◆ need_vptr_init() [2/2]

void irept::need_vptr_init ( bool val )

inline

◆ object_type() [1/2]

const irept & irept::object_type ( ) const

inline

◆ object_type() [2/2]

void irept::object_type ( const irept & val )

inline

◆ offsetof_type() [1/2]

const irept & irept::offsetof_type ( ) const

inline

◆ offsetof_type() [2/2]

void irept::offsetof_type ( const irept & val )

inline

◆ operator=()

irept & irept::operator= ( const irept & irep )

inline

◆ pretty()

std::string irept::pretty ( unsigned indent = 0 ) const

◆ pretty_name() [1/2]

const irep_idt & irept::pretty_name ( ) const

inline

◆ pretty_name() [2/2]

void irept::pretty_name ( const irep_idt & val )

inline

◆ property() [1/2]

const irep_idt & irept::property ( ) const

inline

◆ property() [2/2]

void irept::property ( const irep_idt prop )

inline

◆ read()

const dt & irept::read ( ) const

protected

◆ reference()

bool irept::reference ( ) const

inline

◆ remove()

void irept::remove ( const irep_idt & name )

◆ remove_member_name()

void irept::remove_member_name ( )

inline

◆ remove_ref()

void irept::remove_ref ( dt * old_data )

protected

◆ restricted() [1/2]

bool irept::restricted ( ) const

inline

◆ restricted() [2/2]

void irept::restricted ( bool val )

inline

◆ return_type() [1/2]

const irept & irept::return_type ( ) const

inline

◆ return_type() [2/2]

void irept::return_type ( const irept & val )

inline

◆ set() [1/3]

void irept::set	(	const irep_idt &	name,
		const irep_idt &	value )

inline

◆ set() [2/3]

void irept::set	(	const irep_idt &	name,
		const irept &	irep )

◆ set() [3/3]

void irept::set	(	const irep_idt &	name,
		const long	value )

◆ size() [1/3]

const irep_idt & irept::size ( ) const

inline

◆ size() [2/3]

void irept::size ( const irep_idt val )

inline

◆ size() [3/3]

void irept::size ( const irept & val )

inline

◆ size_irep()

const irept & irept::size_irep ( ) const

inline

◆ statement() [1/2]

const irep_idt & irept::statement ( ) const

inline

◆ statement() [2/2]

void irept::statement ( const irep_idt statm )

inline

◆ static_lifetime() [1/2]

bool irept::static_lifetime ( ) const

inline

◆ static_lifetime() [2/2]

void irept::static_lifetime ( bool val )

inline

◆ swap()

void irept::swap ( irept & irep )

inline

◆ symvalue() [1/2]

const irept & irept::symvalue ( ) const

inline

◆ symvalue() [2/2]

void irept::symvalue ( const irept & val )

inline

◆ tag() [1/2]

const irep_idt & irept::tag ( ) const

inline

◆ tag() [2/2]

void irept::tag ( const irep_idt & val )

inline

◆ targets() [1/2]

const irept & irept::targets ( ) const

inline

◆ targets() [2/2]

void irept::targets ( const irept & val )

inline

◆ theorem() [1/2]

bool irept::theorem ( ) const

inline

◆ theorem() [2/2]

void irept::theorem ( bool val )

inline

◆ to()

const irep_idt & irept::to ( ) const

inline

◆ to_string()

std::string irept::to_string ( ) const

◆ type() [1/2]

typet & irept::type ( )

inline

◆ type() [2/2]

const typet & irept::type ( ) const

inline

◆ type_id() [1/2]

const irep_idt & irept::type_id ( ) const

inline

◆ type_id() [2/2]

void irept::type_id ( unsigned int val )

inline

◆ user_provided() [1/3]

bool irept::user_provided ( ) const

inline

◆ user_provided() [2/3]

void irept::user_provided ( bool val )

inline

◆ user_provided() [3/3]

void irept::user_provided ( const irep_idt val )

inline

◆ variables() [1/2]

const irept & irept::variables ( ) const

inline

◆ variables() [2/2]

void irept::variables ( const irept & val )

inline

◆ width() [1/3]

const irep_idt & irept::width ( ) const

inline

◆ width() [2/3]

void irept::width ( const irep_idt width )

inline

◆ width() [3/3]

void irept::width ( unsigned int width )

inline

◆ write()

dt & irept::write ( )

inlineprotected

◆ zero_initializer() [1/2]

bool irept::zero_initializer ( ) const

inline

◆ zero_initializer() [2/2]

void irept::zero_initializer ( bool val )

inline

◆ full_eq

bool full_eq	(	const irept &	a,
		const irept &	b )

friend

◆ irep_serializationt

friend class irep_serializationt

friend

◆ operator!=

bool operator!=	(	const irept &	i1,
		const irept &	i2 )

friend

◆ operator<

bool operator<	(	const irept &	i1,
		const irept &	i2 )

friend

◆ operator<<

std::ostream & operator<<	(	std::ostream &	out,
		const irept &	irep )

friend

◆ operator==

bool operator==	(	const irept &	i1,
		const irept &	i2 )

friend

◆ ordering

bool ordering	(	const irept &	i1,
		const irept &	i2 )

friend

Member Data Documentation

◆ a_access

const irep_idt irept::a_access = irep_idt("access")

static

◆ a_axiom

const irep_idt irept::a_axiom = irep_idt("axiom")

static

◆ a_base_ctor_derived

const irep_idt irept::a_base_ctor_derived = irep_idt("#base_ctor_derived")

static

◆ a_base_name

const irep_idt irept::a_base_name = irep_idt("base_name")

static

◆ a_cformat

const irep_idt irept::a_cformat = irep_idt("#cformat")

static

◆ a_cmt

const irep_idt irept::a_cmt

static

◆ a_cmt_active

const irep_idt irept::a_cmt_active = irep_idt("#active")

static

◆ a_cmt_base_name

const irep_idt irept::a_cmt_base_name = irep_idt("#base_name")

static

◆ a_cmt_constant

const irep_idt irept::a_cmt_constant = irep_idt("#constant")

static

◆ a_cmt_identifier

const irep_idt irept::a_cmt_identifier = irep_idt("#identifier")

static

◆ a_cmt_size

const irep_idt irept::a_cmt_size = irep_idt("#size")

static

◆ a_cmt_type

const irep_idt irept::a_cmt_type = irep_idt("#type")

static

◆ a_cmt_unsigned

const irep_idt irept::a_cmt_unsigned = irep_idt("#unsigned")

static

◆ a_cmt_volatile

const irep_idt irept::a_cmt_volatile = irep_idt("#volatile")

static

◆ a_cmt_width

const irep_idt irept::a_cmt_width = irep_idt("#width")

static

◆ a_code

const irep_idt irept::a_code = irep_idt("code")

static

◆ a_column

const irep_idt irept::a_column = irep_idt("column")

static

◆ a_comment

const irep_idt irept::a_comment = irep_idt("comment")

static

◆ a_comp_name

const irep_idt irept::a_comp_name = irep_idt("component_name")

static

◆ a_component

const irep_idt irept::a_component = irep_idt("component")

static

◆ a_cpp_type

const irep_idt irept::a_cpp_type = irep_idt("#cpp_type")

static

◆ a_default

const irep_idt irept::a_default = irep_idt("default")

static

◆ a_derived_this_arg

const irep_idt irept::a_derived_this_arg = irep_idt("#derived_this_arg")

static

◆ a_destination

const irep_idt irept::a_destination = irep_idt("destination")

static

◆ a_dynamic

const irep_idt irept::a_dynamic = irep_idt("#dynamic")

static

◆ a_ellipsis

const irep_idt irept::a_ellipsis = irep_idt("ellipsis")

static

◆ a_end_location

const irep_idt irept::a_end_location = irep_idt("#end_location")

static

◆ a_event

const irep_idt irept::a_event = irep_idt("event")

static

◆ a_explicit

const irep_idt irept::a_explicit = irep_idt("explicit")

static

◆ a_failed_symbol

const irep_idt irept::a_failed_symbol = irep_idt("#failed_symbol")

static

◆ a_file

const irep_idt irept::a_file = irep_idt("file")

static

◆ a_file_local

const irep_idt irept::a_file_local = irep_idt("file_local")

static

◆ a_flavor

const irep_idt irept::a_flavor = irep_idt("flavor")

static

◆ a_from

const irep_idt irept::a_from = irep_idt("from")

static

◆ a_function

const irep_idt irept::a_function = irep_idt("function")

static

◆ a_guard

const irep_idt irept::a_guard = irep_idt("guard")

static

◆ a_hex_or_oct

const irep_idt irept::a_hex_or_oct = irep_idt("#hex_or_oct")

static

◆ a_hide

const irep_idt irept::a_hide = irep_idt("#hide")

static

◆ a_id_class

const irep_idt irept::a_id_class = irep_idt("#id_class")

static

◆ a_identifier

const irep_idt irept::a_identifier = irep_idt("identifier")

static

◆ a_implicit

const irep_idt irept::a_implicit = irep_idt("#implicit")

static

◆ a_incomplete

const irep_idt irept::a_incomplete = irep_idt("#incomplete")

static

◆ a_initialization

const irep_idt irept::a_initialization = irep_idt("initialization")

static

◆ a_inlined

const irep_idt irept::a_inlined = irep_idt("#inlined")

static

◆ a_integer_bits

const irep_idt irept::a_integer_bits = irep_idt("integer_bits")

static

◆ a_invalid_object

const irep_idt irept::a_invalid_object = irep_idt("#invalid_object")

static

◆ a_is_expression

const irep_idt irept::a_is_expression = irep_idt("#is_expression")

static

◆ a_is_extern

const irep_idt irept::a_is_extern = irep_idt("is_extern")

static

◆ a_is_macro

const irep_idt irept::a_is_macro = irep_idt("is_macro")

static

◆ a_is_parameter

const irep_idt irept::a_is_parameter = irep_idt("is_parameter")

static

◆ a_is_thread_local

const irep_idt irept::a_is_thread_local = irep_idt("is_thread_local")

static

◆ a_is_type

const irep_idt irept::a_is_type = irep_idt("is_type")

static

◆ a_label

const irep_idt irept::a_label = irep_idt("label")

static

◆ a_lhs

const irep_idt irept::a_lhs = irep_idt("lhs")

static

◆ a_line

const irep_idt irept::a_line = irep_idt("line")

static

◆ a_literal

const irep_idt irept::a_literal = irep_idt("literal")

static

◆ a_location

const irep_idt irept::a_location = irep_idt("location")

static

◆ a_loopid

const irep_idt irept::a_loopid = irep_idt("loop-id")

static

◆ a_lvalue

const irep_idt irept::a_lvalue = irep_idt("lvalue")

static

◆ a_member_name

const irep_idt irept::a_member_name = irep_idt("#member_name")

static

◆ a_mode

const irep_idt irept::a_mode = irep_idt("mode")

static

◆ a_module

const irep_idt irept::a_module = irep_idt("module")

static

◆ a_name

const irep_idt irept::a_name = irep_idt("name")

static

◆ a_need_vptr_init

const irep_idt irept::a_need_vptr_init = irep_idt("#need_vptr_init")

static

◆ a_object_type

const irep_idt irept::a_object_type = irep_idt("object_type")

static

◆ a_pretty_name

const irep_idt irept::a_pretty_name = irep_idt("pretty_name")

static

◆ a_property

const irep_idt irept::a_property = irep_idt("property")

static

◆ a_reference

const irep_idt irept::a_reference = irep_idt("#reference")

static

◆ a_restricted

const irep_idt irept::a_restricted = irep_idt("#restricted")

static

◆ a_size

const irep_idt irept::a_size = irep_idt("size")

static

◆ a_statement

const irep_idt irept::a_statement = irep_idt("statement")

static

◆ a_static_lifetime

const irep_idt irept::a_static_lifetime = irep_idt("static_lifetime")

static

◆ a_tag

const irep_idt irept::a_tag = irep_idt("tag")

static

◆ a_theorem

const irep_idt irept::a_theorem = irep_idt("theorem")

static

◆ a_to

const irep_idt irept::a_to = irep_idt("to")

static

◆ a_type_id

const irep_idt irept::a_type_id = irep_idt("typeid")

static

◆ a_user_provided

const irep_idt irept::a_user_provided = irep_idt("user-provided")

static

◆ a_width

const irep_idt irept::a_width = irep_idt("width")

static

◆ a_zero_initializer

const irep_idt irept::a_zero_initializer = irep_idt("#zero_initializer")

static

◆ data

dt* irept::data

protected

◆ id_address_of

const irep_idt irept::id_address_of = irep_idt("address_of")

static

◆ id_and

const irep_idt irept::id_and = irep_idt("and")

static

◆ id_array

const irep_idt irept::id_array = irep_idt("array")

static

◆ id_bool

const irep_idt irept::id_bool = irep_idt("bool")

static

◆ id_code

const irep_idt irept::id_code = irep_idt("code")

static

◆ id_constant

const irep_idt irept::id_constant = irep_idt("constant")

static

◆ id_dereference

const irep_idt irept::id_dereference = irep_idt("dereference")

static

◆ id_empty

const irep_idt irept::id_empty = irep_idt("empty")

static

◆ id_fixedbv

const irep_idt irept::id_fixedbv = irep_idt("fixedbv")

static

◆ id_floatbv

const irep_idt irept::id_floatbv = irep_idt("floatbv")

static

◆ id_incomplete_array

const irep_idt irept::id_incomplete_array = irep_idt("incomplete_array")

static

◆ id_index

const irep_idt irept::id_index = irep_idt("index")

static

◆ id_member

const irep_idt irept::id_member = irep_idt("member")

static

◆ id_not

const irep_idt irept::id_not = irep_idt("not")

static

◆ id_notequal

const irep_idt irept::id_notequal = irep_idt("notequal")

static

◆ id_or

const irep_idt irept::id_or = irep_idt("or")

static

◆ id_pointer

const irep_idt irept::id_pointer = irep_idt("pointer")

static

◆ id_signedbv

const irep_idt irept::id_signedbv = irep_idt("signedbv")

static

◆ id_struct

const irep_idt irept::id_struct = irep_idt("struct")

static

◆ id_symbol

const irep_idt irept::id_symbol = irep_idt("symbol")

static

◆ id_typecast

const irep_idt irept::id_typecast = irep_idt("typecast")

static

◆ id_union

const irep_idt irept::id_union = irep_idt("union")

static

◆ id_unsignedbv

const irep_idt irept::id_unsignedbv = irep_idt("unsignedbv")

static

◆ id_vector

const irep_idt irept::id_vector = irep_idt("vector")

static

◆ s_arguments

const irep_idt irept::s_arguments = irep_idt("arguments")

static

◆ s_body

const irep_idt irept::s_body = irep_idt("body")

static

◆ s_bv

const irep_idt irept::s_bv = irep_idt("bv")

static

◆ s_cmt_location

const irep_idt irept::s_cmt_location = irep_idt("#location")

static

◆ s_components

const irep_idt irept::s_components = irep_idt("components")

static

◆ s_decl_ident

const irep_idt irept::s_decl_ident = irep_idt("decl_ident")

static

◆ s_decl_value

const irep_idt irept::s_decl_value = irep_idt("decl_value")

static

◆ s_declaration_type

const irep_idt irept::s_declaration_type = irep_idt("declaration_type")

static

◆ s_elements

const irep_idt irept::s_elements = irep_idt("elements")

static

◆ s_initializer

const irep_idt irept::s_initializer = irep_idt("initializer")

static

◆ s_labels

const irep_idt irept::s_labels = irep_idt("labels")

static

◆ s_member

const irep_idt irept::s_member = irep_idt("member")

static

◆ s_offsetof_type

const irep_idt irept::s_offsetof_type = irep_idt("offsetof_type")

static

◆ s_return_type

const irep_idt irept::s_return_type = irep_idt("return_type")

static

◆ s_symvalue

const irep_idt irept::s_symvalue = irep_idt("symvalue")

static

◆ s_targets

const irep_idt irept::s_targets = irep_idt("targets")

static

◆ s_type

const irep_idt irept::s_type = irep_idt("type")

static

◆ s_variables

const irep_idt irept::s_variables = irep_idt("variables")

static

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

src/util/irep/irep.h
src/util/irep/irep.cpp

Classes

Public Types

Public Member Functions

Static Public Attributes

Protected Member Functions

Static Protected Member Functions

Protected Attributes

Friends

Member Typedef Documentation

◆ named_subt

◆ subt

Constructor & Destructor Documentation

◆ irept() [1/3]

◆ irept() [2/3]

◆ irept() [3/3]

◆ ~irept()

Member Function Documentation

◆ access()

◆ add()

◆ arguments() [1/2]

◆ arguments() [2/2]

◆ axiom() [1/2]

◆ axiom() [2/2]

◆ base_ctor_derived() [1/2]

◆ base_ctor_derived() [2/2]

◆ base_name() [1/2]

◆ base_name() [2/2]

◆ body()

◆ bv() [1/2]

◆ bv() [2/2]

◆ cformat() [1/2]

◆ cformat() [2/2]

◆ clear()

◆ cmt_active()

◆ cmt_base_name() [1/2]

◆ cmt_base_name() [2/2]

◆ cmt_constant() [1/3]

◆ cmt_constant() [2/3]

◆ cmt_constant() [3/3]

◆ cmt_identifier() [1/2]

◆ cmt_identifier() [2/2]

◆ cmt_location()

◆ cmt_size() [1/2]

◆ cmt_size() [2/2]

◆ cmt_type() [1/2]

◆ cmt_type() [2/2]

◆ cmt_unsigned() [1/3]

◆ cmt_unsigned() [2/3]

◆ cmt_unsigned() [3/3]

◆ cmt_volatile() [1/2]

◆ cmt_volatile() [2/2]

◆ cmt_width() [1/3]

◆ cmt_width() [2/3]

◆ cmt_width() [3/3]

◆ code() [1/2]

◆ code() [2/2]

◆ column()

◆ comment() [1/2]

◆ comment() [2/2]

◆ compare()

◆ component() [1/2]

◆ component() [2/2]

◆ component_name() [1/2]

◆ component_name() [2/2]

◆ components() [1/2]

◆ components() [2/2]

◆ cpp_type() [1/2]

◆ cpp_type() [2/2]

◆ decl_ident() [1/2]

◆ decl_ident() [2/2]

◆ decl_value()

◆ declaration_type() [1/2]

◆ declaration_type() [2/2]

◆ derived_this_arg() [1/2]

◆ derived_this_arg() [2/2]

◆ destination() [1/2]

◆ destination() [2/2]

◆ detatch()

◆ dfault() [1/2]

◆ dfault() [2/2]