Uses of Interface
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.ConcreteValue

Packages that use ConcreteValue

Package	Description
de.rwth.i2.attestor.programState
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values	This package containsSubsumingState the semantic of several JimpleValues on JimpleExecutables.
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.boolExpr	This package consists of values (expressions) of type boolean booleans themselves (true,false) are modelled by IntConstants in accordance to soot.
de.rwth.i2.attestor.stateSpaceGeneration	A generic model of a state space and state space generation.

Uses of ConcreteValue in de.rwth.i2.attestor.programState

Methods in de.rwth.i2.attestor.programState with parameters of type ConcreteValue

Modifier and Type	Method and Description
GeneralConcreteValue	GeneralProgramState.getSelectorTarget(ConcreteValue from, SelectorLabel selectorLabel)
void	GeneralProgramState.setIntermediate(String name, ConcreteValue value) Intermediates are internally equal to variables.
void	GeneralProgramState.setSelector(ConcreteValue from, SelectorLabel selectorLabel, ConcreteValue to)
void	GeneralProgramState.setVariable(String variableName, ConcreteValue value)

Uses of ConcreteValue in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values

Classes in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values that implement ConcreteValue

Modifier and Type	Class and Description
class	GeneralConcreteValue Implementation of values of variables as nodes in a heap configuration.

Methods in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values that return ConcreteValue

Modifier and Type	Method and Description
ConcreteValue	Field.evaluateOn(ProgramState programState) evaluates the expression defining the origin and gets the element referenced by the field starting at this origin element.
ConcreteValue	UndefinedValue.evaluateOn(ProgramState programState)
ConcreteValue	Local.evaluateOn(ProgramState programState)
ConcreteValue	Value.evaluateOn(ProgramState programState)
ConcreteValue	IntConstant.evaluateOn(ProgramState programState)
ConcreteValue	NullConstant.evaluateOn(ProgramState programState) gets the element of programState that represents null
ConcreteValue	NewExpr.evaluateOn(ProgramState programState) inserts a new element of the expected type into the programState.

Methods in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values with parameters of type ConcreteValue

Modifier and Type	Method and Description
boolean	ConcreteValue.equals(ConcreteValue other)
boolean	GeneralConcreteValue.equals(ConcreteValue other)
void	Field.setValue(ProgramState programState, ConcreteValue concreteTarget) Sets the value of the field in programState to concreteTarget.
void	Local.setValue(ProgramState programState, ConcreteValue concreteTarget) sets the variable in programState to concreteTarget
void	SettableValue.setValue(ProgramState programState, ConcreteValue concreteRHS) Sets a value to a given value that is evaluated in a given programState.

Uses of ConcreteValue in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.boolExpr

Methods in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.boolExpr that return ConcreteValue

Modifier and Type	Method and Description
ConcreteValue	UnequalExpr.evaluateOn(ProgramState programState) evaluates both expressions on the executable and returns the element representing true if they don't result in the same element (otherwise false).
ConcreteValue	EqualExpr.evaluateOn(ProgramState programState) evaluates both expressions on the executable and returns the element representing true if they result in the same element (otherwise false).

Uses of ConcreteValue in de.rwth.i2.attestor.stateSpaceGeneration

Methods in de.rwth.i2.attestor.stateSpaceGeneration that return ConcreteValue

Modifier and Type	Method and Description
ConcreteValue	ProgramState.getConstant(String constantName) Gets the requested constant
ConcreteValue	ProgramState.getSelectorTarget(ConcreteValue from, SelectorLabel selectorLabel) Gets the target of the given selector starting at a given object on the heap.
ConcreteValue	ProgramState.getUndefined() Gets an undefined value.
ConcreteValue	ProgramState.getVariableTarget(String variableName) Gets the target of the variable in the current scopes.
ConcreteValue	ProgramState.insertNewElement(Type type) Adds a new element on the heap to the executable and returns it.
ConcreteValue	ProgramState.removeIntermediate(String name) Removes an intermediate (in the current scopes) from the executable.

Methods in de.rwth.i2.attestor.stateSpaceGeneration with parameters of type ConcreteValue

Modifier and Type	Method and Description
ConcreteValue	ProgramState.getSelectorTarget(ConcreteValue from, SelectorLabel selectorLabel) Gets the target of the given selector starting at a given object on the heap.
void	ProgramState.setIntermediate(String name, ConcreteValue value) Sets an intermediate to the given value.
void	ProgramState.setSelector(ConcreteValue from, SelectorLabel selectorLabel, ConcreteValue to) (Re)sets the given selector starting at the given object on the heap to a (new) target.
void	ProgramState.setVariable(String variableName, ConcreteValue value) Sets the variable of the given name to the given value.