Uses of Interface
de.rwth.i2.attestor.semantics.jimpleSemantics.translation.JimpleToAbstractSemantics

Packages that use JimpleToAbstractSemantics

Package	Description
de.rwth.i2.attestor.semantics.jimpleSemantics	This package containsSubsumingState all classes which deal with the translation of Jimple elements, such as statements, values and types to semantics objects used within attestor.
de.rwth.i2.attestor.semantics.jimpleSemantics.translation	The classes in this package handle the translation of Jimple elements such as Statements, Values and Types to semantics objects of our symbolic execution.

Uses of JimpleToAbstractSemantics in de.rwth.i2.attestor.semantics.jimpleSemantics

Constructors in de.rwth.i2.attestor.semantics.jimpleSemantics with parameters of type JimpleToAbstractSemantics

Constructor and Description
JimpleParser(SceneObject sceneObject, JimpleToAbstractSemantics translationDef) Creates a new parser.

Uses of JimpleToAbstractSemantics in de.rwth.i2.attestor.semantics.jimpleSemantics.translation

Classes in de.rwth.i2.attestor.semantics.jimpleSemantics.translation that implement JimpleToAbstractSemantics

Modifier and Type	Class and Description
class	DefaultAbstractSemantics Translates all Jimple objects into trivial program semantics.
class	StandardAbstractSemantics Translator for all standard statements/values which operate on JimpleExecutables.
class	TopLevelTranslation This class organizes the actual translation process by splitting a Jimple program into methodExecution and methodExecution into units.

Constructors in de.rwth.i2.attestor.semantics.jimpleSemantics.translation with parameters of type JimpleToAbstractSemantics

Constructor and Description
TopLevelTranslation(SceneObject sceneObject, JimpleToAbstractSemantics firstLevel) Initializes the TopLevelTranslation with a custom first level.