@descryy/adapter-kotlin 0.4.1 → 0.5.1

package/dist/jpa.js

@@ -0,0 +1,415 @@
+/**
+ * The ORM framework extractor for Kotlin — JPA/Hibernate, read from source.
+ *
+ * **A `MODEL` is a framework claim, earned here** (DEC-127), and the rules are
+ * `adapter-java/src/jpa.ts`'s, ported onto Kotlin's own grammar rather than
+ * re-derived: admission is one annotation (`@Entity`), provenance is the
+ * import table, and a stated nullability this reader cannot evaluate is listed
+ * rather than guessed. Two adapters disagreeing on one golden pattern is the
+ * failure mode the conformance harness exists to prevent, and the two JVM
+ * adapters read the *same* mapping — so where Kotlin and Java can answer
+ * alike, they answer alike.
+ *
+ * ## Three grammar facts that decide this design
+ *
+ * **1.** A Kotlin property is declared in two places, not one: a
+ * `class_parameter` in the `primary_constructor` carrying `val`/`var`
+ * (`binding_pattern_kind`), and a `property_declaration` in the `class_body`.
+ * A constructor parameter *without* `val`/`var` is not a property and is not a
+ * column — the distinction is one keyword and there is no second signal for it.
+ *
+ * **2.** Nullability is in the type, as `nullable_type` wrapping the
+ * `user_type`. That is a stated fact, and one Java has no spelling for. It is
+ * **not** a NOT NULL claim: a non-null `String` is still `java.lang.String` on
+ * the JVM and Hibernate defaults its column nullable, exactly as for Java. A
+ * non-null `Long`/`Int`/`Boolean`/… *does* compile to a JVM primitive, which
+ * is precisely `adapter-java`'s `primitive-type` rule in Kotlin's spelling and
+ * is read as such. Claiming more than that from Kotlin's null-safety would put
+ * the two JVM adapters into disagreement on identical mappings.
+ *
+ * **3.** An annotation may carry a `use_site_target` (`@field:Column`,
+ * `@get:Id`) as a sibling of the `user_type`, so the name is read past it.
+ * Kotlin JPA codebases write these constantly; a reader matching on the
+ * annotation node's text would see none of them.
+ *
+ * ## The two-property declaration-site test, and why gates and not comments
+ *
+ * An R3 claim resting on a declaration rather than a checker has to answer
+ * two questions: (a) is the physical shape **stated**, and (b) is the declared
+ * set **complete**? (a) holds — every persistent property is a `val`/`var`
+ * with a written type or it is not readable at all. (b) holds only for the
+ * constructs this reader classifies, and a framework guarantee covers nothing
+ * else, so the four shapes that break completeness are **gated** rather than
+ * noted: see {@link Refusal}. `adapter-swift`'s lane established the rule; the
+ * cost of not holding it is a table reported with three of its thirty columns
+ * that reads as complete.
+ */
+const JPA_PACKAGES = ["jakarta.persistence", "javax.persistence"];
+/**
+ * Spring Data MongoDB's own mapping package, kept separate from
+ * {@link JPA_PACKAGES} for `adapter-java`'s reason: a unit can import one
+ * framework without the other, and merging would let a JPA-only file's
+ * `@Document`-shaped lookalike through on JPA's provenance.
+ */
+const MONGO_PACKAGES = ["org.springframework.data.mongodb"];
+/**
+ * Kotlin types that compile to a JVM primitive **when non-null**. `Long` is
+ * `long`; `Long?` boxes to `java.lang.Long`. This is `adapter-java`'s
+ * `primitive` field, derived from Kotlin's own type rather than from a
+ * keyword.
+ */
+const JVM_PRIMITIVES = new Set(["Byte", "Short", "Int", "Long", "Float", "Double", "Boolean", "Char"]);
+const namedChildren = (node) => {
+    const out = [];
+    for (let i = 0; i < node.namedChildCount; i += 1) {
+        const child = node.namedChild(i);
+        if (child !== null)
+            out.push(child);
+    }
+    return out;
+};
+const firstOfType = (node, type) => namedChildren(node).find((child) => child.type === type);
+const lineOf = (node) => node.startPosition.row + 1;
+/** A plain string literal's content, or `undefined` for anything else (interpolation included). */
+function stringValueOf(node) {
+    if (node === undefined || node.type !== "string_literal")
+        return undefined;
+    let content = "";
+    for (const child of namedChildren(node)) {
+        if (child.type !== "string_content")
+            return undefined;
+        content += child.text;
+    }
+    return content;
+}
+/** Every annotation on a declaration's own `modifiers` block. */
+function annotationsOf(node) {
+    const block = firstOfType(node, "modifiers");
+    if (block === undefined)
+        return [];
+    const out = [];
+    for (const child of namedChildren(block)) {
+        if (child.type !== "annotation")
+            continue;
+        // `use_site_target` sits before the type, so both lookups skip past it.
+        const invocation = firstOfType(child, "constructor_invocation");
+        const userType = invocation === undefined ? firstOfType(child, "user_type") : firstOfType(invocation, "user_type");
+        const name = userType === undefined ? undefined : firstOfType(userType, "type_identifier")?.text;
+        if (name === undefined)
+            continue;
+        const rawArguments = [];
+        const stringValues = [];
+        const valueArgs = invocation === undefined ? undefined : firstOfType(invocation, "value_arguments");
+        for (const va of valueArgs === undefined ? [] : namedChildren(valueArgs)) {
+            if (va.type !== "value_argument")
+                continue;
+            rawArguments.push(va.text);
+            const parts = namedChildren(va);
+            const isNamed = parts.length === 2 && parts[0]?.type === "simple_identifier";
+            const argName = isNamed ? parts[0]?.text : undefined;
+            const value = stringValueOf(isNamed ? parts[1] : parts[0]);
+            if (value === undefined)
+                continue;
+            if (argName === undefined || argName === "name" || argName === "collection")
+                stringValues.push(value);
+        }
+        out.push({ name, rawArguments, stringValues });
+    }
+    return out;
+}
+function typeOf(node) {
+    if (node === undefined)
+        return { name: undefined, nullable: false };
+    if (node.type === "nullable_type") {
+        const inner = typeOf(namedChildren(node).find((c) => c.type !== "type_modifiers"));
+        return { name: inner.name, nullable: true };
+    }
+    if (node.type === "user_type")
+        return { name: firstOfType(node, "type_identifier")?.text, nullable: false };
+    if (node.type === "function_type" || node.type === "parenthesized_type")
+        return { name: node.type, nullable: false };
+    return { name: undefined, nullable: false };
+}
+const TYPE_NODES = new Set(["user_type", "nullable_type", "function_type", "parenthesized_type"]);
+function propertyFrom(name, typeNode, owner, extras) {
+    const annotations = annotationsOf(owner);
+    const column = annotations.find((a) => a.name === "Column");
+    const { name: writtenType, nullable } = typeOf(typeNode);
+    return {
+        name,
+        annotations: annotations.map((a) => a.name),
+        columnNullable: column === undefined ? undefined : declaredNullable(column),
+        writtenType,
+        nullableType: nullable,
+        ...extras,
+    };
+}
+/**
+ * `nullable = false` read from the raw argument text, the same treatment
+ * `adapter-java` gives it: a boolean is not a string literal, so it does not
+ * reach the literal list, and the parse does not special-case a framework's
+ * vocabulary.
+ */
+function declaredNullable(column) {
+    for (const raw of column.rawArguments) {
+        const match = /^\s*nullable\s*=\s*(.+?)\s*$/s.exec(raw);
+        if (match === null)
+            continue;
+        const value = match[1];
+        if (value === "false")
+            return false;
+        if (value === "true")
+            return true;
+        return null;
+    }
+    return undefined;
+}
+/** Properties declared in the primary constructor — `val`/`var` only. */
+function constructorProperties(decl) {
+    const ctor = firstOfType(decl, "primary_constructor");
+    if (ctor === undefined)
+        return [];
+    const out = [];
+    for (const param of namedChildren(ctor)) {
+        if (param.type !== "class_parameter")
+            continue;
+        // No `val`/`var` means this is a constructor argument, not a property,
+        // and JPA persists no such thing.
+        if (firstOfType(param, "binding_pattern_kind") === undefined)
+            continue;
+        const name = firstOfType(param, "simple_identifier")?.text;
+        if (name === undefined)
+            continue;
+        const typeNode = namedChildren(param).find((c) => TYPE_NODES.has(c.type));
+        out.push(propertyFrom(name, typeNode, param, { hasAccessor: false, delegated: false }));
+    }
+    return out;
+}
+/** Properties declared in the class body. A `companion_object`'s own are not this class's. */
+function bodyProperties(decl) {
+    const body = namedChildren(decl).find((c) => c.type === "class_body" || c.type === "enum_class_body");
+    if (body === undefined)
+        return [];
+    const out = [];
+    for (const child of namedChildren(body)) {
+        if (child.type !== "property_declaration")
+            continue;
+        const variable = firstOfType(child, "variable_declaration");
+        if (variable === undefined)
+            continue;
+        const name = firstOfType(variable, "simple_identifier")?.text;
+        if (name === undefined)
+            continue;
+        const typeNode = namedChildren(variable).find((c) => TYPE_NODES.has(c.type));
+        const kids = namedChildren(child);
+        out.push(propertyFrom(name, typeNode, child, {
+            hasAccessor: kids.some((c) => c.type === "getter" || c.type === "setter"),
+            delegated: kids.some((c) => c.type === "property_delegate"),
+        }));
+    }
+    return out;
+}
+/** The mapped table or collection, or `null` when only a naming strategy would say. */
+function tableOf(annotations) {
+    const table = annotations.find((a) => a.name === "Table") ?? annotations.find((a) => a.name === "Document");
+    if (table === undefined)
+        return null;
+    return table.stringValues[0] ?? null;
+}
+/**
+ * Does this unit import a persistence framework? Provenance rule, ported
+ * unchanged: a class annotated `@Entity`/`@Document` in a file importing no
+ * persistence package is not an entity of it — both names are common enough
+ * to have lookalikes elsewhere.
+ */
+function importsPersistenceFramework(imports) {
+    const packages = [...JPA_PACKAGES, ...MONGO_PACKAGES];
+    return imports.some((each) => each.isWildcard ? packages.includes(each.path) : packages.some((pkg) => each.path.startsWith(`${pkg}.`)));
+}
+const CLASS_NODES = new Set(["class_declaration", "object_declaration"]);
+/**
+ * Every persistence-annotated declaration in this file, read while the tree is
+ * alive. `adapter.ts` deletes the tree immediately after `readKotlinFile`, so
+ * this runs there and everything downstream works from the result.
+ */
+export function readJpaDeclarations(root, imports) {
+    if (!importsPersistenceFramework(imports))
+        return [];
+    const out = [];
+    const walk = (node, owners) => {
+        for (const child of namedChildren(node)) {
+            if (!CLASS_NODES.has(child.type)) {
+                if (child.namedChildCount > 0)
+                    walk(child, owners);
+                continue;
+            }
+            const name = firstOfType(child, "type_identifier")?.text;
+            if (name === undefined)
+                continue;
+            const annotations = annotationsOf(child);
+            // The one invoked supertype. Kotlin forbids invoking an interface, so
+            // "invoked" is not a prior here the way `parse.ts` treats it for
+            // `INHERITS`/`IMPLEMENTS` — it is the answer.
+            let superclass;
+            for (const spec of namedChildren(child)) {
+                if (spec.type !== "delegation_specifier")
+                    continue;
+                const invocation = firstOfType(spec, "constructor_invocation");
+                if (invocation === undefined)
+                    continue;
+                superclass = firstOfType(firstOfType(invocation, "user_type") ?? invocation, "type_identifier")?.text;
+            }
+            out.push({
+                name,
+                owners,
+                annotations: annotations.map((a) => a.name),
+                table: tableOf(annotations),
+                properties: [...constructorProperties(child), ...bodyProperties(child)],
+                superclass,
+                startLine: lineOf(child),
+                endLine: child.endPosition.row + 1,
+            });
+            const body = namedChildren(child).find((c) => c.type === "class_body" || c.type === "enum_class_body");
+            if (body !== undefined)
+                walk(body, [...owners, name]);
+        }
+    };
+    walk(root, []);
+    return out;
+}
+const has = (decl, name) => decl.annotations.includes(name);
+const isEntity = (decl) => (has(decl, "Entity") || has(decl, "Document")) && !has(decl, "Embeddable") && !has(decl, "MappedSuperclass");
+/**
+ * The columns an entity inherits, deepest ancestor first, or a refusal.
+ * `@MappedSuperclass` ancestors contribute; a plain open class contributes
+ * nothing itself but may extend one that does; an `@Entity` ancestor is a JPA
+ * inheritance strategy this cannot read (E2); an unresolvable one leaves the
+ * set unprovable (E1).
+ */
+function inherited(decl, unit, resolve) {
+    const chain = [];
+    const seen = new Set([`${unit.packageName}::${[...decl.owners, decl.name].join(".")}`]);
+    let current = { declaration: decl, unit };
+    for (;;) {
+        const written = current.declaration.superclass;
+        if (written === undefined)
+            return { fields: chain };
+        const parent = resolve(written, current.unit);
+        if (parent === undefined) {
+            return {
+                refusal: `the superclass \`${written}\` is not declared in this batch, so the columns it contributes ` +
+                    "cannot be enumerated and the column set cannot be shown complete. The shape is withheld " +
+                    "rather than reported as a complete list that is missing rows.",
+            };
+        }
+        const key = `${parent.unit.packageName}::${[...parent.declaration.owners, parent.declaration.name].join(".")}`;
+        if (seen.has(key))
+            return { fields: chain };
+        seen.add(key);
+        if (has(parent.declaration, "Entity") || has(parent.declaration, "Document")) {
+            return {
+                refusal: `the superclass \`${written}\` is itself an @Entity, so a JPA inheritance strategy ` +
+                    "(single-table, joined, table-per-class) decides where each column lives and no source file " +
+                    "here states which. Refused rather than guessed.",
+            };
+        }
+        // Deepest ancestor first, so the base id leads the list. Deterministic.
+        if (has(parent.declaration, "MappedSuperclass"))
+            chain.unshift(...parent.declaration.properties);
+        current = parent;
+    }
+}
+/** Every JPA entity this unit declares, plus every shape it refused and why. */
+export function jpaModels(unit, resolve) {
+    const models = [];
+    const refusals = [];
+    for (const decl of unit.jpaDeclarations) {
+        if (!isEntity(decl))
+            continue;
+        // E4 — a discriminator column is a real column declared by no property.
+        const strategy = decl.annotations.find((a) => a === "Inheritance" || a === "DiscriminatorColumn");
+        if (strategy !== undefined) {
+            refusals.push({
+                className: decl.name,
+                reason: `@${strategy} puts a discriminator column on this table that no property declares, so the ` +
+                    "properties are not the complete column set. The shape is withheld.",
+            });
+            continue;
+        }
+        const up = inherited(decl, unit, resolve);
+        if ("refusal" in up) {
+            refusals.push({ className: decl.name, reason: up.refusal });
+            continue;
+        }
+        // A subclass's own declaration wins over an inherited one.
+        const own = new Set(decl.properties.map((p) => p.name));
+        const all = [...up.fields.filter((p) => !own.has(p.name)), ...decl.properties];
+        // E3 — an embeddable's columns flatten into this table and this reader
+        // enumerates none of them. Checked over the WHOLE set, inherited included.
+        const embedded = all.find((p) => p.annotations.includes("Embedded") || p.annotations.includes("EmbeddedId"));
+        if (embedded !== undefined) {
+            refusals.push({
+                className: decl.name,
+                reason: `\`${embedded.name}\` is @Embedded, so the embeddable's own columns flatten into this table. ` +
+                    "This reader enumerates one property where the table carries several, which would read as a " +
+                    "complete column set and is not. The shape is withheld.",
+            });
+            continue;
+        }
+        const fields = [];
+        const undecided = [];
+        for (const property of all) {
+            if (property.annotations.includes("Transient"))
+                continue;
+            // Not decidable, and listed rather than guessed or dropped.
+            if (property.columnNullable === null) {
+                undecided.push(property.name);
+                continue;
+            }
+            if (property.delegated || property.hasAccessor || property.writtenType === undefined) {
+                undecided.push(property.name);
+                continue;
+            }
+            let nullable;
+            let nullableFrom;
+            if (property.columnNullable !== undefined) {
+                nullable = property.columnNullable;
+                nullableFrom = "declared";
+            }
+            else if (property.annotations.includes("Id") || property.annotations.includes("NotNull")) {
+                nullable = false;
+                nullableFrom = "annotation";
+            }
+            else if (!property.nullableType && JVM_PRIMITIVES.has(property.writtenType)) {
+                // Non-null `Long` is JVM `long` and cannot hold null; `Long?` boxes.
+                // Java's rule 4, in Kotlin's spelling.
+                nullable = false;
+                nullableFrom = "primitive-type";
+            }
+            else if (property.nullableType) {
+                // Stated nullable. Same boolean the framework default would give, and
+                // a different fact: the source says so.
+                nullable = true;
+                nullableFrom = "declared-type";
+            }
+            else {
+                nullable = true;
+                nullableFrom = "framework-default";
+            }
+            fields.push({ name: property.name, nullable, nullableFrom });
+        }
+        // A MODEL with nothing readable would claim a table it cannot describe.
+        if (fields.length === 0 && undecided.length === 0)
+            continue;
+        models.push({
+            className: decl.name,
+            owners: decl.owners,
+            table: decl.table,
+            fields,
+            line: decl.startLine,
+            undecided,
+        });
+    }
+    return { models, refusals };
+}
+//# sourceMappingURL=jpa.js.map

package/dist/jpa.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"jpa.js","sourceRoot":"","sources":["../src/jpa.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAMH,MAAM,YAAY,GAAG,CAAC,qBAAqB,EAAE,mBAAmB,CAAC,CAAC;AAElE;;;;;GAKG;AACH,MAAM,cAAc,GAAG,CAAC,kCAAkC,CAAC,CAAC;AAE5D;;;;;GAKG;AACH,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;AAEvG,MAAM,aAAa,GAAG,CAAC,IAAU,EAAU,EAAE;IAC3C,MAAM,GAAG,GAAW,EAAE,CAAC;IACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,KAAK,KAAK,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,IAAU,EAAE,IAAY,EAAoB,EAAE,CACjE,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AAE3D,MAAM,MAAM,GAAG,CAAC,IAAU,EAAU,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC;AAWlE,mGAAmG;AACnG,SAAS,aAAa,CAAC,IAAsB;IAC3C,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB;QAAE,OAAO,SAAS,CAAC;IAC3E,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB;YAAE,OAAO,SAAS,CAAC;QACtD,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC;IACxB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,iEAAiE;AACjE,SAAS,aAAa,CAAC,IAAU;IAC/B,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAC7C,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACnC,MAAM,GAAG,GAAuB,EAAE,CAAC;IACnC,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QACzC,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY;YAAE,SAAS;QAC1C,wEAAwE;QACxE,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,EAAE,wBAAwB,CAAC,CAAC;QAChE,MAAM,QAAQ,GAAG,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;QACnH,MAAM,IAAI,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,iBAAiB,CAAC,EAAE,IAAI,CAAC;QACjG,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QAEjC,MAAM,YAAY,GAAa,EAAE,CAAC;QAClC,MAAM,YAAY,GAAa,EAAE,CAAC;QAClC,MAAM,SAAS,GAAG,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;QACpG,KAAK,MAAM,EAAE,IAAI,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC;YACzE,IAAI,EAAE,CAAC,IAAI,KAAK,gBAAgB;gBAAE,SAAS;YAC3C,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YAC3B,MAAM,KAAK,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;YAChC,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,mBAAmB,CAAC;YAC7E,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;YACrD,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3D,IAAI,KAAK,KAAK,SAAS;gBAAE,SAAS;YAClC,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,MAAM,IAAI,OAAO,KAAK,YAAY;gBAAE,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxG,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,YAAY,EAAE,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AA4CD,SAAS,MAAM,CAAC,IAAsB;IACpC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACpE,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,CAAC;QACnF,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAC9C,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,iBAAiB,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAC5G,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACrH,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,eAAe,EAAE,eAAe,EAAE,oBAAoB,CAAC,CAAC,CAAC;AAElG,SAAS,YAAY,CAAC,IAAY,EAAE,QAA0B,EAAE,KAAW,EAAE,MAAoD;IAC/H,MAAM,WAAW,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;IAC5D,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IACzD,OAAO;QACL,IAAI;QACJ,WAAW,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3C,cAAc,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,CAAC;QAC3E,WAAW;QACX,YAAY,EAAE,QAAQ;QACtB,GAAG,MAAM;KACV,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,gBAAgB,CAAC,MAAwB;IAChD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,+BAA+B,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACxD,IAAI,KAAK,KAAK,IAAI;YAAE,SAAS;QAC7B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,KAAK,KAAK,OAAO;YAAE,OAAO,KAAK,CAAC;QACpC,IAAI,KAAK,KAAK,MAAM;YAAE,OAAO,IAAI,CAAC;QAClC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,yEAAyE;AACzE,SAAS,qBAAqB,CAAC,IAAU;IACvC,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;IACtD,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAClC,MAAM,GAAG,GAAwB,EAAE,CAAC;IACpC,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,IAAI,KAAK,CAAC,IAAI,KAAK,iBAAiB;YAAE,SAAS;QAC/C,uEAAuE;QACvE,kCAAkC;QAClC,IAAI,WAAW,CAAC,KAAK,EAAE,sBAAsB,CAAC,KAAK,SAAS;YAAE,SAAS;QACvE,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,EAAE,mBAAmB,CAAC,EAAE,IAAI,CAAC;QAC3D,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1E,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,8FAA8F;AAC9F,SAAS,cAAc,CAAC,IAAU;IAChC,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC;IACtG,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAClC,MAAM,GAAG,GAAwB,EAAE,CAAC;IACpC,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,IAAI,KAAK,CAAC,IAAI,KAAK,sBAAsB;YAAE,SAAS;QACpD,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,EAAE,sBAAsB,CAAC,CAAC;QAC5D,IAAI,QAAQ,KAAK,SAAS;YAAE,SAAS;QACrC,MAAM,IAAI,GAAG,WAAW,CAAC,QAAQ,EAAE,mBAAmB,CAAC,EAAE,IAAI,CAAC;QAC9D,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,MAAM,QAAQ,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC7E,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;QAClC,GAAG,CAAC,IAAI,CACN,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE;YAClC,WAAW,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;YACzE,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,CAAC;SAC5D,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,uFAAuF;AACvF,SAAS,OAAO,CAAC,WAAwC;IACvD,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;IAC5G,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACrC,OAAO,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AACvC,CAAC;AAED;;;;;GAKG;AACH,SAAS,2BAA2B,CAAC,OAAgC;IACnE,MAAM,QAAQ,GAAG,CAAC,GAAG,YAAY,EAAE,GAAG,cAAc,CAAC,CAAC;IACtD,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAC3B,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CACzG,CAAC;AACJ,CAAC;AAED,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,mBAAmB,EAAE,oBAAoB,CAAC,CAAC,CAAC;AAEzE;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAU,EAAE,OAAgC;IAC9E,IAAI,CAAC,2BAA2B,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,CAAC;IACrD,MAAM,GAAG,GAA2B,EAAE,CAAC;IAEvC,MAAM,IAAI,GAAG,CAAC,IAAU,EAAE,MAAyB,EAAQ,EAAE;QAC3D,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjC,IAAI,KAAK,CAAC,eAAe,GAAG,CAAC;oBAAE,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBACnD,SAAS;YACX,CAAC;YACD,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,EAAE,iBAAiB,CAAC,EAAE,IAAI,CAAC;YACzD,IAAI,IAAI,KAAK,SAAS;gBAAE,SAAS;YACjC,MAAM,WAAW,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;YACzC,sEAAsE;YACtE,iEAAiE;YACjE,8CAA8C;YAC9C,IAAI,UAA8B,CAAC;YACnC,KAAK,MAAM,IAAI,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;gBACxC,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB;oBAAE,SAAS;gBACnD,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC;gBAC/D,IAAI,UAAU,KAAK,SAAS;oBAAE,SAAS;gBACvC,UAAU,GAAG,WAAW,CAAC,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,IAAI,UAAU,EAAE,iBAAiB,CAAC,EAAE,IAAI,CAAC;YACxG,CAAC;YACD,GAAG,CAAC,IAAI,CAAC;gBACP,IAAI;gBACJ,MAAM;gBACN,WAAW,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;gBAC3C,KAAK,EAAE,OAAO,CAAC,WAAW,CAAC;gBAC3B,UAAU,EAAE,CAAC,GAAG,qBAAqB,CAAC,KAAK,CAAC,EAAE,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;gBACvE,UAAU;gBACV,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC;gBACxB,OAAO,EAAE,KAAK,CAAC,WAAW,CAAC,GAAG,GAAG,CAAC;aACnC,CAAC,CAAC;YACH,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC;YACvG,IAAI,IAAI,KAAK,SAAS;gBAAE,IAAI,CAAC,IAAI,EAAE,CAAC,GAAG,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QACxD,CAAC;IACH,CAAC,CAAC;IACF,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACf,OAAO,GAAG,CAAC;AACb,CAAC;AAuDD,MAAM,GAAG,GAAG,CAAC,IAA0B,EAAE,IAAY,EAAW,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAEnG,MAAM,QAAQ,GAAG,CAAC,IAA0B,EAAW,EAAE,CACvD,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;AAE/G;;;;;;GAMG;AACH,SAAS,SAAS,CAChB,IAA0B,EAC1B,IAAa,EACb,OAAqB;IAErB,MAAM,KAAK,GAAwB,EAAE,CAAC;IACtC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAChG,IAAI,OAAO,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAE1C,SAAS,CAAC;QACR,MAAM,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,UAAU,CAAC;QAC/C,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;QACpD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,OAAO;gBACL,OAAO,EACL,oBAAoB,OAAO,kEAAkE;oBAC7F,0FAA0F;oBAC1F,+DAA+D;aAClE,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/G,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;QAC5C,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAEd,IAAI,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,QAAQ,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,EAAE,CAAC;YAC7E,OAAO;gBACL,OAAO,EACL,oBAAoB,OAAO,yDAAyD;oBACpF,6FAA6F;oBAC7F,iDAAiD;aACpD,CAAC;QACJ,CAAC;QACD,wEAAwE;QACxE,IAAI,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,kBAAkB,CAAC;YAAE,KAAK,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;QACjG,OAAO,GAAG,MAAM,CAAC;IACnB,CAAC;AACH,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,SAAS,CAAC,IAAa,EAAE,OAAqB;IAC5D,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAiB,EAAE,CAAC;IAElC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;QACxC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,SAAS;QAE9B,wEAAwE;QACxE,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,aAAa,IAAI,CAAC,KAAK,qBAAqB,CAAC,CAAC;QAClG,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,QAAQ,CAAC,IAAI,CAAC;gBACZ,SAAS,EAAE,IAAI,CAAC,IAAI;gBACpB,MAAM,EACJ,IAAI,QAAQ,+EAA+E;oBAC3F,oEAAoE;aACvE,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QAC1C,IAAI,SAAS,IAAI,EAAE,EAAE,CAAC;YACpB,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;YAC5D,SAAS;QACX,CAAC;QAED,2DAA2D;QAC3D,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACxD,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;QAE/E,uEAAuE;QACvE,2EAA2E;QAC3E,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC;QAC7G,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,QAAQ,CAAC,IAAI,CAAC;gBACZ,SAAS,EAAE,IAAI,CAAC,IAAI;gBACpB,MAAM,EACJ,KAAK,QAAQ,CAAC,IAAI,4EAA4E;oBAC9F,6FAA6F;oBAC7F,wDAAwD;aAC3D,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,MAAM,MAAM,GAAe,EAAE,CAAC;QAC9B,MAAM,SAAS,GAAa,EAAE,CAAC;QAE/B,KAAK,MAAM,QAAQ,IAAI,GAAG,EAAE,CAAC;YAC3B,IAAI,QAAQ,CAAC,WAAW,CAAC,QAAQ,CAAC,WAAW,CAAC;gBAAE,SAAS;YAEzD,4DAA4D;YAC5D,IAAI,QAAQ,CAAC,cAAc,KAAK,IAAI,EAAE,CAAC;gBACrC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAC9B,SAAS;YACX,CAAC;YACD,IAAI,QAAQ,CAAC,SAAS,IAAI,QAAQ,CAAC,WAAW,IAAI,QAAQ,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;gBACrF,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAC9B,SAAS;YACX,CAAC;YAED,IAAI,QAAiB,CAAC;YACtB,IAAI,YAAsC,CAAC;YAC3C,IAAI,QAAQ,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;gBAC1C,QAAQ,GAAG,QAAQ,CAAC,cAAc,CAAC;gBACnC,YAAY,GAAG,UAAU,CAAC;YAC5B,CAAC;iBAAM,IAAI,QAAQ,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,WAAW,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC3F,QAAQ,GAAG,KAAK,CAAC;gBACjB,YAAY,GAAG,YAAY,CAAC;YAC9B,CAAC;iBAAM,IAAI,CAAC,QAAQ,CAAC,YAAY,IAAI,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC9E,qEAAqE;gBACrE,uCAAuC;gBACvC,QAAQ,GAAG,KAAK,CAAC;gBACjB,YAAY,GAAG,gBAAgB,CAAC;YAClC,CAAC;iBAAM,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;gBACjC,sEAAsE;gBACtE,wCAAwC;gBACxC,QAAQ,GAAG,IAAI,CAAC;gBAChB,YAAY,GAAG,eAAe,CAAC;YACjC,CAAC;iBAAM,CAAC;gBACN,QAAQ,GAAG,IAAI,CAAC;gBAChB,YAAY,GAAG,mBAAmB,CAAC;YACrC,CAAC;YAED,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC,CAAC;QAC/D,CAAC;QAED,wEAAwE;QACxE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAE5D,MAAM,CAAC,IAAI,CAAC;YACV,SAAS,EAAE,IAAI,CAAC,IAAI;YACpB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM;YACN,IAAI,EAAE,IAAI,CAAC,SAAS;YACpB,SAAS;SACV,CAAC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC9B,CAAC"}

package/dist/parse.d.ts

@@ -27,6 +27,7 @@ import { type Node } from "@descryy/adapter-treesitter";
 import { type KotlinRoute, type KotlinRouteRefusal } from "./routes.ts";
 import { type KotlinClientCall, type KotlinClientRefusal } from "./client.ts";
 import { type KotlinRetrofitEndpoint, type KotlinRetrofitRefusal } from "./retrofit.ts";
+import { type KotlinJpaDeclaration } from "./jpa.ts";
 /** `import a.b.C`, or the package half of `import a.b.*`. */
 export interface KotlinImport {
     readonly path: string;
@@ -52,6 +53,12 @@ export interface KotlinSupertype {
 export interface KotlinDecl {
     readonly kind: DeclKind;
     readonly name: string;
+    /** Annotation NAMES on the declaration — `Entity`, `Table`. */
+    readonly annotations: readonly string[];
+    /** The same annotations as raw source text, so a reader can see their arguments.
+     *  Raw rather than parsed: annotation syntax is open-ended and the language
+     *  reader has no business knowing what any particular one MEANS. */
+    readonly annotationTexts: readonly string[];
     /** Enclosing type path for a nested declaration, outermost first. */
     readonly owners: readonly string[];
     readonly supertypes: readonly KotlinSupertype[];
@@ -82,15 +89,45 @@ export interface KotlinFunc {
     readonly owners: readonly string[];
     readonly isTest: boolean;
     readonly testStyle: TestStyle | undefined;
+    /** A Jetpack Compose UI element — `@Composable` returning `Unit`. See `composableOf`. */
+    readonly isComposable: boolean;
     readonly startLine: number;
     readonly endLine: number;
     readonly refs: readonly KotlinRef[];
+    /**
+     * `order.totalAmount` — a property READ through a receiver whose type a
+     * binding states.
+     *
+     * Kept apart from {@link refs}, which carries calls and type references and
+     * feeds CALLS/USES_TYPE resolution. Only a receiver with a WRITTEN type is
+     * recorded: Kotlin infers aggressively, and a type this reader would have to
+     * infer from a callee's signature is a disclosed gap rather than a guess.
+     */
+    readonly fieldReads: readonly {
+        readonly receiverType: string;
+        readonly field: string;
+        readonly line: number;
+    }[];
 }
 export interface KotlinProperty {
     readonly name: string;
     readonly owners: readonly string[];
     /** The written type, when annotated. Kotlin infers aggressively, so often absent. */
     readonly type: string | undefined;
+    /**
+     * Did the written type end in `?`.
+     *
+     * Kotlin states nullability IN THE TYPE and the compiler enforces it, so this
+     * is a declaration rather than an inference — the one place Kotlin is
+     * strictly better evidence than Java, where the same fact needs `@Column`,
+     * `@Id` and primitive-vs-boxed to be read together.
+     *
+     * `undefined` when no type was written at all, which is not the same as
+     * "written and not nullable".
+     */
+    readonly nullable: boolean | undefined;
+    /** Annotations on the property, as raw source text — `@Id`, `@Column(nullable = true)`. */
+    readonly annotationTexts: readonly string[];
     readonly line: number;
 }
 export interface KotlinFile {
@@ -132,6 +169,13 @@ export interface KotlinFile {
     /** Retrofit's declarative client endpoints — see `retrofit.ts`. */
     readonly retrofitEndpoints: readonly KotlinRetrofitEndpoint[];
     readonly retrofitRefusals: readonly KotlinRetrofitRefusal[];
+    /**
+     * Persistence-annotated declarations — see `jpa.ts`. Read here rather than
+     * in `extract.ts` because `adapter.ts` deletes the tree the moment this
+     * function returns, and the shape a `MODEL` carries is written in
+     * annotations and types that `KotlinDecl`/`KotlinProperty` do not keep.
+     */
+    readonly jpaDeclarations: readonly KotlinJpaDeclaration[];
 }
 /** Parse one Kotlin file into the structures `extract.ts` consumes. */
 export declare function readKotlinFile(file: string, tree: {

package/dist/parse.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"parse.d.ts","sourceRoot":"","sources":["../src/parse.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,6BAA6B,CAAC;AAExD,OAAO,EAAkB,KAAK,WAAW,EAAE,KAAK,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACxF,OAAO,EAAuB,KAAK,gBAAgB,EAAE,KAAK,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAEnG,OAAO,EAAyB,KAAK,sBAAsB,EAAE,KAAK,qBAAqB,EAAE,MAAM,eAAe,CAAC;AAE/G,6DAA6D;AAC7D,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,0DAA0D;IAC1D,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,0DAA0D;IAC1D,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,uFAAuF;AACvF,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG,WAAW,GAAG,QAAQ,GAAG,WAAW,GAAG,MAAM,GAAG,YAAY,CAAC;AAE9F;;;;;GAKG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,qEAAqE;IACrE,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,SAAS,eAAe,EAAE,CAAC;IAChD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,MAAM,OAAO,GAAG,MAAM,GAAG,MAAM,CAAC;AAEtC,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,mEAAmE;IACnE,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC;;;;OAIG;IACH,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,0EAA0E;IAC1E,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,SAAS,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,mFAAmF;AACnF,MAAM,MAAM,SAAS,GAAG,OAAO,GAAG,aAAa,CAAC;AAEhD,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8EAA8E;IAC9E,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,SAAS,GAAG,SAAS,CAAC;IAC1C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,SAAS,SAAS,EAAE,CAAC;CACrC;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,qFAAqF;IACrF,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,oFAAoF;IACpF,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,sDAAsD;IACtD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAC;IAC1C,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,SAAS,cAAc,EAAE,CAAC;IAC/C;;;;OAIG;IACH,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC;;;OAGG;IACH,QAAQ,CAAC,uBAAuB,EAAE,MAAM,CAAC;IACzC;;;;OAIG;IACH,QAAQ,CAAC,eAAe,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7C;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,CAAC;IACxC,QAAQ,CAAC,aAAa,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACtD,QAAQ,CAAC,WAAW,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAClD,QAAQ,CAAC,cAAc,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACxD,mEAAmE;IACnE,QAAQ,CAAC,iBAAiB,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC9D,QAAQ,CAAC,gBAAgB,EAAE,SAAS,qBAAqB,EAAE,CAAC;CAC7D;AAkdD,uEAAuE;AACvE,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;IAAE,QAAQ,EAAE,IAAI,CAAA;CAAE,GAAG,UAAU,CA0CjF"}
+{"version":3,"file":"parse.d.ts","sourceRoot":"","sources":["../src/parse.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,6BAA6B,CAAC;AAExD,OAAO,EAAkB,KAAK,WAAW,EAAE,KAAK,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACxF,OAAO,EAAuB,KAAK,gBAAgB,EAAE,KAAK,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAEnG,OAAO,EAAyB,KAAK,sBAAsB,EAAE,KAAK,qBAAqB,EAAE,MAAM,eAAe,CAAC;AAC/G,OAAO,EAAuB,KAAK,oBAAoB,EAAE,MAAM,UAAU,CAAC;AAE1E,6DAA6D;AAC7D,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,0DAA0D;IAC1D,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,0DAA0D;IAC1D,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,uFAAuF;AACvF,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG,WAAW,GAAG,QAAQ,GAAG,WAAW,GAAG,MAAM,GAAG,YAAY,CAAC;AAE9F;;;;;GAKG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,+DAA+D;IAC/D,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC;;wEAEoE;IACpE,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,qEAAqE;IACrE,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,SAAS,eAAe,EAAE,CAAC;IAChD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,MAAM,OAAO,GAAG,MAAM,GAAG,MAAM,CAAC;AAEtC,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,mEAAmE;IACnE,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC;;;;OAIG;IACH,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,0EAA0E;IAC1E,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,SAAS,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAwCD,mFAAmF;AACnF,MAAM,MAAM,SAAS,GAAG,OAAO,GAAG,aAAa,CAAC;AAEhD,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8EAA8E;IAC9E,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,SAAS,GAAG,SAAS,CAAC;IAC1C,yFAAyF;IACzF,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,SAAS,SAAS,EAAE,CAAC;IACpC;;;;;;;;OAQG;IACH,QAAQ,CAAC,UAAU,EAAE,SAAS;QAAE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CAClH;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,qFAAqF;IACrF,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IAClC;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;IACvC,2FAA2F;IAC3F,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,oFAAoF;IACpF,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,sDAAsD;IACtD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAC;IAC1C,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,SAAS,cAAc,EAAE,CAAC;IAC/C;;;;OAIG;IACH,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC;;;OAGG;IACH,QAAQ,CAAC,uBAAuB,EAAE,MAAM,CAAC;IACzC;;;;OAIG;IACH,QAAQ,CAAC,eAAe,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7C;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,CAAC;IACxC,QAAQ,CAAC,aAAa,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACtD,QAAQ,CAAC,WAAW,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAClD,QAAQ,CAAC,cAAc,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACxD,mEAAmE;IACnE,QAAQ,CAAC,iBAAiB,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC9D,QAAQ,CAAC,gBAAgB,EAAE,SAAS,qBAAqB,EAAE,CAAC;IAC5D;;;;;OAKG;IACH,QAAQ,CAAC,eAAe,EAAE,SAAS,oBAAoB,EAAE,CAAC;CAC3D;AAqgBD,uEAAuE;AACvE,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;IAAE,QAAQ,EAAE,IAAI,CAAA;CAAE,GAAG,UAAU,CAwDjF"}