Package | Description |
---|---|
de.uka.ilkd.key.symbolic_execution |
Modifier and Type | Class and Description |
---|---|
static class |
ExecutionNodeReader.AbstractKeYlessBaseExecutionNode<S extends SourceElement>
An implementation of
IExecutionBaseMethodReturn which is independent
from KeY and provides such only children and default attributes. |
static class |
ExecutionNodeReader.AbstractKeYlessExecutionBlockStartNode<S extends SourceElement>
An abstract implementation of
IExecutionBlockStartNode which is independent
from KeY and provides such only children and default attributes. |
static class |
ExecutionNodeReader.AbstractKeYlessExecutionNode<S extends SourceElement>
An abstract implementation of
IExecutionNode which is independent
from KeY and provides such only children and default attributes. |
static class |
ExecutionNodeReader.KeYlessBlockContract
An implementation of
IExecutionAuxiliaryContract which is independent
from KeY and provides such only children and default attributes. |
static class |
ExecutionNodeReader.KeYlessBranchCondition
An implementation of
IExecutionLoopCondition which is independent
from KeY and provides such only children and default attributes. |
static class |
ExecutionNodeReader.KeYlessBranchStatement
An implementation of
IExecutionBranchStatement which is independent
from KeY and provides such only children and default attributes. |
static class |
ExecutionNodeReader.KeYlessConstraint
An implementation of
IExecutionConstraint which is independent
from KeY and provides such only children and default attributes. |
static class |
ExecutionNodeReader.KeYlessExceptionalMethodReturn
An implementation of
IExecutionExceptionalMethodReturn which is independent
from KeY and provides such only children and default attributes. |
static class |
ExecutionNodeReader.KeYlessJoin
An implementation of
IExecutionJoin which is independent
from KeY and provides such only children and default attributes. |
static class |
ExecutionNodeReader.KeYlessLoopCondition
An implementation of
IExecutionLoopCondition which is independent
from KeY and provides such only children and default attributes. |
static class |
ExecutionNodeReader.KeYlessLoopInvariant
An implementation of
IExecutionLoopInvariant which is independent
from KeY and provides such only children and default attributes. |
static class |
ExecutionNodeReader.KeYlessLoopStatement
An implementation of
IExecutionLoopStatement which is independent
from KeY and provides such only children and default attributes. |
static class |
ExecutionNodeReader.KeYlessMethodCall
An implementation of
IExecutionMethodCall which is independent
from KeY and provides such only children and default attributes. |
static class |
ExecutionNodeReader.KeYlessMethodReturn
An implementation of
IExecutionMethodReturn which is independent
from KeY and provides such only children and default attributes. |
static class |
ExecutionNodeReader.KeYlessMethodReturnValue
An implementation of
IExecutionMethodReturn which is independent
from KeY and provides such only children and default attributes. |
static class |
ExecutionNodeReader.KeYlessOperationContract
An implementation of
IExecutionOperationContract which is independent
from KeY and provides such only children and default attributes. |
static class |
ExecutionNodeReader.KeYlessStart
An implementation of
IExecutionStart which is independent
from KeY and provides such only children and default attributes. |
static class |
ExecutionNodeReader.KeYlessStatement
An implementation of
IExecutionStatement which is independent
from KeY and provides such only children and default attributes. |
static class |
ExecutionNodeReader.KeYlessTermination
An implementation of
IExecutionTermination which is independent
from KeY and provides such only children and default attributes. |
static class |
ExecutionNodeReader.KeYlessValue
An implementation of
IExecutionValue which is independent
from KeY and provides such only children and default attributes. |
static class |
ExecutionNodeReader.KeYlessVariable
An implementation of
IExecutionVariable which is independent
from KeY and provides such only children and default attributes. |
Copyright © 2003-2019 The KeY-Project.