de.rwth.i2.attestor.semantics.jimpleSemantics.translation

Class StandardAbstractSemantics

java.lang.Object

de.rwth.i2.attestor.main.scene.SceneObject

de.rwth.i2.attestor.semantics.jimpleSemantics.translation.StandardAbstractSemantics

All Implemented Interfaces:

JimpleToAbstractSemantics

public class StandardAbstractSemantics
extends SceneObject
implements JimpleToAbstractSemantics

Translator for all standard statements/values which operate on JimpleExecutables.

Author:

Hannah Arndt, Christoph

Constructor Summary

Constructors

Constructor and Description
StandardAbstractSemantics(SceneObject sceneObject) Default initialization

Method Summary

Modifier and Type	Method and Description
void	setTopLevel(TopLevelTranslation topLevel) Determines the highest level in the translation hierarchy.
Statement	translateStatement(soot.jimple.Stmt input, int pc) soot.jimple.AssignStmt translates to AssignStmt or AssignInvoke soot.jimple.IfStmt translates to IfStmt soot.jimple.GotoStmt translates to GotoStmt soot.jimple.IdentityStmt translates to IdentityStmt soot.jimple.ReturnStmt translates to ReturnValueStmt soot.jimple.ReturnVoidStmt translates to ReturnVoidStmt soot.jimple.InvokeStmt translates to InvokeStmt Everything else is delegated to nextLevel
Type	translateType(soot.Type input) creates a NodeType with the escaped type name
Value	translateValue(soot.Value input) soot.jimple.NullConstant translates to NullConstant soot.Local translates to Local soot.InstanceFieldRef translates to Field soot.jimple.NewExpr translates to NewExpr soot.jimple.IntConstant translates to IntConstant for values in {0,1} soot.jimple.EqExpr translates to EqualExpr soot.jimple.NeExpr translates to UnequalExpr everything else is delegated to nextLevel

Methods inherited from class de.rwth.i2.attestor.main.scene.SceneObject

scene

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StandardAbstractSemantics

public StandardAbstractSemantics(SceneObject sceneObject)

Default initialization

Method Detail

setTopLevel

public void setTopLevel(TopLevelTranslation topLevel)

Description copied from interface: JimpleToAbstractSemantics

Determines the highest level in the translation hierarchy. This is the first level of the translation that is called during the translation.

Specified by:

setTopLevel in interface JimpleToAbstractSemantics

Parameters:

topLevel - The first level that is invoked during the translation.

translateStatement

public Statement translateStatement(soot.jimple.Stmt input,
                                    int pc)

soot.jimple.AssignStmt translates to AssignStmt or AssignInvoke
soot.jimple.IfStmt translates to IfStmt
soot.jimple.GotoStmt translates to GotoStmt
soot.jimple.IdentityStmt translates to IdentityStmt
soot.jimple.ReturnStmt translates to ReturnValueStmt
soot.jimple.ReturnVoidStmt translates to ReturnVoidStmt
soot.jimple.InvokeStmt translates to InvokeStmt
Everything else is delegated to nextLevel

Specified by:

translateStatement in interface JimpleToAbstractSemantics

Parameters:

input - The Jimple statement to translate.

pc - The program counter associated to this statement.

Returns:

The translated statement.

translateValue

public Value translateValue(soot.Value input)

soot.jimple.NullConstant translates to NullConstant
soot.Local translates to Local
soot.InstanceFieldRef translates to Field
soot.jimple.NewExpr translates to NewExpr
soot.jimple.IntConstant translates to IntConstant
for values in {0,1} soot.jimple.EqExpr translates to EqualExpr
soot.jimple.NeExpr translates to UnequalExpr
everything else is delegated to nextLevel

Specified by:

translateValue in interface JimpleToAbstractSemantics

Parameters:

input - the Jimple value to translate.

Returns:

The translated value.

translateType

public Type translateType(soot.Type input)

creates a NodeType with the escaped type name

Specified by:

translateType in interface JimpleToAbstractSemantics

Parameters:

input - The type to translate.

Returns:

The translated type.