Uses of Class
de.rwth.i2.attestor.semantics.jimpleSemantics.translation.TopLevelTranslation

Packages that use TopLevelTranslation

Package	Description
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 TopLevelTranslation in de.rwth.i2.attestor.semantics.jimpleSemantics.translation

Methods in de.rwth.i2.attestor.semantics.jimpleSemantics.translation with parameters of type TopLevelTranslation

Modifier and Type	Method and Description
void	DefaultAbstractSemantics.setTopLevel(TopLevelTranslation topLevel)
void	JimpleToAbstractSemantics.setTopLevel(TopLevelTranslation topLevel) Determines the highest level in the translation hierarchy.
void	TopLevelTranslation.setTopLevel(TopLevelTranslation topLevel)
void	StandardAbstractSemantics.setTopLevel(TopLevelTranslation topLevel)