de.uka.ilkd.key.proof.proofevent

Class NodeRedundantAddChange

java.lang.Object

de.uka.ilkd.key.proof.proofevent.NodeRedundantAddChange

All Implemented Interfaces:

NodeChange

public class NodeRedundantAddChange
extends java.lang.Object
implements NodeChange

An instance of this class informs the listerns if a formula has been tried to add to the sequent

Field Summary

Fields

Modifier and Type	Field and Description
private PosInOccurrence	pio the PosInOccurrence of the formula that has been tried to add

Constructor Summary

Constructors

Constructor and Description
NodeRedundantAddChange(PosInOccurrence pio) creates an instance

Method Summary

Modifier and Type	Method and Description
PosInOccurrence	getPos() returns the PosInOccurrence of the formula that has been tried to add
java.lang.String	toString() toString

Methods inherited from class java.lang.Object

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

Field Detail

pio

private final PosInOccurrence pio

the PosInOccurrence of the formula that has been tried to add

Constructor Detail

NodeRedundantAddChange

public NodeRedundantAddChange(PosInOccurrence pio)

creates an instance

Parameters:

pio - the PosInOccurrence of the formula that has been tried to add

Method Detail

getPos

public PosInOccurrence getPos()

returns the PosInOccurrence of the formula that has been tried to add

Specified by:

getPos in interface NodeChange

Returns:

the PosInOccurrrence

toString

public java.lang.String toString()

toString

Overrides:

toString in class java.lang.Object