public class TacletAppIntermediate extends AppIntermediate
Modifier and Type | Field and Description |
---|---|
private ImmutableList<java.lang.String> |
ifDirectFormulaList |
private ImmutableList<java.lang.String> |
ifSeqFormulaList |
private java.util.LinkedList<java.lang.String> |
insts |
private ImmutableList<Name> |
newNames |
private Pair<java.lang.Integer,PosInTerm> |
posInfo |
private java.lang.String |
tacletName |
Constructor and Description |
---|
TacletAppIntermediate(java.lang.String tacletName,
Pair<java.lang.Integer,PosInTerm> posInfo,
java.util.LinkedList<java.lang.String> insts,
ImmutableList<java.lang.String> ifSeqFormulaList,
ImmutableList<java.lang.String> ifDirectFormulaList,
ImmutableList<Name> newNames)
Constructs a new intermediate taclet application.
|
Modifier and Type | Method and Description |
---|---|
ImmutableList<java.lang.String> |
getIfDirectFormulaList() |
ImmutableList<java.lang.String> |
getIfSeqFormulaList() |
java.util.LinkedList<java.lang.String> |
getInsts() |
ImmutableList<Name> |
getNewNames() |
Pair<java.lang.Integer,PosInTerm> |
getPosInfo() |
java.lang.String |
getRuleName() |
getLineNr, setLineNr
private java.lang.String tacletName
private java.util.LinkedList<java.lang.String> insts
private ImmutableList<java.lang.String> ifSeqFormulaList
private ImmutableList<java.lang.String> ifDirectFormulaList
private ImmutableList<Name> newNames
public TacletAppIntermediate(java.lang.String tacletName, Pair<java.lang.Integer,PosInTerm> posInfo, java.util.LinkedList<java.lang.String> insts, ImmutableList<java.lang.String> ifSeqFormulaList, ImmutableList<java.lang.String> ifDirectFormulaList, ImmutableList<Name> newNames)
tacletName
- Name of the taclet.posInfo
- Position information (Integer representing position
of the target formula, PosInTerm for relevant term inside the formula).insts
- Schema variable instantiations.ifSeqFormulaList
- ifDirectFormulaList
- newNames
- New names registered during taclet application.public java.lang.String getRuleName()
getRuleName
in class AppIntermediate
public java.util.LinkedList<java.lang.String> getInsts()
public ImmutableList<java.lang.String> getIfSeqFormulaList()
public ImmutableList<java.lang.String> getIfDirectFormulaList()
public ImmutableList<Name> getNewNames()
getNewNames
in class AppIntermediate