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

Class EqualExpr

java.lang.Object

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

All Implemented Interfaces:

Value

public class EqualExpr
extends Object
implements Value

Represents expressions of the form x == y

Author:

Hannah Arndt

Constructor Summary

Constructors

Constructor and Description
EqualExpr(Value leftExpr, Value rightExpr)

Method Summary

Modifier and Type	Method and Description
ConcreteValue	evaluateOn(ProgramState programState) evaluates both expressions on the executable and returns the element representing true if they result in the same element (otherwise false).
ViolationPoints	getPotentialViolationPoints()
Type	getType()
boolean	needsMaterialization(ProgramState programState)
String	toString() "left == right"

Methods inherited from class java.lang.Object

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

Constructor Detail

EqualExpr

public EqualExpr(Value leftExpr,
                 Value rightExpr)

Method Detail

evaluateOn

public ConcreteValue evaluateOn(ProgramState programState)

evaluates both expressions on the executable and returns the element representing true if they result in the same element (otherwise false). undefined if one of the expressions evaluates to undefined.

Specified by:

evaluateOn in interface Value

Returns:

the heap element representing true/false or undefined.

needsMaterialization

public boolean needsMaterialization(ProgramState programState)

Specified by:

needsMaterialization in interface Value

getType

public Type getType()

Specified by:

getType in interface Value

toString

public String toString()

"left == right"

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.