@FunctionalInterface public interface ErrorReporterBuilder
ErrorReporter.| Modifier and Type | Method and Description |
|---|---|
ErrorReporter |
build(Script v)
Make a new reporter.
|
ErrorReporter build(Script v)
v - the script under construction associated to this builderCopyright © 2016 University of Nice-Sophia Antipolis. All Rights Reserved.