jltools.util
Class ErrorQueue

java.lang.Object
  |
  +--jltools.util.ErrorQueue

public class ErrorQueue

extends java.lang.Object

A ErrorQueue handles outputing error messages.

Constructor Summary

ErrorQueue(java.io.PrintStream err, int limit, java.lang.String name)

Method Summary

void	enqueue(ErrorInfo e)
void	enqueue(int type, java.lang.String message)
void	enqueue(int type, java.lang.String message, Position position)
void	flush()
boolean	hasErrors()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ErrorQueue

public ErrorQueue(java.io.PrintStream err,
                  int limit,
                  java.lang.String name)

Method Detail

enqueue

public void enqueue(int type,
                    java.lang.String message)

enqueue

public void enqueue(int type,
                    java.lang.String message,
                    Position position)

enqueue

public void enqueue(ErrorInfo e)

flush

public void flush()

hasErrors

public boolean hasErrors()