public abstract class SearchSequentPrintFilter extends SequentPrintFilter
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
|
antec, originalSequent, succ
Constructor and Description |
---|
SearchSequentPrintFilter() |
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
|
filterIdentity, filterSequent, getFilteredAntec, getFilteredSucc, getOriginalSequent, setSequent
java.lang.String searchString
LogicPrinter lp
boolean regex
public void setSearchString(java.lang.String searchString)
searchString
- the new search stringpublic void setLogicPrinter(SequentViewLogicPrinter logicPrinter)
public static java.util.regex.Pattern createPattern(java.lang.String search, boolean regex) throws IllegalRegexException
search
- the String we are looking forregex
- indicating whether search string should be treated as regexIllegalRegexException
- if the given pattern is not a valid regexprotected java.util.regex.Pattern createPattern()
public void setRegex(boolean selected)