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

Class NewExpr

java.lang.Object

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

All Implemented Interfaces:

Value

public class NewExpr
extends Object
implements Value

represents expressions of form new List() or new List( args ), but only generates the new element without calling the constructor. This is separated by jimple.

Author:

Hannah Arndt

Constructor Summary

Constructors

Constructor and Description
NewExpr(Type type)

Method Summary

Modifier and Type	Method and Description
ConcreteValue	evaluateOn(ProgramState programState) inserts a new element of the expected type into the 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

NewExpr

public NewExpr(Type type)

Method Detail

evaluateOn

public ConcreteValue evaluateOn(ProgramState programState)

inserts a new element of the expected type into the programState.

Specified by:

evaluateOn in interface Value

Returns:

the newly inserted element

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

Returns:

"new type()"

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.