gnu.text

Class SourceError


public class SourceError
extends java.lang.Object

Represents an error message from processing a "source" file.

Field Summary

int
column
The column number of the error, with 1 being the left-most column.
String
filename
int
line
The (1-origin) location of the error.
String
message
The actual error message.
SourceError
next
Used to chain to the "next" message.
char
severity
The seriousness of the error - one of 'w' (for warning), 'e' (for error), or 'f' (for fatal error).

Constructor Summary

SourceError(char severity, String filename, int line, int column, String message)
SourceError(LineBufferedReader port, char severity, String message)
Create a new SourceError using the current line/column from a LineBufferedReader.

Method Summary

void
print(java.io.PrintWriter out)
void
println(java.io.PrintStream out)
void
println(java.io.PrintWriter out)
String
toString()
Convert the error to a String.

Field Details

column

public int column
The column number of the error, with 1 being the left-most column. The value 0 means unknown or not applicable (such as the entire line).

filename

public String filename

line

public int line
The (1-origin) location of the error.

message

public String message
The actual error message. This is post-localization and -formatting. It can contain multiple lines, separated by '\n'.

SourceError next
Used to chain to the "next" message.

severity

public char severity
The seriousness of the error - one of 'w' (for warning), 'e' (for error), or 'f' (for fatal error).

Constructor Details

SourceError

public SourceError(char severity,
                   String filename,
                   int line,
                   int column,
                   String message)

SourceError

public SourceError(LineBufferedReader port,
                   char severity,
                   String message)
Create a new SourceError using the current line/column from a LineBufferedReader.

Method Details

print

public void print(java.io.PrintWriter out)

println

public void println(java.io.PrintStream out)

println

public void println(java.io.PrintWriter out)

toString

public String toString()
Convert the error to a String. The String starts with filename, line and option column, followed by the message. Warning messages are indicated as such.