semantifold 0.3.0 → 0.5.0

package/build/src/frontends/index.d.ts

@@ -4,11 +4,13 @@
  * @param {string} input.filename - Source filename used in diagnostics.
  * @param {import("../semantic/types.js").SemanticLanguage} input.language - Source language.
  * @param {string} input.source - Source text.
+ * @param {Readonly<import("../semantic/types.js").CapabilityAuthority> | import("../semantic/types.js").CapabilityAuthorityInput} [input.capabilityAuthority] - Explicit compiler authority.
  * @returns {import("../semantic/types.js").SemanticModule} Semantic module.
  */
-export declare function parseSource({ filename, language, source }: {
+export declare function parseSource({ capabilityAuthority, filename, language, source }: {
     filename: string;
     language: import("../semantic/types.js").SemanticLanguage;
     source: string;
+    capabilityAuthority?: Readonly<import("../semantic/types.js").CapabilityAuthority> | import("../semantic/types.js").CapabilityAuthorityInput;
 }): import("../semantic/types.js").SemanticModule;
 //# sourceMappingURL=index.d.ts.map

package/build/src/frontends/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/frontends/index.js"],"names":[],"mappings":"AAMA;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,EAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAC,EALrD;IAAsB,QAAQ,EAAtB,MAAM,CACd;IAA+D,QAAQ,EAA/D,OAAO,sBAAsB,EAAE,gBAAgB,CACvD;IAAsB,MAAM,EAApB,MAAM,CACd;CAEqD,GAF3C,OAAO,sBAAsB,EAAE,cAAc,CAQzD"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/frontends/index.js"],"names":[],"mappings":"AAQA;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CAAC,EAAC,mBAAmB,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAC,EAN1E;IAAsB,QAAQ,EAAtB,MAAM,CACd;IAA+D,QAAQ,EAA/D,OAAO,sBAAsB,EAAE,gBAAgB,CACvD;IAAsB,MAAM,EAApB,MAAM,CACd;IAAuI,mBAAmB,AAA1J,CACA,EADQ,QAAQ,CAAC,OAAO,sBAAsB,EAAE,mBAAmB,CAAC,GAAG,OAAO,sBAAsB,EAAE,wBAAwB,CAC9H;CAE0E,GAFhE,OAAO,sBAAsB,EAAE,cAAc,CAezD"}

package/build/src/frontends/index.js

@@ -1,18 +1,28 @@
 // @ts-check
 import { languageRegistry } from "../language-registry.js";
+import { normalizeCapabilityAuthority } from "../semantic/capabilities.js";
 import { annotateParsedModule } from "../semantic/provenance.js";
 import { validateParsedModule } from "../semantic/validate.js";
+import { unsupportedCapability } from "../diagnostic.js";
 /**
  * Parses supported source into a shared semantic module.
  * @param {object} input - Parse request.
  * @param {string} input.filename - Source filename used in diagnostics.
  * @param {import("../semantic/types.js").SemanticLanguage} input.language - Source language.
  * @param {string} input.source - Source text.
+ * @param {Readonly<import("../semantic/types.js").CapabilityAuthority> | import("../semantic/types.js").CapabilityAuthorityInput} [input.capabilityAuthority] - Explicit compiler authority.
  * @returns {import("../semantic/types.js").SemanticModule} Semantic module.
  */
-export function parseSource({ filename, language, source }) {
-    const frontend = /** @type {(input: {filename: string, source: string}) => import("../semantic/types.js").SemanticModule} */ (languageRegistry.resolve(language, "frontend"));
-    const module = validateParsedModule(frontend({ filename, source }), language);
-    return annotateParsedModule(module, { filename, language, source });
+export function parseSource({ capabilityAuthority, filename, language, source }) {
+    const authority = normalizeCapabilityAuthority(capabilityAuthority);
+    const frontend = /** @type {typeof import("./php.js").parsePhp} */ (languageRegistry.resolve(language, "frontend"));
+    const module = frontend({ capabilities: authority?.capabilities, filename, source });
+    if (authority && !languageRegistry.record(language).features.effectfulCapabilitiesAndResources) {
+        unsupportedCapability(language, "Task 034 effectful capabilities and owned resources", module.location);
+    }
+    if (authority)
+        module.capabilities = /** @type {import("../semantic/types.js").EffectCapabilityDeclaration[]} */ (authority.capabilities);
+    const validated = validateParsedModule(module, language);
+    return annotateParsedModule(validated, { filename, language, source });
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvZnJvbnRlbmRzL2luZGV4LmpzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLFlBQVk7QUFFWixPQUFPLEVBQUMsZ0JBQWdCLEVBQUMsTUFBTSx5QkFBeUIsQ0FBQTtBQUN4RCxPQUFPLEVBQUMsb0JBQW9CLEVBQUMsTUFBTSwyQkFBMkIsQ0FBQTtBQUM5RCxPQUFPLEVBQUMsb0JBQW9CLEVBQUMsTUFBTSx5QkFBeUIsQ0FBQTtBQUU1RDs7Ozs7OztHQU9HO0FBQ0gsTUFBTSxVQUFVLFdBQVcsQ0FBQyxFQUFDLFFBQVEsRUFBRSxRQUFRLEVBQUUsTUFBTSxFQUFDO0lBQ3RELE1BQU0sUUFBUSxHQUFHLDJHQUEyRyxDQUFDLENBQzNILGdCQUFnQixDQUFDLE9BQU8sQ0FBQyxRQUFRLEVBQUUsVUFBVSxDQUFDLENBQUMsQ0FBQTtJQUNqRCxNQUFNLE1BQU0sR0FBRyxvQkFBb0IsQ0FBQyxRQUFRLENBQUMsRUFBQyxRQUFRLEVBQUUsTUFBTSxFQUFDLENBQUMsRUFBRSxRQUFRLENBQUMsQ0FBQTtJQUUzRSxPQUFPLG9CQUFvQixDQUFDLE1BQU0sRUFBRSxFQUFDLFFBQVEsRUFBRSxRQUFRLEVBQUUsTUFBTSxFQUFDLENBQUMsQ0FBQTtBQUNuRSxDQUFDIiwic291cmNlc0NvbnRlbnQiOlsiLy8gQHRzLWNoZWNrXG5cbmltcG9ydCB7bGFuZ3VhZ2VSZWdpc3RyeX0gZnJvbSBcIi4uL2xhbmd1YWdlLXJlZ2lzdHJ5LmpzXCJcbmltcG9ydCB7YW5ub3RhdGVQYXJzZWRNb2R1bGV9IGZyb20gXCIuLi9zZW1hbnRpYy9wcm92ZW5hbmNlLmpzXCJcbmltcG9ydCB7dmFsaWRhdGVQYXJzZWRNb2R1bGV9IGZyb20gXCIuLi9zZW1hbnRpYy92YWxpZGF0ZS5qc1wiXG5cbi8qKlxuICogUGFyc2VzIHN1cHBvcnRlZCBzb3VyY2UgaW50byBhIHNoYXJlZCBzZW1hbnRpYyBtb2R1bGUuXG4gKiBAcGFyYW0ge29iamVjdH0gaW5wdXQgLSBQYXJzZSByZXF1ZXN0LlxuICogQHBhcmFtIHtzdHJpbmd9IGlucHV0LmZpbGVuYW1lIC0gU291cmNlIGZpbGVuYW1lIHVzZWQgaW4gZGlhZ25vc3RpY3MuXG4gKiBAcGFyYW0ge2ltcG9ydChcIi4uL3NlbWFudGljL3R5cGVzLmpzXCIpLlNlbWFudGljTGFuZ3VhZ2V9IGlucHV0Lmxhbmd1YWdlIC0gU291cmNlIGxhbmd1YWdlLlxuICogQHBhcmFtIHtzdHJpbmd9IGlucHV0LnNvdXJjZSAtIFNvdXJjZSB0ZXh0LlxuICogQHJldHVybnMge2ltcG9ydChcIi4uL3NlbWFudGljL3R5cGVzLmpzXCIpLlNlbWFudGljTW9kdWxlfSBTZW1hbnRpYyBtb2R1bGUuXG4gKi9cbmV4cG9ydCBmdW5jdGlvbiBwYXJzZVNvdXJjZSh7ZmlsZW5hbWUsIGxhbmd1YWdlLCBzb3VyY2V9KSB7XG4gIGNvbnN0IGZyb250ZW5kID0gLyoqIEB0eXBlIHsoaW5wdXQ6IHtmaWxlbmFtZTogc3RyaW5nLCBzb3VyY2U6IHN0cmluZ30pID0+IGltcG9ydChcIi4uL3NlbWFudGljL3R5cGVzLmpzXCIpLlNlbWFudGljTW9kdWxlfSAqLyAoXG4gICAgbGFuZ3VhZ2VSZWdpc3RyeS5yZXNvbHZlKGxhbmd1YWdlLCBcImZyb250ZW5kXCIpKVxuICBjb25zdCBtb2R1bGUgPSB2YWxpZGF0ZVBhcnNlZE1vZHVsZShmcm9udGVuZCh7ZmlsZW5hbWUsIHNvdXJjZX0pLCBsYW5ndWFnZSlcblxuICByZXR1cm4gYW5ub3RhdGVQYXJzZWRNb2R1bGUobW9kdWxlLCB7ZmlsZW5hbWUsIGxhbmd1YWdlLCBzb3VyY2V9KVxufVxuIl19
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvZnJvbnRlbmRzL2luZGV4LmpzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLFlBQVk7QUFFWixPQUFPLEVBQUMsZ0JBQWdCLEVBQUMsTUFBTSx5QkFBeUIsQ0FBQTtBQUN4RCxPQUFPLEVBQUMsNEJBQTRCLEVBQUMsTUFBTSw2QkFBNkIsQ0FBQTtBQUN4RSxPQUFPLEVBQUMsb0JBQW9CLEVBQUMsTUFBTSwyQkFBMkIsQ0FBQTtBQUM5RCxPQUFPLEVBQUMsb0JBQW9CLEVBQUMsTUFBTSx5QkFBeUIsQ0FBQTtBQUM1RCxPQUFPLEVBQUMscUJBQXFCLEVBQUMsTUFBTSxrQkFBa0IsQ0FBQTtBQUV0RDs7Ozs7Ozs7R0FRRztBQUNILE1BQU0sVUFBVSxXQUFXLENBQUMsRUFBQyxtQkFBbUIsRUFBRSxRQUFRLEVBQUUsUUFBUSxFQUFFLE1BQU0sRUFBQztJQUMzRSxNQUFNLFNBQVMsR0FBRyw0QkFBNEIsQ0FBQyxtQkFBbUIsQ0FBQyxDQUFBO0lBQ25FLE1BQU0sUUFBUSxHQUFHLGlEQUFpRCxDQUFDLENBQ2pFLGdCQUFnQixDQUFDLE9BQU8sQ0FBQyxRQUFRLEVBQUUsVUFBVSxDQUFDLENBQUMsQ0FBQTtJQUNqRCxNQUFNLE1BQU0sR0FBRyxRQUFRLENBQUMsRUFBQyxZQUFZLEVBQUUsU0FBUyxFQUFFLFlBQVksRUFBRSxRQUFRLEVBQUUsTUFBTSxFQUFDLENBQUMsQ0FBQTtJQUVsRixJQUFJLFNBQVMsSUFBSSxDQUFDLGdCQUFnQixDQUFDLE1BQU0sQ0FBQyxRQUFRLENBQUMsQ0FBQyxRQUFRLENBQUMsaUNBQWlDLEVBQUUsQ0FBQztRQUMvRixxQkFBcUIsQ0FBQyxRQUFRLEVBQUUscURBQXFELEVBQUUsTUFBTSxDQUFDLFFBQVEsQ0FBQyxDQUFBO0lBQ3pHLENBQUM7SUFDRCxJQUFJLFNBQVM7UUFBRSxNQUFNLENBQUMsWUFBWSxHQUFHLDJFQUEyRSxDQUFDLENBQUMsU0FBUyxDQUFDLFlBQVksQ0FBQyxDQUFBO0lBQ3pJLE1BQU0sU0FBUyxHQUFHLG9CQUFvQixDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsQ0FBQTtJQUV4RCxPQUFPLG9CQUFvQixDQUFDLFNBQVMsRUFBRSxFQUFDLFFBQVEsRUFBRSxRQUFRLEVBQUUsTUFBTSxFQUFDLENBQUMsQ0FBQTtBQUN0RSxDQUFDIiwic291cmNlc0NvbnRlbnQiOlsiLy8gQHRzLWNoZWNrXG5cbmltcG9ydCB7bGFuZ3VhZ2VSZWdpc3RyeX0gZnJvbSBcIi4uL2xhbmd1YWdlLXJlZ2lzdHJ5LmpzXCJcbmltcG9ydCB7bm9ybWFsaXplQ2FwYWJpbGl0eUF1dGhvcml0eX0gZnJvbSBcIi4uL3NlbWFudGljL2NhcGFiaWxpdGllcy5qc1wiXG5pbXBvcnQge2Fubm90YXRlUGFyc2VkTW9kdWxlfSBmcm9tIFwiLi4vc2VtYW50aWMvcHJvdmVuYW5jZS5qc1wiXG5pbXBvcnQge3ZhbGlkYXRlUGFyc2VkTW9kdWxlfSBmcm9tIFwiLi4vc2VtYW50aWMvdmFsaWRhdGUuanNcIlxuaW1wb3J0IHt1bnN1cHBvcnRlZENhcGFiaWxpdHl9IGZyb20gXCIuLi9kaWFnbm9zdGljLmpzXCJcblxuLyoqXG4gKiBQYXJzZXMgc3VwcG9ydGVkIHNvdXJjZSBpbnRvIGEgc2hhcmVkIHNlbWFudGljIG1vZHVsZS5cbiAqIEBwYXJhbSB7b2JqZWN0fSBpbnB1dCAtIFBhcnNlIHJlcXVlc3QuXG4gKiBAcGFyYW0ge3N0cmluZ30gaW5wdXQuZmlsZW5hbWUgLSBTb3VyY2UgZmlsZW5hbWUgdXNlZCBpbiBkaWFnbm9zdGljcy5cbiAqIEBwYXJhbSB7aW1wb3J0KFwiLi4vc2VtYW50aWMvdHlwZXMuanNcIikuU2VtYW50aWNMYW5ndWFnZX0gaW5wdXQubGFuZ3VhZ2UgLSBTb3VyY2UgbGFuZ3VhZ2UuXG4gKiBAcGFyYW0ge3N0cmluZ30gaW5wdXQuc291cmNlIC0gU291cmNlIHRleHQuXG4gKiBAcGFyYW0ge1JlYWRvbmx5PGltcG9ydChcIi4uL3NlbWFudGljL3R5cGVzLmpzXCIpLkNhcGFiaWxpdHlBdXRob3JpdHk+IHwgaW1wb3J0KFwiLi4vc2VtYW50aWMvdHlwZXMuanNcIikuQ2FwYWJpbGl0eUF1dGhvcml0eUlucHV0fSBbaW5wdXQuY2FwYWJpbGl0eUF1dGhvcml0eV0gLSBFeHBsaWNpdCBjb21waWxlciBhdXRob3JpdHkuXG4gKiBAcmV0dXJucyB7aW1wb3J0KFwiLi4vc2VtYW50aWMvdHlwZXMuanNcIikuU2VtYW50aWNNb2R1bGV9IFNlbWFudGljIG1vZHVsZS5cbiAqL1xuZXhwb3J0IGZ1bmN0aW9uIHBhcnNlU291cmNlKHtjYXBhYmlsaXR5QXV0aG9yaXR5LCBmaWxlbmFtZSwgbGFuZ3VhZ2UsIHNvdXJjZX0pIHtcbiAgY29uc3QgYXV0aG9yaXR5ID0gbm9ybWFsaXplQ2FwYWJpbGl0eUF1dGhvcml0eShjYXBhYmlsaXR5QXV0aG9yaXR5KVxuICBjb25zdCBmcm9udGVuZCA9IC8qKiBAdHlwZSB7dHlwZW9mIGltcG9ydChcIi4vcGhwLmpzXCIpLnBhcnNlUGhwfSAqLyAoXG4gICAgbGFuZ3VhZ2VSZWdpc3RyeS5yZXNvbHZlKGxhbmd1YWdlLCBcImZyb250ZW5kXCIpKVxuICBjb25zdCBtb2R1bGUgPSBmcm9udGVuZCh7Y2FwYWJpbGl0aWVzOiBhdXRob3JpdHk/LmNhcGFiaWxpdGllcywgZmlsZW5hbWUsIHNvdXJjZX0pXG5cbiAgaWYgKGF1dGhvcml0eSAmJiAhbGFuZ3VhZ2VSZWdpc3RyeS5yZWNvcmQobGFuZ3VhZ2UpLmZlYXR1cmVzLmVmZmVjdGZ1bENhcGFiaWxpdGllc0FuZFJlc291cmNlcykge1xuICAgIHVuc3VwcG9ydGVkQ2FwYWJpbGl0eShsYW5ndWFnZSwgXCJUYXNrIDAzNCBlZmZlY3RmdWwgY2FwYWJpbGl0aWVzIGFuZCBvd25lZCByZXNvdXJjZXNcIiwgbW9kdWxlLmxvY2F0aW9uKVxuICB9XG4gIGlmIChhdXRob3JpdHkpIG1vZHVsZS5jYXBhYmlsaXRpZXMgPSAvKiogQHR5cGUge2ltcG9ydChcIi4uL3NlbWFudGljL3R5cGVzLmpzXCIpLkVmZmVjdENhcGFiaWxpdHlEZWNsYXJhdGlvbltdfSAqLyAoYXV0aG9yaXR5LmNhcGFiaWxpdGllcylcbiAgY29uc3QgdmFsaWRhdGVkID0gdmFsaWRhdGVQYXJzZWRNb2R1bGUobW9kdWxlLCBsYW5ndWFnZSlcblxuICByZXR1cm4gYW5ub3RhdGVQYXJzZWRNb2R1bGUodmFsaWRhdGVkLCB7ZmlsZW5hbWUsIGxhbmd1YWdlLCBzb3VyY2V9KVxufVxuIl19

package/build/src/frontends/java.d.ts

@@ -1,12 +1,121 @@
+export type JavaConversionContext = {
+    /**
+     * - Explicitly typed visible bindings.
+     */
+    bindings: Map<string, import("../semantic/types.js").SemanticBindingType>;
+    /**
+     * - Reference classes by identity.
+     */
+    classes: Map<string, import("../semantic/types.js").ClassDeclaration>;
+    /**
+     * - Enclosing reference class.
+     */
+    currentClass?: import("../semantic/types.js").ClassDeclaration;
+    /**
+     * - Errors by source name.
+     */
+    errorNames: Map<string, import("../semantic/types.js").ErrorDeclaration>;
+    /**
+     * - Errors by identity.
+     */
+    errors: Map<string, import("../semantic/types.js").ErrorDeclaration>;
+    /**
+     * - Source bindings consumed by exact semantic folds in this scope.
+     */
+    erasedBindingNames: Set<string>;
+    /**
+     * - Explicit module function signatures.
+     */
+    functions: Map<string, JavaFunctionSignature>;
+    /**
+     * - Nominal declarations by source name.
+     */
+    recordNames: Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>;
+    /**
+     * - Records by identity.
+     */
+    records: Map<string, import("../semantic/types.js").RecordDeclaration>;
+    /**
+     * - Enclosing return type.
+     */
+    returnType: import("../semantic/types.js").SemanticFunctionReturnType | undefined;
+    /**
+     * - Declaration-scoped parameters.
+     */
+    typeParameters?: Map<string, import("../semantic/types.js").TypeParameter>;
+};
+export type JavaFunctionSignature = {
+    /**
+     * - Complete declaration location.
+     */
+    location: import("../semantic/types.js").SourceLocation;
+    /**
+     * - Parser-owned name location.
+     */
+    nameLocation: import("../semantic/types.js").SourceLocation;
+    /**
+     * - Function name.
+     */
+    name: string;
+    /**
+     * - Semantic parameters.
+     */
+    parameters: import("../semantic/types.js").Parameter[];
+    /**
+     * - Semantic return type.
+     */
+    returnType: import("../semantic/types.js").SemanticFunctionReturnType;
+    /**
+     * - Declaration-scoped parameters.
+     */
+    typeParameters?: import("../semantic/types.js").TypeParameter[];
+};
 /**
  * Parses Java into the shared semantic module.
  * @param {object} input - Parser input.
  * @param {string} input.filename - Source filename.
  * @param {string} input.source - Source text.
+ * @param {readonly import("../semantic/types.js").EffectCapabilityDeclaration[]} [input.capabilities] - Compiler-authorized declarations.
+ * @param {{isEntry: boolean, functions: Map<string, import("../semantic/types.js").FunctionDeclaration>, records: Map<string, import("../semantic/types.js").RecordDeclaration>, errors?: Map<string, import("../semantic/types.js").ErrorDeclaration>}} [input.program] - Resolved program imports and entry role.
  * @returns {import("../semantic/types.js").SemanticModule} Semantic module.
  */
-export declare function parseJava({ filename, source }: {
+export declare function parseJava({ capabilities, filename, source, program }: {
     filename: string;
     source: string;
+    capabilities?: readonly import("../semantic/types.js").EffectCapabilityDeclaration[];
+    program?: {
+        isEntry: boolean;
+        functions: Map<string, import("../semantic/types.js").FunctionDeclaration>;
+        records: Map<string, import("../semantic/types.js").RecordDeclaration>;
+        errors?: Map<string, import("../semantic/types.js").ErrorDeclaration>;
+    };
 }): import("../semantic/types.js").SemanticModule;
+/**
+ * Reads direct package/import/class nodes from the pinned Lezer grammar.
+ * @param {object} input - Parser input.
+ * @param {string} input.filename - Source filename.
+ * @param {string} input.source - Source text.
+ * @returns {{imports: {importedName: string, localName: string, location: import("../semantic/types.js").SourceLocation, namespace: true, pathLocation: import("../semantic/types.js").SourceLocation, specifier: string, typeOnly: false}[], exports: {exportedName: string, localName: string, location: import("../semantic/types.js").SourceLocation, typeOnly: false}[], nativeName: string}} Parser-owned Java module header.
+ */
+export declare function inspectJavaModule({ filename, source }: {
+    filename: string;
+    source: string;
+}): {
+    imports: {
+        importedName: string;
+        localName: string;
+        location: import("../semantic/types.js").SourceLocation;
+        namespace: true;
+        pathLocation: import("../semantic/types.js").SourceLocation;
+        specifier: string;
+        typeOnly: false;
+    }[];
+    exports: {
+        exportedName: string;
+        localName: string;
+        location: import("../semantic/types.js").SourceLocation;
+        typeOnly: false;
+    }[];
+    nativeName: string;
+};
 //# sourceMappingURL=java.d.ts.map

package/build/src/frontends/java.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"java.d.ts","sourceRoot":"","sources":["../../../src/frontends/java.js"],"names":[],"mappings":"AA8rBA;;;;;;GAMG;AACH,wBAAgB,SAAS,CAAC,EAAC,QAAQ,EAAE,MAAM,EAAC,EAJzC;IAAsB,QAAQ,EAAtB,MAAM,CACd;IAAsB,MAAM,EAApB,MAAM,CACd;CAEyC,GAF/B,OAAO,sBAAsB,EAAE,cAAc,CA2BzD"}
+{"version":3,"file":"java.d.ts","sourceRoot":"","sources":["../../../src/frontends/java.js"],"names":[],"mappings":"AAyCG,YAAS,qBAAqB,GAC9B;;;;IAA4E,QAAQ,EAAzE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,mBAAmB,CAAC,CAC1E;;;;IAAyE,OAAO,EAArE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,gBAAgB,CAAC,CACvE;;;;IAA6D,YAAY,AAAzE,CACA,EADW,OAAO,sBAAsB,EAAE,gBAAgB,CAC1D;;;;IAAyE,UAAU,EAAxE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,gBAAgB,CAAC,CACvE;;;;IAAyE,MAAM,EAApE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,gBAAgB,CAAC,CACvE;;;;IAAwB,kBAAkB,EAA/B,GAAG,CAAC,MAAM,CAAC,CACtB;;;;IAA+C,SAAS,EAA7C,GAAG,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAC7C;;;;IAAuL,WAAW,EAAvL,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,iBAAiB,GAAG,OAAO,sBAAsB,EAAE,gBAAgB,GAAG,OAAO,sBAAsB,EAAE,yBAAyB,CAAC,CACrL;;;;IAA0E,OAAO,EAAtE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,iBAAiB,CAAC,CACxE;;;;IAAkF,UAAU,EAAjF,OAAO,sBAAsB,EAAE,0BAA0B,GAAG,SAAS,CAChF;;;;IAAuE,cAAc,AAArF,CACF,EADa,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,aAAa,CAAC,CACtE;CAAA,CAAA;AAGE,YAAS,qBAAqB,GAC9B;;;;IAA0D,QAAQ,EAAvD,OAAO,sBAAsB,EAAE,cAAc,CACxD;;;;IAA0D,YAAY,EAA3D,OAAO,sBAAsB,EAAE,cAAc,CACxD;;;;IAAmB,IAAI,EAAZ,MAAM,CACjB;;;;IAAuD,UAAU,EAAtD,OAAO,sBAAsB,EAAE,SAAS,EAAE,CACrD;;;;IAAsE,UAAU,EAArE,OAAO,sBAAsB,EAAE,0BAA0B,CACpE;;;;IAA4D,cAAc,AAA1E,CACF,EADa,OAAO,sBAAsB,EAAE,aAAa,EAAE,CAC3D;CAAA,CAAA;AAyqED;;;;;;;;GAQG;AACH,wBAAgB,SAAS,CAAC,EAAC,YAAiB,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAC,EANrE;IAAsB,QAAQ,EAAtB,MAAM,CACd;IAAsB,MAAM,EAApB,MAAM,CACd;IAAsF,YAAY,AAAlG,CACA,EADQ,SAAS,OAAO,sBAAsB,EAAE,2BAA2B,EAAE,CAC7E;IAA8P,OAAO,AAArQ,CACA,EADQ;QAAC,OAAO,EAAE,OAAO,CAAC;QAAC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,mBAAmB,CAAC,CAAC;QAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,iBAAiB,CAAC,CAAC;QAAC,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,gBAAgB,CAAC,CAAA;KAAC,CACrP;CAEqE,GAF3D,OAAO,sBAAsB,EAAE,cAAc,CAmHzD;AAgKD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,EAAC,QAAQ,EAAE,MAAM,EAAC,EAJjD;IAAsB,QAAQ,EAAtB,MAAM,CACd;IAAsB,MAAM,EAApB,MAAM,CACd;CAEiD,GAFvC;IAAC,OAAO,EAAE;QAAC,YAAY,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,SAAS,EAAE,IAAI,CAAC;QAAC,YAAY,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,KAAK,CAAA;KAAC,EAAE,CAAC;IAAC,OAAO,EAAE;QAAC,YAAY,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,QAAQ,EAAE,KAAK,CAAA;KAAC,EAAE,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAC,CA2EjY"}