jimple_modifiers Class Reference

AST parsing for modifiers. More...

#include <jimple_modifiers.h>

Inheritance diagram for jimple_modifiers:

Public Types
enum class	modifier {   Abstract , Final , Native , Public ,   Protected , Private , Static , Synchronized ,   Transient , Volatile , StrictFp , Enum ,   Annotation }

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 modifier	from_string (const std::string &name) const
virtual std::string	to_string (const modifier &ft) const
bool	contains (modifier other) const
bool	is_static () const
bool	is_public () const
bool	is_private () const
modifier	at (const int i) const
Public Member Functions inherited from jimple_ast
void	dump () const
	Prints the contents into the the stdout.

Protected Attributes
std::vector< modifier >	modifiers

Additional Inherited Members
Public Attributes inherited from jimple_ast
int	line_location = -1
	instruction location
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

AST parsing for modifiers.

This should hold every modifier e.g. final, private and etc...

We will probably only care for Static and Native thought

Member Enumeration Documentation

modifier

enum class jimple_modifiers::modifier

strong

Enumerator
Abstract
Final
Native
Public
Protected
Private
Static
Synchronized
Transient
Volatile
StrictFp
Enum
Annotation

Member Function Documentation

at()

modifier jimple_modifiers::at ( const int i ) const

inline

contains()

bool jimple_modifiers::contains ( modifier other ) const

inline

from_json()

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

from_string()

jimple_modifiers::modifier jimple_modifiers::from_string ( const std::string & name ) const

virtual

is_private()

bool jimple_modifiers::is_private ( ) const

inline

is_public()

bool jimple_modifiers::is_public ( ) const

inline

is_static()

bool jimple_modifiers::is_static ( ) const

inline

to_string() [1/2]

std::string jimple_modifiers::to_string ( ) const

overridevirtual

Converts the object into a string.

Returns

a human readable string of the object

Implements jimple_ast.

to_string() [2/2]

std::string jimple_modifiers::to_string ( const modifier & ft ) const

virtual

Member Data Documentation

modifiers

std::vector<modifier> jimple_modifiers::modifiers

protected

---

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

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