public class NeoBeaver
extends java.lang.Object
| Constructor and Description |
|---|
NeoBeaver() |
| Modifier and Type | Method and Description |
|---|---|
static void |
main(java.lang.String[] args) |
static TraceHandler |
nullTrace() |
static void |
process(TraceHandler trace,
ProblemHandler problems,
java.lang.String filename,
java.nio.file.Path destDir,
java.util.Set<java.lang.String> options) |
static boolean |
run(java.util.Collection<java.lang.String> files,
java.nio.file.Path destDir,
java.util.Set<java.lang.String> options) |
public static void main(java.lang.String[] args)
throws java.io.IOException
java.io.IOExceptionpublic static boolean run(java.util.Collection<java.lang.String> files,
java.nio.file.Path destDir,
java.util.Set<java.lang.String> options)
throws java.io.IOException
files - destDir - base directory for generated filesoptions - true if there were any errorsjava.io.IOExceptionpublic static TraceHandler nullTrace()
public static void process(TraceHandler trace, ProblemHandler problems, java.lang.String filename, java.nio.file.Path destDir, java.util.Set<java.lang.String> options) throws java.io.IOException
java.io.IOException