@open-rap/compiler 0.0.0-stage → 0.1.1

package/dist/gen/abap/generate.js

@@ -0,0 +1,238 @@
+/**
+ * Generation of the JavaScript of the behavior pools: rewrite pass (D2), check with the
+ * transpiler's own abaplint configuration, then @abaplint/transpiler.
+ *
+ * The registry given to the transpiler holds only standard ABAP: the clean-room framework, the
+ * derived types interfaces, the shadow tables (D19) and the rewritten classes.
+ */
+import * as abaplint from "@abaplint/core";
+import { config as transpilerConfig, Transpiler, UnknownTypesEnum } from "@abaplint/transpiler";
+import { derivedTypesInterfaceName } from "@open-rap/model";
+import { Diagnostics } from "../../diagnostics.js";
+import { Dictionary } from "../../ir/dictionary.js";
+import { abaplintRegistry } from "../../ir/handlers.js";
+import { generateDerivedTypes } from "./derived-types.js";
+import { FRAMEWORK_SOURCES } from "./framework.js";
+import { QUERY_FRAMEWORK_SOURCES } from "./framework-query.js";
+import { frameworkClosure, frameworkObjectName } from "./framework-utils.js";
+import { BdefCatalog, findModelProviders, findSaverClasses, poolBdefOf, rewriteAbapFile } from "./rewrite.js";
+import { frameworkDictionary, shadowDataElement, shadowEntity, shadowTable } from "./shadow.js";
+import { replaceEnumConstants } from "./enums.js";
+/** Objects copied as they are into the transpiler's registry. */
+const DDIC_TYPES = new Set(["DTEL", "DOMA", "TTYP", "MSAG"]);
+/** Behavior pools of the model and the classes and interfaces of the project they use. */
+function objectsToRewrite(project, model, registry) {
+    const candidates = new Map();
+    for (const file of project.files.filter((f) => f.type === "CLAS" || f.type === "INTF")) {
+        const key = `${file.type}:${file.name}`;
+        candidates.set(key, [...(candidates.get(key) ?? []), file]);
+    }
+    const names = new Map();
+    for (const key of candidates.keys()) {
+        names.set(key.slice(5).toLowerCase(), key);
+    }
+    const pools = [
+        ...model.behaviors.flatMap((b) => [b.implementationClass, ...b.entities.map((e) => e.implementationClass)]),
+        // the query classes of the custom entities (D43)
+        ...model.entities.map((e) => e.queryClass),
+    ].filter((c) => c !== undefined);
+    const wanted = new Set(pools.map((p) => `CLAS:${p.toUpperCase()}`).filter((k) => candidates.has(k)));
+    const queue = [...wanted];
+    while (queue.length > 0) {
+        const key = queue.shift();
+        const object = registry.getObject(key.slice(0, 4), key.slice(5));
+        if (!(object instanceof abaplint.ABAPObject)) {
+            continue;
+        }
+        for (const file of object.getABAPFiles()) {
+            for (const token of file.getTokens()) {
+                const used = names.get(token.getStr().toLowerCase());
+                if (used !== undefined && !wanted.has(used)) {
+                    wanted.add(used);
+                    queue.push(used);
+                }
+            }
+        }
+    }
+    return wanted;
+}
+function transpilerRegistry(sources) {
+    const registry = new abaplint.Registry(new abaplint.Config(JSON.stringify(transpilerConfig)));
+    for (const source of sources) {
+        registry.addFile(new abaplint.MemoryFile(source.fileName, source.content));
+    }
+    registry.parse();
+    return registry;
+}
+/** Rewrites the behavior pools and lists the ABAP given to the transpiler. */
+export function abapSources(project, model, diagnostics) {
+    const catalog = new BdefCatalog(model);
+    const registry = abaplintRegistry(project);
+    const sources = FRAMEWORK_SOURCES.map((f) => ({ fileName: f.fileName, content: f.source }));
+    for (const bdef of catalog.bdefs) {
+        const { interfaceName, source } = generateDerivedTypes(model, bdef.behavior);
+        sources.push({ fileName: `${interfaceName.toLowerCase()}.intf.abap`, content: source });
+    }
+    for (const table of model.tables) {
+        const shadow = shadowTable(table);
+        sources.push({ fileName: shadow.fileName, content: shadow.content });
+    }
+    const projectObjects = new Set(project.files.map((f) => `${f.type}:${f.name}`));
+    for (const table of model.tables) {
+        projectObjects.add(`TABL:${table.name.toUpperCase()}`);
+    }
+    if (model.entities.some((e) => e.kind === "custom")) {
+        for (const source of QUERY_FRAMEWORK_SOURCES) {
+            sources.push({ fileName: source.fileName, content: source.source });
+        }
+    }
+    for (const entity of model.entities.filter((e) => (e.sqlView !== undefined || e.kind === "abstract" || e.kind === "custom") && !projectObjects.has(`TABL:${e.name.toUpperCase()}`))) {
+        const shadow = shadowEntity(entity);
+        sources.push({ fileName: shadow.fileName, content: shadow.content });
+        projectObjects.add(`TABL:${entity.name.toUpperCase()}`);
+    }
+    // CDS simple and enumerated types (D55): data elements of their base types for the transpiler
+    for (const { name, info } of new Dictionary(project, new Diagnostics()).cdsTypeEntries()) {
+        if (!projectObjects.has(`DTEL:${name.toUpperCase()}`)) {
+            const shadow = shadowDataElement(name, { ...info.type, dataElement: name.toUpperCase() }, info.label ?? name);
+            sources.push({ fileName: shadow.fileName, content: shadow.content });
+            projectObjects.add(`DTEL:${name.toUpperCase()}`);
+        }
+    }
+    for (const file of frameworkDictionary(projectObjects)) {
+        sources.push({ fileName: file.fileName, content: file.content });
+    }
+    for (const file of project.files.filter((f) => DDIC_TYPES.has(f.type) && f.extension === "xml")) {
+        sources.push({ fileName: file.fileName, content: file.content, original: file.path });
+    }
+    for (const key of objectsToRewrite(project, model, registry)) {
+        const [type = "", name = ""] = [key.slice(0, 4), key.slice(5)];
+        const object = registry.getObject(type, name);
+        if (!(object instanceof abaplint.ABAPObject)) {
+            continue;
+        }
+        const files = object.getABAPFiles();
+        const main = files.find((f) => /\.(clas|intf)\.abap$/.test(f.getFilename()));
+        const pool = poolBdefOf(catalog, name, main);
+        const saverClasses = findSaverClasses(files);
+        const modelProviders = findModelProviders(files);
+        for (const file of files) {
+            if (/\.testclasses\.abap$/.test(file.getFilename())) {
+                continue;
+            }
+            const original = project.files.find((f) => f.fileName === file.getFilename());
+            const rewritten = rewriteAbapFile(file, { catalog, diagnostics, file: original?.path ?? file.getFilename(), saverClasses, modelProviders, ...(pool === undefined ? {} : { pool }) });
+            const content = replaceEnumConstants(rewritten, model.enumTypes ?? []);
+            sources.push({ fileName: file.getFilename(), content, ...(original === undefined ? {} : { original: original.path }) });
+        }
+        for (const xml of project.files.filter((f) => f.type === type && f.name === name && f.extension === "xml")) {
+            sources.push({ fileName: xml.fileName, content: xml.content, original: xml.path });
+        }
+    }
+    // the utilities of ABAP Cloud the project uses (D40), unless it has objects of the same name
+    for (const util of frameworkClosure(sources.filter((s) => s.original !== undefined))) {
+        const type = (util.fileName.split(".")[1] ?? "").toUpperCase();
+        if (!projectObjects.has(`${type}:${frameworkObjectName(util.fileName).toUpperCase()}`)) {
+            sources.push({ fileName: util.fileName, content: util.source });
+        }
+    }
+    return sources;
+}
+/**
+ * Checks the rewritten ABAP with the configuration of the transpiler and reports the issues on
+ * the original files (the rewrite pass keeps the line numbers). Issues in generated sources are
+ * internal errors.
+ */
+export function checkAbap(sources, diagnostics) {
+    const registry = transpilerRegistry(sources);
+    const byFile = new Map(sources.map((s) => [s.fileName, s]));
+    const seen = new Set();
+    for (const issue of registry.findIssues()) {
+        const source = byFile.get(issue.getFilename());
+        const line = issue.getStart().getRow();
+        const message = issue.getMessage();
+        const key = `${issue.getFilename()}:${line}:${message}`;
+        if (seen.has(key)) {
+            continue;
+        }
+        seen.add(key);
+        if (source?.original !== undefined) {
+            diagnostics.error("ABP004", `ABAP check error (${issue.getKey()}): ${message}`, { file: source.original, line, column: issue.getStart().getCol() });
+        }
+        else {
+            diagnostics.error("ABP008", `internal error in the generated ABAP ${issue.getFilename()}:${line}: ${message} (${issue.getKey()})`);
+        }
+    }
+    if (!diagnostics.hasErrors()) {
+        untypedSelectTargets(registry, byFile, diagnostics);
+    }
+    return registry;
+}
+/** abaplint types the result of some SELECTs as void ("SELECT_todo…"), alone or as table rows. */
+function isUntypedSelectResult(type) {
+    const t = type instanceof abaplint.BasicTypes.TableType ? type.getRowType() : type;
+    return t instanceof abaplint.BasicTypes.VoidType && (t.getVoided() ?? "").startsWith("SELECT_todo");
+}
+/**
+ * Inline declarations of SELECT results that abaplint cannot type (a literal, an aggregate other
+ * than COUNT(*), an expression in the field list): the transpiled method would throw when it
+ * starts. Reported on the original line, the target has to be declared.
+ */
+function untypedSelectTargets(registry, byFile, diagnostics) {
+    const seen = new Set();
+    for (const object of registry.getObjects()) {
+        if (!(object instanceof abaplint.ABAPObject) || !object.getABAPFiles().some((f) => byFile.get(f.getFilename())?.original !== undefined)) {
+            continue;
+        }
+        const { spaghetti } = new abaplint.SyntaxLogic(registry, object).run();
+        const visit = (node) => {
+            for (const id of Object.values(node.getData().vars)) {
+                const source = byFile.get(id.getFilename());
+                const key = `${id.getFilename()}:${id.getStart().getRow()}:${id.getName()}`;
+                if (source?.original === undefined || seen.has(key) || !isUntypedSelectResult(id.getType())) {
+                    continue;
+                }
+                seen.add(key);
+                diagnostics.error("ABP009", `abaplint cannot type the inline declaration ${id.getName()} of this SELECT (literal, aggregate or expression in the field list): declare the target with DATA … TYPE …`, { file: source.original, line: id.getStart().getRow(), column: id.getStart().getCol() });
+            }
+            node.getChildren().forEach(visit);
+        };
+        visit(spaghetti.getTop());
+    }
+}
+/** Namespaced objects (/DMO/…) give module names with `#`, imported as `%23`: plain names are safer. */
+function safeModulePath(file) {
+    return file.replace(/#/g, "_");
+}
+function safeImports(code) {
+    return code.replace(/(["'])(\.\/[^"'\n]*%23[^"'\n]*)\1/g, (_m, quote, specifier) => `${quote}${specifier.replace(/%23/g, "_")}${quote}`);
+}
+/** Rewrite, check and transpile. Returns undefined when there are errors (in `diagnostics`). */
+export async function generateAbap(project, model, diagnostics, options = {}) {
+    const sources = abapSources(project, model, diagnostics);
+    if (diagnostics.hasErrors()) {
+        return undefined;
+    }
+    const registry = checkAbap(sources, diagnostics);
+    if (diagnostics.hasErrors()) {
+        return undefined;
+    }
+    model.abap = {
+        modules: ["init.mjs"],
+        derivedTypes: Object.fromEntries(model.behaviors.filter((b) => b.implementationType === "managed").map((b) => [b.name, derivedTypesInterfaceName(b.name)])),
+    };
+    if (options.transpile === false) {
+        return { sources, modules: [], entry: "init.mjs" };
+    }
+    try {
+        const output = await new Transpiler({ unknownTypes: UnknownTypesEnum.compileError, ignoreSourceMap: true, addCommonJS: true }).run(registry);
+        const modules = output.objects.map((o) => ({ path: safeModulePath(o.filename), content: safeImports(o.chunk.getCode()) }));
+        modules.push({ path: "init.mjs", content: safeImports(output.initializationScript) });
+        return { sources, modules, entry: "init.mjs" };
+    }
+    catch (error) {
+        diagnostics.error("ABP008", `transpiler: ${error.message}`);
+        return undefined;
+    }
+}
+//# sourceMappingURL=generate.js.map

package/dist/gen/abap/generate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"generate.js","sourceRoot":"","sources":["../../../src/gen/abap/generate.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,QAAQ,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,MAAM,IAAI,gBAAgB,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAChG,OAAO,EAAE,yBAAyB,EAAc,MAAM,iBAAiB,CAAC;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAEpD,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAC/D,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC7E,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC9G,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAChG,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAkBlD,iEAAiE;AACjE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAE7D,0FAA0F;AAC1F,SAAS,gBAAgB,CAAC,OAAgB,EAAE,KAAY,EAAE,QAA2B;IACnF,MAAM,UAAU,GAAG,IAAI,GAAG,EAAwB,CAAC;IACnD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,CAAC;QACvF,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACxC,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IAC9D,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,KAAK,MAAM,GAAG,IAAI,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC;QACpC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,EAAE,GAAG,CAAC,CAAC;IAC7C,CAAC;IACD,MAAM,KAAK,GAAG;QACZ,GAAG,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC;QAC3G,iDAAiD;QACjD,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC;KAC3C,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,IAAI,GAAG,CAAS,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7G,MAAM,KAAK,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC;IAC1B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,EAAY,CAAC;QACpC,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACjE,IAAI,CAAC,CAAC,MAAM,YAAY,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YAC7C,SAAS;QACX,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;YACzC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC;gBACrC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;gBACrD,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC5C,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBACjB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACnB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,kBAAkB,CAAC,OAAqB;IAC/C,MAAM,QAAQ,GAAG,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;IAC9F,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,QAAQ,CAAC,OAAO,CAAC,IAAI,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IAC7E,CAAC;IACD,QAAQ,CAAC,KAAK,EAAE,CAAC;IACjB,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,WAAW,CAAC,OAAgB,EAAE,KAAY,EAAE,WAAwB;IAClF,MAAM,OAAO,GAAG,IAAI,WAAW,CAAC,KAAK,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAiB,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC1G,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QACjC,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,oBAAoB,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC7E,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,WAAW,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;IAC1F,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;QAClC,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IACvE,CAAC;IACD,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAChF,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,cAAc,CAAC,GAAG,CAAC,QAAQ,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IACzD,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;QACpD,KAAK,MAAM,MAAM,IAAI,uBAAuB,EAAE,CAAC;YAC7C,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QACtE,CAAC;IACH,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;QACpL,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QACpC,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;QACrE,cAAc,CAAC,GAAG,CAAC,QAAQ,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IAC1D,CAAC;IACD,8FAA8F;IAC9F,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,IAAI,UAAU,CAAC,OAAO,EAAE,IAAI,WAAW,EAAE,CAAC,CAAC,cAAc,EAAE,EAAE,CAAC;QACzF,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,EAAE,CAAC;YACtD,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,EAAE,EAAE,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC;YAC9G,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;YACrE,cAAc,CAAC,GAAG,CAAC,QAAQ,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,mBAAmB,CAAC,cAAc,CAAC,EAAE,CAAC;QACvD,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IACnE,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,KAAK,KAAK,CAAC,EAAE,CAAC;QAChG,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACxF,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,gBAAgB,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC7D,MAAM,CAAC,IAAI,GAAG,EAAE,EAAE,IAAI,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/D,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC9C,IAAI,CAAC,CAAC,MAAM,YAAY,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YAC7C,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QAC7E,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7C,MAAM,YAAY,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAC7C,MAAM,cAAc,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;QACjD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC;gBACpD,SAAS;YACX,CAAC;YACD,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;YAC9E,MAAM,SAAS,GAAG,eAAe,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,IAAI,IAAI,CAAC,WAAW,EAAE,EAAE,YAAY,EAAE,cAAc,EAAE,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;YACrL,MAAM,OAAO,GAAG,oBAAoB,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;YACvE,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,WAAW,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1H,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,SAAS,KAAK,KAAK,CAAC,EAAE,CAAC;YAC3G,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QACrF,CAAC;IACH,CAAC;IACD,6FAA6F;IAC7F,KAAK,MAAM,IAAI,IAAI,gBAAgB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC;QACrF,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QAC/D,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,mBAAmB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,EAAE,CAAC;YACvF,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,OAAqB,EAAE,WAAwB;IACvE,MAAM,QAAQ,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC;QAC1C,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;QAC/C,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,CAAC;QACvC,MAAM,OAAO,GAAG,KAAK,CAAC,UAAU,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,WAAW,EAAE,IAAI,IAAI,IAAI,OAAO,EAAE,CAAC;QACxD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAClB,SAAS;QACX,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,IAAI,MAAM,EAAE,QAAQ,KAAK,SAAS,EAAE,CAAC;YACnC,WAAW,CAAC,KAAK,CAAC,QAAQ,EAAE,qBAAqB,KAAK,CAAC,MAAM,EAAE,MAAM,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QACtJ,CAAC;aAAM,CAAC;YACN,WAAW,CAAC,KAAK,CAAC,QAAQ,EAAE,wCAAwC,KAAK,CAAC,WAAW,EAAE,IAAI,IAAI,KAAK,OAAO,KAAK,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACrI,CAAC;IACH,CAAC;IACD,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,EAAE,CAAC;QAC7B,oBAAoB,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAID,kGAAkG;AAClG,SAAS,qBAAqB,CAAC,IAAgB;IAC7C,MAAM,CAAC,GAAG,IAAI,YAAY,QAAQ,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IACnF,OAAO,CAAC,YAAY,QAAQ,CAAC,UAAU,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;AACtG,CAAC;AAED;;;;GAIG;AACH,SAAS,oBAAoB,CAAC,QAA2B,EAAE,MAA+B,EAAE,WAAwB;IAClH,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC;QAC3C,IAAI,CAAC,CAAC,MAAM,YAAY,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,EAAE,QAAQ,KAAK,SAAS,CAAC,EAAE,CAAC;YACxI,SAAS;QACX,CAAC;QACD,MAAM,EAAE,SAAS,EAAE,GAAG,IAAI,QAAQ,CAAC,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC;QACvE,MAAM,KAAK,GAAG,CAAC,IAAkC,EAAQ,EAAE;YACzD,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpD,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;gBAC5C,MAAM,GAAG,GAAG,GAAG,EAAE,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC;gBAC5E,IAAI,MAAM,EAAE,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,qBAAqB,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;oBAC5F,SAAS;gBACX,CAAC;gBACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACd,WAAW,CAAC,KAAK,CACf,QAAQ,EACR,+CAA+C,EAAE,CAAC,OAAO,EAAE,6GAA6G,EACxK,EAAE,IAAI,EAAE,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,EAAE,CACxF,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACpC,CAAC,CAAC;QACF,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5B,CAAC;AACH,CAAC;AAED,wGAAwG;AACxG,SAAS,cAAc,CAAC,IAAY;IAClC,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,WAAW,CAAC,IAAY;IAC/B,OAAO,IAAI,CAAC,OAAO,CAAC,oCAAoC,EAAE,CAAC,EAAE,EAAE,KAAa,EAAE,SAAiB,EAAE,EAAE,CAAC,GAAG,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC;AAC3J,CAAC;AAED,gGAAgG;AAChG,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,OAAgB,EAAE,KAAY,EAAE,WAAwB,EAAE,OAAO,GAA4B,EAAE;IAChI,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;IACzD,IAAI,WAAW,CAAC,SAAS,EAAE,EAAE,CAAC;QAC5B,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,QAAQ,GAAG,SAAS,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IACjD,IAAI,WAAW,CAAC,SAAS,EAAE,EAAE,CAAC;QAC5B,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,KAAK,CAAC,IAAI,GAAG;QACX,OAAO,EAAE,CAAC,UAAU,CAAC;QACrB,YAAY,EAAE,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,kBAAkB,KAAK,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,yBAAyB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;KAC5J,CAAC;IACF,IAAI,OAAO,CAAC,SAAS,KAAK,KAAK,EAAE,CAAC;QAChC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;IACrD,CAAC;IACD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,IAAI,UAAU,CAAC,EAAE,YAAY,EAAE,gBAAgB,CAAC,YAAY,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC7I,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3H,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC;QACtF,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;IACjD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,WAAW,CAAC,KAAK,CAAC,QAAQ,EAAE,eAAgB,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;QACvE,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC"}

package/dist/gen/abap/rewrite.d.ts

@@ -0,0 +1,82 @@
+/**
+ * The ABAP rewrite pass (decision D2): turns the behavior pools into standard ABAP that abaplint
+ * types completely and the transpiler accepts, without changing their meaning.
+ *
+ * - `FOR BEHAVIOR OF` is removed from the global class;
+ * - the RAP handler definitions (`METHODS x FOR VALIDATE ON SAVE …`) become plain methods whose
+ *   parameters are typed with the derived types of the BDEF;
+ * - `TYPE TABLE|STRUCTURE|RESPONSE FOR …` become references to the derived types interface;
+ * - every EML statement becomes a sequence of calls to the kernel class ZRAP_EML, with the `#`
+ *   of its operands made explicit and its inline declarations (`RESULT DATA(x)`) hoisted.
+ *
+ * Every replacement keeps the line count of the text it replaces, so that diagnostics on the
+ * rewritten sources point to the original lines.
+ */
+import type * as abaplint from "@abaplint/core";
+import { type ActionModel, type BehaviorModel, type EntityBehaviorModel, type EntityModel, type Model } from "@open-rap/model";
+import type { Diagnostics } from "../../diagnostics.js";
+export interface EntityInfo {
+    bdef: BdefInfo;
+    behavior: EntityBehaviorModel;
+    cds: EntityModel;
+    /** 1-based index of the entity in the BDEF (the `eN` of the derived type names). */
+    index: number;
+}
+export interface BdefInfo {
+    behavior: BehaviorModel;
+    /** Name of the derived types interface, lower case. */
+    iface: string;
+    entities: EntityInfo[];
+}
+export interface AssociationInfo {
+    name: string;
+    /** 1-based index among the associations of the source entity (the `bN`). */
+    index: number;
+    target: EntityInfo;
+}
+export declare class BdefCatalog {
+    readonly model: Model;
+    readonly bdefs: BdefInfo[];
+    constructor(model: Model);
+    bdef(name: string): BdefInfo | undefined;
+    isProjection(name: string): boolean;
+    entityOf(bdef: BdefInfo, name: string): EntityInfo | undefined;
+    /** An entity by its CDS name, in any managed BDEF. */
+    entityByName(name: string): EntityInfo | undefined;
+    associations(entity: EntityInfo): AssociationInfo[];
+    association(entity: EntityInfo, name: string): AssociationInfo | undefined;
+    action(entity: EntityInfo, name: string): {
+        action: ActionModel;
+        index: number;
+    } | undefined;
+}
+export interface RewriteContext {
+    catalog: BdefCatalog;
+    diagnostics: Diagnostics;
+    /** Path of the original file, for the diagnostics. */
+    file: string;
+    /** The BDEF the behavior pool implements, for the paths written with an alias only. */
+    pool?: BdefInfo;
+    /** Saver classes of the object (upper case) and whether they inherit from cl_abap_behavior_saver_failed. */
+    saverClasses?: Map<string, boolean>;
+    /** The class whose definition or implementation is being rewritten. */
+    current?: {
+        name: string;
+        part: "definition" | "implementation";
+    } | undefined;
+    /** Consumption model classes of a service consumption model (SCM2), upper case. */
+    modelProviders?: Set<string>;
+}
+/**
+ * Consumption model classes generated by a service consumption model (SCM2): `INHERITING FROM
+ * /iwbep/cl_v4_abs_pm_model_prov`. Their model definition uses the /iwbep/if_v4_pm_* interfaces of
+ * the SAP Gateway; the client proxy of the application reads the $metadata of the remote service
+ * instead, so the rewrite keeps the types and constants of these classes only (D31).
+ */
+export declare function findModelProviders(files: readonly abaplint.ABAPFile[]): Set<string>;
+/** Local saver classes of an object: `INHERITING FROM cl_abap_behavior_saver[_failed]`. */
+export declare function findSaverClasses(files: readonly abaplint.ABAPFile[]): Map<string, boolean>;
+/** Rewrites one ABAP file of a class or interface; returns the new source. */
+export declare function rewriteAbapFile(file: abaplint.ABAPFile, context: RewriteContext): string;
+/** The BDEF a class implements: `FOR BEHAVIOR OF x` in its definition, or the model. */
+export declare function poolBdefOf(catalog: BdefCatalog, className: string, mainFile: abaplint.ABAPFile | undefined): BdefInfo | undefined;