de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.invoke

Class InvokeHelper

java.lang.Object

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

de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.invoke.InvokeHelper

Direct Known Subclasses:

InstanceInvokeHelper, StaticInvokeHelper

public abstract class InvokeHelper
extends SceneObject

An instance of this class is a helper for a specific invoke statement. It can be used to prepare the heap before the invoked method is executed, to add variables referencing this and the arguments of the method. After the execution of the method it can be used to remove all variables that should only be visible inside the method, e.g. references which the method did not remove and its local variables.

Call prepareHeap(input) for the heap that initializes the method call and cleanHeap( result ) on heaps that result from the execution of the abstract Method.

Author:

Hannah Arndt

Field Summary

Fields

Modifier and Type	Field and Description
protected Set<String>	liveVariableNames The live variables for this statement.

Method Summary

Modifier and Type	Method and Description
String	argumentString() separates the arguments by ,
abstract String	baseValueString()
abstract void	cleanHeap(ProgramState programState) Removes unused intermediates (this, params, return) and local variables from the programState.
ViolationPoints	getPotentialViolationPoints()
boolean	needsMaterialization(ProgramState programState)
abstract void	prepareHeap(ProgramState programState) Attaches method parameters and if need be this to the programState for use in the method.
void	setLiveVariableNames(Set<String> liveVariableNames) Specifies the live variables for this program location.

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

Field Detail

liveVariableNames

protected Set<String> liveVariableNames

The live variables for this statement.

Method Detail

prepareHeap

public abstract void prepareHeap(ProgramState programState)

Attaches method parameters and if need be this to the programState for use in the method.

Exceptions may occur in the evaluation of the arguments or the calling Value cause them.

Parameters:

programState - : the programState which will be the input of the called method

cleanHeap

public abstract void cleanHeap(ProgramState programState)

Removes unused intermediates (this, params, return) and local variables from the programState.

Parameters:

programState - after execution of method (potentially wiht unused intermediates and local variables)

needsMaterialization

public boolean needsMaterialization(ProgramState programState)

argumentString

public String argumentString()

separates the arguments by ,

Returns:

arg1, arg2, ..., argN

getPotentialViolationPoints

public ViolationPoints getPotentialViolationPoints()

Returns:

The potential (variable,selector) fields that might require materialization before executing this statement.

setLiveVariableNames

public void setLiveVariableNames(Set<String> liveVariableNames)

Specifies the live variables for this program location.

Parameters:

liveVariableNames - Set of live variable names.

baseValueString

public abstract String baseValueString()