de.uka.ilkd.key.proof.proofevent

Class NodeChangeARFormula

java.lang.Object

de.uka.ilkd.key.proof.proofevent.NodeChangeARFormula

All Implemented Interfaces:

NodeChange

Direct Known Subclasses:

NodeChangeAddFormula, NodeChangeRemoveFormula

public abstract class NodeChangeARFormula
extends java.lang.Object
implements NodeChange

Information about a formula that has been added or removed from a node

Field Summary

Fields

Modifier and Type	Field and Description
(package private) PosInOccurrence	pos

Constructor Summary

Constructors

Constructor and Description
NodeChangeARFormula(PosInOccurrence p_pos)

Method Summary

Modifier and Type	Method and Description
PosInOccurrence	getPos() provides position information about the change

Methods inherited from class java.lang.Object

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

Field Detail

pos

PosInOccurrence pos

Constructor Detail

NodeChangeARFormula

public NodeChangeARFormula(PosInOccurrence p_pos)

Method Detail

getPos

public PosInOccurrence getPos()

Description copied from interface: NodeChange

provides position information about the change

Specified by:

getPos in interface NodeChange

Returns:

the position of the formula