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

Class InstanceInvokeHelper

java.lang.Object

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

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

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

public class InstanceInvokeHelper
extends InvokeHelper

Prepares the heap for the invoke of an instance method and cleans it afterwards.

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.

Handles the evaluation of parameter and this expressions and stores them in the heap, by setting the corresponding intermediates.
Cleans the heap after the execution of the method.

Author:

Hannah Arndt

Field Summary

Fields inherited from class de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.invoke.InvokeHelper

liveVariableNames

Constructor Summary

Constructors

Constructor and Description
InstanceInvokeHelper(SceneObject sceneObject, Value baseValue, List<Value> argumentValues) creates a helper class for a specific invoke statement.

Method Summary

Modifier and Type	Method and Description
String	baseValueString()
void	cleanHeap(ProgramState programState) remove any intermediates that are still present in the heap.
boolean	needsMaterialization(ProgramState programState)
void	prepareHeap(ProgramState programState) Attaches method parameters and if need be this to the programState for use in the method.

Methods inherited from class de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.invoke.InvokeHelper

argumentString, getPotentialViolationPoints, setLiveVariableNames

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

InstanceInvokeHelper

public InstanceInvokeHelper(SceneObject sceneObject,
                            Value baseValue,
                            List<Value> argumentValues)

creates a helper class for a specific invoke statement.

Parameters:

baseValue - the value on which the method is called (i.e. "this")

argumentValues - the values which form the arguments of the method in the correct ordering

Method Detail

cleanHeap

public void cleanHeap(ProgramState programState)

remove any intermediates that are still present in the heap.
leave the scopes of the method.

Specified by:

cleanHeap in class InvokeHelper

Parameters:

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

prepareHeap

public void prepareHeap(ProgramState programState)

Description copied from class: InvokeHelper

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.

Specified by:

prepareHeap in class InvokeHelper

Parameters:

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

needsMaterialization

public boolean needsMaterialization(ProgramState programState)

Overrides:

needsMaterialization in class InvokeHelper

baseValueString

public String baseValueString()

Specified by:

baseValueString in class InvokeHelper