@platforma-sdk/tengo-builder 2.5.30 → 3.0.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (37) hide show
  1. package/dist/compiler/compiler.cjs +48 -1
  2. package/dist/compiler/compiler.cjs.map +1 -1
  3. package/dist/compiler/compiler.js +47 -1
  4. package/dist/compiler/compiler.js.map +1 -1
  5. package/dist/compiler/main.cjs +132 -6
  6. package/dist/compiler/main.cjs.map +1 -1
  7. package/dist/compiler/main.js +132 -6
  8. package/dist/compiler/main.js.map +1 -1
  9. package/dist/compiler/pack_limits.cjs +49 -0
  10. package/dist/compiler/pack_limits.cjs.map +1 -0
  11. package/dist/compiler/pack_limits.js +47 -0
  12. package/dist/compiler/pack_limits.js.map +1 -0
  13. package/dist/compiler/package.cjs.map +1 -1
  14. package/dist/compiler/package.js.map +1 -1
  15. package/dist/compiler/source.cjs +6 -2
  16. package/dist/compiler/source.cjs.map +1 -1
  17. package/dist/compiler/source.js +6 -2
  18. package/dist/compiler/source.js.map +1 -1
  19. package/dist/shared/basecmd.cjs +2 -1
  20. package/dist/shared/basecmd.cjs.map +1 -1
  21. package/dist/shared/basecmd.js +2 -1
  22. package/dist/shared/basecmd.js.map +1 -1
  23. package/dist/shared/dump.cjs +4 -0
  24. package/dist/shared/dump.cjs.map +1 -1
  25. package/dist/shared/dump.js +4 -0
  26. package/dist/shared/dump.js.map +1 -1
  27. package/package.json +2 -2
  28. package/src/compiler/compiler.test.ts +91 -0
  29. package/src/compiler/compiler.ts +72 -1
  30. package/src/compiler/main.ts +217 -11
  31. package/src/compiler/pack_limits.test.ts +173 -0
  32. package/src/compiler/pack_limits.ts +103 -0
  33. package/src/compiler/package.ts +1 -1
  34. package/src/compiler/source.test.ts +30 -0
  35. package/src/compiler/source.ts +4 -0
  36. package/src/shared/basecmd.ts +1 -1
  37. package/src/shared/dump.ts +9 -0
@@ -1,13 +1,23 @@
1
+ require("../_virtual/_rolldown/runtime.cjs");
1
2
  const require_util = require("./util.cjs");
2
3
  const require_package = require("./package.cjs");
3
4
  const require_template = require("./template.cjs");
4
5
  const require_artifactset = require("./artifactset.cjs");
5
6
  const require_compileroptions = require("./compileroptions.cjs");
7
+ let _milaboratories_pl_model_backend = require("@milaboratories/pl-model-backend");
6
8
  //#region src/compiler/compiler.ts
9
+ /** Add a capability token to a template's `requiredCapabilities` list,
10
+ * skipping duplicates. Initializes the array lazily so the field stays
11
+ * absent for templates that need nothing. */
12
+ function addRequiredCapability(template, capability) {
13
+ template.requiredCapabilities = template.requiredCapabilities ?? [];
14
+ if (!template.requiredCapabilities.includes(capability)) template.requiredCapabilities.push(capability);
15
+ }
7
16
  var TengoTemplateCompiler = class {
8
17
  libs = new require_artifactset.ArtifactStore((src) => src.fullName);
9
18
  software = new require_artifactset.ArtifactStore((src) => src.fullName);
10
19
  assets = new require_artifactset.ArtifactStore((src) => src.fullName);
20
+ wasm = new require_artifactset.ArtifactStore((src) => src.fullName);
11
21
  templates = new require_artifactset.ArtifactStore((tpl) => tpl.fullName);
12
22
  constructor(compileMode) {
13
23
  this.compileMode = compileMode;
@@ -50,12 +60,24 @@ var TengoTemplateCompiler = class {
50
60
  data.hashToSource[asset.sourceHash] = asset.src;
51
61
  break;
52
62
  }
63
+ case "wasm": {
64
+ const wasm = this.getWasmOrError(dep);
65
+ data.template.wasm = data.template.wasm ?? {};
66
+ data.template.wasm[require_package.artifactNameToString(dep)] = {
67
+ ...require_package.formatArtefactNameAndVersion(wasm.fullName),
68
+ sourceHash: wasm.sourceHash
69
+ };
70
+ data.hashToSource[wasm.sourceHash] = wasm.src;
71
+ addRequiredCapability(data.template, _milaboratories_pl_model_backend.CapabilityWasm);
72
+ break;
73
+ }
53
74
  case "template": {
54
75
  if (require_package.typedArtifactNamesEquals(fullName, dep)) continue;
55
76
  const tpl = this.getTemplateOrError(dep);
56
77
  data.template.templates[require_package.artifactNameToString(dep)] = tpl.data.template;
57
78
  data.hashToSource[tpl.data.template.sourceHash] = tpl.source;
58
79
  for (const [hash, src] of Object.entries(tpl.data.hashToSource)) data.hashToSource[hash] = src;
80
+ for (const cap of tpl.data.template.requiredCapabilities ?? []) addRequiredCapability(data.template, cap);
59
81
  break;
60
82
  }
61
83
  case "test": throw new Error(`dependencies tree error: tests should never be part of template: ${require_package.typedArtifactNameToString(dep)} is dependency of ${require_package.artifactNameToString(fullName)}`);
@@ -137,6 +159,22 @@ var TengoTemplateCompiler = class {
137
159
  if (!asset) throw new Error(`asset info not found: ${require_package.artifactNameToString(name)}`);
138
160
  return asset;
139
161
  }
162
+ addWasm(wasm) {
163
+ const wasmFromMap = this.wasm.add(wasm.compileMode, wasm, false);
164
+ if (wasmFromMap && !require_package.fullNameEquals(wasm.fullName, wasmFromMap.fullName)) throw new Error(`compiler already contain info for wasm: adding = ${require_package.fullNameToString(wasm.fullName)}, contains = ${require_package.fullNameToString(wasmFromMap.fullName)}`);
165
+ }
166
+ allWasm() {
167
+ return this.wasm.array(this.compileMode);
168
+ }
169
+ getWasm(name) {
170
+ if (name.type !== "wasm") throw new Error(`illegal artifact type: got ${name.type} instead of 'wasm'`);
171
+ return this.wasm.get(this.compileMode, name);
172
+ }
173
+ getWasmOrError(name) {
174
+ const wasm = this.getWasm(name);
175
+ if (!wasm) throw new Error(`wasm info not found: ${require_package.artifactNameToString(name)}`);
176
+ return wasm;
177
+ }
140
178
  addTemplate(tpl) {
141
179
  const tplFromMap = this.templates.add(tpl.compileMode, tpl, false);
142
180
  if (tplFromMap && !require_package.fullNameEquals(tpl.fullName, tplFromMap.fullName)) throw new Error(`compiler already contain such template: adding = ${require_package.fullNameToString(tpl.fullName)}, contains = ${require_package.fullNameToString(tplFromMap.fullName)}`);
@@ -159,6 +197,7 @@ var TengoTemplateCompiler = class {
159
197
  case "library": return this.getLib(name);
160
198
  case "software": return this.getSoftware(name);
161
199
  case "asset": return this.getAsset(name);
200
+ case "wasm": return this.getWasm(name);
162
201
  case "test": return;
163
202
  default: require_util.assertNever(name.type);
164
203
  }
@@ -168,7 +207,8 @@ var TengoTemplateCompiler = class {
168
207
  templates: [],
169
208
  libs: [],
170
209
  software: [],
171
- assets: []
210
+ assets: [],
211
+ wasm: []
172
212
  };
173
213
  let current = [];
174
214
  for (const src of sources) if (src.fullName.type === "library") {
@@ -180,6 +220,9 @@ var TengoTemplateCompiler = class {
180
220
  } else if (src.fullName.type === "asset") {
181
221
  this.addAsset(src);
182
222
  result.assets.push(src);
223
+ } else if (src.fullName.type === "wasm") {
224
+ this.addWasm(src);
225
+ result.wasm.push(src);
183
226
  } else current.push(src);
184
227
  while (current.length > 0) {
185
228
  const unprocessed = [];
@@ -207,6 +250,10 @@ var TengoTemplateCompiler = class {
207
250
  this.addAsset(src);
208
251
  result.assets.push(src);
209
252
  break;
253
+ case "wasm":
254
+ this.addWasm(src);
255
+ result.wasm.push(src);
256
+ break;
210
257
  case "template":
211
258
  try {
212
259
  const tpl = this.compileAndAddTemplate(src);
@@ -1 +1 @@
1
- {"version":3,"file":"compiler.cjs","names":["ArtifactStore","artifactNameToString","formatArtefactNameAndVersion","typedArtifactNamesEquals","typedArtifactNameToString","fullNameEquals","fullNameToString","newTemplateWithSource"],"sources":["../../src/compiler/compiler.ts"],"sourcesContent":["import type { ArtifactSource } from \"./source\";\nimport type { TemplateWithSource } from \"./template\";\nimport { newTemplateWithSource } from \"./template\";\nimport type { TypedArtifactName, FullArtifactName, CompileMode } from \"./package\";\nimport {\n fullNameToString,\n typedArtifactNameToString,\n artifactNameToString,\n formatArtefactNameAndVersion,\n typedArtifactNamesEquals,\n fullNameEquals,\n} from \"./package\";\nimport { ArtifactStore } from \"./artifactset\";\nimport { assertNever } from \"./util\";\nimport { applyLibraryCompilerOptions, applyTemplateCompilerOptions } from \"./compileroptions\";\nimport type { CompiledTemplateV3 } from \"@milaboratories/pl-model-backend\";\n\n/** A compilation result. */\nexport interface TemplatesAndLibs {\n templates: TemplateWithSource[];\n libs: ArtifactSource[];\n software: ArtifactSource[];\n assets: ArtifactSource[];\n}\n\nexport class TengoTemplateCompiler {\n private readonly libs = new ArtifactStore<ArtifactSource>((src) => src.fullName);\n private readonly software = new ArtifactStore<ArtifactSource>((src) => src.fullName);\n private readonly assets = new ArtifactStore<ArtifactSource>((src) => src.fullName);\n private readonly templates = new ArtifactStore<TemplateWithSource>((tpl) => tpl.fullName);\n\n constructor(private readonly compileMode: CompileMode) {}\n\n /** Recursively add dependencies to the template. */\n private populateTemplateDataFromDependencies(\n fullName: FullArtifactName,\n data: CompiledTemplateV3,\n deps: TypedArtifactName[],\n trace: string[],\n ) {\n for (const dep of deps) {\n switch (dep.type) {\n case \"library\": {\n const lib = this.getLibOrError(dep);\n\n const recursionStart = trace.indexOf(artifactNameToString(dep));\n if (recursionStart >= 0) {\n const errorMessage =\n `library import recursion detected: ` +\n `${trace.slice(recursionStart).join(\" -> \")} -> ${artifactNameToString(dep)}`;\n throw new Error(errorMessage);\n }\n\n const tplLib = {\n ...formatArtefactNameAndVersion(lib.fullName),\n sourceHash: lib.sourceHash,\n };\n\n applyLibraryCompilerOptions(lib.compilerOptions, tplLib);\n data.template.libs[artifactNameToString(dep)] = tplLib;\n data.hashToSource[tplLib.sourceHash] = lib.src;\n\n // populate with transient library dependencies\n this.populateTemplateDataFromDependencies(fullName, data, lib.dependencies, [\n ...trace,\n artifactNameToString(dep),\n ]);\n\n break;\n }\n case \"software\": {\n const software = this.getSoftwareOrError(dep);\n data.template.software[artifactNameToString(dep)] = {\n ...formatArtefactNameAndVersion(software.fullName),\n sourceHash: software.sourceHash,\n };\n data.hashToSource[software.sourceHash] = software.src;\n\n break;\n }\n case \"asset\": {\n const asset = this.getAssetOrError(dep);\n // Yes, we temporarily put assets into 'software' section of template, so controller can\n // handle it the right way without updates\n data.template.software[artifactNameToString(dep)] = {\n ...formatArtefactNameAndVersion(asset.fullName),\n sourceHash: asset.sourceHash,\n };\n data.hashToSource[asset.sourceHash] = asset.src;\n break;\n }\n case \"template\": {\n if (typedArtifactNamesEquals(fullName, dep))\n // skipping self reference\n continue;\n\n const tpl = this.getTemplateOrError(dep);\n data.template.templates[artifactNameToString(dep)] = tpl.data.template;\n data.hashToSource[tpl.data.template.sourceHash] = tpl.source;\n\n // add all the sources of transitivedependencies to the resulted hashToSource\n for (const [hash, src] of Object.entries(tpl.data.hashToSource)) {\n data.hashToSource[hash] = src;\n }\n\n break;\n }\n case \"test\":\n throw new Error(\n `dependencies tree error: tests should never be part of template: ` +\n `${typedArtifactNameToString(dep)} is dependency of ${artifactNameToString(fullName)}`,\n );\n default:\n assertNever(dep.type);\n }\n }\n }\n\n /** This method assumes that all dependencies are already added to the compiler's context */\n private compileAndAddTemplate(tplSrc: ArtifactSource): CompiledTemplateV3 {\n if (tplSrc.fullName.type !== \"template\") throw new Error(\"unexpected source type\");\n\n // creating template with unpopulated dependencies\n const tplData: CompiledTemplateV3 = {\n type: \"pl.tengo-template.v3\",\n hashToSource: {\n [tplSrc.sourceHash]: tplSrc.src,\n },\n template: {\n ...formatArtefactNameAndVersion(tplSrc.fullName),\n templates: {},\n libs: {},\n software: {},\n assets: {},\n sourceHash: tplSrc.sourceHash,\n },\n };\n\n applyTemplateCompilerOptions(tplSrc.compilerOptions, tplData.template);\n\n // collecting dependencies in output format\n this.populateTemplateDataFromDependencies(tplSrc.fullName, tplData, tplSrc.dependencies, []);\n\n return tplData;\n }\n\n addLib(lib: ArtifactSource) {\n const libFromMap = this.libs.add(lib.compileMode, lib, false);\n if (libFromMap && !fullNameEquals(lib.fullName, libFromMap.fullName))\n throw new Error(\n `compiler already contain such library: adding = ${fullNameToString(lib.fullName)}, contains = ${fullNameToString(libFromMap.fullName)}`,\n );\n }\n\n allLibs(): ArtifactSource[] {\n return this.libs.array(this.compileMode);\n }\n\n getLib(name: TypedArtifactName): ArtifactSource | undefined {\n if (name.type !== \"library\")\n throw new Error(`illegal artifact type: got ${name.type} instead of 'library`);\n return this.libs.get(this.compileMode, name);\n }\n\n getLibOrError(name: TypedArtifactName): ArtifactSource {\n const lib = this.getLib(name);\n if (!lib) throw new Error(`library not found: ${artifactNameToString(name)}`);\n return lib;\n }\n\n checkLibs() {\n this.libs.forEach(this.compileMode, (lib) => {\n for (const dep of lib.dependencies) {\n if (dep.type === \"test\")\n throw new Error(\n `test should never be dependency of production code: ${typedArtifactNameToString(dep)} test is dependency of ${fullNameToString(lib.fullName)}`,\n );\n\n if (!this.getArtefact(dep))\n throw new Error(\n `unresolved dependency ${typedArtifactNameToString(dep)} for ${fullNameToString(lib.fullName)}`,\n );\n }\n });\n }\n\n addSoftware(software: ArtifactSource) {\n const swFromMap = this.software.add(software.compileMode, software, false);\n if (swFromMap && !fullNameEquals(software.fullName, swFromMap.fullName))\n throw new Error(\n `compiler already contain info for software: adding = ${fullNameToString(software.fullName)}, contains = ${fullNameToString(swFromMap.fullName)}`,\n );\n }\n\n allSoftware(): ArtifactSource[] {\n return this.software.array(this.compileMode);\n }\n\n getSoftware(name: TypedArtifactName): ArtifactSource | undefined {\n if (name.type !== \"software\")\n throw new Error(`illegal artifact type: got ${name.type} instead of 'software`);\n\n return this.software.get(this.compileMode, name);\n }\n\n getSoftwareOrError(name: TypedArtifactName): ArtifactSource {\n const software = this.getSoftware(name);\n if (!software) throw new Error(`software info not found: ${artifactNameToString(name)}`);\n return software;\n }\n\n addAsset(asset: ArtifactSource) {\n const assetFromMap = this.assets.add(asset.compileMode, asset, false);\n if (assetFromMap && !fullNameEquals(asset.fullName, assetFromMap.fullName))\n throw new Error(\n `compiler already contain info for asset: adding = ${fullNameToString(asset.fullName)}, contains = ${fullNameToString(assetFromMap.fullName)}`,\n );\n }\n\n allAssets(): ArtifactSource[] {\n return this.assets.array(this.compileMode);\n }\n\n getAsset(name: TypedArtifactName): ArtifactSource | undefined {\n if (name.type !== \"asset\")\n throw new Error(`illegal artifact type: got ${name.type} instead of 'asset`);\n\n return this.assets.get(this.compileMode, name);\n }\n\n getAssetOrError(name: TypedArtifactName): ArtifactSource {\n const asset = this.getAsset(name);\n if (!asset) throw new Error(`asset info not found: ${artifactNameToString(name)}`);\n return asset;\n }\n\n addTemplate(tpl: TemplateWithSource) {\n const tplFromMap = this.templates.add(tpl.compileMode, tpl, false);\n if (tplFromMap && !fullNameEquals(tpl.fullName, tplFromMap.fullName))\n throw new Error(\n `compiler already contain such template: adding = ${fullNameToString(tpl.fullName)}, contains = ${fullNameToString(tplFromMap.fullName)}`,\n );\n }\n\n allTemplates(): TemplateWithSource[] {\n return this.templates.array(this.compileMode);\n }\n\n getTemplate(name: TypedArtifactName): TemplateWithSource | undefined {\n if (name.type !== \"template\")\n throw new Error(`illegal artifact type: got ${name.type} instead of 'template`);\n return this.templates.get(this.compileMode, name);\n }\n\n getTemplateOrError(name: TypedArtifactName): TemplateWithSource {\n const tpl = this.getTemplate(name);\n if (!tpl) throw new Error(`template not found: ${artifactNameToString(name)}`);\n return tpl;\n }\n\n getArtefact(name: TypedArtifactName): ArtifactSource | TemplateWithSource | undefined {\n switch (name.type) {\n case \"template\":\n return this.getTemplate(name);\n case \"library\":\n return this.getLib(name);\n case \"software\":\n return this.getSoftware(name);\n case \"asset\":\n return this.getAsset(name);\n case \"test\":\n // Tests are ignored by the complier. They should never be compiled into templates or libs and\n // should never be a dependency.\n return undefined;\n default:\n assertNever(name.type);\n }\n }\n\n compileAndAdd(sources: ArtifactSource[]): TemplatesAndLibs {\n const result: TemplatesAndLibs = {\n templates: [],\n libs: [],\n software: [],\n assets: [],\n };\n\n let current: ArtifactSource[] = [];\n\n for (const src of sources) {\n if (src.fullName.type === \"library\") {\n // add libraries 'as-is' to be able to resolve them as dependencies\n this.addLib(src);\n result.libs.push(src);\n } else if (src.fullName.type === \"software\") {\n // add software 'as-is' to be able to resolve them as dependencies\n this.addSoftware(src);\n result.software.push(src);\n } else if (src.fullName.type === \"asset\") {\n // add assets 'as-is' to be able to resolve them as dependencies\n this.addAsset(src);\n result.assets.push(src);\n } else {\n current.push(src);\n }\n }\n\n while (current.length > 0) {\n const unprocessed: { src: ArtifactSource; err: Error }[] = [];\n\n for (const src of current) {\n //\n // If one of the dependencies can't be resolved with current compiler context,\n // we put aside the source until next iteration, in hope that the dependency\n // will be satisfied then.\n //\n // This is equivalent to topological sorting of input sources.\n //\n const unsatisfied = src.dependencies.filter(\n (dep) =>\n !this.getArtefact(dep) &&\n // allow self reference for templates\n !(src.fullName.type === \"template\" && typedArtifactNamesEquals(src.fullName, dep)),\n );\n if (unsatisfied.length > 0) {\n let errorMessage = `Unsatisfied dependencies in ${fullNameToString(src.fullName)}:\\n`;\n for (const dep of unsatisfied) {\n errorMessage += ` - ${typedArtifactNameToString(dep)}\\n`;\n }\n unprocessed.push({ src, err: new Error(errorMessage) });\n\n continue;\n }\n\n // type specific processing\n switch (src.fullName.type) {\n case \"library\":\n // libraries are added as is\n this.addLib(src);\n result.libs.push(src);\n break;\n case \"software\":\n // software dependencies are added as is\n this.addSoftware(src);\n result.software.push(src);\n break;\n case \"asset\":\n // software dependencies are added as is\n this.addAsset(src);\n result.assets.push(src);\n break;\n case \"template\":\n // templates are compiled and then added\n try {\n const tpl = this.compileAndAddTemplate(src);\n const tplWithSrc = newTemplateWithSource(src.compileMode, src.fullName, tpl, src.src);\n this.addTemplate(tplWithSrc);\n result.templates.push(tplWithSrc);\n } catch (error: unknown) {\n const err = error as Error;\n let errorMessage = `Unsatisfied dependencies in ${fullNameToString(src.fullName)}:\\n`;\n errorMessage += ` - ${err.message}\\n`;\n\n unprocessed.push({ src, err: Error(errorMessage) }); // one or more dependencies are not resolvable yet\n }\n break;\n case \"test\":\n // Ignore tests: they never should be part of compiled code or be a dependency.\n break;\n default:\n assertNever(src.fullName.type);\n }\n }\n\n // checking that we successfully added at least one source,\n // if not all the source files in unprocessed array have unmet dependencies\n if (current.length === unprocessed.length) {\n let errorMessage = \"\";\n\n for (const u of unprocessed) {\n errorMessage += `\\n${u.err.message}`;\n }\n throw new Error(errorMessage);\n }\n\n current = unprocessed.map(({ src: ArtifactSource }) => ArtifactSource);\n }\n\n return result;\n }\n}\n"],"mappings":";;;;;;AAyBA,IAAa,wBAAb,MAAmC;CACjC,OAAwB,IAAIA,oBAAAA,eAA+B,QAAQ,IAAI,SAAS;CAChF,WAA4B,IAAIA,oBAAAA,eAA+B,QAAQ,IAAI,SAAS;CACpF,SAA0B,IAAIA,oBAAAA,eAA+B,QAAQ,IAAI,SAAS;CAClF,YAA6B,IAAIA,oBAAAA,eAAmC,QAAQ,IAAI,SAAS;CAEzF,YAAY,aAA2C;AAA1B,OAAA,cAAA;;;CAG7B,qCACE,UACA,MACA,MACA,OACA;AACA,OAAK,MAAM,OAAO,KAChB,SAAQ,IAAI,MAAZ;GACE,KAAK,WAAW;IACd,MAAM,MAAM,KAAK,cAAc,IAAI;IAEnC,MAAM,iBAAiB,MAAM,QAAQC,gBAAAA,qBAAqB,IAAI,CAAC;AAC/D,QAAI,kBAAkB,GAAG;KACvB,MAAM,eACJ,sCACG,MAAM,MAAM,eAAe,CAAC,KAAK,OAAO,CAAC,MAAMA,gBAAAA,qBAAqB,IAAI;AAC7E,WAAM,IAAI,MAAM,aAAa;;IAG/B,MAAM,SAAS;KACb,GAAGC,gBAAAA,6BAA6B,IAAI,SAAS;KAC7C,YAAY,IAAI;KACjB;AAED,4BAAA,4BAA4B,IAAI,iBAAiB,OAAO;AACxD,SAAK,SAAS,KAAKD,gBAAAA,qBAAqB,IAAI,IAAI;AAChD,SAAK,aAAa,OAAO,cAAc,IAAI;AAG3C,SAAK,qCAAqC,UAAU,MAAM,IAAI,cAAc,CAC1E,GAAG,OACHA,gBAAAA,qBAAqB,IAAI,CAC1B,CAAC;AAEF;;GAEF,KAAK,YAAY;IACf,MAAM,WAAW,KAAK,mBAAmB,IAAI;AAC7C,SAAK,SAAS,SAASA,gBAAAA,qBAAqB,IAAI,IAAI;KAClD,GAAGC,gBAAAA,6BAA6B,SAAS,SAAS;KAClD,YAAY,SAAS;KACtB;AACD,SAAK,aAAa,SAAS,cAAc,SAAS;AAElD;;GAEF,KAAK,SAAS;IACZ,MAAM,QAAQ,KAAK,gBAAgB,IAAI;AAGvC,SAAK,SAAS,SAASD,gBAAAA,qBAAqB,IAAI,IAAI;KAClD,GAAGC,gBAAAA,6BAA6B,MAAM,SAAS;KAC/C,YAAY,MAAM;KACnB;AACD,SAAK,aAAa,MAAM,cAAc,MAAM;AAC5C;;GAEF,KAAK,YAAY;AACf,QAAIC,gBAAAA,yBAAyB,UAAU,IAAI,CAEzC;IAEF,MAAM,MAAM,KAAK,mBAAmB,IAAI;AACxC,SAAK,SAAS,UAAUF,gBAAAA,qBAAqB,IAAI,IAAI,IAAI,KAAK;AAC9D,SAAK,aAAa,IAAI,KAAK,SAAS,cAAc,IAAI;AAGtD,SAAK,MAAM,CAAC,MAAM,QAAQ,OAAO,QAAQ,IAAI,KAAK,aAAa,CAC7D,MAAK,aAAa,QAAQ;AAG5B;;GAEF,KAAK,OACH,OAAM,IAAI,MACR,oEACKG,gBAAAA,0BAA0B,IAAI,CAAC,oBAAoBH,gBAAAA,qBAAqB,SAAS,GACvF;GACH,QACE,cAAA,YAAY,IAAI,KAAK;;;;CAM7B,sBAA8B,QAA4C;AACxE,MAAI,OAAO,SAAS,SAAS,WAAY,OAAM,IAAI,MAAM,yBAAyB;EAGlF,MAAM,UAA8B;GAClC,MAAM;GACN,cAAc,GACX,OAAO,aAAa,OAAO,KAC7B;GACD,UAAU;IACR,GAAGC,gBAAAA,6BAA6B,OAAO,SAAS;IAChD,WAAW,EAAE;IACb,MAAM,EAAE;IACR,UAAU,EAAE;IACZ,QAAQ,EAAE;IACV,YAAY,OAAO;IACpB;GACF;AAED,0BAAA,6BAA6B,OAAO,iBAAiB,QAAQ,SAAS;AAGtE,OAAK,qCAAqC,OAAO,UAAU,SAAS,OAAO,cAAc,EAAE,CAAC;AAE5F,SAAO;;CAGT,OAAO,KAAqB;EAC1B,MAAM,aAAa,KAAK,KAAK,IAAI,IAAI,aAAa,KAAK,MAAM;AAC7D,MAAI,cAAc,CAACG,gBAAAA,eAAe,IAAI,UAAU,WAAW,SAAS,CAClE,OAAM,IAAI,MACR,mDAAmDC,gBAAAA,iBAAiB,IAAI,SAAS,CAAC,eAAeA,gBAAAA,iBAAiB,WAAW,SAAS,GACvI;;CAGL,UAA4B;AAC1B,SAAO,KAAK,KAAK,MAAM,KAAK,YAAY;;CAG1C,OAAO,MAAqD;AAC1D,MAAI,KAAK,SAAS,UAChB,OAAM,IAAI,MAAM,8BAA8B,KAAK,KAAK,sBAAsB;AAChF,SAAO,KAAK,KAAK,IAAI,KAAK,aAAa,KAAK;;CAG9C,cAAc,MAAyC;EACrD,MAAM,MAAM,KAAK,OAAO,KAAK;AAC7B,MAAI,CAAC,IAAK,OAAM,IAAI,MAAM,sBAAsBL,gBAAAA,qBAAqB,KAAK,GAAG;AAC7E,SAAO;;CAGT,YAAY;AACV,OAAK,KAAK,QAAQ,KAAK,cAAc,QAAQ;AAC3C,QAAK,MAAM,OAAO,IAAI,cAAc;AAClC,QAAI,IAAI,SAAS,OACf,OAAM,IAAI,MACR,uDAAuDG,gBAAAA,0BAA0B,IAAI,CAAC,yBAAyBE,gBAAAA,iBAAiB,IAAI,SAAS,GAC9I;AAEH,QAAI,CAAC,KAAK,YAAY,IAAI,CACxB,OAAM,IAAI,MACR,yBAAyBF,gBAAAA,0BAA0B,IAAI,CAAC,OAAOE,gBAAAA,iBAAiB,IAAI,SAAS,GAC9F;;IAEL;;CAGJ,YAAY,UAA0B;EACpC,MAAM,YAAY,KAAK,SAAS,IAAI,SAAS,aAAa,UAAU,MAAM;AAC1E,MAAI,aAAa,CAACD,gBAAAA,eAAe,SAAS,UAAU,UAAU,SAAS,CACrE,OAAM,IAAI,MACR,wDAAwDC,gBAAAA,iBAAiB,SAAS,SAAS,CAAC,eAAeA,gBAAAA,iBAAiB,UAAU,SAAS,GAChJ;;CAGL,cAAgC;AAC9B,SAAO,KAAK,SAAS,MAAM,KAAK,YAAY;;CAG9C,YAAY,MAAqD;AAC/D,MAAI,KAAK,SAAS,WAChB,OAAM,IAAI,MAAM,8BAA8B,KAAK,KAAK,uBAAuB;AAEjF,SAAO,KAAK,SAAS,IAAI,KAAK,aAAa,KAAK;;CAGlD,mBAAmB,MAAyC;EAC1D,MAAM,WAAW,KAAK,YAAY,KAAK;AACvC,MAAI,CAAC,SAAU,OAAM,IAAI,MAAM,4BAA4BL,gBAAAA,qBAAqB,KAAK,GAAG;AACxF,SAAO;;CAGT,SAAS,OAAuB;EAC9B,MAAM,eAAe,KAAK,OAAO,IAAI,MAAM,aAAa,OAAO,MAAM;AACrE,MAAI,gBAAgB,CAACI,gBAAAA,eAAe,MAAM,UAAU,aAAa,SAAS,CACxE,OAAM,IAAI,MACR,qDAAqDC,gBAAAA,iBAAiB,MAAM,SAAS,CAAC,eAAeA,gBAAAA,iBAAiB,aAAa,SAAS,GAC7I;;CAGL,YAA8B;AAC5B,SAAO,KAAK,OAAO,MAAM,KAAK,YAAY;;CAG5C,SAAS,MAAqD;AAC5D,MAAI,KAAK,SAAS,QAChB,OAAM,IAAI,MAAM,8BAA8B,KAAK,KAAK,oBAAoB;AAE9E,SAAO,KAAK,OAAO,IAAI,KAAK,aAAa,KAAK;;CAGhD,gBAAgB,MAAyC;EACvD,MAAM,QAAQ,KAAK,SAAS,KAAK;AACjC,MAAI,CAAC,MAAO,OAAM,IAAI,MAAM,yBAAyBL,gBAAAA,qBAAqB,KAAK,GAAG;AAClF,SAAO;;CAGT,YAAY,KAAyB;EACnC,MAAM,aAAa,KAAK,UAAU,IAAI,IAAI,aAAa,KAAK,MAAM;AAClE,MAAI,cAAc,CAACI,gBAAAA,eAAe,IAAI,UAAU,WAAW,SAAS,CAClE,OAAM,IAAI,MACR,oDAAoDC,gBAAAA,iBAAiB,IAAI,SAAS,CAAC,eAAeA,gBAAAA,iBAAiB,WAAW,SAAS,GACxI;;CAGL,eAAqC;AACnC,SAAO,KAAK,UAAU,MAAM,KAAK,YAAY;;CAG/C,YAAY,MAAyD;AACnE,MAAI,KAAK,SAAS,WAChB,OAAM,IAAI,MAAM,8BAA8B,KAAK,KAAK,uBAAuB;AACjF,SAAO,KAAK,UAAU,IAAI,KAAK,aAAa,KAAK;;CAGnD,mBAAmB,MAA6C;EAC9D,MAAM,MAAM,KAAK,YAAY,KAAK;AAClC,MAAI,CAAC,IAAK,OAAM,IAAI,MAAM,uBAAuBL,gBAAAA,qBAAqB,KAAK,GAAG;AAC9E,SAAO;;CAGT,YAAY,MAA0E;AACpF,UAAQ,KAAK,MAAb;GACE,KAAK,WACH,QAAO,KAAK,YAAY,KAAK;GAC/B,KAAK,UACH,QAAO,KAAK,OAAO,KAAK;GAC1B,KAAK,WACH,QAAO,KAAK,YAAY,KAAK;GAC/B,KAAK,QACH,QAAO,KAAK,SAAS,KAAK;GAC5B,KAAK,OAGH;GACF,QACE,cAAA,YAAY,KAAK,KAAK;;;CAI5B,cAAc,SAA6C;EACzD,MAAM,SAA2B;GAC/B,WAAW,EAAE;GACb,MAAM,EAAE;GACR,UAAU,EAAE;GACZ,QAAQ,EAAE;GACX;EAED,IAAI,UAA4B,EAAE;AAElC,OAAK,MAAM,OAAO,QAChB,KAAI,IAAI,SAAS,SAAS,WAAW;AAEnC,QAAK,OAAO,IAAI;AAChB,UAAO,KAAK,KAAK,IAAI;aACZ,IAAI,SAAS,SAAS,YAAY;AAE3C,QAAK,YAAY,IAAI;AACrB,UAAO,SAAS,KAAK,IAAI;aAChB,IAAI,SAAS,SAAS,SAAS;AAExC,QAAK,SAAS,IAAI;AAClB,UAAO,OAAO,KAAK,IAAI;QAEvB,SAAQ,KAAK,IAAI;AAIrB,SAAO,QAAQ,SAAS,GAAG;GACzB,MAAM,cAAqD,EAAE;AAE7D,QAAK,MAAM,OAAO,SAAS;IAQzB,MAAM,cAAc,IAAI,aAAa,QAClC,QACC,CAAC,KAAK,YAAY,IAAI,IAEtB,EAAE,IAAI,SAAS,SAAS,cAAcE,gBAAAA,yBAAyB,IAAI,UAAU,IAAI,EACpF;AACD,QAAI,YAAY,SAAS,GAAG;KAC1B,IAAI,eAAe,+BAA+BG,gBAAAA,iBAAiB,IAAI,SAAS,CAAC;AACjF,UAAK,MAAM,OAAO,YAChB,iBAAgB,OAAOF,gBAAAA,0BAA0B,IAAI,CAAC;AAExD,iBAAY,KAAK;MAAE;MAAK,KAAK,IAAI,MAAM,aAAa;MAAE,CAAC;AAEvD;;AAIF,YAAQ,IAAI,SAAS,MAArB;KACE,KAAK;AAEH,WAAK,OAAO,IAAI;AAChB,aAAO,KAAK,KAAK,IAAI;AACrB;KACF,KAAK;AAEH,WAAK,YAAY,IAAI;AACrB,aAAO,SAAS,KAAK,IAAI;AACzB;KACF,KAAK;AAEH,WAAK,SAAS,IAAI;AAClB,aAAO,OAAO,KAAK,IAAI;AACvB;KACF,KAAK;AAEH,UAAI;OACF,MAAM,MAAM,KAAK,sBAAsB,IAAI;OAC3C,MAAM,aAAaG,iBAAAA,sBAAsB,IAAI,aAAa,IAAI,UAAU,KAAK,IAAI,IAAI;AACrF,YAAK,YAAY,WAAW;AAC5B,cAAO,UAAU,KAAK,WAAW;eAC1B,OAAgB;OACvB,MAAM,MAAM;OACZ,IAAI,eAAe,+BAA+BD,gBAAAA,iBAAiB,IAAI,SAAS,CAAC;AACjF,uBAAgB,OAAO,IAAI,QAAQ;AAEnC,mBAAY,KAAK;QAAE;QAAK,KAAK,MAAM,aAAa;QAAE,CAAC;;AAErD;KACF,KAAK,OAEH;KACF,QACE,cAAA,YAAY,IAAI,SAAS,KAAK;;;AAMpC,OAAI,QAAQ,WAAW,YAAY,QAAQ;IACzC,IAAI,eAAe;AAEnB,SAAK,MAAM,KAAK,YACd,iBAAgB,KAAK,EAAE,IAAI;AAE7B,UAAM,IAAI,MAAM,aAAa;;AAG/B,aAAU,YAAY,KAAK,EAAE,KAAK,qBAAqB,eAAe;;AAGxE,SAAO"}
1
+ {"version":3,"file":"compiler.cjs","names":["ArtifactStore","artifactNameToString","formatArtefactNameAndVersion","CapabilityWasm","typedArtifactNamesEquals","typedArtifactNameToString","fullNameEquals","fullNameToString","newTemplateWithSource"],"sources":["../../src/compiler/compiler.ts"],"sourcesContent":["import type { ArtifactSource } from \"./source\";\nimport type { TemplateWithSource } from \"./template\";\nimport { newTemplateWithSource } from \"./template\";\nimport type { TypedArtifactName, FullArtifactName, CompileMode } from \"./package\";\nimport {\n fullNameToString,\n typedArtifactNameToString,\n artifactNameToString,\n formatArtefactNameAndVersion,\n typedArtifactNamesEquals,\n fullNameEquals,\n} from \"./package\";\nimport { ArtifactStore } from \"./artifactset\";\nimport { assertNever } from \"./util\";\nimport { applyLibraryCompilerOptions, applyTemplateCompilerOptions } from \"./compileroptions\";\nimport type { CompiledTemplateV3, TemplateDataV3 } from \"@milaboratories/pl-model-backend\";\nimport { CapabilityWasm } from \"@milaboratories/pl-model-backend\";\n\n/** Add a capability token to a template's `requiredCapabilities` list,\n * skipping duplicates. Initializes the array lazily so the field stays\n * absent for templates that need nothing. */\nfunction addRequiredCapability(template: TemplateDataV3, capability: string): void {\n template.requiredCapabilities = template.requiredCapabilities ?? [];\n if (!template.requiredCapabilities.includes(capability)) {\n template.requiredCapabilities.push(capability);\n }\n}\n\n/** A compilation result. */\nexport interface TemplatesAndLibs {\n templates: TemplateWithSource[];\n libs: ArtifactSource[];\n software: ArtifactSource[];\n assets: ArtifactSource[];\n wasm: ArtifactSource[];\n}\n\nexport class TengoTemplateCompiler {\n private readonly libs = new ArtifactStore<ArtifactSource>((src) => src.fullName);\n private readonly software = new ArtifactStore<ArtifactSource>((src) => src.fullName);\n private readonly assets = new ArtifactStore<ArtifactSource>((src) => src.fullName);\n private readonly wasm = new ArtifactStore<ArtifactSource>((src) => src.fullName);\n private readonly templates = new ArtifactStore<TemplateWithSource>((tpl) => tpl.fullName);\n\n constructor(private readonly compileMode: CompileMode) {}\n\n /** Recursively add dependencies to the template. */\n private populateTemplateDataFromDependencies(\n fullName: FullArtifactName,\n data: CompiledTemplateV3,\n deps: TypedArtifactName[],\n trace: string[],\n ) {\n for (const dep of deps) {\n switch (dep.type) {\n case \"library\": {\n const lib = this.getLibOrError(dep);\n\n const recursionStart = trace.indexOf(artifactNameToString(dep));\n if (recursionStart >= 0) {\n const errorMessage =\n `library import recursion detected: ` +\n `${trace.slice(recursionStart).join(\" -> \")} -> ${artifactNameToString(dep)}`;\n throw new Error(errorMessage);\n }\n\n const tplLib = {\n ...formatArtefactNameAndVersion(lib.fullName),\n sourceHash: lib.sourceHash,\n };\n\n applyLibraryCompilerOptions(lib.compilerOptions, tplLib);\n data.template.libs[artifactNameToString(dep)] = tplLib;\n data.hashToSource[tplLib.sourceHash] = lib.src;\n\n // populate with transient library dependencies\n this.populateTemplateDataFromDependencies(fullName, data, lib.dependencies, [\n ...trace,\n artifactNameToString(dep),\n ]);\n\n break;\n }\n case \"software\": {\n const software = this.getSoftwareOrError(dep);\n data.template.software[artifactNameToString(dep)] = {\n ...formatArtefactNameAndVersion(software.fullName),\n sourceHash: software.sourceHash,\n };\n data.hashToSource[software.sourceHash] = software.src;\n\n break;\n }\n case \"asset\": {\n const asset = this.getAssetOrError(dep);\n // Yes, we temporarily put assets into 'software' section of template, so controller can\n // handle it the right way without updates\n data.template.software[artifactNameToString(dep)] = {\n ...formatArtefactNameAndVersion(asset.fullName),\n sourceHash: asset.sourceHash,\n };\n data.hashToSource[asset.sourceHash] = asset.src;\n break;\n }\n case \"wasm\": {\n const wasm = this.getWasmOrError(dep);\n data.template.wasm = data.template.wasm ?? {};\n data.template.wasm[artifactNameToString(dep)] = {\n ...formatArtefactNameAndVersion(wasm.fullName),\n sourceHash: wasm.sourceHash,\n };\n data.hashToSource[wasm.sourceHash] = wasm.src;\n // Embedding a wasm artifact means this template requires the\n // backend's wasm runtime to run. The token is propagated upward\n // when this template is in turn embedded as a sub-template.\n addRequiredCapability(data.template, CapabilityWasm);\n break;\n }\n case \"template\": {\n if (typedArtifactNamesEquals(fullName, dep))\n // skipping self reference\n continue;\n\n const tpl = this.getTemplateOrError(dep);\n data.template.templates[artifactNameToString(dep)] = tpl.data.template;\n data.hashToSource[tpl.data.template.sourceHash] = tpl.source;\n\n // add all the sources of transitivedependencies to the resulted hashToSource\n for (const [hash, src] of Object.entries(tpl.data.hashToSource)) {\n data.hashToSource[hash] = src;\n }\n\n // Union the sub-template's compile-time-computed capability\n // requirements into ours, so the top template carries the full\n // transitive set without consumers having to walk the tree.\n for (const cap of tpl.data.template.requiredCapabilities ?? []) {\n addRequiredCapability(data.template, cap);\n }\n\n break;\n }\n case \"test\":\n throw new Error(\n `dependencies tree error: tests should never be part of template: ` +\n `${typedArtifactNameToString(dep)} is dependency of ${artifactNameToString(fullName)}`,\n );\n default:\n assertNever(dep.type);\n }\n }\n }\n\n /** This method assumes that all dependencies are already added to the compiler's context */\n private compileAndAddTemplate(tplSrc: ArtifactSource): CompiledTemplateV3 {\n if (tplSrc.fullName.type !== \"template\") throw new Error(\"unexpected source type\");\n\n // creating template with unpopulated dependencies\n const tplData: CompiledTemplateV3 = {\n type: \"pl.tengo-template.v3\",\n hashToSource: {\n [tplSrc.sourceHash]: tplSrc.src,\n },\n template: {\n ...formatArtefactNameAndVersion(tplSrc.fullName),\n templates: {},\n libs: {},\n software: {},\n assets: {},\n sourceHash: tplSrc.sourceHash,\n },\n };\n\n applyTemplateCompilerOptions(tplSrc.compilerOptions, tplData.template);\n\n // collecting dependencies in output format\n this.populateTemplateDataFromDependencies(tplSrc.fullName, tplData, tplSrc.dependencies, []);\n\n return tplData;\n }\n\n addLib(lib: ArtifactSource) {\n const libFromMap = this.libs.add(lib.compileMode, lib, false);\n if (libFromMap && !fullNameEquals(lib.fullName, libFromMap.fullName))\n throw new Error(\n `compiler already contain such library: adding = ${fullNameToString(lib.fullName)}, contains = ${fullNameToString(libFromMap.fullName)}`,\n );\n }\n\n allLibs(): ArtifactSource[] {\n return this.libs.array(this.compileMode);\n }\n\n getLib(name: TypedArtifactName): ArtifactSource | undefined {\n if (name.type !== \"library\")\n throw new Error(`illegal artifact type: got ${name.type} instead of 'library`);\n return this.libs.get(this.compileMode, name);\n }\n\n getLibOrError(name: TypedArtifactName): ArtifactSource {\n const lib = this.getLib(name);\n if (!lib) throw new Error(`library not found: ${artifactNameToString(name)}`);\n return lib;\n }\n\n checkLibs() {\n this.libs.forEach(this.compileMode, (lib) => {\n for (const dep of lib.dependencies) {\n if (dep.type === \"test\")\n throw new Error(\n `test should never be dependency of production code: ${typedArtifactNameToString(dep)} test is dependency of ${fullNameToString(lib.fullName)}`,\n );\n\n if (!this.getArtefact(dep))\n throw new Error(\n `unresolved dependency ${typedArtifactNameToString(dep)} for ${fullNameToString(lib.fullName)}`,\n );\n }\n });\n }\n\n addSoftware(software: ArtifactSource) {\n const swFromMap = this.software.add(software.compileMode, software, false);\n if (swFromMap && !fullNameEquals(software.fullName, swFromMap.fullName))\n throw new Error(\n `compiler already contain info for software: adding = ${fullNameToString(software.fullName)}, contains = ${fullNameToString(swFromMap.fullName)}`,\n );\n }\n\n allSoftware(): ArtifactSource[] {\n return this.software.array(this.compileMode);\n }\n\n getSoftware(name: TypedArtifactName): ArtifactSource | undefined {\n if (name.type !== \"software\")\n throw new Error(`illegal artifact type: got ${name.type} instead of 'software`);\n\n return this.software.get(this.compileMode, name);\n }\n\n getSoftwareOrError(name: TypedArtifactName): ArtifactSource {\n const software = this.getSoftware(name);\n if (!software) throw new Error(`software info not found: ${artifactNameToString(name)}`);\n return software;\n }\n\n addAsset(asset: ArtifactSource) {\n const assetFromMap = this.assets.add(asset.compileMode, asset, false);\n if (assetFromMap && !fullNameEquals(asset.fullName, assetFromMap.fullName))\n throw new Error(\n `compiler already contain info for asset: adding = ${fullNameToString(asset.fullName)}, contains = ${fullNameToString(assetFromMap.fullName)}`,\n );\n }\n\n allAssets(): ArtifactSource[] {\n return this.assets.array(this.compileMode);\n }\n\n getAsset(name: TypedArtifactName): ArtifactSource | undefined {\n if (name.type !== \"asset\")\n throw new Error(`illegal artifact type: got ${name.type} instead of 'asset`);\n\n return this.assets.get(this.compileMode, name);\n }\n\n getAssetOrError(name: TypedArtifactName): ArtifactSource {\n const asset = this.getAsset(name);\n if (!asset) throw new Error(`asset info not found: ${artifactNameToString(name)}`);\n return asset;\n }\n\n addWasm(wasm: ArtifactSource) {\n const wasmFromMap = this.wasm.add(wasm.compileMode, wasm, false);\n if (wasmFromMap && !fullNameEquals(wasm.fullName, wasmFromMap.fullName))\n throw new Error(\n `compiler already contain info for wasm: adding = ${fullNameToString(wasm.fullName)}, contains = ${fullNameToString(wasmFromMap.fullName)}`,\n );\n }\n\n allWasm(): ArtifactSource[] {\n return this.wasm.array(this.compileMode);\n }\n\n getWasm(name: TypedArtifactName): ArtifactSource | undefined {\n if (name.type !== \"wasm\")\n throw new Error(`illegal artifact type: got ${name.type} instead of 'wasm'`);\n\n return this.wasm.get(this.compileMode, name);\n }\n\n getWasmOrError(name: TypedArtifactName): ArtifactSource {\n const wasm = this.getWasm(name);\n if (!wasm) throw new Error(`wasm info not found: ${artifactNameToString(name)}`);\n return wasm;\n }\n\n addTemplate(tpl: TemplateWithSource) {\n const tplFromMap = this.templates.add(tpl.compileMode, tpl, false);\n if (tplFromMap && !fullNameEquals(tpl.fullName, tplFromMap.fullName))\n throw new Error(\n `compiler already contain such template: adding = ${fullNameToString(tpl.fullName)}, contains = ${fullNameToString(tplFromMap.fullName)}`,\n );\n }\n\n allTemplates(): TemplateWithSource[] {\n return this.templates.array(this.compileMode);\n }\n\n getTemplate(name: TypedArtifactName): TemplateWithSource | undefined {\n if (name.type !== \"template\")\n throw new Error(`illegal artifact type: got ${name.type} instead of 'template`);\n return this.templates.get(this.compileMode, name);\n }\n\n getTemplateOrError(name: TypedArtifactName): TemplateWithSource {\n const tpl = this.getTemplate(name);\n if (!tpl) throw new Error(`template not found: ${artifactNameToString(name)}`);\n return tpl;\n }\n\n getArtefact(name: TypedArtifactName): ArtifactSource | TemplateWithSource | undefined {\n switch (name.type) {\n case \"template\":\n return this.getTemplate(name);\n case \"library\":\n return this.getLib(name);\n case \"software\":\n return this.getSoftware(name);\n case \"asset\":\n return this.getAsset(name);\n case \"wasm\":\n return this.getWasm(name);\n case \"test\":\n // Tests are ignored by the complier. They should never be compiled into templates or libs and\n // should never be a dependency.\n return undefined;\n default:\n assertNever(name.type);\n }\n }\n\n compileAndAdd(sources: ArtifactSource[]): TemplatesAndLibs {\n const result: TemplatesAndLibs = {\n templates: [],\n libs: [],\n software: [],\n assets: [],\n wasm: [],\n };\n\n let current: ArtifactSource[] = [];\n\n for (const src of sources) {\n if (src.fullName.type === \"library\") {\n // add libraries 'as-is' to be able to resolve them as dependencies\n this.addLib(src);\n result.libs.push(src);\n } else if (src.fullName.type === \"software\") {\n // add software 'as-is' to be able to resolve them as dependencies\n this.addSoftware(src);\n result.software.push(src);\n } else if (src.fullName.type === \"asset\") {\n // add assets 'as-is' to be able to resolve them as dependencies\n this.addAsset(src);\n result.assets.push(src);\n } else if (src.fullName.type === \"wasm\") {\n // add wasm 'as-is' to be able to resolve them as dependencies\n this.addWasm(src);\n result.wasm.push(src);\n } else {\n current.push(src);\n }\n }\n\n while (current.length > 0) {\n const unprocessed: { src: ArtifactSource; err: Error }[] = [];\n\n for (const src of current) {\n //\n // If one of the dependencies can't be resolved with current compiler context,\n // we put aside the source until next iteration, in hope that the dependency\n // will be satisfied then.\n //\n // This is equivalent to topological sorting of input sources.\n //\n const unsatisfied = src.dependencies.filter(\n (dep) =>\n !this.getArtefact(dep) &&\n // allow self reference for templates\n !(src.fullName.type === \"template\" && typedArtifactNamesEquals(src.fullName, dep)),\n );\n if (unsatisfied.length > 0) {\n let errorMessage = `Unsatisfied dependencies in ${fullNameToString(src.fullName)}:\\n`;\n for (const dep of unsatisfied) {\n errorMessage += ` - ${typedArtifactNameToString(dep)}\\n`;\n }\n unprocessed.push({ src, err: new Error(errorMessage) });\n\n continue;\n }\n\n // type specific processing\n switch (src.fullName.type) {\n case \"library\":\n // libraries are added as is\n this.addLib(src);\n result.libs.push(src);\n break;\n case \"software\":\n // software dependencies are added as is\n this.addSoftware(src);\n result.software.push(src);\n break;\n case \"asset\":\n // software dependencies are added as is\n this.addAsset(src);\n result.assets.push(src);\n break;\n case \"wasm\":\n // wasm dependencies are added as is\n this.addWasm(src);\n result.wasm.push(src);\n break;\n case \"template\":\n // templates are compiled and then added\n try {\n const tpl = this.compileAndAddTemplate(src);\n const tplWithSrc = newTemplateWithSource(src.compileMode, src.fullName, tpl, src.src);\n this.addTemplate(tplWithSrc);\n result.templates.push(tplWithSrc);\n } catch (error: unknown) {\n const err = error as Error;\n let errorMessage = `Unsatisfied dependencies in ${fullNameToString(src.fullName)}:\\n`;\n errorMessage += ` - ${err.message}\\n`;\n\n unprocessed.push({ src, err: Error(errorMessage) }); // one or more dependencies are not resolvable yet\n }\n break;\n case \"test\":\n // Ignore tests: they never should be part of compiled code or be a dependency.\n break;\n default:\n assertNever(src.fullName.type);\n }\n }\n\n // checking that we successfully added at least one source,\n // if not all the source files in unprocessed array have unmet dependencies\n if (current.length === unprocessed.length) {\n let errorMessage = \"\";\n\n for (const u of unprocessed) {\n errorMessage += `\\n${u.err.message}`;\n }\n throw new Error(errorMessage);\n }\n\n current = unprocessed.map(({ src: ArtifactSource }) => ArtifactSource);\n }\n\n return result;\n }\n}\n"],"mappings":";;;;;;;;;;;AAqBA,SAAS,sBAAsB,UAA0B,YAA0B;AACjF,UAAS,uBAAuB,SAAS,wBAAwB,EAAE;AACnE,KAAI,CAAC,SAAS,qBAAqB,SAAS,WAAW,CACrD,UAAS,qBAAqB,KAAK,WAAW;;AAalD,IAAa,wBAAb,MAAmC;CACjC,OAAwB,IAAIA,oBAAAA,eAA+B,QAAQ,IAAI,SAAS;CAChF,WAA4B,IAAIA,oBAAAA,eAA+B,QAAQ,IAAI,SAAS;CACpF,SAA0B,IAAIA,oBAAAA,eAA+B,QAAQ,IAAI,SAAS;CAClF,OAAwB,IAAIA,oBAAAA,eAA+B,QAAQ,IAAI,SAAS;CAChF,YAA6B,IAAIA,oBAAAA,eAAmC,QAAQ,IAAI,SAAS;CAEzF,YAAY,aAA2C;AAA1B,OAAA,cAAA;;;CAG7B,qCACE,UACA,MACA,MACA,OACA;AACA,OAAK,MAAM,OAAO,KAChB,SAAQ,IAAI,MAAZ;GACE,KAAK,WAAW;IACd,MAAM,MAAM,KAAK,cAAc,IAAI;IAEnC,MAAM,iBAAiB,MAAM,QAAQC,gBAAAA,qBAAqB,IAAI,CAAC;AAC/D,QAAI,kBAAkB,GAAG;KACvB,MAAM,eACJ,sCACG,MAAM,MAAM,eAAe,CAAC,KAAK,OAAO,CAAC,MAAMA,gBAAAA,qBAAqB,IAAI;AAC7E,WAAM,IAAI,MAAM,aAAa;;IAG/B,MAAM,SAAS;KACb,GAAGC,gBAAAA,6BAA6B,IAAI,SAAS;KAC7C,YAAY,IAAI;KACjB;AAED,4BAAA,4BAA4B,IAAI,iBAAiB,OAAO;AACxD,SAAK,SAAS,KAAKD,gBAAAA,qBAAqB,IAAI,IAAI;AAChD,SAAK,aAAa,OAAO,cAAc,IAAI;AAG3C,SAAK,qCAAqC,UAAU,MAAM,IAAI,cAAc,CAC1E,GAAG,OACHA,gBAAAA,qBAAqB,IAAI,CAC1B,CAAC;AAEF;;GAEF,KAAK,YAAY;IACf,MAAM,WAAW,KAAK,mBAAmB,IAAI;AAC7C,SAAK,SAAS,SAASA,gBAAAA,qBAAqB,IAAI,IAAI;KAClD,GAAGC,gBAAAA,6BAA6B,SAAS,SAAS;KAClD,YAAY,SAAS;KACtB;AACD,SAAK,aAAa,SAAS,cAAc,SAAS;AAElD;;GAEF,KAAK,SAAS;IACZ,MAAM,QAAQ,KAAK,gBAAgB,IAAI;AAGvC,SAAK,SAAS,SAASD,gBAAAA,qBAAqB,IAAI,IAAI;KAClD,GAAGC,gBAAAA,6BAA6B,MAAM,SAAS;KAC/C,YAAY,MAAM;KACnB;AACD,SAAK,aAAa,MAAM,cAAc,MAAM;AAC5C;;GAEF,KAAK,QAAQ;IACX,MAAM,OAAO,KAAK,eAAe,IAAI;AACrC,SAAK,SAAS,OAAO,KAAK,SAAS,QAAQ,EAAE;AAC7C,SAAK,SAAS,KAAKD,gBAAAA,qBAAqB,IAAI,IAAI;KAC9C,GAAGC,gBAAAA,6BAA6B,KAAK,SAAS;KAC9C,YAAY,KAAK;KAClB;AACD,SAAK,aAAa,KAAK,cAAc,KAAK;AAI1C,0BAAsB,KAAK,UAAUC,iCAAAA,eAAe;AACpD;;GAEF,KAAK,YAAY;AACf,QAAIC,gBAAAA,yBAAyB,UAAU,IAAI,CAEzC;IAEF,MAAM,MAAM,KAAK,mBAAmB,IAAI;AACxC,SAAK,SAAS,UAAUH,gBAAAA,qBAAqB,IAAI,IAAI,IAAI,KAAK;AAC9D,SAAK,aAAa,IAAI,KAAK,SAAS,cAAc,IAAI;AAGtD,SAAK,MAAM,CAAC,MAAM,QAAQ,OAAO,QAAQ,IAAI,KAAK,aAAa,CAC7D,MAAK,aAAa,QAAQ;AAM5B,SAAK,MAAM,OAAO,IAAI,KAAK,SAAS,wBAAwB,EAAE,CAC5D,uBAAsB,KAAK,UAAU,IAAI;AAG3C;;GAEF,KAAK,OACH,OAAM,IAAI,MACR,oEACKI,gBAAAA,0BAA0B,IAAI,CAAC,oBAAoBJ,gBAAAA,qBAAqB,SAAS,GACvF;GACH,QACE,cAAA,YAAY,IAAI,KAAK;;;;CAM7B,sBAA8B,QAA4C;AACxE,MAAI,OAAO,SAAS,SAAS,WAAY,OAAM,IAAI,MAAM,yBAAyB;EAGlF,MAAM,UAA8B;GAClC,MAAM;GACN,cAAc,GACX,OAAO,aAAa,OAAO,KAC7B;GACD,UAAU;IACR,GAAGC,gBAAAA,6BAA6B,OAAO,SAAS;IAChD,WAAW,EAAE;IACb,MAAM,EAAE;IACR,UAAU,EAAE;IACZ,QAAQ,EAAE;IACV,YAAY,OAAO;IACpB;GACF;AAED,0BAAA,6BAA6B,OAAO,iBAAiB,QAAQ,SAAS;AAGtE,OAAK,qCAAqC,OAAO,UAAU,SAAS,OAAO,cAAc,EAAE,CAAC;AAE5F,SAAO;;CAGT,OAAO,KAAqB;EAC1B,MAAM,aAAa,KAAK,KAAK,IAAI,IAAI,aAAa,KAAK,MAAM;AAC7D,MAAI,cAAc,CAACI,gBAAAA,eAAe,IAAI,UAAU,WAAW,SAAS,CAClE,OAAM,IAAI,MACR,mDAAmDC,gBAAAA,iBAAiB,IAAI,SAAS,CAAC,eAAeA,gBAAAA,iBAAiB,WAAW,SAAS,GACvI;;CAGL,UAA4B;AAC1B,SAAO,KAAK,KAAK,MAAM,KAAK,YAAY;;CAG1C,OAAO,MAAqD;AAC1D,MAAI,KAAK,SAAS,UAChB,OAAM,IAAI,MAAM,8BAA8B,KAAK,KAAK,sBAAsB;AAChF,SAAO,KAAK,KAAK,IAAI,KAAK,aAAa,KAAK;;CAG9C,cAAc,MAAyC;EACrD,MAAM,MAAM,KAAK,OAAO,KAAK;AAC7B,MAAI,CAAC,IAAK,OAAM,IAAI,MAAM,sBAAsBN,gBAAAA,qBAAqB,KAAK,GAAG;AAC7E,SAAO;;CAGT,YAAY;AACV,OAAK,KAAK,QAAQ,KAAK,cAAc,QAAQ;AAC3C,QAAK,MAAM,OAAO,IAAI,cAAc;AAClC,QAAI,IAAI,SAAS,OACf,OAAM,IAAI,MACR,uDAAuDI,gBAAAA,0BAA0B,IAAI,CAAC,yBAAyBE,gBAAAA,iBAAiB,IAAI,SAAS,GAC9I;AAEH,QAAI,CAAC,KAAK,YAAY,IAAI,CACxB,OAAM,IAAI,MACR,yBAAyBF,gBAAAA,0BAA0B,IAAI,CAAC,OAAOE,gBAAAA,iBAAiB,IAAI,SAAS,GAC9F;;IAEL;;CAGJ,YAAY,UAA0B;EACpC,MAAM,YAAY,KAAK,SAAS,IAAI,SAAS,aAAa,UAAU,MAAM;AAC1E,MAAI,aAAa,CAACD,gBAAAA,eAAe,SAAS,UAAU,UAAU,SAAS,CACrE,OAAM,IAAI,MACR,wDAAwDC,gBAAAA,iBAAiB,SAAS,SAAS,CAAC,eAAeA,gBAAAA,iBAAiB,UAAU,SAAS,GAChJ;;CAGL,cAAgC;AAC9B,SAAO,KAAK,SAAS,MAAM,KAAK,YAAY;;CAG9C,YAAY,MAAqD;AAC/D,MAAI,KAAK,SAAS,WAChB,OAAM,IAAI,MAAM,8BAA8B,KAAK,KAAK,uBAAuB;AAEjF,SAAO,KAAK,SAAS,IAAI,KAAK,aAAa,KAAK;;CAGlD,mBAAmB,MAAyC;EAC1D,MAAM,WAAW,KAAK,YAAY,KAAK;AACvC,MAAI,CAAC,SAAU,OAAM,IAAI,MAAM,4BAA4BN,gBAAAA,qBAAqB,KAAK,GAAG;AACxF,SAAO;;CAGT,SAAS,OAAuB;EAC9B,MAAM,eAAe,KAAK,OAAO,IAAI,MAAM,aAAa,OAAO,MAAM;AACrE,MAAI,gBAAgB,CAACK,gBAAAA,eAAe,MAAM,UAAU,aAAa,SAAS,CACxE,OAAM,IAAI,MACR,qDAAqDC,gBAAAA,iBAAiB,MAAM,SAAS,CAAC,eAAeA,gBAAAA,iBAAiB,aAAa,SAAS,GAC7I;;CAGL,YAA8B;AAC5B,SAAO,KAAK,OAAO,MAAM,KAAK,YAAY;;CAG5C,SAAS,MAAqD;AAC5D,MAAI,KAAK,SAAS,QAChB,OAAM,IAAI,MAAM,8BAA8B,KAAK,KAAK,oBAAoB;AAE9E,SAAO,KAAK,OAAO,IAAI,KAAK,aAAa,KAAK;;CAGhD,gBAAgB,MAAyC;EACvD,MAAM,QAAQ,KAAK,SAAS,KAAK;AACjC,MAAI,CAAC,MAAO,OAAM,IAAI,MAAM,yBAAyBN,gBAAAA,qBAAqB,KAAK,GAAG;AAClF,SAAO;;CAGT,QAAQ,MAAsB;EAC5B,MAAM,cAAc,KAAK,KAAK,IAAI,KAAK,aAAa,MAAM,MAAM;AAChE,MAAI,eAAe,CAACK,gBAAAA,eAAe,KAAK,UAAU,YAAY,SAAS,CACrE,OAAM,IAAI,MACR,oDAAoDC,gBAAAA,iBAAiB,KAAK,SAAS,CAAC,eAAeA,gBAAAA,iBAAiB,YAAY,SAAS,GAC1I;;CAGL,UAA4B;AAC1B,SAAO,KAAK,KAAK,MAAM,KAAK,YAAY;;CAG1C,QAAQ,MAAqD;AAC3D,MAAI,KAAK,SAAS,OAChB,OAAM,IAAI,MAAM,8BAA8B,KAAK,KAAK,oBAAoB;AAE9E,SAAO,KAAK,KAAK,IAAI,KAAK,aAAa,KAAK;;CAG9C,eAAe,MAAyC;EACtD,MAAM,OAAO,KAAK,QAAQ,KAAK;AAC/B,MAAI,CAAC,KAAM,OAAM,IAAI,MAAM,wBAAwBN,gBAAAA,qBAAqB,KAAK,GAAG;AAChF,SAAO;;CAGT,YAAY,KAAyB;EACnC,MAAM,aAAa,KAAK,UAAU,IAAI,IAAI,aAAa,KAAK,MAAM;AAClE,MAAI,cAAc,CAACK,gBAAAA,eAAe,IAAI,UAAU,WAAW,SAAS,CAClE,OAAM,IAAI,MACR,oDAAoDC,gBAAAA,iBAAiB,IAAI,SAAS,CAAC,eAAeA,gBAAAA,iBAAiB,WAAW,SAAS,GACxI;;CAGL,eAAqC;AACnC,SAAO,KAAK,UAAU,MAAM,KAAK,YAAY;;CAG/C,YAAY,MAAyD;AACnE,MAAI,KAAK,SAAS,WAChB,OAAM,IAAI,MAAM,8BAA8B,KAAK,KAAK,uBAAuB;AACjF,SAAO,KAAK,UAAU,IAAI,KAAK,aAAa,KAAK;;CAGnD,mBAAmB,MAA6C;EAC9D,MAAM,MAAM,KAAK,YAAY,KAAK;AAClC,MAAI,CAAC,IAAK,OAAM,IAAI,MAAM,uBAAuBN,gBAAAA,qBAAqB,KAAK,GAAG;AAC9E,SAAO;;CAGT,YAAY,MAA0E;AACpF,UAAQ,KAAK,MAAb;GACE,KAAK,WACH,QAAO,KAAK,YAAY,KAAK;GAC/B,KAAK,UACH,QAAO,KAAK,OAAO,KAAK;GAC1B,KAAK,WACH,QAAO,KAAK,YAAY,KAAK;GAC/B,KAAK,QACH,QAAO,KAAK,SAAS,KAAK;GAC5B,KAAK,OACH,QAAO,KAAK,QAAQ,KAAK;GAC3B,KAAK,OAGH;GACF,QACE,cAAA,YAAY,KAAK,KAAK;;;CAI5B,cAAc,SAA6C;EACzD,MAAM,SAA2B;GAC/B,WAAW,EAAE;GACb,MAAM,EAAE;GACR,UAAU,EAAE;GACZ,QAAQ,EAAE;GACV,MAAM,EAAE;GACT;EAED,IAAI,UAA4B,EAAE;AAElC,OAAK,MAAM,OAAO,QAChB,KAAI,IAAI,SAAS,SAAS,WAAW;AAEnC,QAAK,OAAO,IAAI;AAChB,UAAO,KAAK,KAAK,IAAI;aACZ,IAAI,SAAS,SAAS,YAAY;AAE3C,QAAK,YAAY,IAAI;AACrB,UAAO,SAAS,KAAK,IAAI;aAChB,IAAI,SAAS,SAAS,SAAS;AAExC,QAAK,SAAS,IAAI;AAClB,UAAO,OAAO,KAAK,IAAI;aACd,IAAI,SAAS,SAAS,QAAQ;AAEvC,QAAK,QAAQ,IAAI;AACjB,UAAO,KAAK,KAAK,IAAI;QAErB,SAAQ,KAAK,IAAI;AAIrB,SAAO,QAAQ,SAAS,GAAG;GACzB,MAAM,cAAqD,EAAE;AAE7D,QAAK,MAAM,OAAO,SAAS;IAQzB,MAAM,cAAc,IAAI,aAAa,QAClC,QACC,CAAC,KAAK,YAAY,IAAI,IAEtB,EAAE,IAAI,SAAS,SAAS,cAAcG,gBAAAA,yBAAyB,IAAI,UAAU,IAAI,EACpF;AACD,QAAI,YAAY,SAAS,GAAG;KAC1B,IAAI,eAAe,+BAA+BG,gBAAAA,iBAAiB,IAAI,SAAS,CAAC;AACjF,UAAK,MAAM,OAAO,YAChB,iBAAgB,OAAOF,gBAAAA,0BAA0B,IAAI,CAAC;AAExD,iBAAY,KAAK;MAAE;MAAK,KAAK,IAAI,MAAM,aAAa;MAAE,CAAC;AAEvD;;AAIF,YAAQ,IAAI,SAAS,MAArB;KACE,KAAK;AAEH,WAAK,OAAO,IAAI;AAChB,aAAO,KAAK,KAAK,IAAI;AACrB;KACF,KAAK;AAEH,WAAK,YAAY,IAAI;AACrB,aAAO,SAAS,KAAK,IAAI;AACzB;KACF,KAAK;AAEH,WAAK,SAAS,IAAI;AAClB,aAAO,OAAO,KAAK,IAAI;AACvB;KACF,KAAK;AAEH,WAAK,QAAQ,IAAI;AACjB,aAAO,KAAK,KAAK,IAAI;AACrB;KACF,KAAK;AAEH,UAAI;OACF,MAAM,MAAM,KAAK,sBAAsB,IAAI;OAC3C,MAAM,aAAaG,iBAAAA,sBAAsB,IAAI,aAAa,IAAI,UAAU,KAAK,IAAI,IAAI;AACrF,YAAK,YAAY,WAAW;AAC5B,cAAO,UAAU,KAAK,WAAW;eAC1B,OAAgB;OACvB,MAAM,MAAM;OACZ,IAAI,eAAe,+BAA+BD,gBAAAA,iBAAiB,IAAI,SAAS,CAAC;AACjF,uBAAgB,OAAO,IAAI,QAAQ;AAEnC,mBAAY,KAAK;QAAE;QAAK,KAAK,MAAM,aAAa;QAAE,CAAC;;AAErD;KACF,KAAK,OAEH;KACF,QACE,cAAA,YAAY,IAAI,SAAS,KAAK;;;AAMpC,OAAI,QAAQ,WAAW,YAAY,QAAQ;IACzC,IAAI,eAAe;AAEnB,SAAK,MAAM,KAAK,YACd,iBAAgB,KAAK,EAAE,IAAI;AAE7B,UAAM,IAAI,MAAM,aAAa;;AAG/B,aAAU,YAAY,KAAK,EAAE,KAAK,qBAAqB,eAAe;;AAGxE,SAAO"}
@@ -3,11 +3,20 @@ import { artifactNameToString, formatArtefactNameAndVersion, fullNameEquals, ful
3
3
  import { newTemplateWithSource } from "./template.js";
4
4
  import { ArtifactStore } from "./artifactset.js";
5
5
  import { applyLibraryCompilerOptions, applyTemplateCompilerOptions } from "./compileroptions.js";
6
+ import { CapabilityWasm } from "@milaboratories/pl-model-backend";
6
7
  //#region src/compiler/compiler.ts
8
+ /** Add a capability token to a template's `requiredCapabilities` list,
9
+ * skipping duplicates. Initializes the array lazily so the field stays
10
+ * absent for templates that need nothing. */
11
+ function addRequiredCapability(template, capability) {
12
+ template.requiredCapabilities = template.requiredCapabilities ?? [];
13
+ if (!template.requiredCapabilities.includes(capability)) template.requiredCapabilities.push(capability);
14
+ }
7
15
  var TengoTemplateCompiler = class {
8
16
  libs = new ArtifactStore((src) => src.fullName);
9
17
  software = new ArtifactStore((src) => src.fullName);
10
18
  assets = new ArtifactStore((src) => src.fullName);
19
+ wasm = new ArtifactStore((src) => src.fullName);
11
20
  templates = new ArtifactStore((tpl) => tpl.fullName);
12
21
  constructor(compileMode) {
13
22
  this.compileMode = compileMode;
@@ -50,12 +59,24 @@ var TengoTemplateCompiler = class {
50
59
  data.hashToSource[asset.sourceHash] = asset.src;
51
60
  break;
52
61
  }
62
+ case "wasm": {
63
+ const wasm = this.getWasmOrError(dep);
64
+ data.template.wasm = data.template.wasm ?? {};
65
+ data.template.wasm[artifactNameToString(dep)] = {
66
+ ...formatArtefactNameAndVersion(wasm.fullName),
67
+ sourceHash: wasm.sourceHash
68
+ };
69
+ data.hashToSource[wasm.sourceHash] = wasm.src;
70
+ addRequiredCapability(data.template, CapabilityWasm);
71
+ break;
72
+ }
53
73
  case "template": {
54
74
  if (typedArtifactNamesEquals(fullName, dep)) continue;
55
75
  const tpl = this.getTemplateOrError(dep);
56
76
  data.template.templates[artifactNameToString(dep)] = tpl.data.template;
57
77
  data.hashToSource[tpl.data.template.sourceHash] = tpl.source;
58
78
  for (const [hash, src] of Object.entries(tpl.data.hashToSource)) data.hashToSource[hash] = src;
79
+ for (const cap of tpl.data.template.requiredCapabilities ?? []) addRequiredCapability(data.template, cap);
59
80
  break;
60
81
  }
61
82
  case "test": throw new Error(`dependencies tree error: tests should never be part of template: ${typedArtifactNameToString(dep)} is dependency of ${artifactNameToString(fullName)}`);
@@ -137,6 +158,22 @@ var TengoTemplateCompiler = class {
137
158
  if (!asset) throw new Error(`asset info not found: ${artifactNameToString(name)}`);
138
159
  return asset;
139
160
  }
161
+ addWasm(wasm) {
162
+ const wasmFromMap = this.wasm.add(wasm.compileMode, wasm, false);
163
+ if (wasmFromMap && !fullNameEquals(wasm.fullName, wasmFromMap.fullName)) throw new Error(`compiler already contain info for wasm: adding = ${fullNameToString(wasm.fullName)}, contains = ${fullNameToString(wasmFromMap.fullName)}`);
164
+ }
165
+ allWasm() {
166
+ return this.wasm.array(this.compileMode);
167
+ }
168
+ getWasm(name) {
169
+ if (name.type !== "wasm") throw new Error(`illegal artifact type: got ${name.type} instead of 'wasm'`);
170
+ return this.wasm.get(this.compileMode, name);
171
+ }
172
+ getWasmOrError(name) {
173
+ const wasm = this.getWasm(name);
174
+ if (!wasm) throw new Error(`wasm info not found: ${artifactNameToString(name)}`);
175
+ return wasm;
176
+ }
140
177
  addTemplate(tpl) {
141
178
  const tplFromMap = this.templates.add(tpl.compileMode, tpl, false);
142
179
  if (tplFromMap && !fullNameEquals(tpl.fullName, tplFromMap.fullName)) throw new Error(`compiler already contain such template: adding = ${fullNameToString(tpl.fullName)}, contains = ${fullNameToString(tplFromMap.fullName)}`);
@@ -159,6 +196,7 @@ var TengoTemplateCompiler = class {
159
196
  case "library": return this.getLib(name);
160
197
  case "software": return this.getSoftware(name);
161
198
  case "asset": return this.getAsset(name);
199
+ case "wasm": return this.getWasm(name);
162
200
  case "test": return;
163
201
  default: assertNever(name.type);
164
202
  }
@@ -168,7 +206,8 @@ var TengoTemplateCompiler = class {
168
206
  templates: [],
169
207
  libs: [],
170
208
  software: [],
171
- assets: []
209
+ assets: [],
210
+ wasm: []
172
211
  };
173
212
  let current = [];
174
213
  for (const src of sources) if (src.fullName.type === "library") {
@@ -180,6 +219,9 @@ var TengoTemplateCompiler = class {
180
219
  } else if (src.fullName.type === "asset") {
181
220
  this.addAsset(src);
182
221
  result.assets.push(src);
222
+ } else if (src.fullName.type === "wasm") {
223
+ this.addWasm(src);
224
+ result.wasm.push(src);
183
225
  } else current.push(src);
184
226
  while (current.length > 0) {
185
227
  const unprocessed = [];
@@ -207,6 +249,10 @@ var TengoTemplateCompiler = class {
207
249
  this.addAsset(src);
208
250
  result.assets.push(src);
209
251
  break;
252
+ case "wasm":
253
+ this.addWasm(src);
254
+ result.wasm.push(src);
255
+ break;
210
256
  case "template":
211
257
  try {
212
258
  const tpl = this.compileAndAddTemplate(src);
@@ -1 +1 @@
1
- {"version":3,"file":"compiler.js","names":[],"sources":["../../src/compiler/compiler.ts"],"sourcesContent":["import type { ArtifactSource } from \"./source\";\nimport type { TemplateWithSource } from \"./template\";\nimport { newTemplateWithSource } from \"./template\";\nimport type { TypedArtifactName, FullArtifactName, CompileMode } from \"./package\";\nimport {\n fullNameToString,\n typedArtifactNameToString,\n artifactNameToString,\n formatArtefactNameAndVersion,\n typedArtifactNamesEquals,\n fullNameEquals,\n} from \"./package\";\nimport { ArtifactStore } from \"./artifactset\";\nimport { assertNever } from \"./util\";\nimport { applyLibraryCompilerOptions, applyTemplateCompilerOptions } from \"./compileroptions\";\nimport type { CompiledTemplateV3 } from \"@milaboratories/pl-model-backend\";\n\n/** A compilation result. */\nexport interface TemplatesAndLibs {\n templates: TemplateWithSource[];\n libs: ArtifactSource[];\n software: ArtifactSource[];\n assets: ArtifactSource[];\n}\n\nexport class TengoTemplateCompiler {\n private readonly libs = new ArtifactStore<ArtifactSource>((src) => src.fullName);\n private readonly software = new ArtifactStore<ArtifactSource>((src) => src.fullName);\n private readonly assets = new ArtifactStore<ArtifactSource>((src) => src.fullName);\n private readonly templates = new ArtifactStore<TemplateWithSource>((tpl) => tpl.fullName);\n\n constructor(private readonly compileMode: CompileMode) {}\n\n /** Recursively add dependencies to the template. */\n private populateTemplateDataFromDependencies(\n fullName: FullArtifactName,\n data: CompiledTemplateV3,\n deps: TypedArtifactName[],\n trace: string[],\n ) {\n for (const dep of deps) {\n switch (dep.type) {\n case \"library\": {\n const lib = this.getLibOrError(dep);\n\n const recursionStart = trace.indexOf(artifactNameToString(dep));\n if (recursionStart >= 0) {\n const errorMessage =\n `library import recursion detected: ` +\n `${trace.slice(recursionStart).join(\" -> \")} -> ${artifactNameToString(dep)}`;\n throw new Error(errorMessage);\n }\n\n const tplLib = {\n ...formatArtefactNameAndVersion(lib.fullName),\n sourceHash: lib.sourceHash,\n };\n\n applyLibraryCompilerOptions(lib.compilerOptions, tplLib);\n data.template.libs[artifactNameToString(dep)] = tplLib;\n data.hashToSource[tplLib.sourceHash] = lib.src;\n\n // populate with transient library dependencies\n this.populateTemplateDataFromDependencies(fullName, data, lib.dependencies, [\n ...trace,\n artifactNameToString(dep),\n ]);\n\n break;\n }\n case \"software\": {\n const software = this.getSoftwareOrError(dep);\n data.template.software[artifactNameToString(dep)] = {\n ...formatArtefactNameAndVersion(software.fullName),\n sourceHash: software.sourceHash,\n };\n data.hashToSource[software.sourceHash] = software.src;\n\n break;\n }\n case \"asset\": {\n const asset = this.getAssetOrError(dep);\n // Yes, we temporarily put assets into 'software' section of template, so controller can\n // handle it the right way without updates\n data.template.software[artifactNameToString(dep)] = {\n ...formatArtefactNameAndVersion(asset.fullName),\n sourceHash: asset.sourceHash,\n };\n data.hashToSource[asset.sourceHash] = asset.src;\n break;\n }\n case \"template\": {\n if (typedArtifactNamesEquals(fullName, dep))\n // skipping self reference\n continue;\n\n const tpl = this.getTemplateOrError(dep);\n data.template.templates[artifactNameToString(dep)] = tpl.data.template;\n data.hashToSource[tpl.data.template.sourceHash] = tpl.source;\n\n // add all the sources of transitivedependencies to the resulted hashToSource\n for (const [hash, src] of Object.entries(tpl.data.hashToSource)) {\n data.hashToSource[hash] = src;\n }\n\n break;\n }\n case \"test\":\n throw new Error(\n `dependencies tree error: tests should never be part of template: ` +\n `${typedArtifactNameToString(dep)} is dependency of ${artifactNameToString(fullName)}`,\n );\n default:\n assertNever(dep.type);\n }\n }\n }\n\n /** This method assumes that all dependencies are already added to the compiler's context */\n private compileAndAddTemplate(tplSrc: ArtifactSource): CompiledTemplateV3 {\n if (tplSrc.fullName.type !== \"template\") throw new Error(\"unexpected source type\");\n\n // creating template with unpopulated dependencies\n const tplData: CompiledTemplateV3 = {\n type: \"pl.tengo-template.v3\",\n hashToSource: {\n [tplSrc.sourceHash]: tplSrc.src,\n },\n template: {\n ...formatArtefactNameAndVersion(tplSrc.fullName),\n templates: {},\n libs: {},\n software: {},\n assets: {},\n sourceHash: tplSrc.sourceHash,\n },\n };\n\n applyTemplateCompilerOptions(tplSrc.compilerOptions, tplData.template);\n\n // collecting dependencies in output format\n this.populateTemplateDataFromDependencies(tplSrc.fullName, tplData, tplSrc.dependencies, []);\n\n return tplData;\n }\n\n addLib(lib: ArtifactSource) {\n const libFromMap = this.libs.add(lib.compileMode, lib, false);\n if (libFromMap && !fullNameEquals(lib.fullName, libFromMap.fullName))\n throw new Error(\n `compiler already contain such library: adding = ${fullNameToString(lib.fullName)}, contains = ${fullNameToString(libFromMap.fullName)}`,\n );\n }\n\n allLibs(): ArtifactSource[] {\n return this.libs.array(this.compileMode);\n }\n\n getLib(name: TypedArtifactName): ArtifactSource | undefined {\n if (name.type !== \"library\")\n throw new Error(`illegal artifact type: got ${name.type} instead of 'library`);\n return this.libs.get(this.compileMode, name);\n }\n\n getLibOrError(name: TypedArtifactName): ArtifactSource {\n const lib = this.getLib(name);\n if (!lib) throw new Error(`library not found: ${artifactNameToString(name)}`);\n return lib;\n }\n\n checkLibs() {\n this.libs.forEach(this.compileMode, (lib) => {\n for (const dep of lib.dependencies) {\n if (dep.type === \"test\")\n throw new Error(\n `test should never be dependency of production code: ${typedArtifactNameToString(dep)} test is dependency of ${fullNameToString(lib.fullName)}`,\n );\n\n if (!this.getArtefact(dep))\n throw new Error(\n `unresolved dependency ${typedArtifactNameToString(dep)} for ${fullNameToString(lib.fullName)}`,\n );\n }\n });\n }\n\n addSoftware(software: ArtifactSource) {\n const swFromMap = this.software.add(software.compileMode, software, false);\n if (swFromMap && !fullNameEquals(software.fullName, swFromMap.fullName))\n throw new Error(\n `compiler already contain info for software: adding = ${fullNameToString(software.fullName)}, contains = ${fullNameToString(swFromMap.fullName)}`,\n );\n }\n\n allSoftware(): ArtifactSource[] {\n return this.software.array(this.compileMode);\n }\n\n getSoftware(name: TypedArtifactName): ArtifactSource | undefined {\n if (name.type !== \"software\")\n throw new Error(`illegal artifact type: got ${name.type} instead of 'software`);\n\n return this.software.get(this.compileMode, name);\n }\n\n getSoftwareOrError(name: TypedArtifactName): ArtifactSource {\n const software = this.getSoftware(name);\n if (!software) throw new Error(`software info not found: ${artifactNameToString(name)}`);\n return software;\n }\n\n addAsset(asset: ArtifactSource) {\n const assetFromMap = this.assets.add(asset.compileMode, asset, false);\n if (assetFromMap && !fullNameEquals(asset.fullName, assetFromMap.fullName))\n throw new Error(\n `compiler already contain info for asset: adding = ${fullNameToString(asset.fullName)}, contains = ${fullNameToString(assetFromMap.fullName)}`,\n );\n }\n\n allAssets(): ArtifactSource[] {\n return this.assets.array(this.compileMode);\n }\n\n getAsset(name: TypedArtifactName): ArtifactSource | undefined {\n if (name.type !== \"asset\")\n throw new Error(`illegal artifact type: got ${name.type} instead of 'asset`);\n\n return this.assets.get(this.compileMode, name);\n }\n\n getAssetOrError(name: TypedArtifactName): ArtifactSource {\n const asset = this.getAsset(name);\n if (!asset) throw new Error(`asset info not found: ${artifactNameToString(name)}`);\n return asset;\n }\n\n addTemplate(tpl: TemplateWithSource) {\n const tplFromMap = this.templates.add(tpl.compileMode, tpl, false);\n if (tplFromMap && !fullNameEquals(tpl.fullName, tplFromMap.fullName))\n throw new Error(\n `compiler already contain such template: adding = ${fullNameToString(tpl.fullName)}, contains = ${fullNameToString(tplFromMap.fullName)}`,\n );\n }\n\n allTemplates(): TemplateWithSource[] {\n return this.templates.array(this.compileMode);\n }\n\n getTemplate(name: TypedArtifactName): TemplateWithSource | undefined {\n if (name.type !== \"template\")\n throw new Error(`illegal artifact type: got ${name.type} instead of 'template`);\n return this.templates.get(this.compileMode, name);\n }\n\n getTemplateOrError(name: TypedArtifactName): TemplateWithSource {\n const tpl = this.getTemplate(name);\n if (!tpl) throw new Error(`template not found: ${artifactNameToString(name)}`);\n return tpl;\n }\n\n getArtefact(name: TypedArtifactName): ArtifactSource | TemplateWithSource | undefined {\n switch (name.type) {\n case \"template\":\n return this.getTemplate(name);\n case \"library\":\n return this.getLib(name);\n case \"software\":\n return this.getSoftware(name);\n case \"asset\":\n return this.getAsset(name);\n case \"test\":\n // Tests are ignored by the complier. They should never be compiled into templates or libs and\n // should never be a dependency.\n return undefined;\n default:\n assertNever(name.type);\n }\n }\n\n compileAndAdd(sources: ArtifactSource[]): TemplatesAndLibs {\n const result: TemplatesAndLibs = {\n templates: [],\n libs: [],\n software: [],\n assets: [],\n };\n\n let current: ArtifactSource[] = [];\n\n for (const src of sources) {\n if (src.fullName.type === \"library\") {\n // add libraries 'as-is' to be able to resolve them as dependencies\n this.addLib(src);\n result.libs.push(src);\n } else if (src.fullName.type === \"software\") {\n // add software 'as-is' to be able to resolve them as dependencies\n this.addSoftware(src);\n result.software.push(src);\n } else if (src.fullName.type === \"asset\") {\n // add assets 'as-is' to be able to resolve them as dependencies\n this.addAsset(src);\n result.assets.push(src);\n } else {\n current.push(src);\n }\n }\n\n while (current.length > 0) {\n const unprocessed: { src: ArtifactSource; err: Error }[] = [];\n\n for (const src of current) {\n //\n // If one of the dependencies can't be resolved with current compiler context,\n // we put aside the source until next iteration, in hope that the dependency\n // will be satisfied then.\n //\n // This is equivalent to topological sorting of input sources.\n //\n const unsatisfied = src.dependencies.filter(\n (dep) =>\n !this.getArtefact(dep) &&\n // allow self reference for templates\n !(src.fullName.type === \"template\" && typedArtifactNamesEquals(src.fullName, dep)),\n );\n if (unsatisfied.length > 0) {\n let errorMessage = `Unsatisfied dependencies in ${fullNameToString(src.fullName)}:\\n`;\n for (const dep of unsatisfied) {\n errorMessage += ` - ${typedArtifactNameToString(dep)}\\n`;\n }\n unprocessed.push({ src, err: new Error(errorMessage) });\n\n continue;\n }\n\n // type specific processing\n switch (src.fullName.type) {\n case \"library\":\n // libraries are added as is\n this.addLib(src);\n result.libs.push(src);\n break;\n case \"software\":\n // software dependencies are added as is\n this.addSoftware(src);\n result.software.push(src);\n break;\n case \"asset\":\n // software dependencies are added as is\n this.addAsset(src);\n result.assets.push(src);\n break;\n case \"template\":\n // templates are compiled and then added\n try {\n const tpl = this.compileAndAddTemplate(src);\n const tplWithSrc = newTemplateWithSource(src.compileMode, src.fullName, tpl, src.src);\n this.addTemplate(tplWithSrc);\n result.templates.push(tplWithSrc);\n } catch (error: unknown) {\n const err = error as Error;\n let errorMessage = `Unsatisfied dependencies in ${fullNameToString(src.fullName)}:\\n`;\n errorMessage += ` - ${err.message}\\n`;\n\n unprocessed.push({ src, err: Error(errorMessage) }); // one or more dependencies are not resolvable yet\n }\n break;\n case \"test\":\n // Ignore tests: they never should be part of compiled code or be a dependency.\n break;\n default:\n assertNever(src.fullName.type);\n }\n }\n\n // checking that we successfully added at least one source,\n // if not all the source files in unprocessed array have unmet dependencies\n if (current.length === unprocessed.length) {\n let errorMessage = \"\";\n\n for (const u of unprocessed) {\n errorMessage += `\\n${u.err.message}`;\n }\n throw new Error(errorMessage);\n }\n\n current = unprocessed.map(({ src: ArtifactSource }) => ArtifactSource);\n }\n\n return result;\n }\n}\n"],"mappings":";;;;;;AAyBA,IAAa,wBAAb,MAAmC;CACjC,OAAwB,IAAI,eAA+B,QAAQ,IAAI,SAAS;CAChF,WAA4B,IAAI,eAA+B,QAAQ,IAAI,SAAS;CACpF,SAA0B,IAAI,eAA+B,QAAQ,IAAI,SAAS;CAClF,YAA6B,IAAI,eAAmC,QAAQ,IAAI,SAAS;CAEzF,YAAY,aAA2C;AAA1B,OAAA,cAAA;;;CAG7B,qCACE,UACA,MACA,MACA,OACA;AACA,OAAK,MAAM,OAAO,KAChB,SAAQ,IAAI,MAAZ;GACE,KAAK,WAAW;IACd,MAAM,MAAM,KAAK,cAAc,IAAI;IAEnC,MAAM,iBAAiB,MAAM,QAAQ,qBAAqB,IAAI,CAAC;AAC/D,QAAI,kBAAkB,GAAG;KACvB,MAAM,eACJ,sCACG,MAAM,MAAM,eAAe,CAAC,KAAK,OAAO,CAAC,MAAM,qBAAqB,IAAI;AAC7E,WAAM,IAAI,MAAM,aAAa;;IAG/B,MAAM,SAAS;KACb,GAAG,6BAA6B,IAAI,SAAS;KAC7C,YAAY,IAAI;KACjB;AAED,gCAA4B,IAAI,iBAAiB,OAAO;AACxD,SAAK,SAAS,KAAK,qBAAqB,IAAI,IAAI;AAChD,SAAK,aAAa,OAAO,cAAc,IAAI;AAG3C,SAAK,qCAAqC,UAAU,MAAM,IAAI,cAAc,CAC1E,GAAG,OACH,qBAAqB,IAAI,CAC1B,CAAC;AAEF;;GAEF,KAAK,YAAY;IACf,MAAM,WAAW,KAAK,mBAAmB,IAAI;AAC7C,SAAK,SAAS,SAAS,qBAAqB,IAAI,IAAI;KAClD,GAAG,6BAA6B,SAAS,SAAS;KAClD,YAAY,SAAS;KACtB;AACD,SAAK,aAAa,SAAS,cAAc,SAAS;AAElD;;GAEF,KAAK,SAAS;IACZ,MAAM,QAAQ,KAAK,gBAAgB,IAAI;AAGvC,SAAK,SAAS,SAAS,qBAAqB,IAAI,IAAI;KAClD,GAAG,6BAA6B,MAAM,SAAS;KAC/C,YAAY,MAAM;KACnB;AACD,SAAK,aAAa,MAAM,cAAc,MAAM;AAC5C;;GAEF,KAAK,YAAY;AACf,QAAI,yBAAyB,UAAU,IAAI,CAEzC;IAEF,MAAM,MAAM,KAAK,mBAAmB,IAAI;AACxC,SAAK,SAAS,UAAU,qBAAqB,IAAI,IAAI,IAAI,KAAK;AAC9D,SAAK,aAAa,IAAI,KAAK,SAAS,cAAc,IAAI;AAGtD,SAAK,MAAM,CAAC,MAAM,QAAQ,OAAO,QAAQ,IAAI,KAAK,aAAa,CAC7D,MAAK,aAAa,QAAQ;AAG5B;;GAEF,KAAK,OACH,OAAM,IAAI,MACR,oEACK,0BAA0B,IAAI,CAAC,oBAAoB,qBAAqB,SAAS,GACvF;GACH,QACE,aAAY,IAAI,KAAK;;;;CAM7B,sBAA8B,QAA4C;AACxE,MAAI,OAAO,SAAS,SAAS,WAAY,OAAM,IAAI,MAAM,yBAAyB;EAGlF,MAAM,UAA8B;GAClC,MAAM;GACN,cAAc,GACX,OAAO,aAAa,OAAO,KAC7B;GACD,UAAU;IACR,GAAG,6BAA6B,OAAO,SAAS;IAChD,WAAW,EAAE;IACb,MAAM,EAAE;IACR,UAAU,EAAE;IACZ,QAAQ,EAAE;IACV,YAAY,OAAO;IACpB;GACF;AAED,+BAA6B,OAAO,iBAAiB,QAAQ,SAAS;AAGtE,OAAK,qCAAqC,OAAO,UAAU,SAAS,OAAO,cAAc,EAAE,CAAC;AAE5F,SAAO;;CAGT,OAAO,KAAqB;EAC1B,MAAM,aAAa,KAAK,KAAK,IAAI,IAAI,aAAa,KAAK,MAAM;AAC7D,MAAI,cAAc,CAAC,eAAe,IAAI,UAAU,WAAW,SAAS,CAClE,OAAM,IAAI,MACR,mDAAmD,iBAAiB,IAAI,SAAS,CAAC,eAAe,iBAAiB,WAAW,SAAS,GACvI;;CAGL,UAA4B;AAC1B,SAAO,KAAK,KAAK,MAAM,KAAK,YAAY;;CAG1C,OAAO,MAAqD;AAC1D,MAAI,KAAK,SAAS,UAChB,OAAM,IAAI,MAAM,8BAA8B,KAAK,KAAK,sBAAsB;AAChF,SAAO,KAAK,KAAK,IAAI,KAAK,aAAa,KAAK;;CAG9C,cAAc,MAAyC;EACrD,MAAM,MAAM,KAAK,OAAO,KAAK;AAC7B,MAAI,CAAC,IAAK,OAAM,IAAI,MAAM,sBAAsB,qBAAqB,KAAK,GAAG;AAC7E,SAAO;;CAGT,YAAY;AACV,OAAK,KAAK,QAAQ,KAAK,cAAc,QAAQ;AAC3C,QAAK,MAAM,OAAO,IAAI,cAAc;AAClC,QAAI,IAAI,SAAS,OACf,OAAM,IAAI,MACR,uDAAuD,0BAA0B,IAAI,CAAC,yBAAyB,iBAAiB,IAAI,SAAS,GAC9I;AAEH,QAAI,CAAC,KAAK,YAAY,IAAI,CACxB,OAAM,IAAI,MACR,yBAAyB,0BAA0B,IAAI,CAAC,OAAO,iBAAiB,IAAI,SAAS,GAC9F;;IAEL;;CAGJ,YAAY,UAA0B;EACpC,MAAM,YAAY,KAAK,SAAS,IAAI,SAAS,aAAa,UAAU,MAAM;AAC1E,MAAI,aAAa,CAAC,eAAe,SAAS,UAAU,UAAU,SAAS,CACrE,OAAM,IAAI,MACR,wDAAwD,iBAAiB,SAAS,SAAS,CAAC,eAAe,iBAAiB,UAAU,SAAS,GAChJ;;CAGL,cAAgC;AAC9B,SAAO,KAAK,SAAS,MAAM,KAAK,YAAY;;CAG9C,YAAY,MAAqD;AAC/D,MAAI,KAAK,SAAS,WAChB,OAAM,IAAI,MAAM,8BAA8B,KAAK,KAAK,uBAAuB;AAEjF,SAAO,KAAK,SAAS,IAAI,KAAK,aAAa,KAAK;;CAGlD,mBAAmB,MAAyC;EAC1D,MAAM,WAAW,KAAK,YAAY,KAAK;AACvC,MAAI,CAAC,SAAU,OAAM,IAAI,MAAM,4BAA4B,qBAAqB,KAAK,GAAG;AACxF,SAAO;;CAGT,SAAS,OAAuB;EAC9B,MAAM,eAAe,KAAK,OAAO,IAAI,MAAM,aAAa,OAAO,MAAM;AACrE,MAAI,gBAAgB,CAAC,eAAe,MAAM,UAAU,aAAa,SAAS,CACxE,OAAM,IAAI,MACR,qDAAqD,iBAAiB,MAAM,SAAS,CAAC,eAAe,iBAAiB,aAAa,SAAS,GAC7I;;CAGL,YAA8B;AAC5B,SAAO,KAAK,OAAO,MAAM,KAAK,YAAY;;CAG5C,SAAS,MAAqD;AAC5D,MAAI,KAAK,SAAS,QAChB,OAAM,IAAI,MAAM,8BAA8B,KAAK,KAAK,oBAAoB;AAE9E,SAAO,KAAK,OAAO,IAAI,KAAK,aAAa,KAAK;;CAGhD,gBAAgB,MAAyC;EACvD,MAAM,QAAQ,KAAK,SAAS,KAAK;AACjC,MAAI,CAAC,MAAO,OAAM,IAAI,MAAM,yBAAyB,qBAAqB,KAAK,GAAG;AAClF,SAAO;;CAGT,YAAY,KAAyB;EACnC,MAAM,aAAa,KAAK,UAAU,IAAI,IAAI,aAAa,KAAK,MAAM;AAClE,MAAI,cAAc,CAAC,eAAe,IAAI,UAAU,WAAW,SAAS,CAClE,OAAM,IAAI,MACR,oDAAoD,iBAAiB,IAAI,SAAS,CAAC,eAAe,iBAAiB,WAAW,SAAS,GACxI;;CAGL,eAAqC;AACnC,SAAO,KAAK,UAAU,MAAM,KAAK,YAAY;;CAG/C,YAAY,MAAyD;AACnE,MAAI,KAAK,SAAS,WAChB,OAAM,IAAI,MAAM,8BAA8B,KAAK,KAAK,uBAAuB;AACjF,SAAO,KAAK,UAAU,IAAI,KAAK,aAAa,KAAK;;CAGnD,mBAAmB,MAA6C;EAC9D,MAAM,MAAM,KAAK,YAAY,KAAK;AAClC,MAAI,CAAC,IAAK,OAAM,IAAI,MAAM,uBAAuB,qBAAqB,KAAK,GAAG;AAC9E,SAAO;;CAGT,YAAY,MAA0E;AACpF,UAAQ,KAAK,MAAb;GACE,KAAK,WACH,QAAO,KAAK,YAAY,KAAK;GAC/B,KAAK,UACH,QAAO,KAAK,OAAO,KAAK;GAC1B,KAAK,WACH,QAAO,KAAK,YAAY,KAAK;GAC/B,KAAK,QACH,QAAO,KAAK,SAAS,KAAK;GAC5B,KAAK,OAGH;GACF,QACE,aAAY,KAAK,KAAK;;;CAI5B,cAAc,SAA6C;EACzD,MAAM,SAA2B;GAC/B,WAAW,EAAE;GACb,MAAM,EAAE;GACR,UAAU,EAAE;GACZ,QAAQ,EAAE;GACX;EAED,IAAI,UAA4B,EAAE;AAElC,OAAK,MAAM,OAAO,QAChB,KAAI,IAAI,SAAS,SAAS,WAAW;AAEnC,QAAK,OAAO,IAAI;AAChB,UAAO,KAAK,KAAK,IAAI;aACZ,IAAI,SAAS,SAAS,YAAY;AAE3C,QAAK,YAAY,IAAI;AACrB,UAAO,SAAS,KAAK,IAAI;aAChB,IAAI,SAAS,SAAS,SAAS;AAExC,QAAK,SAAS,IAAI;AAClB,UAAO,OAAO,KAAK,IAAI;QAEvB,SAAQ,KAAK,IAAI;AAIrB,SAAO,QAAQ,SAAS,GAAG;GACzB,MAAM,cAAqD,EAAE;AAE7D,QAAK,MAAM,OAAO,SAAS;IAQzB,MAAM,cAAc,IAAI,aAAa,QAClC,QACC,CAAC,KAAK,YAAY,IAAI,IAEtB,EAAE,IAAI,SAAS,SAAS,cAAc,yBAAyB,IAAI,UAAU,IAAI,EACpF;AACD,QAAI,YAAY,SAAS,GAAG;KAC1B,IAAI,eAAe,+BAA+B,iBAAiB,IAAI,SAAS,CAAC;AACjF,UAAK,MAAM,OAAO,YAChB,iBAAgB,OAAO,0BAA0B,IAAI,CAAC;AAExD,iBAAY,KAAK;MAAE;MAAK,KAAK,IAAI,MAAM,aAAa;MAAE,CAAC;AAEvD;;AAIF,YAAQ,IAAI,SAAS,MAArB;KACE,KAAK;AAEH,WAAK,OAAO,IAAI;AAChB,aAAO,KAAK,KAAK,IAAI;AACrB;KACF,KAAK;AAEH,WAAK,YAAY,IAAI;AACrB,aAAO,SAAS,KAAK,IAAI;AACzB;KACF,KAAK;AAEH,WAAK,SAAS,IAAI;AAClB,aAAO,OAAO,KAAK,IAAI;AACvB;KACF,KAAK;AAEH,UAAI;OACF,MAAM,MAAM,KAAK,sBAAsB,IAAI;OAC3C,MAAM,aAAa,sBAAsB,IAAI,aAAa,IAAI,UAAU,KAAK,IAAI,IAAI;AACrF,YAAK,YAAY,WAAW;AAC5B,cAAO,UAAU,KAAK,WAAW;eAC1B,OAAgB;OACvB,MAAM,MAAM;OACZ,IAAI,eAAe,+BAA+B,iBAAiB,IAAI,SAAS,CAAC;AACjF,uBAAgB,OAAO,IAAI,QAAQ;AAEnC,mBAAY,KAAK;QAAE;QAAK,KAAK,MAAM,aAAa;QAAE,CAAC;;AAErD;KACF,KAAK,OAEH;KACF,QACE,aAAY,IAAI,SAAS,KAAK;;;AAMpC,OAAI,QAAQ,WAAW,YAAY,QAAQ;IACzC,IAAI,eAAe;AAEnB,SAAK,MAAM,KAAK,YACd,iBAAgB,KAAK,EAAE,IAAI;AAE7B,UAAM,IAAI,MAAM,aAAa;;AAG/B,aAAU,YAAY,KAAK,EAAE,KAAK,qBAAqB,eAAe;;AAGxE,SAAO"}
1
+ {"version":3,"file":"compiler.js","names":[],"sources":["../../src/compiler/compiler.ts"],"sourcesContent":["import type { ArtifactSource } from \"./source\";\nimport type { TemplateWithSource } from \"./template\";\nimport { newTemplateWithSource } from \"./template\";\nimport type { TypedArtifactName, FullArtifactName, CompileMode } from \"./package\";\nimport {\n fullNameToString,\n typedArtifactNameToString,\n artifactNameToString,\n formatArtefactNameAndVersion,\n typedArtifactNamesEquals,\n fullNameEquals,\n} from \"./package\";\nimport { ArtifactStore } from \"./artifactset\";\nimport { assertNever } from \"./util\";\nimport { applyLibraryCompilerOptions, applyTemplateCompilerOptions } from \"./compileroptions\";\nimport type { CompiledTemplateV3, TemplateDataV3 } from \"@milaboratories/pl-model-backend\";\nimport { CapabilityWasm } from \"@milaboratories/pl-model-backend\";\n\n/** Add a capability token to a template's `requiredCapabilities` list,\n * skipping duplicates. Initializes the array lazily so the field stays\n * absent for templates that need nothing. */\nfunction addRequiredCapability(template: TemplateDataV3, capability: string): void {\n template.requiredCapabilities = template.requiredCapabilities ?? [];\n if (!template.requiredCapabilities.includes(capability)) {\n template.requiredCapabilities.push(capability);\n }\n}\n\n/** A compilation result. */\nexport interface TemplatesAndLibs {\n templates: TemplateWithSource[];\n libs: ArtifactSource[];\n software: ArtifactSource[];\n assets: ArtifactSource[];\n wasm: ArtifactSource[];\n}\n\nexport class TengoTemplateCompiler {\n private readonly libs = new ArtifactStore<ArtifactSource>((src) => src.fullName);\n private readonly software = new ArtifactStore<ArtifactSource>((src) => src.fullName);\n private readonly assets = new ArtifactStore<ArtifactSource>((src) => src.fullName);\n private readonly wasm = new ArtifactStore<ArtifactSource>((src) => src.fullName);\n private readonly templates = new ArtifactStore<TemplateWithSource>((tpl) => tpl.fullName);\n\n constructor(private readonly compileMode: CompileMode) {}\n\n /** Recursively add dependencies to the template. */\n private populateTemplateDataFromDependencies(\n fullName: FullArtifactName,\n data: CompiledTemplateV3,\n deps: TypedArtifactName[],\n trace: string[],\n ) {\n for (const dep of deps) {\n switch (dep.type) {\n case \"library\": {\n const lib = this.getLibOrError(dep);\n\n const recursionStart = trace.indexOf(artifactNameToString(dep));\n if (recursionStart >= 0) {\n const errorMessage =\n `library import recursion detected: ` +\n `${trace.slice(recursionStart).join(\" -> \")} -> ${artifactNameToString(dep)}`;\n throw new Error(errorMessage);\n }\n\n const tplLib = {\n ...formatArtefactNameAndVersion(lib.fullName),\n sourceHash: lib.sourceHash,\n };\n\n applyLibraryCompilerOptions(lib.compilerOptions, tplLib);\n data.template.libs[artifactNameToString(dep)] = tplLib;\n data.hashToSource[tplLib.sourceHash] = lib.src;\n\n // populate with transient library dependencies\n this.populateTemplateDataFromDependencies(fullName, data, lib.dependencies, [\n ...trace,\n artifactNameToString(dep),\n ]);\n\n break;\n }\n case \"software\": {\n const software = this.getSoftwareOrError(dep);\n data.template.software[artifactNameToString(dep)] = {\n ...formatArtefactNameAndVersion(software.fullName),\n sourceHash: software.sourceHash,\n };\n data.hashToSource[software.sourceHash] = software.src;\n\n break;\n }\n case \"asset\": {\n const asset = this.getAssetOrError(dep);\n // Yes, we temporarily put assets into 'software' section of template, so controller can\n // handle it the right way without updates\n data.template.software[artifactNameToString(dep)] = {\n ...formatArtefactNameAndVersion(asset.fullName),\n sourceHash: asset.sourceHash,\n };\n data.hashToSource[asset.sourceHash] = asset.src;\n break;\n }\n case \"wasm\": {\n const wasm = this.getWasmOrError(dep);\n data.template.wasm = data.template.wasm ?? {};\n data.template.wasm[artifactNameToString(dep)] = {\n ...formatArtefactNameAndVersion(wasm.fullName),\n sourceHash: wasm.sourceHash,\n };\n data.hashToSource[wasm.sourceHash] = wasm.src;\n // Embedding a wasm artifact means this template requires the\n // backend's wasm runtime to run. The token is propagated upward\n // when this template is in turn embedded as a sub-template.\n addRequiredCapability(data.template, CapabilityWasm);\n break;\n }\n case \"template\": {\n if (typedArtifactNamesEquals(fullName, dep))\n // skipping self reference\n continue;\n\n const tpl = this.getTemplateOrError(dep);\n data.template.templates[artifactNameToString(dep)] = tpl.data.template;\n data.hashToSource[tpl.data.template.sourceHash] = tpl.source;\n\n // add all the sources of transitivedependencies to the resulted hashToSource\n for (const [hash, src] of Object.entries(tpl.data.hashToSource)) {\n data.hashToSource[hash] = src;\n }\n\n // Union the sub-template's compile-time-computed capability\n // requirements into ours, so the top template carries the full\n // transitive set without consumers having to walk the tree.\n for (const cap of tpl.data.template.requiredCapabilities ?? []) {\n addRequiredCapability(data.template, cap);\n }\n\n break;\n }\n case \"test\":\n throw new Error(\n `dependencies tree error: tests should never be part of template: ` +\n `${typedArtifactNameToString(dep)} is dependency of ${artifactNameToString(fullName)}`,\n );\n default:\n assertNever(dep.type);\n }\n }\n }\n\n /** This method assumes that all dependencies are already added to the compiler's context */\n private compileAndAddTemplate(tplSrc: ArtifactSource): CompiledTemplateV3 {\n if (tplSrc.fullName.type !== \"template\") throw new Error(\"unexpected source type\");\n\n // creating template with unpopulated dependencies\n const tplData: CompiledTemplateV3 = {\n type: \"pl.tengo-template.v3\",\n hashToSource: {\n [tplSrc.sourceHash]: tplSrc.src,\n },\n template: {\n ...formatArtefactNameAndVersion(tplSrc.fullName),\n templates: {},\n libs: {},\n software: {},\n assets: {},\n sourceHash: tplSrc.sourceHash,\n },\n };\n\n applyTemplateCompilerOptions(tplSrc.compilerOptions, tplData.template);\n\n // collecting dependencies in output format\n this.populateTemplateDataFromDependencies(tplSrc.fullName, tplData, tplSrc.dependencies, []);\n\n return tplData;\n }\n\n addLib(lib: ArtifactSource) {\n const libFromMap = this.libs.add(lib.compileMode, lib, false);\n if (libFromMap && !fullNameEquals(lib.fullName, libFromMap.fullName))\n throw new Error(\n `compiler already contain such library: adding = ${fullNameToString(lib.fullName)}, contains = ${fullNameToString(libFromMap.fullName)}`,\n );\n }\n\n allLibs(): ArtifactSource[] {\n return this.libs.array(this.compileMode);\n }\n\n getLib(name: TypedArtifactName): ArtifactSource | undefined {\n if (name.type !== \"library\")\n throw new Error(`illegal artifact type: got ${name.type} instead of 'library`);\n return this.libs.get(this.compileMode, name);\n }\n\n getLibOrError(name: TypedArtifactName): ArtifactSource {\n const lib = this.getLib(name);\n if (!lib) throw new Error(`library not found: ${artifactNameToString(name)}`);\n return lib;\n }\n\n checkLibs() {\n this.libs.forEach(this.compileMode, (lib) => {\n for (const dep of lib.dependencies) {\n if (dep.type === \"test\")\n throw new Error(\n `test should never be dependency of production code: ${typedArtifactNameToString(dep)} test is dependency of ${fullNameToString(lib.fullName)}`,\n );\n\n if (!this.getArtefact(dep))\n throw new Error(\n `unresolved dependency ${typedArtifactNameToString(dep)} for ${fullNameToString(lib.fullName)}`,\n );\n }\n });\n }\n\n addSoftware(software: ArtifactSource) {\n const swFromMap = this.software.add(software.compileMode, software, false);\n if (swFromMap && !fullNameEquals(software.fullName, swFromMap.fullName))\n throw new Error(\n `compiler already contain info for software: adding = ${fullNameToString(software.fullName)}, contains = ${fullNameToString(swFromMap.fullName)}`,\n );\n }\n\n allSoftware(): ArtifactSource[] {\n return this.software.array(this.compileMode);\n }\n\n getSoftware(name: TypedArtifactName): ArtifactSource | undefined {\n if (name.type !== \"software\")\n throw new Error(`illegal artifact type: got ${name.type} instead of 'software`);\n\n return this.software.get(this.compileMode, name);\n }\n\n getSoftwareOrError(name: TypedArtifactName): ArtifactSource {\n const software = this.getSoftware(name);\n if (!software) throw new Error(`software info not found: ${artifactNameToString(name)}`);\n return software;\n }\n\n addAsset(asset: ArtifactSource) {\n const assetFromMap = this.assets.add(asset.compileMode, asset, false);\n if (assetFromMap && !fullNameEquals(asset.fullName, assetFromMap.fullName))\n throw new Error(\n `compiler already contain info for asset: adding = ${fullNameToString(asset.fullName)}, contains = ${fullNameToString(assetFromMap.fullName)}`,\n );\n }\n\n allAssets(): ArtifactSource[] {\n return this.assets.array(this.compileMode);\n }\n\n getAsset(name: TypedArtifactName): ArtifactSource | undefined {\n if (name.type !== \"asset\")\n throw new Error(`illegal artifact type: got ${name.type} instead of 'asset`);\n\n return this.assets.get(this.compileMode, name);\n }\n\n getAssetOrError(name: TypedArtifactName): ArtifactSource {\n const asset = this.getAsset(name);\n if (!asset) throw new Error(`asset info not found: ${artifactNameToString(name)}`);\n return asset;\n }\n\n addWasm(wasm: ArtifactSource) {\n const wasmFromMap = this.wasm.add(wasm.compileMode, wasm, false);\n if (wasmFromMap && !fullNameEquals(wasm.fullName, wasmFromMap.fullName))\n throw new Error(\n `compiler already contain info for wasm: adding = ${fullNameToString(wasm.fullName)}, contains = ${fullNameToString(wasmFromMap.fullName)}`,\n );\n }\n\n allWasm(): ArtifactSource[] {\n return this.wasm.array(this.compileMode);\n }\n\n getWasm(name: TypedArtifactName): ArtifactSource | undefined {\n if (name.type !== \"wasm\")\n throw new Error(`illegal artifact type: got ${name.type} instead of 'wasm'`);\n\n return this.wasm.get(this.compileMode, name);\n }\n\n getWasmOrError(name: TypedArtifactName): ArtifactSource {\n const wasm = this.getWasm(name);\n if (!wasm) throw new Error(`wasm info not found: ${artifactNameToString(name)}`);\n return wasm;\n }\n\n addTemplate(tpl: TemplateWithSource) {\n const tplFromMap = this.templates.add(tpl.compileMode, tpl, false);\n if (tplFromMap && !fullNameEquals(tpl.fullName, tplFromMap.fullName))\n throw new Error(\n `compiler already contain such template: adding = ${fullNameToString(tpl.fullName)}, contains = ${fullNameToString(tplFromMap.fullName)}`,\n );\n }\n\n allTemplates(): TemplateWithSource[] {\n return this.templates.array(this.compileMode);\n }\n\n getTemplate(name: TypedArtifactName): TemplateWithSource | undefined {\n if (name.type !== \"template\")\n throw new Error(`illegal artifact type: got ${name.type} instead of 'template`);\n return this.templates.get(this.compileMode, name);\n }\n\n getTemplateOrError(name: TypedArtifactName): TemplateWithSource {\n const tpl = this.getTemplate(name);\n if (!tpl) throw new Error(`template not found: ${artifactNameToString(name)}`);\n return tpl;\n }\n\n getArtefact(name: TypedArtifactName): ArtifactSource | TemplateWithSource | undefined {\n switch (name.type) {\n case \"template\":\n return this.getTemplate(name);\n case \"library\":\n return this.getLib(name);\n case \"software\":\n return this.getSoftware(name);\n case \"asset\":\n return this.getAsset(name);\n case \"wasm\":\n return this.getWasm(name);\n case \"test\":\n // Tests are ignored by the complier. They should never be compiled into templates or libs and\n // should never be a dependency.\n return undefined;\n default:\n assertNever(name.type);\n }\n }\n\n compileAndAdd(sources: ArtifactSource[]): TemplatesAndLibs {\n const result: TemplatesAndLibs = {\n templates: [],\n libs: [],\n software: [],\n assets: [],\n wasm: [],\n };\n\n let current: ArtifactSource[] = [];\n\n for (const src of sources) {\n if (src.fullName.type === \"library\") {\n // add libraries 'as-is' to be able to resolve them as dependencies\n this.addLib(src);\n result.libs.push(src);\n } else if (src.fullName.type === \"software\") {\n // add software 'as-is' to be able to resolve them as dependencies\n this.addSoftware(src);\n result.software.push(src);\n } else if (src.fullName.type === \"asset\") {\n // add assets 'as-is' to be able to resolve them as dependencies\n this.addAsset(src);\n result.assets.push(src);\n } else if (src.fullName.type === \"wasm\") {\n // add wasm 'as-is' to be able to resolve them as dependencies\n this.addWasm(src);\n result.wasm.push(src);\n } else {\n current.push(src);\n }\n }\n\n while (current.length > 0) {\n const unprocessed: { src: ArtifactSource; err: Error }[] = [];\n\n for (const src of current) {\n //\n // If one of the dependencies can't be resolved with current compiler context,\n // we put aside the source until next iteration, in hope that the dependency\n // will be satisfied then.\n //\n // This is equivalent to topological sorting of input sources.\n //\n const unsatisfied = src.dependencies.filter(\n (dep) =>\n !this.getArtefact(dep) &&\n // allow self reference for templates\n !(src.fullName.type === \"template\" && typedArtifactNamesEquals(src.fullName, dep)),\n );\n if (unsatisfied.length > 0) {\n let errorMessage = `Unsatisfied dependencies in ${fullNameToString(src.fullName)}:\\n`;\n for (const dep of unsatisfied) {\n errorMessage += ` - ${typedArtifactNameToString(dep)}\\n`;\n }\n unprocessed.push({ src, err: new Error(errorMessage) });\n\n continue;\n }\n\n // type specific processing\n switch (src.fullName.type) {\n case \"library\":\n // libraries are added as is\n this.addLib(src);\n result.libs.push(src);\n break;\n case \"software\":\n // software dependencies are added as is\n this.addSoftware(src);\n result.software.push(src);\n break;\n case \"asset\":\n // software dependencies are added as is\n this.addAsset(src);\n result.assets.push(src);\n break;\n case \"wasm\":\n // wasm dependencies are added as is\n this.addWasm(src);\n result.wasm.push(src);\n break;\n case \"template\":\n // templates are compiled and then added\n try {\n const tpl = this.compileAndAddTemplate(src);\n const tplWithSrc = newTemplateWithSource(src.compileMode, src.fullName, tpl, src.src);\n this.addTemplate(tplWithSrc);\n result.templates.push(tplWithSrc);\n } catch (error: unknown) {\n const err = error as Error;\n let errorMessage = `Unsatisfied dependencies in ${fullNameToString(src.fullName)}:\\n`;\n errorMessage += ` - ${err.message}\\n`;\n\n unprocessed.push({ src, err: Error(errorMessage) }); // one or more dependencies are not resolvable yet\n }\n break;\n case \"test\":\n // Ignore tests: they never should be part of compiled code or be a dependency.\n break;\n default:\n assertNever(src.fullName.type);\n }\n }\n\n // checking that we successfully added at least one source,\n // if not all the source files in unprocessed array have unmet dependencies\n if (current.length === unprocessed.length) {\n let errorMessage = \"\";\n\n for (const u of unprocessed) {\n errorMessage += `\\n${u.err.message}`;\n }\n throw new Error(errorMessage);\n }\n\n current = unprocessed.map(({ src: ArtifactSource }) => ArtifactSource);\n }\n\n return result;\n }\n}\n"],"mappings":";;;;;;;;;;AAqBA,SAAS,sBAAsB,UAA0B,YAA0B;AACjF,UAAS,uBAAuB,SAAS,wBAAwB,EAAE;AACnE,KAAI,CAAC,SAAS,qBAAqB,SAAS,WAAW,CACrD,UAAS,qBAAqB,KAAK,WAAW;;AAalD,IAAa,wBAAb,MAAmC;CACjC,OAAwB,IAAI,eAA+B,QAAQ,IAAI,SAAS;CAChF,WAA4B,IAAI,eAA+B,QAAQ,IAAI,SAAS;CACpF,SAA0B,IAAI,eAA+B,QAAQ,IAAI,SAAS;CAClF,OAAwB,IAAI,eAA+B,QAAQ,IAAI,SAAS;CAChF,YAA6B,IAAI,eAAmC,QAAQ,IAAI,SAAS;CAEzF,YAAY,aAA2C;AAA1B,OAAA,cAAA;;;CAG7B,qCACE,UACA,MACA,MACA,OACA;AACA,OAAK,MAAM,OAAO,KAChB,SAAQ,IAAI,MAAZ;GACE,KAAK,WAAW;IACd,MAAM,MAAM,KAAK,cAAc,IAAI;IAEnC,MAAM,iBAAiB,MAAM,QAAQ,qBAAqB,IAAI,CAAC;AAC/D,QAAI,kBAAkB,GAAG;KACvB,MAAM,eACJ,sCACG,MAAM,MAAM,eAAe,CAAC,KAAK,OAAO,CAAC,MAAM,qBAAqB,IAAI;AAC7E,WAAM,IAAI,MAAM,aAAa;;IAG/B,MAAM,SAAS;KACb,GAAG,6BAA6B,IAAI,SAAS;KAC7C,YAAY,IAAI;KACjB;AAED,gCAA4B,IAAI,iBAAiB,OAAO;AACxD,SAAK,SAAS,KAAK,qBAAqB,IAAI,IAAI;AAChD,SAAK,aAAa,OAAO,cAAc,IAAI;AAG3C,SAAK,qCAAqC,UAAU,MAAM,IAAI,cAAc,CAC1E,GAAG,OACH,qBAAqB,IAAI,CAC1B,CAAC;AAEF;;GAEF,KAAK,YAAY;IACf,MAAM,WAAW,KAAK,mBAAmB,IAAI;AAC7C,SAAK,SAAS,SAAS,qBAAqB,IAAI,IAAI;KAClD,GAAG,6BAA6B,SAAS,SAAS;KAClD,YAAY,SAAS;KACtB;AACD,SAAK,aAAa,SAAS,cAAc,SAAS;AAElD;;GAEF,KAAK,SAAS;IACZ,MAAM,QAAQ,KAAK,gBAAgB,IAAI;AAGvC,SAAK,SAAS,SAAS,qBAAqB,IAAI,IAAI;KAClD,GAAG,6BAA6B,MAAM,SAAS;KAC/C,YAAY,MAAM;KACnB;AACD,SAAK,aAAa,MAAM,cAAc,MAAM;AAC5C;;GAEF,KAAK,QAAQ;IACX,MAAM,OAAO,KAAK,eAAe,IAAI;AACrC,SAAK,SAAS,OAAO,KAAK,SAAS,QAAQ,EAAE;AAC7C,SAAK,SAAS,KAAK,qBAAqB,IAAI,IAAI;KAC9C,GAAG,6BAA6B,KAAK,SAAS;KAC9C,YAAY,KAAK;KAClB;AACD,SAAK,aAAa,KAAK,cAAc,KAAK;AAI1C,0BAAsB,KAAK,UAAU,eAAe;AACpD;;GAEF,KAAK,YAAY;AACf,QAAI,yBAAyB,UAAU,IAAI,CAEzC;IAEF,MAAM,MAAM,KAAK,mBAAmB,IAAI;AACxC,SAAK,SAAS,UAAU,qBAAqB,IAAI,IAAI,IAAI,KAAK;AAC9D,SAAK,aAAa,IAAI,KAAK,SAAS,cAAc,IAAI;AAGtD,SAAK,MAAM,CAAC,MAAM,QAAQ,OAAO,QAAQ,IAAI,KAAK,aAAa,CAC7D,MAAK,aAAa,QAAQ;AAM5B,SAAK,MAAM,OAAO,IAAI,KAAK,SAAS,wBAAwB,EAAE,CAC5D,uBAAsB,KAAK,UAAU,IAAI;AAG3C;;GAEF,KAAK,OACH,OAAM,IAAI,MACR,oEACK,0BAA0B,IAAI,CAAC,oBAAoB,qBAAqB,SAAS,GACvF;GACH,QACE,aAAY,IAAI,KAAK;;;;CAM7B,sBAA8B,QAA4C;AACxE,MAAI,OAAO,SAAS,SAAS,WAAY,OAAM,IAAI,MAAM,yBAAyB;EAGlF,MAAM,UAA8B;GAClC,MAAM;GACN,cAAc,GACX,OAAO,aAAa,OAAO,KAC7B;GACD,UAAU;IACR,GAAG,6BAA6B,OAAO,SAAS;IAChD,WAAW,EAAE;IACb,MAAM,EAAE;IACR,UAAU,EAAE;IACZ,QAAQ,EAAE;IACV,YAAY,OAAO;IACpB;GACF;AAED,+BAA6B,OAAO,iBAAiB,QAAQ,SAAS;AAGtE,OAAK,qCAAqC,OAAO,UAAU,SAAS,OAAO,cAAc,EAAE,CAAC;AAE5F,SAAO;;CAGT,OAAO,KAAqB;EAC1B,MAAM,aAAa,KAAK,KAAK,IAAI,IAAI,aAAa,KAAK,MAAM;AAC7D,MAAI,cAAc,CAAC,eAAe,IAAI,UAAU,WAAW,SAAS,CAClE,OAAM,IAAI,MACR,mDAAmD,iBAAiB,IAAI,SAAS,CAAC,eAAe,iBAAiB,WAAW,SAAS,GACvI;;CAGL,UAA4B;AAC1B,SAAO,KAAK,KAAK,MAAM,KAAK,YAAY;;CAG1C,OAAO,MAAqD;AAC1D,MAAI,KAAK,SAAS,UAChB,OAAM,IAAI,MAAM,8BAA8B,KAAK,KAAK,sBAAsB;AAChF,SAAO,KAAK,KAAK,IAAI,KAAK,aAAa,KAAK;;CAG9C,cAAc,MAAyC;EACrD,MAAM,MAAM,KAAK,OAAO,KAAK;AAC7B,MAAI,CAAC,IAAK,OAAM,IAAI,MAAM,sBAAsB,qBAAqB,KAAK,GAAG;AAC7E,SAAO;;CAGT,YAAY;AACV,OAAK,KAAK,QAAQ,KAAK,cAAc,QAAQ;AAC3C,QAAK,MAAM,OAAO,IAAI,cAAc;AAClC,QAAI,IAAI,SAAS,OACf,OAAM,IAAI,MACR,uDAAuD,0BAA0B,IAAI,CAAC,yBAAyB,iBAAiB,IAAI,SAAS,GAC9I;AAEH,QAAI,CAAC,KAAK,YAAY,IAAI,CACxB,OAAM,IAAI,MACR,yBAAyB,0BAA0B,IAAI,CAAC,OAAO,iBAAiB,IAAI,SAAS,GAC9F;;IAEL;;CAGJ,YAAY,UAA0B;EACpC,MAAM,YAAY,KAAK,SAAS,IAAI,SAAS,aAAa,UAAU,MAAM;AAC1E,MAAI,aAAa,CAAC,eAAe,SAAS,UAAU,UAAU,SAAS,CACrE,OAAM,IAAI,MACR,wDAAwD,iBAAiB,SAAS,SAAS,CAAC,eAAe,iBAAiB,UAAU,SAAS,GAChJ;;CAGL,cAAgC;AAC9B,SAAO,KAAK,SAAS,MAAM,KAAK,YAAY;;CAG9C,YAAY,MAAqD;AAC/D,MAAI,KAAK,SAAS,WAChB,OAAM,IAAI,MAAM,8BAA8B,KAAK,KAAK,uBAAuB;AAEjF,SAAO,KAAK,SAAS,IAAI,KAAK,aAAa,KAAK;;CAGlD,mBAAmB,MAAyC;EAC1D,MAAM,WAAW,KAAK,YAAY,KAAK;AACvC,MAAI,CAAC,SAAU,OAAM,IAAI,MAAM,4BAA4B,qBAAqB,KAAK,GAAG;AACxF,SAAO;;CAGT,SAAS,OAAuB;EAC9B,MAAM,eAAe,KAAK,OAAO,IAAI,MAAM,aAAa,OAAO,MAAM;AACrE,MAAI,gBAAgB,CAAC,eAAe,MAAM,UAAU,aAAa,SAAS,CACxE,OAAM,IAAI,MACR,qDAAqD,iBAAiB,MAAM,SAAS,CAAC,eAAe,iBAAiB,aAAa,SAAS,GAC7I;;CAGL,YAA8B;AAC5B,SAAO,KAAK,OAAO,MAAM,KAAK,YAAY;;CAG5C,SAAS,MAAqD;AAC5D,MAAI,KAAK,SAAS,QAChB,OAAM,IAAI,MAAM,8BAA8B,KAAK,KAAK,oBAAoB;AAE9E,SAAO,KAAK,OAAO,IAAI,KAAK,aAAa,KAAK;;CAGhD,gBAAgB,MAAyC;EACvD,MAAM,QAAQ,KAAK,SAAS,KAAK;AACjC,MAAI,CAAC,MAAO,OAAM,IAAI,MAAM,yBAAyB,qBAAqB,KAAK,GAAG;AAClF,SAAO;;CAGT,QAAQ,MAAsB;EAC5B,MAAM,cAAc,KAAK,KAAK,IAAI,KAAK,aAAa,MAAM,MAAM;AAChE,MAAI,eAAe,CAAC,eAAe,KAAK,UAAU,YAAY,SAAS,CACrE,OAAM,IAAI,MACR,oDAAoD,iBAAiB,KAAK,SAAS,CAAC,eAAe,iBAAiB,YAAY,SAAS,GAC1I;;CAGL,UAA4B;AAC1B,SAAO,KAAK,KAAK,MAAM,KAAK,YAAY;;CAG1C,QAAQ,MAAqD;AAC3D,MAAI,KAAK,SAAS,OAChB,OAAM,IAAI,MAAM,8BAA8B,KAAK,KAAK,oBAAoB;AAE9E,SAAO,KAAK,KAAK,IAAI,KAAK,aAAa,KAAK;;CAG9C,eAAe,MAAyC;EACtD,MAAM,OAAO,KAAK,QAAQ,KAAK;AAC/B,MAAI,CAAC,KAAM,OAAM,IAAI,MAAM,wBAAwB,qBAAqB,KAAK,GAAG;AAChF,SAAO;;CAGT,YAAY,KAAyB;EACnC,MAAM,aAAa,KAAK,UAAU,IAAI,IAAI,aAAa,KAAK,MAAM;AAClE,MAAI,cAAc,CAAC,eAAe,IAAI,UAAU,WAAW,SAAS,CAClE,OAAM,IAAI,MACR,oDAAoD,iBAAiB,IAAI,SAAS,CAAC,eAAe,iBAAiB,WAAW,SAAS,GACxI;;CAGL,eAAqC;AACnC,SAAO,KAAK,UAAU,MAAM,KAAK,YAAY;;CAG/C,YAAY,MAAyD;AACnE,MAAI,KAAK,SAAS,WAChB,OAAM,IAAI,MAAM,8BAA8B,KAAK,KAAK,uBAAuB;AACjF,SAAO,KAAK,UAAU,IAAI,KAAK,aAAa,KAAK;;CAGnD,mBAAmB,MAA6C;EAC9D,MAAM,MAAM,KAAK,YAAY,KAAK;AAClC,MAAI,CAAC,IAAK,OAAM,IAAI,MAAM,uBAAuB,qBAAqB,KAAK,GAAG;AAC9E,SAAO;;CAGT,YAAY,MAA0E;AACpF,UAAQ,KAAK,MAAb;GACE,KAAK,WACH,QAAO,KAAK,YAAY,KAAK;GAC/B,KAAK,UACH,QAAO,KAAK,OAAO,KAAK;GAC1B,KAAK,WACH,QAAO,KAAK,YAAY,KAAK;GAC/B,KAAK,QACH,QAAO,KAAK,SAAS,KAAK;GAC5B,KAAK,OACH,QAAO,KAAK,QAAQ,KAAK;GAC3B,KAAK,OAGH;GACF,QACE,aAAY,KAAK,KAAK;;;CAI5B,cAAc,SAA6C;EACzD,MAAM,SAA2B;GAC/B,WAAW,EAAE;GACb,MAAM,EAAE;GACR,UAAU,EAAE;GACZ,QAAQ,EAAE;GACV,MAAM,EAAE;GACT;EAED,IAAI,UAA4B,EAAE;AAElC,OAAK,MAAM,OAAO,QAChB,KAAI,IAAI,SAAS,SAAS,WAAW;AAEnC,QAAK,OAAO,IAAI;AAChB,UAAO,KAAK,KAAK,IAAI;aACZ,IAAI,SAAS,SAAS,YAAY;AAE3C,QAAK,YAAY,IAAI;AACrB,UAAO,SAAS,KAAK,IAAI;aAChB,IAAI,SAAS,SAAS,SAAS;AAExC,QAAK,SAAS,IAAI;AAClB,UAAO,OAAO,KAAK,IAAI;aACd,IAAI,SAAS,SAAS,QAAQ;AAEvC,QAAK,QAAQ,IAAI;AACjB,UAAO,KAAK,KAAK,IAAI;QAErB,SAAQ,KAAK,IAAI;AAIrB,SAAO,QAAQ,SAAS,GAAG;GACzB,MAAM,cAAqD,EAAE;AAE7D,QAAK,MAAM,OAAO,SAAS;IAQzB,MAAM,cAAc,IAAI,aAAa,QAClC,QACC,CAAC,KAAK,YAAY,IAAI,IAEtB,EAAE,IAAI,SAAS,SAAS,cAAc,yBAAyB,IAAI,UAAU,IAAI,EACpF;AACD,QAAI,YAAY,SAAS,GAAG;KAC1B,IAAI,eAAe,+BAA+B,iBAAiB,IAAI,SAAS,CAAC;AACjF,UAAK,MAAM,OAAO,YAChB,iBAAgB,OAAO,0BAA0B,IAAI,CAAC;AAExD,iBAAY,KAAK;MAAE;MAAK,KAAK,IAAI,MAAM,aAAa;MAAE,CAAC;AAEvD;;AAIF,YAAQ,IAAI,SAAS,MAArB;KACE,KAAK;AAEH,WAAK,OAAO,IAAI;AAChB,aAAO,KAAK,KAAK,IAAI;AACrB;KACF,KAAK;AAEH,WAAK,YAAY,IAAI;AACrB,aAAO,SAAS,KAAK,IAAI;AACzB;KACF,KAAK;AAEH,WAAK,SAAS,IAAI;AAClB,aAAO,OAAO,KAAK,IAAI;AACvB;KACF,KAAK;AAEH,WAAK,QAAQ,IAAI;AACjB,aAAO,KAAK,KAAK,IAAI;AACrB;KACF,KAAK;AAEH,UAAI;OACF,MAAM,MAAM,KAAK,sBAAsB,IAAI;OAC3C,MAAM,aAAa,sBAAsB,IAAI,aAAa,IAAI,UAAU,KAAK,IAAI,IAAI;AACrF,YAAK,YAAY,WAAW;AAC5B,cAAO,UAAU,KAAK,WAAW;eAC1B,OAAgB;OACvB,MAAM,MAAM;OACZ,IAAI,eAAe,+BAA+B,iBAAiB,IAAI,SAAS,CAAC;AACjF,uBAAgB,OAAO,IAAI,QAAQ;AAEnC,mBAAY,KAAK;QAAE;QAAK,KAAK,MAAM,aAAa;QAAE,CAAC;;AAErD;KACF,KAAK,OAEH;KACF,QACE,aAAY,IAAI,SAAS,KAAK;;;AAMpC,OAAI,QAAQ,WAAW,YAAY,QAAQ;IACzC,IAAI,eAAe;AAEnB,SAAK,MAAM,KAAK,YACd,iBAAgB,KAAK,EAAE,IAAI;AAE7B,UAAM,IAAI,MAAM,aAAa;;AAG/B,aAAU,YAAY,KAAK,EAAE,KAAK,qBAAqB,eAAe;;AAGxE,SAAO"}