public static class ExecutionNodeReader.KeYlessStart extends ExecutionNodeReader.AbstractKeYlessExecutionNode<SourceElement> implements IExecutionStart
IExecutionStart
which is independent
from KeY and provides such only children and default attributes.Modifier and Type | Field and Description |
---|---|
private ImmutableList<IExecutionTermination> |
terminations
The up to now discovered
IExecutionTermination s. |
DEFAULT_START_NODE_NAME
INTERNAL_NODE_NAME_END, INTERNAL_NODE_NAME_START
Constructor and Description |
---|
KeYlessStart(java.lang.String name,
java.lang.String formatedPathCondition,
boolean pathConditionChanged)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
void |
addTermination(IExecutionTermination termination)
Adds the given
IExecutionTermination . |
java.lang.String |
getElementType()
Returns a human readable element type name.
|
ImmutableList<IExecutionTermination> |
getTerminations()
Returns the up to now discovered
IExecutionTermination s. |
addCallStackEntry, addChild, addCompletedBlock, addConstraint, addIncomingLink, addOutgoingLink, addVariable, getActivePositionInfo, getActiveStatement, getBlockCompletionCondition, getCallStack, getChildren, getCompletedBlocks, getConstraints, getCurrentLayout, getFormatedBlockCompletionCondition, getFormatedPathCondition, getIncomingLink, getIncomingLinks, getInitialLayout, getLayoutsCount, getLayoutsEquivalenceClasses, getModalityPIO, getOutgoingLink, getOutgoingLinks, getParent, getPathCondition, getVariables, getVariables, isPathConditionChanged
getAppliedRuleApp, getInitConfig, getName, getProof, getProofNode, getProofNodeInfo, getServices, getSettings, isDisposed, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getActivePositionInfo, getActiveStatement, getBlockCompletionCondition, getCallStack, getChildren, getCompletedBlocks, getConstraints, getCurrentLayout, getFormatedBlockCompletionCondition, getFormatedPathCondition, getIncomingLink, getIncomingLinks, getInitialLayout, getLayoutsCount, getLayoutsEquivalenceClasses, getOutgoingLink, getOutgoingLinks, getParent, getPathCondition, getVariables, getVariables, isPathConditionChanged
getAppliedRuleApp, getInitConfig, getModalityPIO, getName, getProof, getProofNode, getProofNodeInfo, getServices, getSettings, isDisposed
private ImmutableList<IExecutionTermination> terminations
IExecutionTermination
s.public KeYlessStart(java.lang.String name, java.lang.String formatedPathCondition, boolean pathConditionChanged)
name
- The name of this node.formatedPathCondition
- The formated path condition.pathConditionChanged
- Is the path condition changed compared to parent?public java.lang.String getElementType()
getElementType
in interface IExecutionElement
public void addTermination(IExecutionTermination termination)
IExecutionTermination
.termination
- The IExecutionTermination
to add.public ImmutableList<IExecutionTermination> getTerminations()
IExecutionTermination
s.getTerminations
in interface IExecutionStart
IExecutionTermination
s.