#include <ansi_c_declaration.h>

Inheritance diagram for ansi_c_declarationt:

Collaboration diagram for ansi_c_declarationt:

Public Types
typedef std::vector< ansi_c_declaratort >	declaratorst

Public Types inherited from exprt
typedef std::vector< exprt >	operandst

Public Types inherited from irept
typedef std::vector< irept >	subt

typedef std::map< irep_namet, irept >	named_subt

Public Member Functions
	ansi_c_declarationt ()

bool	get_is_typedef () const

void	set_is_typedef (bool is_typedef)

bool	get_is_enum_constant () const

void	set_is_enum_constant (bool is_enum_constant)

bool	get_is_static () const

void	set_is_static (bool is_static)

bool	get_is_parameter () const

void	set_is_parameter (bool is_parameter)

bool	get_is_member () const

void	set_is_member (bool is_member)

bool	get_is_global () const

void	set_is_global (bool is_global)

bool	get_is_register () const

void	set_is_register (bool is_register)

bool	get_is_thread_local () const

void	set_is_thread_local (bool is_thread_local)

bool	get_is_inline () const

void	set_is_inline (bool is_inline)

bool	get_is_extern () const

void	set_is_extern (bool is_extern)

bool	get_is_static_assert () const

void	set_is_static_assert (bool is_static_assert)

bool	get_is_weak () const

void	set_is_weak (bool is_weak)

void	to_symbol (const ansi_c_declaratort &, symbolt &symbol) const

typet	full_type (const ansi_c_declaratort &) const

const declaratorst &	declarators () const

declaratorst &	declarators ()

const ansi_c_declaratort &	declarator () const

ansi_c_declaratort &	declarator ()

void	output (std::ostream &) const

void	add_initializer (exprt &value)

Public Member Functions inherited from exprt
	exprt ()

	exprt (const irep_idt &_id)

	exprt (const irep_idt &_id, const typet &_type)

typet &	type ()

const typet &	type () const

bool	has_operands () const

operandst &	operands ()

const operandst &	operands () const

exprt &	op0 ()

exprt &	op1 ()

exprt &	op2 ()

exprt &	op3 ()

const exprt &	op0 () const

const exprt &	op1 () const

const exprt &	op2 () const

const exprt &	op3 () const

void	reserve_operands (operandst::size_type n)

void	move_to_operands (exprt &expr)

void	move_to_operands (exprt &e1, exprt &e2)

void	move_to_operands (exprt &e1, exprt &e2, exprt &e3)

void	copy_to_operands (const exprt &expr)

void	copy_to_operands (const exprt &e1, const exprt &e2)

void	copy_to_operands (const exprt &e1, const exprt &e2, const exprt &e3)

void	make_typecast (const typet &_type)

void	make_not ()

void	make_true ()

void	make_false ()

void	make_bool (bool value)

void	negate ()

bool	sum (const exprt &expr)

bool	mul (const exprt &expr)

bool	subtract (const exprt &expr)

bool	is_constant () const

bool	is_true () const

bool	is_false () const

bool	is_zero () const

bool	is_one () const

bool	is_boolean () const

const source_locationt &	find_source_location () const

const source_locationt &	source_location () const

source_locationt &	add_source_location ()

exprt &	add_expr (const irep_idt &name)

const exprt &	find_expr (const irep_idt &name) const

void	visit (class expr_visitort &visitor)

void	visit (class const_expr_visitort &visitor) const

Public Member Functions inherited from irept
bool	is_nil () const

bool	is_not_nil () const

	irept (const irep_idt &_id)

	irept ()

	irept (const irept &irep)

	irept (irept &&irep)

irept &	operator= (const irept &irep)

irept &	operator= (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_namet &name) const

irept &	add (const irep_namet &name)

irept &	add (const irep_namet &name, const irept &irep)

const std::string &	get_string (const irep_namet &name) const

const irep_idt &	get (const irep_namet &name) const

bool	get_bool (const irep_namet &name) const

signed int	get_int (const irep_namet &name) const

unsigned int	get_unsigned_int (const irep_namet &name) const

std::size_t	get_size_t (const irep_namet &name) const

long long	get_long_long (const irep_namet &name) const

void	set (const irep_namet &name, const irep_idt &value)

void	set (const irep_namet &name, const irept &irep)

void	set (const irep_namet &name, const long long value)

void	remove (const irep_namet &name)

void	move_to_sub (irept &irep)

void	move_to_named_sub (const irep_namet &name, irept &irep)

bool	operator== (const irept &other) const

bool	operator!= (const irept &other) const

void	swap (irept &irep)

bool	operator< (const irept &other) const
	defines ordering on the internal representation More...

bool	ordering (const irept &other) const
	defines ordering on the internal representation More...

int	compare (const irept &i) const
	defines ordering on the internal representation More...

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

std::size_t	hash () const

std::size_t	full_hash () const

bool	full_eq (const irept &other) const

std::string	pretty (unsigned indent=0, unsigned max_indent=0) const

const dt &	read () const

dt &	write ()

Additional Inherited Members
Protected Member Functions inherited from irept
void	detach ()

Static Protected Member Functions inherited from irept
static bool	is_comment (const irep_namet &name)

static void	remove_ref (dt *old_data)

static void	nonrecursive_destructor (dt *old_data)
	Does the same as remove_ref, but using an explicit stack instead of recursion. More...

Protected Attributes inherited from irept
dt *	data

Static Protected Attributes inherited from irept
static dt	empty_d

Detailed Description

Definition at line 71 of file ansi_c_declaration.h.

Member Typedef Documentation

◆ declaratorst

typedef std::vector<ansi_c_declaratort> ansi_c_declarationt::declaratorst

Definition at line 204 of file ansi_c_declaration.h.

Constructor & Destructor Documentation

◆ ansi_c_declarationt()

ansi_c_declarationt::ansi_c_declarationt ( )

inline

Definition at line 74 of file ansi_c_declaration.h.

Member Function Documentation

◆ add_initializer()

void ansi_c_declarationt::add_initializer ( exprt & value )

inline

Definition at line 231 of file ansi_c_declaration.h.

References declarators().

Referenced by yyansi_cparse().

◆ declarator() [1/2]

const ansi_c_declaratort& ansi_c_declarationt::declarator ( ) const

inline

Definition at line 217 of file ansi_c_declaration.h.

References declarators().

Referenced by full_type(), output(), to_symbol(), c_typecheck_baset::typecheck_c_enum_type(), and c_typecheck_baset::typecheck_code_type().

◆ declarator() [2/2]

ansi_c_declaratort& ansi_c_declarationt::declarator ( )

inline

Definition at line 223 of file ansi_c_declaration.h.

References declarators().

◆ declarators() [1/2]

const declaratorst& ansi_c_declarationt::declarators ( ) const

inline

Definition at line 206 of file ansi_c_declaration.h.

References exprt::operands().

Referenced by add_initializer(), declarator(), output(), c_typecheck_baset::typecheck_decl(), c_typecheck_baset::typecheck_declaration(), and yyansi_cparse().

◆ declarators() [2/2]

declaratorst& ansi_c_declarationt::declarators ( )

inline

Definition at line 211 of file ansi_c_declaration.h.

References exprt::operands().

◆ full_type()

typet ansi_c_declarationt::full_type ( const ansi_c_declaratort & declarator ) const

Definition at line 91 of file ansi_c_declaration.cpp.

References declarator(), get_is_typedef(), ansi_c_declaratort::get_name(), irept::id(), irept::is_not_nil(), irept::set(), typet::subtype(), typet::subtypes(), and exprt::type().

Referenced by to_symbol(), c_typecheck_baset::typecheck_code_type(), and c_typecheck_baset::typecheck_declaration().

◆ get_is_enum_constant()

bool ansi_c_declarationt::get_is_enum_constant ( ) const

inline

Definition at line 88 of file ansi_c_declaration.h.

References irept::get_bool().

Referenced by output(), and to_symbol().

◆ get_is_extern()

bool ansi_c_declarationt::get_is_extern ( ) const

inline

Definition at line 168 of file ansi_c_declaration.h.

References irept::get_bool().

Referenced by output(), and to_symbol().

◆ get_is_global()

bool ansi_c_declarationt::get_is_global ( ) const

inline

Definition at line 128 of file ansi_c_declaration.h.

References irept::get_bool().

Referenced by output(), and to_symbol().

◆ get_is_inline()

bool ansi_c_declarationt::get_is_inline ( ) const

inline

Definition at line 158 of file ansi_c_declaration.h.

References irept::get_bool().

Referenced by output(), and to_symbol().

◆ get_is_member()

bool ansi_c_declarationt::get_is_member ( ) const

inline

Definition at line 118 of file ansi_c_declaration.h.

References irept::get_bool().

◆ get_is_parameter()

bool ansi_c_declarationt::get_is_parameter ( ) const

inline

Definition at line 108 of file ansi_c_declaration.h.

References irept::get_bool().

Referenced by output(), and to_symbol().

◆ get_is_register()

bool ansi_c_declarationt::get_is_register ( ) const

inline

Definition at line 138 of file ansi_c_declaration.h.

References irept::get_bool().

Referenced by output().

◆ get_is_static()

bool ansi_c_declarationt::get_is_static ( ) const

inline

Definition at line 98 of file ansi_c_declaration.h.

References irept::get_bool().

Referenced by output(), and to_symbol().

◆ get_is_static_assert()

bool ansi_c_declarationt::get_is_static_assert ( ) const

inline

Definition at line 178 of file ansi_c_declaration.h.

References irept::get_bool().

Referenced by output(), c_typecheck_baset::typecheck_decl(), and c_typecheck_baset::typecheck_declaration().

◆ get_is_thread_local()

bool ansi_c_declarationt::get_is_thread_local ( ) const

inline

Definition at line 148 of file ansi_c_declaration.h.

References irept::get_bool().

Referenced by output(), and to_symbol().

◆ get_is_typedef()

bool ansi_c_declarationt::get_is_typedef ( ) const

inline

Definition at line 78 of file ansi_c_declaration.h.

References irept::get_bool().

Referenced by full_type(), output(), and to_symbol().

◆ get_is_weak()

bool ansi_c_declarationt::get_is_weak ( ) const

inline

Definition at line 188 of file ansi_c_declaration.h.

References irept::get_bool().

Referenced by to_symbol().

◆ output()

void ansi_c_declarationt::output ( std::ostream & out ) const

Definition at line 60 of file ansi_c_declaration.cpp.

References declarator(), declarators(), get_is_enum_constant(), get_is_extern(), get_is_global(), get_is_inline(), get_is_parameter(), get_is_register(), get_is_static(), get_is_static_assert(), get_is_thread_local(), get_is_typedef(), irept::pretty(), and exprt::type().

◆ set_is_enum_constant()

void ansi_c_declarationt::set_is_enum_constant ( bool is_enum_constant )

inline

Definition at line 93 of file ansi_c_declaration.h.

Referenced by yyansi_cparse().

◆ set_is_extern()

void ansi_c_declarationt::set_is_extern ( bool is_extern )

inline

Definition at line 173 of file ansi_c_declaration.h.

Referenced by c_typecheck_baset::typecheck_declaration().

◆ set_is_global()

void ansi_c_declarationt::set_is_global ( bool is_global )

inline

Definition at line 133 of file ansi_c_declaration.h.

◆ set_is_inline()

void ansi_c_declarationt::set_is_inline ( bool is_inline )

inline

Definition at line 163 of file ansi_c_declaration.h.

Referenced by c_typecheck_baset::typecheck_declaration().

◆ set_is_member()

void ansi_c_declarationt::set_is_member ( bool is_member )

inline

Definition at line 123 of file ansi_c_declaration.h.

Referenced by yyansi_cparse().

◆ set_is_parameter()

void ansi_c_declarationt::set_is_parameter ( bool is_parameter )

inline

Definition at line 113 of file ansi_c_declaration.h.

Referenced by yyansi_cparse().

◆ set_is_register()

void ansi_c_declarationt::set_is_register ( bool is_register )

inline

Definition at line 143 of file ansi_c_declaration.h.

Referenced by c_typecheck_baset::typecheck_declaration().

◆ set_is_static()

void ansi_c_declarationt::set_is_static ( bool is_static )

inline

Definition at line 103 of file ansi_c_declaration.h.

Referenced by c_typecheck_baset::typecheck_declaration().

◆ set_is_static_assert()

void ansi_c_declarationt::set_is_static_assert ( bool is_static_assert )

inline

Definition at line 183 of file ansi_c_declaration.h.

Referenced by yyansi_cparse().

◆ set_is_thread_local()

void ansi_c_declarationt::set_is_thread_local ( bool is_thread_local )

inline

Definition at line 153 of file ansi_c_declaration.h.

Referenced by c_typecheck_baset::typecheck_declaration().

◆ set_is_typedef()

void ansi_c_declarationt::set_is_typedef ( bool is_typedef )

inline

Definition at line 83 of file ansi_c_declaration.h.

Referenced by c_typecheck_baset::typecheck_declaration().

◆ set_is_weak()

void ansi_c_declarationt::set_is_weak ( bool is_weak )

inline

Definition at line 193 of file ansi_c_declaration.h.

Referenced by c_typecheck_baset::typecheck_declaration().

◆ to_symbol()

void ansi_c_declarationt::to_symbol	(	const ansi_c_declaratort &	declarator,
		symbolt &	symbol
	)		const

Definition at line 123 of file ansi_c_declaration.cpp.

References configt::ansi_c, configt::ansi_ct::APPLE, configt::ansi_ct::ARM, symbolt::base_name, symbolt::clear(), config, declarator(), full_type(), configt::ansi_ct::GCC, ansi_c_declaratort::get_base_name(), get_is_enum_constant(), get_is_extern(), get_is_global(), get_is_inline(), get_is_parameter(), get_is_static(), get_is_thread_local(), get_is_typedef(), get_is_weak(), ansi_c_declaratort::get_name(), irept::id(), symbolt::is_extern, symbolt::is_file_local, symbolt::is_macro, symbolt::is_parameter, symbolt::is_static_lifetime, symbolt::is_thread_local, symbolt::is_type, symbolt::is_weak, symbolt::location, configt::ansi_ct::mode, symbolt::name, symbolt::pretty_name, irept::set(), exprt::source_location(), symbolt::type, ansi_c_declaratort::value(), and symbolt::value.

Referenced by c_typecheck_baset::typecheck_declaration().

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

ansi-c/ansi_c_declaration.h
ansi-c/ansi_c_declaration.cpp

Public Types

Public Member Functions

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ declaratorst

Constructor & Destructor Documentation

◆ ansi_c_declarationt()

Member Function Documentation

◆ add_initializer()

◆ declarator() [1/2]

◆ declarator() [2/2]

◆ declarators() [1/2]

◆ declarators() [2/2]

◆ full_type()

◆ get_is_enum_constant()

◆ get_is_extern()

◆ get_is_global()

◆ get_is_inline()

◆ get_is_member()

◆ get_is_parameter()

◆ get_is_register()

◆ get_is_static()

◆ get_is_static_assert()

◆ get_is_thread_local()

◆ get_is_typedef()

◆ get_is_weak()

◆ output()

◆ set_is_enum_constant()

◆ set_is_extern()

◆ set_is_global()

◆ set_is_inline()

◆ set_is_member()

◆ set_is_parameter()

◆ set_is_register()

◆ set_is_static()

◆ set_is_static_assert()

◆ set_is_thread_local()

◆ set_is_typedef()

◆ set_is_weak()

◆ to_symbol()