public abstract static class ExecutionNodeReader.AbstractKeYlessExecutionElement extends java.lang.Object implements IExecutionElement
IExecutionElement
which is independent
from KeY and provides such only children and default attributes.Modifier and Type | Field and Description |
---|---|
private java.lang.String |
name
The name.
|
Constructor and Description |
---|
AbstractKeYlessExecutionElement(java.lang.String name)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
RuleApp |
getAppliedRuleApp()
Returns the applied
RuleApp . |
InitConfig |
getInitConfig()
Returns the
InitConfig used by IExecutionElement.getProof() . |
java.lang.String |
getName()
Returns a human readable name which describes this element.
|
Proof |
getProof()
Returns the
Proof from which the symbolic execution tree was extracted. |
Node |
getProofNode()
Returns the
Node in KeY's proof tree which is represented by this execution tree node. |
NodeInfo |
getProofNodeInfo()
Returns the
NodeInfo of IExecutionElement.getProofNode() . |
Services |
getServices()
Returns the
Services used by IExecutionElement.getProof() . |
ITreeSettings |
getSettings()
Returns the
ITreeSettings to use. |
boolean |
isDisposed()
Checks if the proof is disposed.
|
java.lang.String |
toString() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getElementType, getModalityPIO
public AbstractKeYlessExecutionElement(java.lang.String name)
name
- The name of this node.public Services getServices()
Services
used by IExecutionElement.getProof()
.getServices
in interface IExecutionElement
Services
used by IExecutionElement.getProof()
.public InitConfig getInitConfig()
InitConfig
used by IExecutionElement.getProof()
.getInitConfig
in interface IExecutionElement
InitConfig
used by IExecutionElement.getProof()
.public Proof getProof()
Proof
from which the symbolic execution tree was extracted.getProof
in interface IExecutionElement
Proof
from which the symbolic execution tree was extracted.public RuleApp getAppliedRuleApp()
RuleApp
.getAppliedRuleApp
in interface IExecutionElement
RuleApp
.public Node getProofNode()
Node
in KeY's proof tree which is represented by this execution tree node.getProofNode
in interface IExecutionElement
Node
in KeY's proof tree which is represented by this execution tree node.public NodeInfo getProofNodeInfo()
NodeInfo
of IExecutionElement.getProofNode()
.getProofNodeInfo
in interface IExecutionElement
NodeInfo
of IExecutionElement.getProofNode()
.public java.lang.String getName()
getName
in interface IExecutionElement
public java.lang.String toString()
toString
in class java.lang.Object
public boolean isDisposed()
isDisposed
in interface IExecutionElement
true
proof is disposed, false
proof is not disposed and still valid.public ITreeSettings getSettings()
ITreeSettings
to use.getSettings
in interface IExecutionElement
ITreeSettings
to use.