public abstract class SearchSequentPrintFilter extends SequentPrintFilter
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
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)
Copyright © 2003-2019 The KeY-Project.