de.uka.ilkd.key.pp

Class IdentitySequentPrintFilter.IdentityFilterEntry

java.lang.Object

de.uka.ilkd.key.pp.IdentitySequentPrintFilter.IdentityFilterEntry

All Implemented Interfaces:

SequentPrintFilterEntry

Enclosing class:

IdentitySequentPrintFilter

public static class IdentitySequentPrintFilter.IdentityFilterEntry
extends java.lang.Object
implements SequentPrintFilterEntry

A filter entry, representing one sequent formula.

Field Summary

Fields

Modifier and Type	Field and Description
(package private) SequentFormula	originalFormula the original Formula being filtered

Constructor Summary

Constructors

Constructor and Description
IdentityFilterEntry(SequentFormula originalFormula) constructor

Method Summary

Modifier and Type	Method and Description
SequentFormula	getFilteredFormula() Formula to display
SequentFormula	getOriginalFormula() Original formula from sequent

Methods inherited from class java.lang.Object

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

Field Detail

originalFormula

final SequentFormula originalFormula

the original Formula being filtered

Constructor Detail

IdentityFilterEntry

IdentityFilterEntry(SequentFormula originalFormula)

constructor

Parameters:

originalFormula - the original formula to be filtered

Method Detail

getFilteredFormula

public SequentFormula getFilteredFormula()

Formula to display

Specified by:

getFilteredFormula in interface SequentPrintFilterEntry

Returns:

the original formula

getOriginalFormula

public SequentFormula getOriginalFormula()

Original formula from sequent

Specified by:

getOriginalFormula in interface SequentPrintFilterEntry

Returns:

the original formula