openalgo-script 0.1.0-alpha.1 → 0.4.0

package/dist/core/emit/context.d.ts

@@ -0,0 +1,271 @@
+/**
+ * The state one compile of one file shares, and the small answers every pass
+ * asks of it.
+ *
+ * The passes that emit code are ordinary functions taking this and a node, on
+ * the same arrangement the checker uses, so a reader can follow one expression
+ * from its syntax to its instructions without holding a class hierarchy in
+ * their head. Everything mutable is here and nowhere else.
+ */
+import type { Argument, Call, Expression, Name, NameReference } from '../ast/index.js';
+import type { Binding, CheckedCall, CheckedInput, CheckedScript, LibraryEntry } from '../check/index.js';
+import type { RequestScope } from './request-scope.js';
+import type { DiagnosticSink } from '../diagnostics/index.js';
+import type { SourceFile } from '../source/index.js';
+import type { Span } from '../span/index.js';
+import { CodeBuilder } from './code.js';
+import { GapLog } from './gaps.js';
+import { FrameLayout, Layout } from './layout.js';
+import { ConstantPool } from './pool.js';
+import type { Alert, Band, CompiledFunction, CompiledInput, Grid, LibraryFunction, Level, Loop, Marker, Paint, Plot, Request } from './program.js';
+import type { Value } from './values.js';
+/**
+ * The calls that declare part of the file's fixed shape and compile to no
+ * `CALL_LIB` at all.
+ *
+ * This is the split the format turns on. A `plot` call is an entry in
+ * `outputs.plots` plus one `EMIT` per bar; `input` is a row of the settings
+ * dialog and an engine writing a slot at step 5; `table` is a declared grid.
+ * None of them is a function an engine calls, so none of them belongs in
+ * `lib.functions`, whose only purpose is to be named by a `CALL_LIB` (2.5).
+ */
+/**
+ * The calls that declare part of the file rather than computing anything.
+ *
+ * None of them is a `CALL_LIB`, so none of them is in the engine's library
+ * manifest and none of them can be looked for there. The list is exported so a
+ * test that asks which names an engine has to implement can subtract these
+ * rather than carry a second copy of them.
+ */
+export declare const DECLARATION_CALLS: ReadonlySet<string>;
+export interface EmitOptions {
+    /** The library manifest version, tied to `openscript.language` (2.5). */
+    readonly manifest?: number;
+    /** The engine's declared state region count, for OS5004. */
+    readonly maxStates?: number;
+    /** The engine's instruction ceiling, for OS5009. */
+    readonly maxInstructions?: number;
+    /** Give every top-level name a register, which is `debug.retain` (2.10). */
+    readonly retain?: boolean;
+}
+/** One call site under construction; its bases are filled once totals are known. */
+export interface Site {
+    readonly index: number;
+    fn: number;
+    argc: number;
+    cellBase: number;
+    stateBase: number;
+    series: number[];
+    /** The body this site's `fn` entry was built from, for the base walk. */
+    frame: FrameLayout | undefined;
+    /** Sites reached from inside that body, so bases nest without overlapping. */
+    children: number[];
+}
+/** A loop being emitted, and where `break` and `continue` jump to. */
+export interface LoopFrame {
+    readonly id: number;
+    readonly breaks: number[];
+    readonly continues: number[];
+}
+/** The frame a pass is emitting into: the top level, or one function body. */
+export declare class Frame {
+    readonly layout: FrameLayout;
+    readonly builder: CodeBuilder;
+    readonly loops: LoopFrame[];
+    /** Sites created while emitting this frame, in the order they were created. */
+    readonly sites: number[];
+    /** A parameter's position, for `HISTP`, by the binding that declared it. */
+    readonly parameters: Map<number, number>;
+    readonly topLevel: boolean;
+    constructor(topLevel: boolean);
+}
+export declare class Emitter {
+    readonly pool: ConstantPool;
+    readonly layout: Layout;
+    readonly gaps: GapLog;
+    readonly libraryFunctions: LibraryFunction[];
+    /** The signature behind each entry, which is what `requires` is derived from. */
+    readonly calledEntries: LibraryEntry[];
+    readonly sites: Site[];
+    readonly functions: CompiledFunction[];
+    readonly functionPos: (readonly [number, readonly (readonly [number, number, number])[]])[];
+    readonly loops: Loop[];
+    /** A frame per emitted function entry, for the cell and state base walk. */
+    readonly functionFrames: FrameLayout[];
+    /**
+     * File-scope names given a register although nothing reads their history.
+     *
+     * A slot belongs to one frame, so a name a function body reads has to live
+     * somewhere every frame can address; `registers.ts` is where that is decided.
+     */
+    readonly promoted: Set<number>;
+    /** Cells and input slots carrying a register beside them, kept in step per bar. */
+    readonly shadowed: Set<number>;
+    /**
+     * Cells a function body reads, whose register is kept in step within the bar.
+     *
+     * A cell operand is relative to its own frame (2.11, 3.3), so a body has no
+     * instruction that reaches a file-scope `var`. A register is addressed the
+     * same way from every frame, so the value goes in one beside the cell: read
+     * from the cell at the start of the bar, written again at every assignment,
+     * so a body called at any point in the bar reads what the cell holds then.
+     */
+    readonly carried: Set<number>;
+    /** Bodies being emitted, so a call graph with a cycle in it stops (11.4). */
+    readonly emitting: Set<number>;
+    /**
+     * The file's fixed shape, filled in source order as the declarations are met.
+     *
+     * Source order is declaration order is legend order, so nothing sorts these
+     * afterwards: the script already decided, and a second decision here would be
+     * a second answer (2.8).
+     */
+    readonly plots: Plot[];
+    readonly fills: Band[];
+    readonly levels: Level[];
+    readonly markers: Marker[];
+    readonly tables: Grid[];
+    readonly alerts: Alert[];
+    readonly inputs: CompiledInput[];
+    barColor: Paint | null;
+    background: Paint | null;
+    /** The plot key a declaration handle holds, so `fill` can name two of them. */
+    readonly handleKeys: Map<number, string>;
+    /** Names holding a declaration handle, which lives where the declaration put it. */
+    readonly handles: Set<number>;
+    /** The reads of 2.16, and the request a name holding one came from. */
+    readonly requests: Request[];
+    readonly requestOf: Map<number, number>;
+    /** The register one read's value lands in, so one call asks one question. */
+    readonly requestSeries: Map<number, number>;
+    /**
+     * The read whose expression is being emitted, when this emitter is one.
+     *
+     * An expression inside a read is compiled over other bars, so it gets an
+     * emitter of its own rather than a flag on a frame: its registers, its cells
+     * and its state regions are counted from zero on the requested bars, and a
+     * pass that read the parent's would emit a program that computes this
+     * chart's numbers under another chart's name.
+     */
+    readonly request: RequestScope | undefined;
+    private readonly libraryIndex;
+    /** A leaf body, which calls no user function, is shared by every call site. */
+    private readonly sharedBodies;
+    readonly file: SourceFile;
+    readonly checked: CheckedScript;
+    readonly sink: DiagnosticSink;
+    readonly options: EmitOptions;
+    constructor(file: SourceFile, checked: CheckedScript, sink: DiagnosticSink, options: EmitOptions, parent?: Emitter, request?: RequestScope);
+    /** An emitter for one read's expression, sharing what does not depend on a bar. */
+    forRequest(request: RequestScope): Emitter;
+    /** The checker's answer for one call, which the emitter never re-derives. */
+    callAt(call: Call): CheckedCall | undefined;
+    /** The declaration a name means, from the checker's own resolution. */
+    bindingAt(reference: NameReference): Binding | undefined;
+    /** The input one `input()` call declares, from the checker's own table. */
+    inputAt(call: Call): CheckedInput | undefined;
+    /** Whether a call is a declaration rather than something an engine calls. */
+    isDeclaration(name: string): boolean;
+    /**
+     * The index of a library function in `lib.functions`, adding it on first use.
+     *
+     * `state` and `effect` are recorded beside the name because 2.5 requires them
+     * and because they are facts an engine already knows: they are there to be
+     * disagreed with at load, which is how a program compiled against a newer
+     * library is caught before it computes a wrong number.
+     */
+    libraryFunction(entry: LibraryEntry): number;
+    newSite(fn: number, argc: number): Site;
+    newLoop(kind: Loop['kind'], span: Span): number;
+    /** A body that calls no user function is one entry however many sites reach it. */
+    shareableBody(checkedFunction: number): number | undefined;
+    rememberShareableBody(checkedFunction: number, emitted: number): void;
+    gap(what: string, specification: string, span: Span | undefined, blocking: boolean): void;
+    /**
+     * The value an expression has before bar 0, or nothing when it has none.
+     *
+     * The environment is built here because folding needs two answers only the
+     * checker has: which declaration a name means, and which signature a call
+     * resolved to with its arguments already in parameter order.
+     */
+    fold(expression: Expression): Value | undefined;
+    private foldEnvironment;
+}
+/**
+ * The key one input is known by: `inputs[].key`, and what a `{ "input": key }`
+ * field names (2.3 and 2.6).
+ *
+ * Here rather than beside the table it keys, because three places name an
+ * input by key and a second spelling of this would be a field that points at
+ * no row.
+ *
+ * **Never the input's position.** `host-interface.md` 8.1 promises a key
+ * "survives every edit that does not rename it", and a positional key keeps
+ * that promise for no edit at all: inserting one tunable above another moves
+ * every key below it, and a value a user stored against the third row lands on
+ * the fourth, silently, because both are numbers and 8.3 has nothing to refuse.
+ * An input written where a value belongs is assigned to no name, so its key is
+ * its title, which is what the user sees and what changing is the rename 8.1
+ * allows to lose a value. The two cannot collide: two inputs sharing a title
+ * are OS3017, a title spelling another input's name is OS3022, and a title
+ * that is not there at all is OS3021, so a key of `""` here is a program the
+ * checker has already refused.
+ */
+export declare function inputKey(input: CheckedInput): string;
+/**
+ * Which of the five effects a library call carries, `compiled-program.md` 2.5
+ * and 5.4.
+ *
+ * The rule an entry is read by rather than a list of names, because a list in a
+ * second place is a list that drifts. A call with an effect does not perform it
+ * when it executes: it appends a record and **pushes absent as its result**. So
+ * a call whose result a script uses cannot carry one, and that single sentence
+ * settles every case in version 1.
+ *
+ * `order` is every call that spends money: `strategyOnly`, written with
+ * brackets, and returning nothing. A `pos.*` reading is not one, because it is
+ * read bare; `order.qtyForRisk` is not one, because it returns a number the
+ * script goes on to size an order with.
+ *
+ * `log` is `print`, which reaches a log outside the machine.
+ *
+ * `draw` and `signal` are not reachable in version 1 and the emitter says so
+ * rather than guessing. A drawing object lives in the object heap, which rolls
+ * back with everything else (6.1), so a drawing needs no deferral to be
+ * idempotent on a moving bar; a table cell is written to a per-bar output
+ * buffer that is committed with the columns (2.8); and a marker and an alert
+ * reach the host through a channel declared `defer`, not through a call.
+ */
+export declare function effectOf(entry: LibraryEntry): LibraryFunction['effect'];
+/**
+ * The arguments a `CALL_LIB` pushes for one entry, which is its `arity` (2.5).
+ *
+ * The same for every entry but the order functions, which carry one argument
+ * more than the language surface shows: the names of the arguments the script
+ * wrote. `calls.ts` says why an order call needs it and no other call does.
+ *
+ * Stated here rather than at the two places that need it, because the count the
+ * program records and the count the instruction pushes disagreeing is a program
+ * no engine will load.
+ */
+export declare function arityOf(entry: LibraryEntry): number;
+/** The argument written for one parameter of a resolved call, or nothing. */
+export declare function argumentAt(checked: CheckedCall, entry: LibraryEntry, name: string): Argument | undefined;
+/**
+ * Every top-level name and the expression it is given, in source order.
+ *
+ * Two passes need it before any instruction is emitted: one to find the names
+ * that hold a declaration handle, and one to find the names that hold a read.
+ * Both have to answer about a name written below the line that asks, so both
+ * run over the file rather than over what has been emitted so far.
+ */
+export declare function declaredNames(e: Emitter): readonly DeclaredName[];
+/** One of those names, and whether `var` was written in front of it. */
+export interface DeclaredName {
+    readonly name: Name;
+    readonly value: Expression;
+    readonly persistent: boolean;
+}
+/** The dotted name a callee spells, for a call the checker did not resolve. */
+export declare function calleeText(expression: Expression): string;
+//# sourceMappingURL=context.d.ts.map

package/dist/core/emit/context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../../src/core/emit/context.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAEvF,OAAO,KAAK,EACV,OAAO,EACP,WAAW,EACX,YAAY,EACZ,aAAa,EACb,YAAY,EACb,MAAM,mBAAmB,CAAC;AAE3B,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AACnC,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,KAAK,EACV,KAAK,EACL,IAAI,EACJ,gBAAgB,EAChB,aAAa,EACb,IAAI,EACJ,eAAe,EACf,KAAK,EACL,IAAI,EACJ,MAAM,EACN,KAAK,EACL,IAAI,EACJ,OAAO,EACR,MAAM,cAAc,CAAC;AAEtB,OAAO,KAAK,EAAmB,KAAK,EAAE,MAAM,aAAa,CAAC;AAE1D;;;;;;;;;GASG;AACH;;;;;;;GAOG;AACH,eAAO,MAAM,iBAAiB,EAAE,WAAW,CAAC,MAAM,CAWhD,CAAC;AAEH,MAAM,WAAW,WAAW;IAC1B,yEAAyE;IACzE,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,4DAA4D;IAC5D,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,oDAAoD;IACpD,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC,4EAA4E;IAC5E,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;CAC3B;AAED,oFAAoF;AACpF,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,yEAAyE;IACzE,KAAK,EAAE,WAAW,GAAG,SAAS,CAAC;IAC/B,8EAA8E;IAC9E,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,sEAAsE;AACtE,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC;CAC9B;AAED,8EAA8E;AAC9E,qBAAa,KAAK;IAChB,QAAQ,CAAC,MAAM,cAAqB;IACpC,QAAQ,CAAC,OAAO,cAAqB;IACrC,QAAQ,CAAC,KAAK,EAAE,SAAS,EAAE,CAAM;IACjC,+EAA+E;IAC/E,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,CAAM;IAC9B,4EAA4E;IAC5E,QAAQ,CAAC,UAAU,sBAA6B;IAChD,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;gBAEf,QAAQ,EAAE,OAAO;CAG9B;AAED,qBAAa,OAAO;IAClB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,MAAM,SAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,gBAAgB,EAAE,eAAe,EAAE,CAAC;IAC7C,iFAAiF;IACjF,QAAQ,CAAC,aAAa,EAAE,YAAY,EAAE,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,CAAM;IAC5B,QAAQ,CAAC,SAAS,EAAE,gBAAgB,EAAE,CAAM;IAC5C,QAAQ,CAAC,WAAW,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAM;IACjG,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,CAAM;IAC5B,4EAA4E;IAC5E,QAAQ,CAAC,cAAc,EAAE,WAAW,EAAE,CAAM;IAC5C;;;;;OAKG;IACH,QAAQ,CAAC,QAAQ,cAAqB;IACtC,mFAAmF;IACnF,QAAQ,CAAC,QAAQ,cAAqB;IACtC;;;;;;;;OAQG;IACH,QAAQ,CAAC,OAAO,cAAqB;IACrC,6EAA6E;IAC7E,QAAQ,CAAC,QAAQ,cAAqB;IAEtC;;;;;;OAMG;IACH,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,CAAM;IAC5B,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,CAAM;IAC5B,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,CAAM;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,CAAM;IAChC,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,CAAM;IAC7B,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,CAAM;IAC9B,QAAQ,CAAC,MAAM,EAAE,aAAa,EAAE,CAAM;IACtC,QAAQ,EAAE,KAAK,GAAG,IAAI,CAAQ;IAC9B,UAAU,EAAE,KAAK,GAAG,IAAI,CAAQ;IAChC,+EAA+E;IAC/E,QAAQ,CAAC,UAAU,sBAA6B;IAChD,oFAAoF;IACpF,QAAQ,CAAC,OAAO,cAAqB;IACrC,uEAAuE;IACvE,QAAQ,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAM;IAClC,QAAQ,CAAC,SAAS,sBAA6B;IAC/C,6EAA6E;IAC7E,QAAQ,CAAC,aAAa,sBAA6B;IACnD;;;;;;;;OAQG;IACH,QAAQ,CAAC,OAAO,EAAE,YAAY,GAAG,SAAS,CAAC;IAE3C,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAsB;IACnD,+EAA+E;IAC/E,OAAO,CAAC,QAAQ,CAAC,YAAY,CAA6B;IAE1D,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;gBAG5B,IAAI,EAAE,UAAU,EAChB,OAAO,EAAE,aAAa,EACtB,IAAI,EAAE,cAAc,EACpB,OAAO,EAAE,WAAW,EACpB,MAAM,CAAC,EAAE,OAAO,EAChB,OAAO,CAAC,EAAE,YAAY;IAiBxB,mFAAmF;IACnF,UAAU,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO;IAI1C,6EAA6E;IAC7E,MAAM,CAAC,IAAI,EAAE,IAAI,GAAG,WAAW,GAAG,SAAS;IAI3C,uEAAuE;IACvE,SAAS,CAAC,SAAS,EAAE,aAAa,GAAG,OAAO,GAAG,SAAS;IAIxD,2EAA2E;IAC3E,OAAO,CAAC,IAAI,EAAE,IAAI,GAAG,YAAY,GAAG,SAAS;IAI7C,6EAA6E;IAC7E,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;IAIpC;;;;;;;OAOG;IACH,eAAe,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM;IAkB5C,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAevC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,GAAG,MAAM;IAM/C,mFAAmF;IACnF,aAAa,CAAC,eAAe,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAI1D,qBAAqB,CAAC,eAAe,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI;IAIrE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,SAAS,EAAE,QAAQ,EAAE,OAAO,GAAG,IAAI;IAIzF;;;;;;OAMG;IACH,IAAI,CAAC,UAAU,EAAE,UAAU,GAAG,KAAK,GAAG,SAAS;IAI/C,OAAO,CAAC,eAAe;CAqBxB;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM,CAEpD;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,YAAY,GAAG,eAAe,CAAC,QAAQ,CAAC,CAIvE;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,OAAO,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM,CAEnD;AAED,6EAA6E;AAC7E,wBAAgB,UAAU,CACxB,OAAO,EAAE,WAAW,EACpB,KAAK,EAAE,YAAY,EACnB,IAAI,EAAE,MAAM,GACX,QAAQ,GAAG,SAAS,CAGtB;AAED;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,OAAO,GAAG,SAAS,YAAY,EAAE,CAUjE;AAED,wEAAwE;AACxE,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;CAC9B;AAED,+EAA+E;AAC/E,wBAAgB,UAAU,CAAC,UAAU,EAAE,UAAU,GAAG,MAAM,CAQzD"}

package/dist/core/emit/context.js

@@ -0,0 +1,358 @@
+import { withoutGrouping } from '../ast/index.js';
+import { inputHeldBy } from '../check/index.js';
+import { CodeBuilder } from './code.js';
+import { GapLog } from './gaps.js';
+import { FrameLayout, Layout } from './layout.js';
+import { ConstantPool } from './pool.js';
+import { fold } from './values.js';
+/**
+ * The calls that declare part of the file's fixed shape and compile to no
+ * `CALL_LIB` at all.
+ *
+ * This is the split the format turns on. A `plot` call is an entry in
+ * `outputs.plots` plus one `EMIT` per bar; `input` is a row of the settings
+ * dialog and an engine writing a slot at step 5; `table` is a declared grid.
+ * None of them is a function an engine calls, so none of them belongs in
+ * `lib.functions`, whose only purpose is to be named by a `CALL_LIB` (2.5).
+ */
+/**
+ * The calls that declare part of the file rather than computing anything.
+ *
+ * None of them is a `CALL_LIB`, so none of them is in the engine's library
+ * manifest and none of them can be looked for there. The list is exported so a
+ * test that asks which names an engine has to implement can subtract these
+ * rather than carry a second copy of them.
+ */
+export const DECLARATION_CALLS = new Set([
+    'plot',
+    'plotCandles',
+    'fill',
+    'level',
+    'table',
+    'input',
+    'signal',
+    'alert',
+    'barColor',
+    'background',
+]);
+/** The frame a pass is emitting into: the top level, or one function body. */
+export class Frame {
+    layout = new FrameLayout();
+    builder = new CodeBuilder();
+    loops = [];
+    /** Sites created while emitting this frame, in the order they were created. */
+    sites = [];
+    /** A parameter's position, for `HISTP`, by the binding that declared it. */
+    parameters = new Map();
+    topLevel;
+    constructor(topLevel) {
+        this.topLevel = topLevel;
+    }
+}
+export class Emitter {
+    pool;
+    layout = new Layout();
+    gaps;
+    libraryFunctions;
+    /** The signature behind each entry, which is what `requires` is derived from. */
+    calledEntries;
+    sites = [];
+    functions = [];
+    functionPos = [];
+    loops = [];
+    /** A frame per emitted function entry, for the cell and state base walk. */
+    functionFrames = [];
+    /**
+     * File-scope names given a register although nothing reads their history.
+     *
+     * A slot belongs to one frame, so a name a function body reads has to live
+     * somewhere every frame can address; `registers.ts` is where that is decided.
+     */
+    promoted = new Set();
+    /** Cells and input slots carrying a register beside them, kept in step per bar. */
+    shadowed = new Set();
+    /**
+     * Cells a function body reads, whose register is kept in step within the bar.
+     *
+     * A cell operand is relative to its own frame (2.11, 3.3), so a body has no
+     * instruction that reaches a file-scope `var`. A register is addressed the
+     * same way from every frame, so the value goes in one beside the cell: read
+     * from the cell at the start of the bar, written again at every assignment,
+     * so a body called at any point in the bar reads what the cell holds then.
+     */
+    carried = new Set();
+    /** Bodies being emitted, so a call graph with a cycle in it stops (11.4). */
+    emitting = new Set();
+    /**
+     * The file's fixed shape, filled in source order as the declarations are met.
+     *
+     * Source order is declaration order is legend order, so nothing sorts these
+     * afterwards: the script already decided, and a second decision here would be
+     * a second answer (2.8).
+     */
+    plots = [];
+    fills = [];
+    levels = [];
+    markers = [];
+    tables = [];
+    alerts = [];
+    inputs = [];
+    barColor = null;
+    background = null;
+    /** The plot key a declaration handle holds, so `fill` can name two of them. */
+    handleKeys = new Map();
+    /** Names holding a declaration handle, which lives where the declaration put it. */
+    handles = new Set();
+    /** The reads of 2.16, and the request a name holding one came from. */
+    requests = [];
+    requestOf = new Map();
+    /** The register one read's value lands in, so one call asks one question. */
+    requestSeries = new Map();
+    /**
+     * The read whose expression is being emitted, when this emitter is one.
+     *
+     * An expression inside a read is compiled over other bars, so it gets an
+     * emitter of its own rather than a flag on a frame: its registers, its cells
+     * and its state regions are counted from zero on the requested bars, and a
+     * pass that read the parent's would emit a program that computes this
+     * chart's numbers under another chart's name.
+     */
+    request;
+    libraryIndex;
+    /** A leaf body, which calls no user function, is shared by every call site. */
+    sharedBodies = new Map();
+    file;
+    checked;
+    sink;
+    options;
+    constructor(file, checked, sink, options, parent, request) {
+        this.file = file;
+        this.checked = checked;
+        this.sink = sink;
+        this.options = options;
+        // A read's body shares the constant pool and the library manifest, because
+        // neither holds anything that depends on a bar, and one of each is one
+        // table for an engine to verify rather than one per read (2.16).
+        this.pool = parent?.pool ?? new ConstantPool();
+        this.gaps = parent?.gaps ?? new GapLog();
+        this.libraryFunctions = parent?.libraryFunctions ?? [];
+        this.calledEntries = parent?.calledEntries ?? [];
+        this.libraryIndex = parent?.libraryIndex ?? new Map();
+        this.request = request;
+    }
+    /** An emitter for one read's expression, sharing what does not depend on a bar. */
+    forRequest(request) {
+        return new Emitter(this.file, this.checked, this.sink, this.options, this, request);
+    }
+    /** The checker's answer for one call, which the emitter never re-derives. */
+    callAt(call) {
+        return this.checked.callSites.get(call);
+    }
+    /** The declaration a name means, from the checker's own resolution. */
+    bindingAt(reference) {
+        return this.checked.references.get(reference);
+    }
+    /** The input one `input()` call declares, from the checker's own table. */
+    inputAt(call) {
+        return this.checked.inputs.find((one) => one.call === call);
+    }
+    /** Whether a call is a declaration rather than something an engine calls. */
+    isDeclaration(name) {
+        return DECLARATION_CALLS.has(name);
+    }
+    /**
+     * The index of a library function in `lib.functions`, adding it on first use.
+     *
+     * `state` and `effect` are recorded beside the name because 2.5 requires them
+     * and because they are facts an engine already knows: they are there to be
+     * disagreed with at load, which is how a program compiled against a newer
+     * library is caught before it computes a wrong number.
+     */
+    libraryFunction(entry) {
+        // Keyed by name and arity, because a name may carry two signatures: `clear`
+        // empties an array or a grid and the two are separate entries (stdlib 2.2).
+        const key = `${entry.name}/${entry.parameters.length}`;
+        const found = this.libraryIndex.get(key);
+        if (found !== undefined)
+            return found;
+        const index = this.libraryFunctions.length;
+        this.libraryFunctions.push({
+            name: entry.name,
+            arity: arityOf(entry),
+            state: entry.stateful,
+            effect: effectOf(entry),
+        });
+        this.calledEntries.push(entry);
+        this.libraryIndex.set(key, index);
+        return index;
+    }
+    newSite(fn, argc) {
+        const site = {
+            index: this.sites.length,
+            fn,
+            argc,
+            cellBase: 0,
+            stateBase: 0,
+            series: [],
+            frame: undefined,
+            children: [],
+        };
+        this.sites.push(site);
+        return site;
+    }
+    newLoop(kind, span) {
+        const id = this.loops.length;
+        this.loops.push({ id, kind, line: span.line, col: span.column });
+        return id;
+    }
+    /** A body that calls no user function is one entry however many sites reach it. */
+    shareableBody(checkedFunction) {
+        return this.sharedBodies.get(checkedFunction);
+    }
+    rememberShareableBody(checkedFunction, emitted) {
+        this.sharedBodies.set(checkedFunction, emitted);
+    }
+    gap(what, specification, span, blocking) {
+        this.gaps.add({ what, specification, span, blocking });
+    }
+    /**
+     * The value an expression has before bar 0, or nothing when it has none.
+     *
+     * The environment is built here because folding needs two answers only the
+     * checker has: which declaration a name means, and which signature a call
+     * resolved to with its arguments already in parameter order.
+     */
+    fold(expression) {
+        return fold(expression, this.foldEnvironment());
+    }
+    foldEnvironment() {
+        return {
+            name: (reference) => {
+                const binding = this.bindingAt(reference);
+                if (binding === undefined)
+                    return undefined;
+                const held = inputHeldBy(binding);
+                if (held === undefined)
+                    return undefined;
+                const input = this.checked.inputs[held];
+                return input === undefined ? undefined : { kind: 'input', key: inputKey(input) };
+            },
+            call: (call) => {
+                const checked = this.callAt(call);
+                if (checked === undefined || checked.target !== 'library')
+                    return undefined;
+                return { name: checked.name, args: checked.arguments };
+            },
+            input: (call) => {
+                const input = this.inputAt(call);
+                return input === undefined ? undefined : { kind: 'input', key: inputKey(input) };
+            },
+        };
+    }
+}
+/**
+ * The key one input is known by: `inputs[].key`, and what a `{ "input": key }`
+ * field names (2.3 and 2.6).
+ *
+ * Here rather than beside the table it keys, because three places name an
+ * input by key and a second spelling of this would be a field that points at
+ * no row.
+ *
+ * **Never the input's position.** `host-interface.md` 8.1 promises a key
+ * "survives every edit that does not rename it", and a positional key keeps
+ * that promise for no edit at all: inserting one tunable above another moves
+ * every key below it, and a value a user stored against the third row lands on
+ * the fourth, silently, because both are numbers and 8.3 has nothing to refuse.
+ * An input written where a value belongs is assigned to no name, so its key is
+ * its title, which is what the user sees and what changing is the rename 8.1
+ * allows to lose a value. The two cannot collide: two inputs sharing a title
+ * are OS3017, a title spelling another input's name is OS3022, and a title
+ * that is not there at all is OS3021, so a key of `""` here is a program the
+ * checker has already refused.
+ */
+export function inputKey(input) {
+    return input.name === '' ? input.title : input.name;
+}
+/**
+ * Which of the five effects a library call carries, `compiled-program.md` 2.5
+ * and 5.4.
+ *
+ * The rule an entry is read by rather than a list of names, because a list in a
+ * second place is a list that drifts. A call with an effect does not perform it
+ * when it executes: it appends a record and **pushes absent as its result**. So
+ * a call whose result a script uses cannot carry one, and that single sentence
+ * settles every case in version 1.
+ *
+ * `order` is every call that spends money: `strategyOnly`, written with
+ * brackets, and returning nothing. A `pos.*` reading is not one, because it is
+ * read bare; `order.qtyForRisk` is not one, because it returns a number the
+ * script goes on to size an order with.
+ *
+ * `log` is `print`, which reaches a log outside the machine.
+ *
+ * `draw` and `signal` are not reachable in version 1 and the emitter says so
+ * rather than guessing. A drawing object lives in the object heap, which rolls
+ * back with everything else (6.1), so a drawing needs no deferral to be
+ * idempotent on a moving bar; a table cell is written to a per-bar output
+ * buffer that is committed with the columns (2.8); and a marker and an alert
+ * reach the host through a channel declared `defer`, not through a call.
+ */
+export function effectOf(entry) {
+    if (entry.name === 'print')
+        return 'log';
+    if (entry.strategyOnly && entry.callable && entry.returns.kind === 'nothing')
+        return 'order';
+    return 'none';
+}
+/**
+ * The arguments a `CALL_LIB` pushes for one entry, which is its `arity` (2.5).
+ *
+ * The same for every entry but the order functions, which carry one argument
+ * more than the language surface shows: the names of the arguments the script
+ * wrote. `calls.ts` says why an order call needs it and no other call does.
+ *
+ * Stated here rather than at the two places that need it, because the count the
+ * program records and the count the instruction pushes disagreeing is a program
+ * no engine will load.
+ */
+export function arityOf(entry) {
+    return entry.parameters.length + (effectOf(entry) === 'order' ? 1 : 0);
+}
+/** The argument written for one parameter of a resolved call, or nothing. */
+export function argumentAt(checked, entry, name) {
+    const index = entry.parameters.findIndex((one) => one.name === name);
+    return index < 0 ? undefined : checked.arguments[index];
+}
+/**
+ * Every top-level name and the expression it is given, in source order.
+ *
+ * Two passes need it before any instruction is emitted: one to find the names
+ * that hold a declaration handle, and one to find the names that hold a read.
+ * Both have to answer about a name written below the line that asks, so both
+ * run over the file rather than over what has been emitted so far.
+ */
+export function declaredNames(e) {
+    const found = [];
+    for (const item of e.checked.script.items) {
+        if (item.kind === 'assignment') {
+            found.push({ name: item.target, value: item.value, persistent: false });
+        }
+        else if (item.kind === 'varDeclaration') {
+            found.push({ name: item.name, value: item.initialiser, persistent: true });
+        }
+    }
+    return found;
+}
+/** The dotted name a callee spells, for a call the checker did not resolve. */
+export function calleeText(expression) {
+    const inner = withoutGrouping(expression);
+    if (inner.kind === 'nameReference')
+        return inner.name;
+    if (inner.kind === 'member') {
+        const object = withoutGrouping(inner.object);
+        if (object.kind === 'nameReference')
+            return `${object.name}.${inner.member.text}`;
+    }
+    return '';
+}
+//# sourceMappingURL=context.js.map

package/dist/core/emit/context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.js","sourceRoot":"","sources":["../../../src/core/emit/context.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAQlD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAKhD,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AACnC,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AAezC,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAGnC;;;;;;;;;GASG;AACH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAwB,IAAI,GAAG,CAAC;IAC5D,MAAM;IACN,aAAa;IACb,MAAM;IACN,OAAO;IACP,OAAO;IACP,OAAO;IACP,QAAQ;IACR,OAAO;IACP,UAAU;IACV,YAAY;CACb,CAAC,CAAC;AAkCH,8EAA8E;AAC9E,MAAM,OAAO,KAAK;IACP,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;IAC3B,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC;IAC5B,KAAK,GAAgB,EAAE,CAAC;IACjC,+EAA+E;IACtE,KAAK,GAAa,EAAE,CAAC;IAC9B,4EAA4E;IACnE,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,QAAQ,CAAU;IAE3B,YAAY,QAAiB;QAC3B,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;IAC3B,CAAC;CACF;AAED,MAAM,OAAO,OAAO;IACT,IAAI,CAAe;IACnB,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;IACtB,IAAI,CAAS;IACb,gBAAgB,CAAoB;IAC7C,iFAAiF;IACxE,aAAa,CAAiB;IAC9B,KAAK,GAAW,EAAE,CAAC;IACnB,SAAS,GAAuB,EAAE,CAAC;IACnC,WAAW,GAA0E,EAAE,CAAC;IACxF,KAAK,GAAW,EAAE,CAAC;IAC5B,4EAA4E;IACnE,cAAc,GAAkB,EAAE,CAAC;IAC5C;;;;;OAKG;IACM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,mFAAmF;IAC1E,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC;;;;;;;;OAQG;IACM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,6EAA6E;IACpE,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IAEtC;;;;;;OAMG;IACM,KAAK,GAAW,EAAE,CAAC;IACnB,KAAK,GAAW,EAAE,CAAC;IACnB,MAAM,GAAY,EAAE,CAAC;IACrB,OAAO,GAAa,EAAE,CAAC;IACvB,MAAM,GAAW,EAAE,CAAC;IACpB,MAAM,GAAY,EAAE,CAAC;IACrB,MAAM,GAAoB,EAAE,CAAC;IACtC,QAAQ,GAAiB,IAAI,CAAC;IAC9B,UAAU,GAAiB,IAAI,CAAC;IAChC,+EAA+E;IACtE,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,oFAAoF;IAC3E,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,uEAAuE;IAC9D,QAAQ,GAAc,EAAE,CAAC;IACzB,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC/C,6EAA6E;IACpE,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IACnD;;;;;;;;OAQG;IACM,OAAO,CAA2B;IAE1B,YAAY,CAAsB;IACnD,+EAA+E;IAC9D,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEjD,IAAI,CAAa;IACjB,OAAO,CAAgB;IACvB,IAAI,CAAiB;IACrB,OAAO,CAAc;IAE9B,YACE,IAAgB,EAChB,OAAsB,EACtB,IAAoB,EACpB,OAAoB,EACpB,MAAgB,EAChB,OAAsB;QAEtB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,2EAA2E;QAC3E,uEAAuE;QACvE,iEAAiE;QACjE,IAAI,CAAC,IAAI,GAAG,MAAM,EAAE,IAAI,IAAI,IAAI,YAAY,EAAE,CAAC;QAC/C,IAAI,CAAC,IAAI,GAAG,MAAM,EAAE,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;QACzC,IAAI,CAAC,gBAAgB,GAAG,MAAM,EAAE,gBAAgB,IAAI,EAAE,CAAC;QACvD,IAAI,CAAC,aAAa,GAAG,MAAM,EAAE,aAAa,IAAI,EAAE,CAAC;QACjD,IAAI,CAAC,YAAY,GAAG,MAAM,EAAE,YAAY,IAAI,IAAI,GAAG,EAAkB,CAAC;QACtE,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IACzB,CAAC;IAED,mFAAmF;IACnF,UAAU,CAAC,OAAqB;QAC9B,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACtF,CAAC;IAED,6EAA6E;IAC7E,MAAM,CAAC,IAAU;QACf,OAAO,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC;IAED,uEAAuE;IACvE,SAAS,CAAC,SAAwB;QAChC,OAAO,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAChD,CAAC;IAED,2EAA2E;IAC3E,OAAO,CAAC,IAAU;QAChB,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAC9D,CAAC;IAED,6EAA6E;IAC7E,aAAa,CAAC,IAAY;QACxB,OAAO,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC;IAED;;;;;;;OAOG;IACH,eAAe,CAAC,KAAmB;QACjC,4EAA4E;QAC5E,4EAA4E;QAC5E,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;QACvD,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACzC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,MAAM,KAAK,GAAG,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC;QAC3C,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACzB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC;YACrB,KAAK,EAAE,KAAK,CAAC,QAAQ;YACrB,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC;SACxB,CAAC,CAAC;QACH,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAClC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,CAAC,EAAU,EAAE,IAAY;QAC9B,MAAM,IAAI,GAAS;YACjB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM;YACxB,EAAE;YACF,IAAI;YACJ,QAAQ,EAAE,CAAC;YACX,SAAS,EAAE,CAAC;YACZ,MAAM,EAAE,EAAE;YACV,KAAK,EAAE,SAAS;YAChB,QAAQ,EAAE,EAAE;SACb,CAAC;QACF,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,CAAC,IAAkB,EAAE,IAAU;QACpC,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;QAC7B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QACjE,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,mFAAmF;IACnF,aAAa,CAAC,eAAuB;QACnC,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;IAChD,CAAC;IAED,qBAAqB,CAAC,eAAuB,EAAE,OAAe;QAC5D,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;IAClD,CAAC;IAED,GAAG,CAAC,IAAY,EAAE,aAAqB,EAAE,IAAsB,EAAE,QAAiB;QAChF,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IACzD,CAAC;IAED;;;;;;OAMG;IACH,IAAI,CAAC,UAAsB;QACzB,OAAO,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC;IAClD,CAAC;IAEO,eAAe;QACrB,OAAO;YACL,IAAI,EAAE,CAAC,SAAwB,EAAqB,EAAE;gBACpD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;gBAC1C,IAAI,OAAO,KAAK,SAAS;oBAAE,OAAO,SAAS,CAAC;gBAC5C,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;gBAClC,IAAI,IAAI,KAAK,SAAS;oBAAE,OAAO,SAAS,CAAC;gBACzC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBACxC,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACnF,CAAC;YACD,IAAI,EAAE,CAAC,IAAU,EAAE,EAAE;gBACnB,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBAClC,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS;oBAAE,OAAO,SAAS,CAAC;gBAC5E,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;YACzD,CAAC;YACD,KAAK,EAAE,CAAC,IAAU,EAAqB,EAAE;gBACvC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBACjC,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACnF,CAAC;SACF,CAAC;IACJ,CAAC;CACF;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,QAAQ,CAAC,KAAmB;IAC1C,OAAO,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;AACtD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,UAAU,QAAQ,CAAC,KAAmB;IAC1C,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IACzC,IAAI,KAAK,CAAC,YAAY,IAAI,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC;IAC7F,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,OAAO,CAAC,KAAmB;IACzC,OAAO,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACzE,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,UAAU,CACxB,OAAoB,EACpB,KAAmB,EACnB,IAAY;IAEZ,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACrE,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,CAAU;IACtC,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QAC1C,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;QAC1E,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YAC1C,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,WAAW,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AASD,+EAA+E;AAC/E,MAAM,UAAU,UAAU,CAAC,UAAsB;IAC/C,MAAM,KAAK,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;IAC1C,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC;IACtD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC7C,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe;YAAE,OAAO,GAAG,MAAM,CAAC,IAAI,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IACpF,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC"}