jimple_nondet Class Reference

Nondet call (This in an extension). More...

#include <jimple_expr.h>

Inheritance diagram for jimple_nondet:

Public Member Functions
	jimple_nondet ()=default
	jimple_nondet (std::string mode)
virtual std::string	to_string () const override
	Converts the object into a string.
virtual void	from_json (const json &) override
	Initializes the current instance by parsing a JSON.
virtual expr2tc	to_expr2t (contextt &ctx, const std::string &class_name, const std::string &function_name) const override
	The IREP2 form of this expression.
Public Member Functions inherited from jimple_expr
virtual exprt	to_exprt (contextt &, const std::string &, const std::string &) const
Public Member Functions inherited from jimple_ast
void	dump () const
	Prints the contents into the the stdout.

Public Attributes
const std::string	mode
Public Attributes inherited from jimple_ast
int	line_location = -1
	instruction location

Additional Inherited Members
Static Public Member Functions inherited from jimple_expr
static std::shared_ptr< jimple_expr >	get_expression (const json &j)
	Recursively explores and initializes a jimple_expression.
Static Protected Member Functions inherited from jimple_expr
static expr2tc	lower_invoke2t (contextt &ctx, const std::string &base_class, const std::string &method, const std::string &this_variable, const std::vector< std::shared_ptr< jimple_expr > > &parameters, const expr2tc &lhs, const std::string &class_name, const std::string &function_name)
	Lower an invoke to the block both invoke forms produce.
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

Detailed Description

Nondet call (This in an extension).

Constructor & Destructor Documentation

jimple_nondet() [1/2]

jimple_nondet::jimple_nondet ( )

default

jimple_nondet() [2/2]

jimple_nondet::jimple_nondet ( std::string mode )

inlineexplicit

Member Function Documentation

from_json()

virtual void jimple_nondet::from_json ( const json & )

inlineoverridevirtual

Initializes the current instance by parsing a JSON.

Parameters

json	The json object relative to the structure

Implements jimple_ast.

to_expr2t()

expr2tc jimple_nondet::to_expr2t ( contextt & ctx, const std::string & class_name, const std::string & function_name ) const

overridevirtual

The IREP2 form of this expression.

The expression counterpart of jimple_method_field::to_code2t (K.4 of docs/roadmap/scope-jimple-irep2.md). A return type belongs to a virtual's signature, so the 27 to_exprt overrides cannot migrate one at a time; a parallel method can, with this default carrying whatever has not moved yet and shrinking as each override lands.

Reimplemented from jimple_expr.

to_string()

virtual std::string jimple_nondet::to_string ( ) const

inlineoverridevirtual

Converts the object into a string.

Returns

a human readable string of the object

Implements jimple_ast.

Member Data Documentation

mode

const std::string jimple_nondet::mode

---

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

• src/jimple-frontend/AST/jimple_expr.h
• src/jimple-frontend/AST/jimple_expr.cpp