Uses of Class
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.GeneralConcreteValue

Packages that use GeneralConcreteValue

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.

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

Methods in de.rwth.i2.attestor.programState that return GeneralConcreteValue

Modifier and Type	Method and Description
GeneralConcreteValue	GeneralProgramState.getConstant(String constantName)
GeneralConcreteValue	GeneralProgramState.getSelectorTarget(ConcreteValue from, SelectorLabel selectorLabel)
GeneralConcreteValue	GeneralProgramState.getUndefined()
GeneralConcreteValue	GeneralProgramState.getVariableTarget(String variableName)
GeneralConcreteValue	GeneralProgramState.insertNewElement(Type type)
GeneralConcreteValue	GeneralProgramState.removeIntermediate(String name) Intermediates are internally equal to variables.

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

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

Modifier and Type	Method and Description
static GeneralConcreteValue	GeneralConcreteValue.getUndefined()