Inheritance diagram for jimple_assertion:

Public Member Functions
virtual std::string	to_string () const override
	Parse-only: no statement enumerator maps to this class, so the body dispatcher can never build one and there is no production path to lower.
virtual void	from_json (const json &j) override
	Initializes the current instance by parsing a JSON.
Public Member Functions inherited from jimple_method_field
virtual exprt	to_exprt (contextt &, const std::string &, const std::string &) const
virtual expr2tc	to_code2t (contextt &ctx, const std::string &class_name, const std::string &function_name, const locationt &loc) const
	The IREP2 form of this statement, located at `loc`.
Public Member Functions inherited from jimple_ast
void	dump () const
	Prints the contents into the the stdout.

Public Attributes
std::string	variable
std::string	value
Public Attributes inherited from jimple_ast
int	line_location = -1
	instruction location

Additional Inherited Members
Static Protected Member Functions inherited from jimple_ast
static symbolt	create_jimple_symbolt (const type2tc &t, const std::string &module, const std::string &name, const std::string &id, const std::string function_name="")
	creates a symbol with the default characteristics
static symbolt	get_temp_symbol (const type2tc &t, const std::string &class_name, const std::string &function_name)
	Create a temporary variable to be used.
static symbolt	get_allocation_function ()
	Get the allocation function symbol.
static symbolt	get_lengthof_function ()
	Get the esbmc_get_object_size symbol.
static std::string	get_method_name (std::string class_name, std::string function_name)
	Get the unique method name.
static std::string	get_symbol_name (std::string class_name, std::string function_name, std::string symbol)
	Get the symbol name id.
static locationt	get_location (const std::string &module, const std::string function_name="")
	initialize a location for the symbol

Member Function Documentation

◆ from_json()

void jimple_assertion::from_json ( const json & )

overridevirtual

Initializes the current instance by parsing a JSON.

Parameters

json	The json object relative to the structure

Implements jimple_ast.

std::string jimple_assertion::to_string ( ) const

overridevirtual

Parse-only: no statement enumerator maps to this class, so the body dispatcher can never build one and there is no production path to lower.

The only construction site is unit/jimple-frontend/jimple_ast.test.cpp, which exercises from_json alone (docs/roadmap/scope-jimple-irep2.md §46).

Implements jimple_ast.

std::string jimple_assertion::value

std::string jimple_assertion::variable

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