Class JavaGenerator


  • public class JavaGenerator
    extends java.lang.Object
    • Constructor Detail

      • JavaGenerator

        public JavaGenerator()
    • Method Detail

      • writeSourceFiles

        public void writeSourceFiles​(java.io.File destdir,
                                     StateTypeGenerator stg)
                              throws java.io.IOException
        Throws:
        java.io.IOException