de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values

Class Local

java.lang.Object

de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.Local

All Implemented Interfaces:

SettableValue, Value

public class Local
extends Object
implements SettableValue

Locals represent local variables

Author:

Hannah Arndt

Constructor Summary

Constructors

Constructor and Description
Local(Type type, String name)

Method Summary

Modifier and Type	Method and Description
ConcreteValue	evaluateOn(ProgramState programState)
String	getName()
ViolationPoints	getPotentialViolationPoints()
Type	getType()
boolean	needsMaterialization(ProgramState programState)
void	setValue(ProgramState programState, ConcreteValue concreteTarget) sets the variable in programState to concreteTarget
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Local

public Local(Type type,
             String name)

Method Detail

getName

public String getName()

getType

public Type getType()

Specified by:

getType in interface Value

evaluateOn

public ConcreteValue evaluateOn(ProgramState programState)

Specified by:

evaluateOn in interface Value

setValue

public void setValue(ProgramState programState,
                     ConcreteValue concreteTarget)

sets the variable in programState to concreteTarget

Specified by:

setValue in interface SettableValue

Parameters:

programState - The programState used to evaluate the given value.

concreteTarget - The value this value should be set to.

needsMaterialization

public boolean needsMaterialization(ProgramState programState)

Specified by:

needsMaterialization in interface Value

toString

public String toString()

Overrides:

toString in class Object

getPotentialViolationPoints

public ViolationPoints getPotentialViolationPoints()

Specified by:

getPotentialViolationPoints in interface Value

Returns:

The (variable,selector) pairs that might require materialization before this expression can be evaluated.