public class BuiltInAppIntermediate extends AppIntermediate
Modifier and Type | Field and Description |
---|---|
private ImmutableList<Pair<java.lang.Integer,PosInTerm>> |
builtInIfInsts |
private java.lang.String |
contract |
private ImmutableList<Name> |
newNames |
private Pair<java.lang.Integer,PosInTerm> |
posInfo |
private java.lang.String |
ruleName |
Constructor and Description |
---|
BuiltInAppIntermediate(java.lang.String ruleName,
Pair<java.lang.Integer,PosInTerm> pos,
java.lang.String contract,
ImmutableList<Pair<java.lang.Integer,PosInTerm>> builtInIfInsts,
ImmutableList<Name> newNames) |
Modifier and Type | Method and Description |
---|---|
ImmutableList<Pair<java.lang.Integer,PosInTerm>> |
getBuiltInIfInsts() |
java.lang.String |
getContract() |
ImmutableList<Name> |
getNewNames() |
Pair<java.lang.Integer,PosInTerm> |
getPosInfo() |
java.lang.String |
getRuleName() |
getLineNr, setLineNr
private java.lang.String ruleName
private java.lang.String contract
private ImmutableList<Pair<java.lang.Integer,PosInTerm>> builtInIfInsts
private ImmutableList<Name> newNames
public BuiltInAppIntermediate(java.lang.String ruleName, Pair<java.lang.Integer,PosInTerm> pos, java.lang.String contract, ImmutableList<Pair<java.lang.Integer,PosInTerm>> builtInIfInsts, ImmutableList<Name> newNames)
public java.lang.String getRuleName()
getRuleName
in class AppIntermediate
public java.lang.String getContract()
public ImmutableList<Pair<java.lang.Integer,PosInTerm>> getBuiltInIfInsts()
public ImmutableList<Name> getNewNames()
getNewNames
in class AppIntermediate