jimple_method Class Reference

A class (or interface) method of a Jimple file. More...

#include <jimple_class_member.h>

Inheritance diagram for jimple_method:

Public Member Functions
virtual void	from_json (const json &j) override
	Initializes the current instance by parsing a JSON.
virtual std::string	to_string () const override
	Converts the object into a string.
virtual exprt	to_exprt (contextt &ctx, const std::string &class_name, const std::string &file_name) const override
Public Member Functions inherited from jimple_ast
void	dump () const
	Prints the contents into the the stdout.

Public Attributes
std::string	name
jimple_modifiers	modifiers
std::string	throws
jimple_type	type
std::shared_ptr< jimple_method_body >	body
std::vector< std::shared_ptr< jimple_type > >	parameters
Public Attributes inherited from jimple_ast
int	line_location = -1
	instruction location

Protected Member Functions
std::string	get_hash_name () const

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

Detailed Description

A class (or interface) method of a Jimple file.

example:

class Foo { public void jimple_method { do_stuff(); } }

Member Function Documentation

from_json()

void jimple_method::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.

get_hash_name()

std::string jimple_method::get_hash_name ( ) const

inlineprotected

to_exprt()

exprt jimple_method::to_exprt ( contextt & ctx, const std::string & class_name, const std::string & file_name ) const

overridevirtual

Implements jimple_class_member.

to_string()

std::string jimple_method::to_string ( ) const

overridevirtual

Converts the object into a string.

Returns

a human readable string of the object

Implements jimple_ast.

Member Data Documentation

body

std::shared_ptr<jimple_method_body> jimple_method::body

modifiers

jimple_modifiers jimple_method::modifiers

name

std::string jimple_method::name

parameters

std::vector<std::shared_ptr<jimple_type> > jimple_method::parameters

throws

std::string jimple_method::throws

type

jimple_type jimple_method::type

---

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

• src/jimple-frontend/AST/jimple_class_member.h
• src/jimple-frontend/AST/jimple_method.cpp