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

Field Detail

errors

protected java.util.Vector errors

warnings

protected java.util.Vector warnings

file

protected java.lang.String file

lines

protected java.util.Vector lines

Constructor Detail

ErrorHandler

public ErrorHandler(java.lang.String file,
                    java.util.Vector lines)

Method Detail

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