public class CloseAfterJoinRuleBuiltInRuleApp extends AbstractBuiltInRuleApp
Modifier and Type | Field and Description |
---|---|
private Node |
correspondingJoinNode |
private SymbolicExecutionState |
joinNodeState |
private Node |
partnerNode |
private SymbolicExecutionState |
partnerState |
private Term |
pc |
builtInRule, ifInsts, pio
Constructor and Description |
---|
CloseAfterJoinRuleBuiltInRuleApp(BuiltInRule builtInRule,
PosInOccurrence pio) |
CloseAfterJoinRuleBuiltInRuleApp(BuiltInRule builtInRule,
PosInOccurrence pio,
Node thePartnerNode,
Node correspondingJoinNode,
SymbolicExecutionState joinNodeState,
SymbolicExecutionState partnerState,
Term pc) |
Modifier and Type | Method and Description |
---|---|
boolean |
complete()
returns true if all variables are instantiated
|
Node |
getCorrespondingJoinNode() |
SymbolicExecutionState |
getJoinState() |
SymbolicExecutionState |
getPartnerSEState() |
Term |
getPc() |
Node |
getThePartnerNode() |
AbstractBuiltInRuleApp |
replacePos(PosInOccurrence newPos) |
void |
setCorrespondingJoinNode(Node correspondingJoinNode) |
IBuiltInRuleApp |
setIfInsts(ImmutableList<PosInOccurrence> ifInsts) |
void |
setJoinNodeState(SymbolicExecutionState joinState) |
void |
setPartnerState(SymbolicExecutionState thisSEState) |
void |
setPc(Term pc) |
void |
setThePartnerNode(Node thePartnerNode) |
AbstractBuiltInRuleApp |
tryToInstantiate(Goal goal)
Tries to complete the rule application from the available information.
|
execute, forceInstantiate, getHeapContext, ifInsts, isSufficientlyComplete, posInOccurrence, rule, setMutable, toString
private Node partnerNode
private Node correspondingJoinNode
private SymbolicExecutionState joinNodeState
private SymbolicExecutionState partnerState
private Term pc
public CloseAfterJoinRuleBuiltInRuleApp(BuiltInRule builtInRule, PosInOccurrence pio, Node thePartnerNode, Node correspondingJoinNode, SymbolicExecutionState joinNodeState, SymbolicExecutionState partnerState, Term pc)
public CloseAfterJoinRuleBuiltInRuleApp(BuiltInRule builtInRule, PosInOccurrence pio)
public AbstractBuiltInRuleApp replacePos(PosInOccurrence newPos)
replacePos
in interface IBuiltInRuleApp
replacePos
in class AbstractBuiltInRuleApp
public IBuiltInRuleApp setIfInsts(ImmutableList<PosInOccurrence> ifInsts)
setIfInsts
in interface IBuiltInRuleApp
setIfInsts
in class AbstractBuiltInRuleApp
public AbstractBuiltInRuleApp tryToInstantiate(Goal goal)
IBuiltInRuleApp
UserInterfaceControl
to complete a built-in rule.
Returns a complete app only if there is exactly one contract.
If you want a complete app for combined contracts, use forceInstantiate
instead.
For an example implementation see e.g. UseOperationContractRule
or UseDependencyContractRule
.tryToInstantiate
in interface IBuiltInRuleApp
tryToInstantiate
in class AbstractBuiltInRuleApp
public boolean complete()
AbstractBuiltInRuleApp
complete
in interface RuleApp
complete
in class AbstractBuiltInRuleApp
public Node getThePartnerNode()
public void setThePartnerNode(Node thePartnerNode)
public Node getCorrespondingJoinNode()
public void setCorrespondingJoinNode(Node correspondingJoinNode)
public SymbolicExecutionState getJoinState()
public void setJoinNodeState(SymbolicExecutionState joinState)
public SymbolicExecutionState getPartnerSEState()
public void setPartnerState(SymbolicExecutionState thisSEState)
public Term getPc()
public void setPc(Term pc)