public interface Log
Modifier and Type | Method and Description |
---|---|
int |
nerrors()
Returns the number of errors so far
|
int |
nwarnings()
Returns the number of warnings so far
|
void |
print(java.lang.String string)
Prints a string
|
void |
printError(Storage source,
int pos,
ErrorInfo info)
Prints an error message associated with a source
|
void |
println(java.lang.String line)
Prints a line
|
void |
printWarning(Storage source,
int pos,
ErrorInfo info)
Prints a warning message associated with a source
|
void |
redirect(java.lang.String fileName)
Redirects output into a file
|
void redirect(java.lang.String fileName)
fileName
- The name of the desired output filevoid print(java.lang.String string)
string
- The string to printvoid println(java.lang.String line)
line
- The line to printvoid printError(Storage source, int pos, ErrorInfo info)
source
- The Storage associated with the errorpos
- The error position in the source where the
upper 16 bits contain the line number and the lower
16 bits the columninfo
- The ErrorInfo associated with the errorvoid printWarning(Storage source, int pos, ErrorInfo info)
source
- The Storage associated with the warningpos
- The warning position in the source where the
upper 16 bits contain the line number and the lower
16 bits the columninfo
- The ErrorInfo associated with the warningint nerrors()
int nwarnings()