org.btrplace.btrpsl

Class PlainTextErrorReporter

java.lang.Object

org.btrplace.btrpsl.PlainTextErrorReporter

All Implemented Interfaces:

ErrorReporter

public class PlainTextErrorReporter
extends Object
implements ErrorReporter

A structure to report all the errors detected when parsing a script. Output is a plain text.

Author:

Fabien Hermenier

Constructor Summary

Constructors

Constructor and Description
PlainTextErrorReporter(Script v) Make a new instance.

Method Summary

Modifier and Type	Method and Description
void	append(int lineNo, int colNo, String msg) Report an error.
List<ErrorMessage>	getErrors() Get the reported errors.
int	size() Get the number of errors
String	toString() Print all the errors, one per line.
void	updateNamespace() Propagate the script namespace.

Methods inherited from class java.lang.Object

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

Constructor Detail

PlainTextErrorReporter

public PlainTextErrorReporter(Script v)

Make a new instance.

Parameters:

v - the script that is built

Method Detail

size

public int size()

Get the number of errors

Returns:

an integer

toString

public String toString()

Print all the errors, one per line.

Overrides:

toString in class Object

Returns:

all the reported errors

getErrors

public List<ErrorMessage> getErrors()

Description copied from interface: ErrorReporter

Get the reported errors.

Specified by:

getErrors in interface ErrorReporter

Returns:

a list of error messages

append

public void append(int lineNo,
                   int colNo,
                   String msg)

Description copied from interface: ErrorReporter

Report an error.

Specified by:

append in interface ErrorReporter

Parameters:

lineNo - the line index

colNo - the column index

msg - the error message

updateNamespace

public void updateNamespace()

Description copied from interface: ErrorReporter

Propagate the script namespace.

Specified by:

updateNamespace in interface ErrorReporter