public class MergePartnerAppIntermediate extends BuiltInAppIntermediate
Modifier and Type | Field and Description |
---|---|
private int |
mergeNodeId |
Constructor and Description |
---|
MergePartnerAppIntermediate(java.lang.String ruleName,
Pair<java.lang.Integer,PosInTerm> pos,
int mergeNodeId,
ImmutableList<Name> newNames)
Constructs a new close-merge-partner intermediate application.
|
Modifier and Type | Method and Description |
---|---|
int |
getMergeNodeId() |
getBuiltInIfInsts, getContract, getNewNames, getPosInfo, getRuleName
getLineNr, setLineNr
public MergePartnerAppIntermediate(java.lang.String ruleName, Pair<java.lang.Integer,PosInTerm> pos, int mergeNodeId, ImmutableList<Name> newNames)
ruleName
- The name of the rule; should be "MergeAfterJoin".pos
- Position information for the merge rule application (Symbolic State - Program Counter formula).mergeNodeId
- The ID of the corresponding merge node.newNames
- New names registered in the course of partner goal closing.