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