public class BuiltInAppIntermediate extends AppIntermediate
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
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
Copyright © 2003-2019 The KeY-Project.