de.uka.ilkd.key.pp

Class SearchSequentPrintFilter

java.lang.Object

de.uka.ilkd.key.pp.SequentPrintFilter

de.uka.ilkd.key.pp.SearchSequentPrintFilter

Direct Known Subclasses:

HideSequentPrintFilter, RegroupSequentPrintFilter

public abstract class SearchSequentPrintFilter
extends SequentPrintFilter

This is an interface for filters that are used to modify the sequent view, improving the search function.

Author:

jschiffl

Field Summary

Fields

Modifier and Type	Field and Description
(package private) LogicPrinter	lp the logic printer in use
(package private) boolean	regex indicating whether the user input should be treated as regular expression
(package private) java.lang.String	searchString the String that is to be matched in the sequent view

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

antec, originalSequent, succ

Constructor Summary

Constructors

Constructor and Description
SearchSequentPrintFilter()

Method Summary

Modifier and Type	Method and Description
protected java.util.regex.Pattern	createPattern() creates a pattern with the current search string and regex option
static java.util.regex.Pattern	createPattern(java.lang.String search, boolean regex)
void	setLogicPrinter(SequentViewLogicPrinter logicPrinter)
void	setRegex(boolean selected)
void	setSearchString(java.lang.String searchString) sets the filter's search string

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

filterIdentity, filterSequent, getFilteredAntec, getFilteredSucc, getOriginalSequent, setSequent

Methods inherited from class java.lang.Object

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

Field Detail

searchString

java.lang.String searchString

the String that is to be matched in the sequent view

lp

LogicPrinter lp

the logic printer in use

regex

boolean regex

indicating whether the user input should be treated as regular expression

Constructor Detail

SearchSequentPrintFilter

public SearchSequentPrintFilter()

Method Detail

setSearchString

public void setSearchString(java.lang.String searchString)

sets the filter's search string

Parameters:

searchString - the new search string

setLogicPrinter

public void setLogicPrinter(SequentViewLogicPrinter logicPrinter)

createPattern

public static java.util.regex.Pattern createPattern(java.lang.String search,
                                                    boolean regex)
                                             throws IllegalRegexException

Parameters:

search - the String we are looking for

regex - indicating whether search string should be treated as regex

Returns:

A pattern matching the input String

Throws:

IllegalRegexException - if the given pattern is not a valid regex

createPattern

protected java.util.regex.Pattern createPattern()

creates a pattern with the current search string and regex option

Returns:

a brand new shiny pattern

setRegex

public void setRegex(boolean selected)