org.eclipse.golo.compiler

Class GoloCompilationException.Builder

java.lang.Object

org.eclipse.golo.compiler.GoloCompilationException.Builder

Enclosing class:

GoloCompilationException

public static class GoloCompilationException.Builder
extends java.lang.Object

An exception builder object allows preparing an exception by progressively adding problems.

Constructor Summary

Constructors

Constructor and Description
Builder(java.lang.String goloSourceFilename) Makes a builder to report problems in a source file.

Method Summary

Modifier and Type	Method and Description
void	doThrow() Stops adding problems and throws the exception,
java.util.List<GoloCompilationException.Problem>	getProblems()
GoloCompilationException.Builder	report(GoloCompilationException.Problem.Type type, GoloASTNode source, java.lang.String description) Report a problem to the exception being built.
GoloCompilationException.Builder	report(ParseException pe, GoloASTNode source) Report a parsing error problem to the exception being built.
GoloCompilationException.Builder	report(java.nio.charset.UnsupportedCharsetException uce) Report an encoding error problem to the exception being built.

Methods inherited from class java.lang.Object

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

Constructor Detail

Builder

public Builder(java.lang.String goloSourceFilename)

Makes a builder to report problems in a source file.

Parameters:

goloSourceFilename - the source file name.

Method Detail

report

public GoloCompilationException.Builder report(GoloCompilationException.Problem.Type type,
                                               GoloASTNode source,
                                               java.lang.String description)

Report a problem to the exception being built.

Parameters:

type - the problem type.

source - the problem source.

description - the problem description.

Returns:

the same builder object.

report

public GoloCompilationException.Builder report(ParseException pe,
                                               GoloASTNode source)

Report a parsing error problem to the exception being built.

Parameters:

pe - the caught ParseException.

source - the node of the ParseException.

Returns:

the same builder object.

report

public GoloCompilationException.Builder report(java.nio.charset.UnsupportedCharsetException uce)

Report an encoding error problem to the exception being built.

Parameters:

uce - the caught UnsupportedCharsetException.

Returns:

the same builder object.

doThrow

public void doThrow()
             throws GoloCompilationException

Stops adding problems and throws the exception,

Throws:

GoloCompilationException - everytime.

getProblems

public java.util.List<GoloCompilationException.Problem> getProblems()