de.uka.ilkd.key.proof.io.intermediate

Class AppIntermediate

java.lang.Object

de.uka.ilkd.key.proof.io.intermediate.AppIntermediate

Direct Known Subclasses:

BuiltInAppIntermediate, TacletAppIntermediate

public abstract class AppIntermediate
extends Object

Represents an intermediate rule / taclet application.

Author:

Dominic Scheurer

See Also:

TacletAppIntermediate, BuiltInAppIntermediate

Field Summary

Fields

Modifier and Type	Field and Description
private int	lineNr

Constructor Summary

Constructors

Constructor and Description
AppIntermediate()

Method Summary

Modifier and Type	Method and Description
String	getLineNr()
abstract ImmutableList<Name>	getNewNames()
abstract String	getRuleName()
void	setLineNr(int lineNr)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

lineNr

private int lineNr

Constructor Detail

AppIntermediate

public AppIntermediate()

Method Detail

getNewNames

public abstract ImmutableList<Name> getNewNames()

Returns:

The new names registered in the course of this app.

getRuleName

public abstract String getRuleName()

Returns:

The name of this taclet / built in rule.

getLineNr

public String getLineNr()

Returns:

The line number of this application in the loaded proof file.

setLineNr

public void setLineNr(int lineNr)

Parameters:

lineNr - The line number of this application in the loaded proof file.