net.automatalib.serialization.taf.parser

Class PrintStreamDiagnosticListener

java.lang.Object

net.automatalib.serialization.taf.parser.PrintStreamDiagnosticListener

All Implemented Interfaces:

TAFParseDiagnosticListener

public class PrintStreamDiagnosticListener
extends Object
implements TAFParseDiagnosticListener

Constructor Summary

Constructors

Constructor and Description
PrintStreamDiagnosticListener(PrintStream ps)

Method Summary

Modifier and Type	Method and Description
void	error(int line, int col, String msgFmt, Object... args) Called when a non-fatal error is encountered during parsing.
static TAFParseDiagnosticListener	getStderrDiagnosticListener()
void	warning(int line, int col, String msgFmt, Object... args) Called when a warning is raised during parsing.

Methods inherited from class java.lang.Object

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

Constructor Detail

PrintStreamDiagnosticListener

public PrintStreamDiagnosticListener(PrintStream ps)

Method Detail

getStderrDiagnosticListener

public static TAFParseDiagnosticListener getStderrDiagnosticListener()

error

public void error(int line,
                  int col,
                  String msgFmt,
                  Object... args)

Description copied from interface: TAFParseDiagnosticListener

Called when a non-fatal error is encountered during parsing.

A non-fatal error could be, for example, the usage of an input symbol that was not declared in the alphabet. In this case, the respective transition is simply ignored.

Specified by:

error in interface TAFParseDiagnosticListener

Parameters:

line - the line where the error occurred

col - the column where the error occurred

msgFmt - a format string of the message (see MessageFormat)

args - the arguments of the message

warning

public void warning(int line,
                    int col,
                    String msgFmt,
                    Object... args)

Description copied from interface: TAFParseDiagnosticListener

Called when a warning is raised during parsing.

A warning could be raised when, for example, an unrecognized option is used for a state.

Specified by:

warning in interface TAFParseDiagnosticListener

Parameters:

line - the line where the warning was raised

col - the column where the warning was raised

msgFmt - a format string of the message (see MessageFormat)

args - the arguments of the message