public abstract class AppIntermediate extends Object
TacletAppIntermediate
,
BuiltInAppIntermediate
Modifier and Type | Field and Description |
---|---|
private int |
lineNr |
Constructor and Description |
---|
AppIntermediate() |
Modifier and Type | Method and Description |
---|---|
String |
getLineNr() |
abstract ImmutableList<Name> |
getNewNames() |
abstract String |
getRuleName() |
void |
setLineNr(int lineNr) |
public abstract ImmutableList<Name> getNewNames()
public abstract String getRuleName()
public String getLineNr()
public void setLineNr(int lineNr)
lineNr
- The line number of this application in the loaded proof file.