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.KeYlessAssociation
An implementation of
ISymbolicAssociation which is independent
from KeY and provides such only children and default attributes. |
Modifier and Type | Method and Description |
---|---|
ISymbolicAssociation |
SymbolicLayoutReader.KeYlessState.getAssociation(IProgramVariable programVariable,
boolean isArrayIndex,
Term arrayIndex,
Term condition)
Returns the
ISymbolicAssociation with the given IProgramVariable . |
ISymbolicAssociation |
SymbolicLayoutReader.KeYlessObject.getAssociation(IProgramVariable programVariable,
boolean isArrayIndex,
Term arrayIndex,
Term condition)
Returns the
ISymbolicAssociation with the given IProgramVariable . |
Modifier and Type | Method and Description |
---|---|
ImmutableList<ISymbolicAssociation> |
SymbolicLayoutReader.AbstractKeYlessAssociationValueContainer.getAssociations()
Returns the contained associations.
|
Modifier and Type | Method and Description |
---|---|
void |
SymbolicLayoutReader.AbstractKeYlessAssociationValueContainer.addAssociation(ISymbolicAssociation association)
Adds a new child
ISymbolicAssociation |
protected void |
SymbolicLayoutWriter.appendAssociation(int level,
ISymbolicLayout model,
ISymbolicAssociation association,
java.lang.StringBuffer sb)
Appends the given
ISymbolicAssociation with its children to the given StringBuffer . |
Modifier and Type | Method and Description |
---|---|
ISymbolicAssociation |
ISymbolicAssociationValueContainer.getAssociation(IProgramVariable programVariable,
boolean isArrayIndex,
Term arrayIndex,
Term condition)
Returns the
ISymbolicAssociation with the given IProgramVariable . |
Modifier and Type | Method and Description |
---|---|
ImmutableList<ISymbolicAssociation> |
ISymbolicAssociationValueContainer.getAssociations()
Returns the contained associations.
|
Modifier and Type | Class and Description |
---|---|
class |
SymbolicAssociation
Default implementation of
ISymbolicAssociation . |
Modifier and Type | Method and Description |
---|---|
ISymbolicAssociation |
AbstractSymbolicAssociationValueContainer.getAssociation(IProgramVariable programVariable,
boolean isArrayIndex,
Term arrayIndex,
Term condition)
Returns the
ISymbolicAssociation with the given IProgramVariable . |
Modifier and Type | Method and Description |
---|---|
ImmutableList<ISymbolicAssociation> |
AbstractSymbolicAssociationValueContainer.getAssociations()
Returns the contained associations.
|
Modifier and Type | Method and Description |
---|---|
void |
AbstractSymbolicAssociationValueContainer.addAssociation(ISymbolicAssociation association)
Adds a new
ISymbolicAssociation . |
Copyright © 2003-2019 The KeY-Project.