|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectconsole.ErrorMatcher
public class ErrorMatcher
ErrorMatcher - a model which represents error/warning regular expressions for one particular program.
Field Summary | |
---|---|
java.lang.String |
error
|
java.util.regex.Pattern |
errorRE
|
org.gjt.sp.util.StringList |
errors
|
java.lang.String |
extraPattern
|
java.util.regex.Pattern |
extraRE
|
java.lang.String |
fileBackref
|
java.lang.String |
lineBackref
|
java.lang.String |
messageBackref
|
java.lang.String |
name
may contain spaces and is used as a text label. |
java.lang.String |
testText
|
boolean |
user
|
java.lang.String |
warning
|
java.util.regex.Pattern |
warningRE
|
Constructor Summary | |
---|---|
ErrorMatcher(java.lang.String internalName)
Loads the state of the ErrorMatcher from jEdit properties |
Method Summary | |
---|---|
void |
clear()
|
java.lang.Object |
clone()
|
org.gjt.sp.util.StringList |
findMatches(java.lang.String text)
|
java.lang.String |
getErrors()
|
java.lang.String |
internalName()
|
static java.lang.String |
internalName(java.lang.String name)
|
boolean |
isValid()
TODO: also check that any referred to group number (from the filename/linenumber/error message), as well as the extralines, actually exists in the regex. |
void |
load(java.lang.String iname)
Brings the state back from the properties. |
errorlist.DefaultErrorSource.DefaultError |
match(org.gjt.sp.jedit.View view,
java.lang.String text,
java.lang.String directory,
errorlist.ErrorSource errorSource)
|
java.lang.String |
matchExtra(java.lang.String text)
|
java.lang.String |
matchLine(java.lang.String text)
|
void |
save()
|
void |
set(ErrorMatcher other)
Copies values from one ErrorMatcher into this |
java.lang.String |
toLongString()
|
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public java.lang.String name
public java.lang.String error
public java.lang.String warning
public boolean user
public java.lang.String extraPattern
public java.lang.String fileBackref
public java.lang.String lineBackref
public java.lang.String messageBackref
public org.gjt.sp.util.StringList errors
public java.util.regex.Pattern errorRE
public java.util.regex.Pattern warningRE
public java.util.regex.Pattern extraRE
public java.lang.String testText
Constructor Detail |
---|
public ErrorMatcher(java.lang.String internalName)
internalName
- - a name without spaces or funny chars
that corresponds to this error pattern. Used as a hash key.Method Detail |
---|
public void clear()
public java.lang.String matchLine(java.lang.String text)
public org.gjt.sp.util.StringList findMatches(java.lang.String text)
public java.lang.String toLongString()
public void set(ErrorMatcher other)
public java.lang.Object clone()
clone
in class java.lang.Object
public java.lang.String internalName()
public static java.lang.String internalName(java.lang.String name)
public boolean isValid()
public java.lang.String getErrors()
public errorlist.DefaultErrorSource.DefaultError match(org.gjt.sp.jedit.View view, java.lang.String text, java.lang.String directory, errorlist.ErrorSource errorSource)
public java.lang.String matchExtra(java.lang.String text)
public void load(java.lang.String iname)
name
- the name (which gets translated into an internal name)public void save()
public java.lang.String toString()
toString
in class java.lang.Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |