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

Class IntConstant

java.lang.Object

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

All Implemented Interfaces:

Value

public class IntConstant
extends Object
implements Value

IntConstants represent access to constants of type int

Author:

Hannah Arndt

Constructor Summary

Constructors

Constructor and Description
IntConstant(int value)

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

IntConstant

public IntConstant(int value)

Method Detail

evaluateOn

public ConcreteValue evaluateOn(ProgramState programState)

Specified by:

evaluateOn in interface Value

getType

public Type getType()

Specified by:

getType in interface Value

toString

public String toString()

Overrides:

toString in class Object

needsMaterialization

public boolean needsMaterialization(ProgramState programState)

Specified by:

needsMaterialization in interface Value

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.