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

Interface SettableValue

All Superinterfaces:

Value

All Known Implementing Classes:

Field, Local

public interface SettableValue
extends Value

SettableValues are Values to which something can be assigned, i.e. that can appear as the left-hand-side of an assign Stmt, e.g. Locals, Fields etc.

on the other hand ConcreteValues, UndefinedValues, NewExpr etc are examples for Values that are not Settable

Author:

hannah

Method Summary

Modifier and Type	Method and Description
void	setValue(ProgramState programState, ConcreteValue concreteRHS) Sets a value to a given value that is evaluated in a given programState.

Methods inherited from interface de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.Value

evaluateOn, getPotentialViolationPoints, getType, needsMaterialization

Method Detail

setValue

void setValue(ProgramState programState,
              ConcreteValue concreteRHS)
       throws NullPointerDereferenceException

Sets a value to a given value that is evaluated in a given programState.

Parameters:

programState - The programState used to evaluate the given value.

concreteRHS - The value this value should be set to.

Throws:

NullPointerDereferenceException - if the evaluation of originValue results in a null pointer dereference.