de.uka.ilkd.key.pp

Class RegroupSequentPrintFilter

java.lang.Object

de.uka.ilkd.key.pp.SequentPrintFilter

de.uka.ilkd.key.pp.SearchSequentPrintFilter

de.uka.ilkd.key.pp.RegroupSequentPrintFilter

public class RegroupSequentPrintFilter
extends SearchSequentPrintFilter

Author:

jschiffl This filter takes a search string and regroups the sequent so that the sequent formulas matching the search are grouped around the sequent arrow, so that they can be viewed together.

Field Summary

Fields inherited from class de.uka.ilkd.key.pp.SearchSequentPrintFilter

lp, regex, searchString

Fields inherited from class de.uka.ilkd.key.pp.SequentPrintFilter

antec, originalSequent, succ

Constructor Summary

Constructors

Constructor and Description
RegroupSequentPrintFilter(SequentViewLogicPrinter lp, boolean regex)

Method Summary

Modifier and Type	Method and Description
protected void	filterSequent() filters the sequent according to filter type

Methods inherited from class de.uka.ilkd.key.pp.SearchSequentPrintFilter

createPattern, createPattern, setLogicPrinter, setRegex, setSearchString

Methods inherited from class de.uka.ilkd.key.pp.SequentPrintFilter

filterIdentity, getFilteredAntec, getFilteredSucc, getOriginalSequent, setSequent

Methods inherited from class java.lang.Object

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

Constructor Detail

RegroupSequentPrintFilter

public RegroupSequentPrintFilter(SequentViewLogicPrinter lp,
                                 boolean regex)

Parameters:

lp - the logic printer in use

regex - should the search be treated as a regular expression?

Method Detail

filterSequent

protected void filterSequent()

Description copied from class: SequentPrintFilter

filters the sequent according to filter type

Specified by:

filterSequent in class SequentPrintFilter