console
Class ErrorMatcher

java.lang.Object
  extended by console.ErrorMatcher
All Implemented Interfaces:
java.lang.Cloneable

public class ErrorMatcher
extends java.lang.Object
implements java.lang.Cloneable

ErrorMatcher - a model which represents error/warning regular expressions for one particular program.

Version:
$Id: ErrorMatcher.java 11457 2007-12-27 00:56:01Z ezust $

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

name

public java.lang.String name
may contain spaces and is used as a text label.


error

public java.lang.String error

warning

public java.lang.String warning

user

public boolean user

extraPattern

public java.lang.String extraPattern

fileBackref

public java.lang.String fileBackref

lineBackref

public java.lang.String lineBackref

messageBackref

public java.lang.String messageBackref

errors

public org.gjt.sp.util.StringList errors

errorRE

public java.util.regex.Pattern errorRE

warningRE

public java.util.regex.Pattern warningRE

extraRE

public java.util.regex.Pattern extraRE

testText

public java.lang.String testText
Constructor Detail

ErrorMatcher

public ErrorMatcher(java.lang.String internalName)
Loads the state of the ErrorMatcher from jEdit properties

Parameters:
internalName - - a name without spaces or funny chars that corresponds to this error pattern. Used as a hash key.
Method Detail

clear

public void clear()

matchLine

public java.lang.String matchLine(java.lang.String text)

findMatches

public org.gjt.sp.util.StringList findMatches(java.lang.String text)

toLongString

public java.lang.String toLongString()

set

public void set(ErrorMatcher other)
Copies values from one ErrorMatcher into this


clone

public java.lang.Object clone()
Overrides:
clone in class java.lang.Object

internalName

public java.lang.String internalName()

internalName

public static java.lang.String internalName(java.lang.String name)

isValid

public 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.


getErrors

public java.lang.String getErrors()

match

public errorlist.DefaultErrorSource.DefaultError match(org.gjt.sp.jedit.View view,
                                                       java.lang.String text,
                                                       java.lang.String directory,
                                                       errorlist.ErrorSource errorSource)

matchExtra

public java.lang.String matchExtra(java.lang.String text)

load

public void load(java.lang.String iname)
Brings the state back from the properties.

Parameters:
name - the name (which gets translated into an internal name)

save

public void save()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object