Class Generation.PackageManifest

  • Enclosing class:
    Generation

    public static class Generation.PackageManifest
    extends java.lang.Object
    A package's declared module sets, read from its manifest.json. mainModules is required; testModules/mainDslModules/mainEncodingModules are tolerant-empty: a package whose manifest omits the field contributes nothing for it.
    • Field Detail

      • package_

        public final java.lang.String package_
      • mainModules

        public final java.util.List<ModuleName> mainModules
      • testModules

        public final java.util.List<ModuleName> testModules
      • dslModules

        public final java.util.List<ModuleName> dslModules
      • encodingModules

        public final java.util.List<ModuleName> encodingModules
    • Constructor Detail

      • PackageManifest

        public PackageManifest​(java.lang.String package_,
                               java.util.List<ModuleName> mainModules,
                               java.util.List<ModuleName> testModules,
                               java.util.List<ModuleName> dslModules,
                               java.util.List<ModuleName> encodingModules)