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

private static class IdentitySequentPrintFilter.IdentityFilterEntry
extends Object
implements SequentPrintFilterEntry

Field Summary

Fields

Modifier and Type	Field and Description
(package private) SequentFormula	originalFormula

Constructor Summary

Constructors

Constructor and Description
IdentityFilterEntry(SequentFormula p_originalFormula)

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

Constructor Detail

IdentityFilterEntry

public IdentityFilterEntry(SequentFormula p_originalFormula)

Method Detail

getFilteredFormula

public SequentFormula getFilteredFormula()

Formula to display

Specified by:

getFilteredFormula in interface SequentPrintFilterEntry

getOriginalFormula

public SequentFormula getOriginalFormula()

Original formula from sequent

Specified by:

getOriginalFormula in interface SequentPrintFilterEntry