Modifier and Type | Class and Description |
---|---|
static class |
SymbolicLayoutReader.KeYlessLayout
An implementation of
ISymbolicLayout which is independent
from KeY and provides such only children and default attributes. |
Modifier and Type | Method and Description |
---|---|
protected ISymbolicLayout |
SymbolicLayoutExtractor.createLayoutFromExecutionVariableValuePairs(ImmutableList<ISymbolicEquivalenceClass> equivalentClasses,
java.util.Set<AbstractUpdateExtractor.ExecutionVariableValuePair> pairs,
java.lang.String stateName)
Creates an
ISymbolicLayout which shows the objects,
values and associations defined by the given ExecutionVariableValuePair s. |
ISymbolicLayout |
ExecutionNodeReader.AbstractKeYlessExecutionNode.getCurrentLayout(int configurationIndex)
Returns the current memory layout which shows the memory
structure before the current node in the symbolic execution tree is executed.
|
ISymbolicLayout |
SymbolicLayoutExtractor.getCurrentLayout(int layoutIndex)
Returns the current memory layout at the given index.
|
ISymbolicLayout |
ExecutionNodeReader.AbstractKeYlessExecutionNode.getInitialLayout(int configurationIndex)
Returns the initial memory layout before the method was executed.
|
ISymbolicLayout |
SymbolicLayoutExtractor.getInitialLayout(int layoutIndex)
Returns the initial memory layout at the given index.
|
protected ISymbolicLayout |
SymbolicLayoutExtractor.getLayout(java.util.Map<java.lang.Integer,ISymbolicLayout> confiurationsMap,
int layoutIndex,
java.util.Set<AbstractUpdateExtractor.ExtractLocationParameter> locations,
java.lang.String stateName,
boolean currentLayout)
Helper method of
SymbolicLayoutExtractor.getInitialLayout(int) and
SymbolicLayoutExtractor.getCurrentLayout(int) to lazily compute and get a memory layout. |
protected ISymbolicLayout |
SymbolicLayoutExtractor.lazyComputeLayout(ImmutableSet<Term> layout,
java.util.Set<AbstractUpdateExtractor.ExtractLocationParameter> locations,
ImmutableList<ISymbolicEquivalenceClass> equivalentClasses,
java.lang.String stateName,
boolean currentLayout)
Computes a memory layout lazily when it is first time requested via
#getLayout(Map, int, Term, Set, String, boolean) . |
ISymbolicLayout |
SymbolicLayoutReader.read(java.io.File file)
Reads the given
File . |
ISymbolicLayout |
SymbolicLayoutReader.read(java.io.InputStream in)
Reads from the given
InputStream and closes it. |
Modifier and Type | Method and Description |
---|---|
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 . |
protected void |
SymbolicLayoutWriter.appendModel(int level,
ISymbolicLayout model,
java.lang.StringBuffer sb)
Appends the given
ISymbolicLayout with its children to the given StringBuffer . |
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 void |
SymbolicLayoutWriter.appendState(int level,
ISymbolicLayout model,
ISymbolicState state,
java.lang.StringBuffer sb)
Appends the given
ISymbolicState 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.
|
java.lang.String |
SymbolicLayoutWriter.toXML(ISymbolicLayout model,
java.lang.String encoding)
Converts the given
ISymbolicLayout into XML. |
void |
SymbolicLayoutWriter.write(ISymbolicLayout model,
java.lang.String encoding,
java.io.File file)
Writes the given
ISymbolicLayout as XML file. |
void |
SymbolicLayoutWriter.write(ISymbolicLayout model,
java.lang.String encoding,
java.io.OutputStream out)
Writes the given
ISymbolicLayout into the OutputStream . |
Modifier and Type | Method and Description |
---|---|
protected ISymbolicLayout |
SymbolicLayoutExtractor.getLayout(java.util.Map<java.lang.Integer,ISymbolicLayout> confiurationsMap,
int layoutIndex,
java.util.Set<AbstractUpdateExtractor.ExtractLocationParameter> locations,
java.lang.String stateName,
boolean currentLayout)
Helper method of
SymbolicLayoutExtractor.getInitialLayout(int) and
SymbolicLayoutExtractor.getCurrentLayout(int) to lazily compute and get a memory layout. |
Modifier and Type | Method and Description |
---|---|
ISymbolicLayout |
IExecutionNode.getCurrentLayout(int layoutIndex)
Returns the current memory layout which shows the memory
structure before the current node in the symbolic execution tree is executed.
|
ISymbolicLayout |
IExecutionNode.getInitialLayout(int layoutIndex)
Returns the initial memory layout before the method was executed.
|
Modifier and Type | Method and Description |
---|---|
ISymbolicLayout |
AbstractExecutionNode.getCurrentLayout(int layoutIndex)
Returns the current memory layout which shows the memory
structure before the current node in the symbolic execution tree is executed.
|
ISymbolicLayout |
AbstractExecutionNode.getInitialLayout(int layoutIndex)
Returns the initial memory layout before the method was executed.
|
Modifier and Type | Class and Description |
---|---|
class |
SymbolicLayout
Default implementation of
ISymbolicLayout . |
Copyright © 2003-2019 The KeY-Project.