public interface IExecutionElement
Modifier and Type | Method and Description |
---|---|
RuleApp |
getAppliedRuleApp()
Returns the applied
RuleApp . |
java.lang.String |
getElementType()
Returns a human readable element type name.
|
InitConfig |
getInitConfig()
Returns the
InitConfig used by getProof() . |
PosInOccurrence |
getModalityPIO()
Returns the
PosInOccurrence of the modality of interest including updates. |
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 getProofNode() . |
Services |
getServices()
Returns the
Services used by getProof() . |
ITreeSettings |
getSettings()
Returns the
ITreeSettings to use. |
boolean |
isDisposed()
Checks if the proof is disposed.
|
ITreeSettings getSettings()
ITreeSettings
to use.ITreeSettings
to use.Services getServices()
Services
used by getProof()
.Services
used by getProof()
.InitConfig getInitConfig()
InitConfig
used by getProof()
.InitConfig
used by getProof()
.Proof getProof()
Proof
from which the symbolic execution tree was extracted.Proof
from which the symbolic execution tree was extracted.Node getProofNode()
Node
in KeY's proof tree which is represented by this execution tree node.Node
in KeY's proof tree which is represented by this execution tree node.RuleApp getAppliedRuleApp()
RuleApp
.RuleApp
.PosInOccurrence getModalityPIO()
PosInOccurrence
of the modality of interest including updates.PosInOccurrence
of the modality of interest including updates.NodeInfo getProofNodeInfo()
NodeInfo
of getProofNode()
.NodeInfo
of getProofNode()
.java.lang.String getName() throws ProofInputException
ProofInputException
- Occurred Exception.java.lang.String getElementType()
boolean isDisposed()
true
proof is disposed, false
proof is not disposed and still valid.