Class InitOut


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

      • InitOut

        public InitOut()
    • Method Detail

      • initEnumNames

        public InitOut initEnumNames()
      • initSourceNames

        public InitOut initSourceNames()
      • initAssertionNames

        public InitOut initAssertionNames()
      • from

        public InitOut from​(java.nio.file.Path from)
      • maxLength

        public InitOut maxLength​(int m)
      • minLength

        public InitOut minLength​(int m)
      • to

        public void to​(java.nio.file.Path config)
                throws java.io.IOException
        Throws:
        java.io.IOException