public class ErrorStream
extends java.lang.Object
Constructor and Description |
---|
ErrorStream(java.lang.String prefix,
java.lang.String prefix2,
java.lang.String prefix3,
java.io.PrintWriter error,
TopWindow top)
Construct an error stream.
|
Modifier and Type | Method and Description |
---|---|
void |
clearErrors(Source source)
Clear errors for denoted source.
|
void |
endMessage(java.lang.String message)
End a message not counting as an error.
|
void |
explainError(java.lang.String message)
Add an explanation to the error.
|
void |
explainError2(java.lang.String message)
Add an explanation to the error.
|
int |
getErrorNumber()
Return the number of errors generated.
|
SourcePosition |
getPosition()
Get current source position.
|
void |
newError(ASTSource ast,
java.lang.String message)
Generate a new error for source position denoted by abstract syntax tree.
|
void |
newError(SourcePosition pos,
java.lang.String message)
Generate a new error.
|
void |
newError(java.lang.String message)
Generate a new error for currently set source position.
|
void |
newMessage(java.lang.String message)
Add a message not counting as an error.
|
void |
reset()
Reset number of errors to zero.
|
void |
setPosition(SourcePosition pos)
Set current source position.
|
void |
startMessage(java.lang.String message)
Start a message not counting as an error.
|
public ErrorStream(java.lang.String prefix, java.lang.String prefix2, java.lang.String prefix3, java.io.PrintWriter error, TopWindow top)
prefix
- the string which shall prefix each error message.prefix2
- the string which shall prefix each explanation of an error.prefix3
- the string which shall prefix each normal message.error
- the stream on which to write error messages.top
- the top window for signaling errors (may be null).public int getErrorNumber()
public void setPosition(SourcePosition pos)
pos
- the position.public SourcePosition getPosition()
public void clearErrors(Source source)
source
- the source to be cleared.public void newError(SourcePosition pos, java.lang.String message)
pos
- the source position to which the error refersmessage
- the message indicating the error.public void newError(java.lang.String message)
message
- the message indicating the error.public void newError(ASTSource ast, java.lang.String message)
ast
- the abstract syntax tree referring to a source position.message
- the message indicating the error.public void explainError(java.lang.String message)
message
- the message explaining the error.public void explainError2(java.lang.String message)
message
- the message explaining the error.public void newMessage(java.lang.String message)
message
- the message.public void startMessage(java.lang.String message)
message
- the message.public void endMessage(java.lang.String message)
message
- the message.public void reset()