com.jeffpalm.cop5555.util
Class ErrorHandler
java.lang.Object
com.jeffpalm.cop5555.util.ErrorHandler
public class ErrorHandler
- extends java.lang.Object
Field Summary |
protected java.util.Vector |
errors
|
protected java.lang.String |
file
|
protected java.util.Vector |
lines
|
protected java.util.Vector |
warnings
|
Constructor Summary |
ErrorHandler(java.lang.String file,
java.util.Vector lines)
|
Method Summary |
boolean |
hasErrors()
|
void |
post(int line,
int col,
java.lang.String msg)
|
void |
post(int line,
int col,
java.lang.String file,
java.lang.String msg,
java.lang.String errorText)
|
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
errors
protected java.util.Vector errors
warnings
protected java.util.Vector warnings
file
protected java.lang.String file
lines
protected java.util.Vector lines
ErrorHandler
public ErrorHandler(java.lang.String file,
java.util.Vector lines)
post
public void post(int line,
int col,
java.lang.String file,
java.lang.String msg,
java.lang.String errorText)
post
public void post(int line,
int col,
java.lang.String msg)
hasErrors
public boolean hasErrors()
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object