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

Interface JimpleToAbstractSemantics

All Known Implementing Classes:

DefaultAbstractSemantics, StandardAbstractSemantics, TopLevelTranslation

public interface JimpleToAbstractSemantics

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) Translates Jimple statements to instances of Statement.
Type	translateType(soot.Type input) Translates Jimple types into Type.
Value	translateValue(soot.Value input) Translates Jimple values to instances of Value.

Method Detail

setTopLevel

void setTopLevel(TopLevelTranslation topLevel)

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

Parameters:

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

translateStatement

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

Translates Jimple statements to instances of Statement.

Parameters:

input - The Jimple statement to translate.

pc - The program counter associated to this statement.

Returns:

The translated statement.

translateValue

Value translateValue(soot.Value input)

Translates Jimple values to instances of Value.

Parameters:

input - the Jimple value to translate.

Returns:

The translated value.

translateType

Type translateType(soot.Type input)

Translates Jimple types into Type.

Parameters:

input - The type to translate.

Returns:

The translated type.