Class NeoBeaver


  • public class NeoBeaver
    extends java.lang.Object
    • Constructor Summary

      Constructors 
      Constructor Description
      NeoBeaver()  
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static void main​(java.lang.String[] args)  
      static TraceHandler nullTrace()  
      static void process​(TraceHandler trace, ProblemHandler problems, java.nio.file.Path path, 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)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • NeoBeaver

        public NeoBeaver()
    • Method Detail

      • main

        public static void main​(java.lang.String[] args)
                         throws java.io.IOException
        Throws:
        java.io.IOException
      • run

        public 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
        Parameters:
        files -
        destDir - base directory for generated files
        options -
        Returns:
        true if there were any errors
        Throws:
        java.io.IOException
      • process

        public static void process​(TraceHandler trace,
                                   ProblemHandler problems,
                                   java.nio.file.Path path,
                                   java.nio.file.Path destDir,
                                   java.util.Set<java.lang.String> options)
                            throws java.io.IOException
        Throws:
        java.io.IOException