public static class GoloCompilationException.Builder extends java.lang.Object
| Constructor and Description |
|---|
Builder(java.lang.String goloSourceFilename)
Makes a builder to report problems in a source file.
|
| 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(GoloCompilationException.Problem.Type type,
GoloElement<?> source,
java.lang.String description)
Report a problem to the exception being built.
|
GoloCompilationException.Builder |
report(GoloCompilationException.Problem.Type type,
GoloElement<?> source,
java.lang.String description,
java.lang.Throwable cause)
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.
|
public Builder(java.lang.String goloSourceFilename)
goloSourceFilename - the source file name.public GoloCompilationException.Builder report(GoloCompilationException.Problem.Type type, GoloASTNode source, java.lang.String description)
type - the problem type.source - the problem source.description - the problem description.public GoloCompilationException.Builder report(GoloCompilationException.Problem.Type type, GoloElement<?> source, java.lang.String description)
type - the problem type.source - the problem source.description - the problem description.public GoloCompilationException.Builder report(GoloCompilationException.Problem.Type type, GoloElement<?> source, java.lang.String description, java.lang.Throwable cause)
type - the problem type.source - the problem source.description - the problem description.cause - the exception that caused the problempublic GoloCompilationException.Builder report(ParseException pe, GoloASTNode source)
pe - the caught ParseException.source - the node of the ParseException.public GoloCompilationException.Builder report(java.nio.charset.UnsupportedCharsetException uce)
uce - the caught UnsupportedCharsetException.public void doThrow() throws GoloCompilationException
GoloCompilationException - everytime.public java.util.List<GoloCompilationException.Problem> getProblems()