org.jactr.io.antlr3.misc

Class DefaultErrorReporter

java.lang.Object

org.jactr.io.antlr3.misc.DefaultErrorReporter

All Implemented Interfaces:

IErrorReporter

public class DefaultErrorReporter
extends java.lang.Object
implements IErrorReporter

Constructor Summary

Constructors

Constructor and Description
DefaultErrorReporter(java.net.URI source, JACTRIOException.Stage stage)

Method Summary

Modifier and Type	Method and Description
void	get(JACTRIOException.Level level, java.util.Collection<JACTRIOException> container)
void	reportError(java.lang.Exception exception)
void	reportError(java.lang.String message, org.antlr.runtime.RecognitionException exception) directly from antlr
void	reset()
protected void	store(JACTRIOException exception)

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultErrorReporter

public DefaultErrorReporter(java.net.URI source,
                            JACTRIOException.Stage stage)

Method Detail

reportError

public void reportError(java.lang.Exception exception)

Specified by:

reportError in interface IErrorReporter

reportError

public void reportError(java.lang.String message,
                        org.antlr.runtime.RecognitionException exception)

directly from antlr

Specified by:

reportError in interface IErrorReporter

store

protected void store(JACTRIOException exception)

reset

public void reset()

get

public void get(JACTRIOException.Level level,
                java.util.Collection<JACTRIOException> container)