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

Class UndefinedValue

java.lang.Object

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

All Implemented Interfaces:

Value

public class UndefinedValue
extends Object
implements Value

Undefined Values are placeholders for Values our simulation does not know, e.g. most numbers. They always evaluate to undefined concrete values

Author:

Hannah Arndt

Constructor Summary

Constructors

Constructor and Description
UndefinedValue()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

UndefinedValue

public UndefinedValue()

Method Detail

evaluateOn

public ConcreteValue evaluateOn(ProgramState programState)

Specified by:

evaluateOn in interface Value

getType

public Type getType()

Specified by:

getType in interface Value

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.