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

Interface Value

All Known Subinterfaces:

SettableValue

All Known Implementing Classes:

EqualExpr, Field, IntConstant, Local, NewExpr, NullConstant, UndefinedValue, UnequalExpr

public interface Value

Values model all kinds of expressions. They can be evaluated on JimpleExecutables to obtain their concrete value.

Author:

Hannah Arndt

Method Summary

Modifier and Type	Method and Description
ConcreteValue	evaluateOn(ProgramState programState)
ViolationPoints	getPotentialViolationPoints()
Type	getType()
boolean	needsMaterialization(ProgramState programState)

Method Detail

evaluateOn

ConcreteValue evaluateOn(ProgramState programState)
                  throws NullPointerDereferenceException

Throws:

NullPointerDereferenceException

needsMaterialization

boolean needsMaterialization(ProgramState programState)

getType

Type getType()

getPotentialViolationPoints

ViolationPoints getPotentialViolationPoints()

Returns:

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