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