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.KeYlessObject
An implementation of
ISymbolicObject which is independent
from KeY and provides such only children and default attributes. |
Modifier and Type | Method and Description |
---|---|
ISymbolicObject |
SymbolicLayoutReader.KeYlessAssociation.getTarget()
Returns the target
ISymbolicObject . |
Modifier and Type | Method and Description |
---|---|
ImmutableList<ISymbolicObject> |
SymbolicLayoutReader.KeYlessLayout.getObjects()
Returns all available symbolic objects.
|
Modifier and Type | Method and Description |
---|---|
void |
SymbolicLayoutReader.KeYlessLayout.addObject(ISymbolicObject object)
Add a new child
ISymbolicObject . |
protected void |
SymbolicLayoutWriter.appendObject(int level,
ISymbolicLayout model,
ISymbolicObject object,
java.lang.StringBuffer sb)
Appends the given
ISymbolicObject with its children to the given StringBuffer . |
protected java.lang.String |
SymbolicLayoutWriter.computeObjectId(ISymbolicLayout model,
ISymbolicObject object)
Computes a unique ID for the given object in the given model.
|
void |
SymbolicLayoutReader.KeYlessAssociation.setTarget(ISymbolicObject target)
Sets the target.
|
Constructor and Description |
---|
KeYlessAssociation(java.lang.String name,
java.lang.String programVariableString,
boolean isArrayIndex,
java.lang.String arrayIndexString,
ISymbolicObject target,
java.lang.String conditionString)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
ISymbolicObject |
ISymbolicAssociation.getTarget()
Returns the target
ISymbolicObject . |
Modifier and Type | Method and Description |
---|---|
ImmutableList<ISymbolicObject> |
ISymbolicLayout.getObjects()
Returns all available symbolic objects.
|
Modifier and Type | Class and Description |
---|---|
class |
SymbolicObject
Default implementation of
ISymbolicObject . |
Modifier and Type | Method and Description |
---|---|
ISymbolicObject |
SymbolicAssociation.getTarget()
Returns the target
ISymbolicObject . |
Modifier and Type | Method and Description |
---|---|
ImmutableList<ISymbolicObject> |
SymbolicLayout.getObjects()
Returns all available symbolic objects.
|
Modifier and Type | Method and Description |
---|---|
void |
SymbolicLayout.addObject(ISymbolicObject object)
Adds a new
ISymbolicObject . |
Constructor and Description |
---|
SymbolicAssociation(Services services,
IProgramVariable programVariable,
ISymbolicObject target,
Term condition,
IModelSettings settings)
Constructor.
|
SymbolicAssociation(Services services,
Term arrayIndex,
ISymbolicObject target,
Term condition,
IModelSettings settings)
Constructor.
|
SymbolicAssociation(Services services,
Term arrayIndex,
Term arrayStartIndex,
Term arrayEndIndex,
ISymbolicObject target,
Term condition,
IModelSettings settings)
Constructor.
|
Copyright © 2003-2019 The KeY-Project.