console

Class ErrorMatcher

java.lang.Object

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 22643 2013-01-06 07:55:32Z ezust $

Field Summary

Fields

Modifier and Type	Field and Description
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

Constructors

Constructor and Description
ErrorMatcher(java.lang.String internalName) Loads the state of the ErrorMatcher from jEdit properties

Method Summary

Methods

Modifier and Type	Method and Description
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:

iname - the jedit action name (gets translated into an internal name)

save

public void save()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object