org.jext.search
Class Search
java.lang.Object
org.jext.search.Search
- public class Search
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
matcher
public static SearchMatcher matcher
replacePattern
public static java.lang.String replacePattern
findPattern
public static java.lang.String findPattern
pythonScript
public static java.lang.String pythonScript
useRegexp
public static boolean useRegexp
ignoreCase
public static boolean ignoreCase
script
public static boolean script
reverseSearch
public static boolean reverseSearch
Search
public Search()
load
public static void load()
save
public static void save()
getPythonScriptString
public static java.lang.String getPythonScriptString()
setPythonScriptString
public static void setPythonScriptString(java.lang.String pythonScript)
getPythonScript
public static boolean getPythonScript()
setPythonScript
public static void setPythonScript(boolean script)
getRegexp
public static boolean getRegexp()
setRegexp
public static void setRegexp(boolean useRegexp)
getIgnoreCase
public static boolean getIgnoreCase()
setIgnoreCase
public static void setIgnoreCase(boolean icase)
setFindPattern
public static void setFindPattern(java.lang.String findPattern)
getFindPattern
public static java.lang.String getFindPattern()
setReplacePattern
public static void setReplacePattern(java.lang.String replacePattern)
getReplacePattern
public static java.lang.String getReplacePattern()
getSearchMatcher
public static SearchMatcher getSearchMatcher()
throws java.lang.Exception
- Throws:
java.lang.Exception
getSearchMatcher
public static SearchMatcher getSearchMatcher(boolean reverseOK)
throws java.lang.Exception
- Throws:
java.lang.Exception
find
public static boolean find(JextTextArea textArea,
int start)
throws java.lang.Exception
- Throws:
java.lang.Exception
replace
public static boolean replace(JextTextArea textArea)
replaceAll
public static int replaceAll(JextTextArea textArea,
int start,
int end)
throws java.lang.Exception
- Throws:
java.lang.Exception
Copyright ? 2002 Romain Guy.