Package | Description |
---|---|
de.uka.ilkd.key.symbolic_execution | |
de.uka.ilkd.key.symbolic_execution.object_model | |
de.uka.ilkd.key.symbolic_execution.object_model.impl |
Modifier and Type | Class and Description |
---|---|
static class |
SymbolicLayoutReader.KeYlessValue
An implementation of
ISymbolicValue which is independent
from KeY and provides such only children and default attributes. |
Modifier and Type | Method and Description |
---|---|
ISymbolicValue |
SymbolicLayoutReader.KeYlessState.getValue(IProgramVariable programVariable,
boolean isArrayIndex,
Term arrayIndex,
Term condition)
Returns the
ISymbolicValue with the given IProgramVariable . |
ISymbolicValue |
SymbolicLayoutReader.KeYlessObject.getValue(IProgramVariable programVariable,
boolean isArrayIndex,
Term arrayIndex,
Term condition)
Returns the
ISymbolicValue with the given IProgramVariable . |
Modifier and Type | Method and Description |
---|---|
ImmutableList<ISymbolicValue> |
SymbolicLayoutReader.AbstractKeYlessAssociationValueContainer.getValues()
Returns the contained values.
|
Modifier and Type | Method and Description |
---|---|
void |
SymbolicLayoutReader.AbstractKeYlessAssociationValueContainer.addValue(ISymbolicValue value)
Adds a new child
ISymbolicValue . |
protected void |
SymbolicLayoutWriter.appendValue(int level,
ISymbolicValue value,
java.lang.StringBuffer sb)
Appends the given
ISymbolicValue with its children to the given StringBuffer . |
Modifier and Type | Method and Description |
---|---|
ISymbolicValue |
ISymbolicAssociationValueContainer.getValue(IProgramVariable programVariable,
boolean isArrayIndex,
Term arrayIndex,
Term condition)
Returns the
ISymbolicValue with the given IProgramVariable . |
Modifier and Type | Method and Description |
---|---|
ImmutableList<ISymbolicValue> |
ISymbolicAssociationValueContainer.getValues()
Returns the contained values.
|
Modifier and Type | Class and Description |
---|---|
class |
SymbolicValue
Default implementation of
ISymbolicValue . |
Modifier and Type | Method and Description |
---|---|
ISymbolicValue |
AbstractSymbolicAssociationValueContainer.getValue(IProgramVariable programVariable,
boolean isArrayIndex,
Term arrayIndex,
Term condition)
Returns the
ISymbolicValue with the given IProgramVariable . |
Modifier and Type | Method and Description |
---|---|
ImmutableList<ISymbolicValue> |
AbstractSymbolicAssociationValueContainer.getValues()
Returns the contained values.
|
Modifier and Type | Method and Description |
---|---|
void |
AbstractSymbolicAssociationValueContainer.addValue(ISymbolicValue value)
Adds a new
ISymbolicValue . |
Copyright © 2003-2019 The KeY-Project.