Intermediate, pre-adaptation parse of a CBMC symbol (mirrors cbmc.rs CBMCSymbol). More...

#include <read_cbmc_goto_object.h>

Public Attributes
irept	stype
irept	value
irept	location
std::string	name
std::string	module
std::string	base_name
std::string	mode
std::string	pretty_name
unsigned	flags = 0
bool	is_type = false
bool	is_weak = false
bool	is_property = false
bool	is_macro = false
bool	is_exported = false
bool	is_input = false
bool	is_output = false
bool	is_state_var = false
bool	is_parameter = false
bool	is_auxiliary = false
bool	binding = false
bool	is_lvalue = false
bool	is_static_lifetime = false
bool	is_thread_local = false
bool	is_file_local = false
bool	is_extern = false
bool	is_volatile = false

Detailed Description

Intermediate, pre-adaptation parse of a CBMC symbol (mirrors cbmc.rs CBMCSymbol).

Conventions are still CBMC's; the adapter rewrites them.

Member Data Documentation

◆ base_name

std::string cbmc_symbolt::base_name

◆ binding

bool cbmc_symbolt::binding = false

◆ flags

unsigned cbmc_symbolt::flags = 0

◆ is_auxiliary

bool cbmc_symbolt::is_auxiliary = false

◆ is_exported

bool cbmc_symbolt::is_exported = false

◆ is_extern

bool cbmc_symbolt::is_extern = false

◆ is_file_local

bool cbmc_symbolt::is_file_local = false

◆ is_input

bool cbmc_symbolt::is_input = false

◆ is_lvalue

bool cbmc_symbolt::is_lvalue = false

◆ is_macro

bool cbmc_symbolt::is_macro = false

◆ is_output

bool cbmc_symbolt::is_output = false

◆ is_parameter

bool cbmc_symbolt::is_parameter = false

◆ is_property

bool cbmc_symbolt::is_property = false

◆ is_state_var

bool cbmc_symbolt::is_state_var = false

◆ is_static_lifetime

bool cbmc_symbolt::is_static_lifetime = false

◆ is_thread_local

bool cbmc_symbolt::is_thread_local = false

◆ is_type

bool cbmc_symbolt::is_type = false

◆ is_volatile

bool cbmc_symbolt::is_volatile = false

◆ is_weak

bool cbmc_symbolt::is_weak = false

◆ location

irept cbmc_symbolt::location

◆ mode

std::string cbmc_symbolt::mode

◆ module

std::string cbmc_symbolt::module

◆ name

std::string cbmc_symbolt::name

◆ pretty_name

std::string cbmc_symbolt::pretty_name

◆ stype

irept cbmc_symbolt::stype

◆ value

irept cbmc_symbolt::value

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

src/goto-programs/read_cbmc_goto_object.h

Public Attributes