public interface IExecutionMethodReturnValue extends IExecutionElement
A return value of an IExecutionMethodReturn
.
The default implementation is ExecutionMethodReturnValue
which
is instantiated via a ExecutionMethodReturn
instances.
ExecutionMethodReturn
,
ExecutionMethodReturnValue
Modifier and Type | Method and Description |
---|---|
Term |
getCondition()
Returns the optional condition under which the return value is valid.
|
java.lang.String |
getConditionString()
Returns the optional condition under which the return value is valid
as human readable
String . |
Term |
getReturnValue()
Returns the return value.
|
java.lang.String |
getReturnValueString()
Returns the return value as human readable
String . |
boolean |
hasCondition()
Checks if a condition is available via
getCondition()
under which this return value is returned. |
getAppliedRuleApp, getElementType, getInitConfig, getModalityPIO, getName, getProof, getProofNode, getProofNodeInfo, getServices, getSettings, isDisposed
Term getReturnValue() throws ProofInputException
ProofInputException
- Occurred Exception.java.lang.String getReturnValueString() throws ProofInputException
String
.String
.ProofInputException
- Occurred Exception.boolean hasCondition() throws ProofInputException
getCondition()
under which this return value is returned.true
condition is available, false
condition is not available.ProofInputException
Term getCondition() throws ProofInputException
ProofInputException
- Occurred Exception.java.lang.String getConditionString() throws ProofInputException
String
.String
.ProofInputException
- Occurred Exception.