iobroker.javascript 10.2.4 → 10.3.0

package/build/lib/fb/generate.js

@@ -0,0 +1,326 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.toLiteral = toLiteral;
+exports.generateSource = generateSource;
+const analyze_1 = require("./analyze");
+const graph_1 = require("./graph");
+const library_1 = require("./library");
+const types_1 = require("./types");
+const js_1 = require("./js");
+const time_1 = require("./time");
+const user_1 = require("./user");
+/** A value as a JavaScript literal of the given type */
+function toLiteral(value, type) {
+    switch (type) {
+        case 'BOOL':
+            return value === true || value === 'true' || value === 1 || value === '1' ? 'true' : 'false';
+        case 'INT':
+            return String(Math.round(Number(value)) || 0);
+        case 'REAL': {
+            const number = Number(value);
+            return String(Number.isFinite(number) ? number : 0);
+        }
+        case 'TIME':
+            return String((0, time_1.parseTime)(value) ?? 0);
+        case 'STRING':
+            return JSON.stringify(value === null || value === undefined ? '' : String(value));
+        default:
+            // ANY: whatever the text looks like
+            if (typeof value === 'boolean' || typeof value === 'number') {
+                return String(value);
+            }
+            if (value === null || value === undefined) {
+                return '0';
+            }
+            if (value === 'true' || value === 'false') {
+                return value;
+            }
+            if (value.trim() !== '' && Number.isFinite(Number(value))) {
+                return String(Number(value));
+            }
+            return JSON.stringify(value);
+    }
+}
+/** The functions of the script sandbox the runtime gets */
+const SANDBOX_FUNCTIONS = [
+    'getStateAsync',
+    'setState',
+    'on',
+    'onStop',
+    'setInterval',
+    'clearInterval',
+    'setTimeout',
+    'clearTimeout',
+    'log',
+    'schedule',
+    'getAstroDate',
+    'sendTo',
+    'registerNotification',
+];
+/** Parameters that are texts, whatever they look like */
+const TEXT_PARAMS = ['OID', 'ENUM', 'NAME', 'INSTANCE', 'CRON', 'CODE'];
+function initialValue(type) {
+    return type === 'BOOL' ? 'false' : type === 'STRING' ? "''" : '0';
+}
+function signal(blockId, pinId) {
+    return `S['${blockId}.${pinId}']`;
+}
+class BlockWriter {
+    block;
+    def;
+    drivers;
+    inputs;
+    outputs;
+    constructor(block, def, 
+    /** `blockId.pinId` of an input to the signal that drives it */
+    drivers) {
+        this.block = block;
+        this.def = def;
+        this.drivers = drivers;
+        this.inputs = (0, graph_1.getInputs)(block, def);
+        this.outputs = (0, graph_1.getOutputs)(block, def);
+    }
+    input(pin) {
+        const inverted = pin.type === 'BOOL' && !!this.block.pins?.[pin.id]?.inverted;
+        const driver = this.drivers.get(`${this.block.id}.${pin.id}`);
+        if (driver) {
+            return inverted ? `!${driver}` : driver;
+        }
+        const literal = toLiteral(this.block.params?.[pin.id] ?? pin.default, pin.type);
+        return inverted ? (literal === 'true' ? 'false' : 'true') : literal;
+    }
+    param(id) {
+        const def = this.def.params?.find(param => param.id === id);
+        if (!def) {
+            throw new Error(`Block type ${this.def.type} has no parameter "${id}"`);
+        }
+        const value = this.block.params?.[id] ?? def.default;
+        const type = def.type;
+        if (typeof type === 'string' && TEXT_PARAMS.includes(type)) {
+            return JSON.stringify(value === undefined ? '' : String(value));
+        }
+        return toLiteral(value, (0, graph_1.resolvePinType)(this.block, type, this.def));
+    }
+    /** An instance of a user block: its inputs in, one run, its outputs out - all on one line */
+    userLine() {
+        const instance = `I.${this.block.id}`;
+        return [
+            ...this.inputs.map(pin => `${instance}.${pin.id} = ${this.input(pin)};`),
+            `${instance}.run(dt, firstScan);`,
+            ...this.outputs.map(pin => `${signal(this.block.id, pin.id)} = ${instance}.${pin.id};`),
+        ].join(' ');
+    }
+    /** A JS block: the function gets the inputs, its outputs keep what it did not give */
+    jsLine() {
+        const instance = `I.${this.block.id}`;
+        return [
+            `${instance}.run([${this.inputs.map(pin => this.input(pin)).join(', ')}], dt, firstScan);`,
+            ...this.outputs.map((pin, i) => `${signal(this.block.id, pin.id)} = ${instance}.out[${i}];`),
+        ].join(' ');
+    }
+    line() {
+        if (this.def.user) {
+            return `${this.userLine()} /*#fb:${this.block.id}*/`;
+        }
+        if (this.def.type === 'JS') {
+            return `${this.jsLine()} /*#fb:${this.block.id}*/`;
+        }
+        const code = this.def.code.replace(/\{([A-Za-z_][A-Za-z0-9_]*)\*:([^}]*)\}|\{(\$?)([A-Za-z_][A-Za-z0-9_]*)\}/g, (_match, prefix, separator, dollar, name) => {
+            if (prefix) {
+                return this.inputs
+                    .filter(pin => pin.id.startsWith(prefix))
+                    .map(pin => this.input(pin))
+                    .join(separator);
+            }
+            if (dollar) {
+                return this.param(name);
+            }
+            if (name === 'I') {
+                return `I.${this.block.id}`;
+            }
+            const output = this.outputs.find(pin => pin.id === name);
+            if (output) {
+                return signal(this.block.id, output.id);
+            }
+            const input = this.inputs.find(pin => pin.id === name);
+            if (input) {
+                return this.input(input);
+            }
+            throw new Error(`Block type ${this.def.type} has no pin "${name}"`);
+        });
+        return `${code} /*#fb:${this.block.id}*/`;
+    }
+}
+/** The code of the blocks of a diagram - of the diagram itself, or of a user block */
+function writeBlocks(graph, analysis, userBlocks) {
+    const drivers = new Map();
+    analysis.links.forEach(link => drivers.set(`${link.to[0]}.${link.to[1]}`, signal(link.from[0], link.from[1])));
+    const code = {
+        blocks: graph.blocks
+            .filter(block => analysis.order[block.id] !== undefined)
+            .sort((a, b) => analysis.order[a.id] - analysis.order[b.id]),
+        instances: [],
+        signals: [],
+        body: [],
+        inputs: new Set(),
+        outputs: new Set(),
+    };
+    for (const block of code.blocks) {
+        const def = (0, library_1.getBlockDef)(block.type, userBlocks);
+        if (def.user) {
+            code.instances.push(`${block.id}: ${(0, user_1.factoryName)(def.type)}(), /*#fb:${block.id}*/`);
+        }
+        else if (def.type === 'JS') {
+            // The code as it is, not indented - that would change a text over several lines. Its
+            // syntax was checked on its own, so it cannot close the function early.
+            code.instances.push(`${block.id}: fb.JS(function (${(0, js_1.jsParameters)(block, def).join(', ')}) { /*#fb:${block.id}*/\n${(0, js_1.jsCode)(block, def)}`, `}, ${(0, graph_1.getOutputs)(block, def).length}),`);
+        }
+        else if (def.stateful) {
+            code.instances.push(`${block.id}: fb.${def.type}(), /*#fb:${block.id}*/`);
+        }
+        (0, graph_1.getOutputs)(block, def).forEach(pin => code.signals.push(`'${block.id}.${pin.id}': ${initialValue(pin.type)},`));
+        code.body.push(new BlockWriter(block, def, drivers).line());
+        if (block.type === 'STATE_IN') {
+            code.inputs.add(String(block.params?.oid));
+        }
+        else if (block.type === 'STATE_OUT') {
+            code.outputs.add(String(block.params?.oid));
+        }
+    }
+    return code;
+}
+function indent(lines, depth) {
+    const spaces = ' '.repeat(depth * 4);
+    return lines.map(line => `${spaces}${line}`);
+}
+/** `const name = { ... };`, one entry per line; `depth` 1 is the top level */
+function objectLiteral(name, entries, depth) {
+    const lines = entries.length ? [`const ${name} = {`, ...indent(entries, 1), '};'] : [`const ${name} = {};`];
+    return indent(lines, depth - 1);
+}
+/**
+ * The factory of a user block: every call makes an instance with a state of its own. The inputs and
+ * outputs are properties of the instance; `run()` is one cycle of the diagram of the block.
+ */
+function writeFactory(user, userBlocks) {
+    const analysis = (0, analyze_1.analyzeGraph)(user.graph, { userBlocks, isBlock: true });
+    const code = writeBlocks(user.graph, analysis, userBlocks);
+    const def = (0, library_1.getBlockDef)(user.type, userBlocks);
+    // the pins of a user block always have a signal type of their own
+    const pins = [
+        ...def.inputs.map(pin => `${pin.id}: ${toLiteral(pin.default, pin.type)}`),
+        ...def.outputs.map(pin => `${pin.id}: ${initialValue(pin.type)}`),
+    ];
+    return [
+        `// user block ${JSON.stringify(user.name)} (${user.type}), version ${user.version}`,
+        `function ${(0, user_1.factoryName)(user.type)}() {`,
+        `    const self = { ${pins.join(', ')} };`,
+        ...objectLiteral('I', code.instances, 2),
+        ...objectLiteral('S', code.signals, 2),
+        // `$` is no part of a pin name, so these never meet a pin
+        '    // for the online view: the inside of the instance',
+        '    self.$I = I;',
+        '    self.$S = S;',
+        '    self.run = function (dt, firstScan) {',
+        ...indent(code.body, 2),
+        '    };',
+        '    return self;',
+        '}',
+        '',
+    ];
+}
+/**
+ * Turns a diagram into the source of a script.
+ *
+ * The code keeps no copy of the library blocks: the runtime module implements them, so a fix there
+ * reaches every diagram without generating it again. User blocks become factory functions in the
+ * code - made of the copies the diagram carries, so a diagram keeps the version it copied. The marks
+ * `/*#fb:<id>*\/` lead from a line of the code back to its block.
+ *
+ * A diagram with errors is stored as well, so no work is lost - but its code only reports the
+ * errors instead of running. The diagram of a user block does not run on its own.
+ */
+function generateSource(input) {
+    const analysis = (0, analyze_1.analyzeGraph)(input);
+    // only the copies of the blocks that are used are kept
+    const used = (0, user_1.usedUserBlocks)(input, input.userBlocks);
+    const userBlocks = {};
+    used.forEach(type => (userBlocks[type] = input.userBlocks[type]));
+    const graph = {
+        ...input,
+        format: types_1.FB_FORMAT,
+        runtime: types_1.FB_RUNTIME_VERSION,
+        blocks: input.blocks.map(block => analysis.order[block.id] !== undefined ? { ...block, order: analysis.order[block.id] } : block),
+    };
+    if (used.length) {
+        graph.userBlocks = userBlocks;
+    }
+    else {
+        delete graph.userBlocks;
+    }
+    const header = `/*#fb format:${types_1.FB_FORMAT} runtime:${types_1.FB_RUNTIME_VERSION}*/`;
+    if (graph.block) {
+        const lines = [
+            header,
+            `// The diagram of the block ${JSON.stringify(graph.block.name)} (${graph.block.type}), version ${graph.block.version}.`,
+            '// It does not run on its own: the diagrams that use it carry a copy of it.',
+            (0, graph_1.serializeGraph)(graph),
+        ];
+        return { source: lines.join('\n'), graph, analysis };
+    }
+    const errors = analysis.issues.filter(issue => issue.severity === 'error');
+    if (errors.length) {
+        const list = errors.map(analyze_1.formatIssue);
+        const lines = [
+            header,
+            '// This function block diagram has errors and is not executed:',
+            ...list.map(text => `//   - ${text}`),
+            `log(${JSON.stringify(`The function block diagram has errors and is not executed: ${list.join('; ')}`)}, 'error');`,
+            (0, graph_1.serializeGraph)(graph),
+        ];
+        return { source: lines.join('\n'), graph, analysis };
+    }
+    const code = writeBlocks(graph, analysis, userBlocks);
+    const top = [
+        header,
+        '// Generated from a function block diagram - changes made here are overwritten by the editor',
+        `const fb = require('${types_1.FB_RUNTIME_MODULE}');`,
+        `const rt = fb.runtime({ ${SANDBOX_FUNCTIONS.join(', ')} }, '${types_1.FB_RUNTIME_VERSION}');`,
+        '',
+        ...used.flatMap(type => writeFactory(userBlocks[type], userBlocks)),
+        '// the blocks that keep a state from one cycle to the next',
+        ...objectLiteral('I', code.instances, 1),
+        '// signals `<block>.<pin>`: they keep their value too, so a link leading back reads the previous cycle',
+        ...objectLiteral('S', code.signals, 1),
+        '// breakpoints of the online view: the cycle stops in front of a block whose entry is set',
+        'const B = [];',
+        '',
+        '// one cycle, from block `at` on - after a stop the runtime goes on there, `go` passes that breakpoint',
+        'function cycle(dt, firstScan, at = 0, go = -1) {',
+        '    switch (at) {',
+    ]
+        .join('\n')
+        .split('\n');
+    // With these, the runtime finds the block of an error: one line per block, in this order
+    const bodyLine = top.length + 1;
+    const options = {
+        mode: analysis.mode,
+        ms: analysis.ms,
+        inputs: [...code.inputs],
+        outputs: [...code.outputs],
+        lines: { start: bodyLine + code.body.length + 4, body: bodyLine },
+        blocks: code.blocks.map(block => block.id),
+    };
+    const lines = [
+        ...top,
+        ...indent(code.body.map((line, i) => `case ${i}: if (B[${i}] && go !== ${i}) return ${i}; ${line}`), 2),
+        '    }',
+        '    return -1;',
+        '}',
+        '',
+        `rt.start(cycle, ${JSON.stringify(options)}, S, B, I);`,
+        (0, graph_1.serializeGraph)(graph),
+    ];
+    return { source: lines.join('\n'), graph, analysis };
+}
+//# sourceMappingURL=generate.js.map

package/build/lib/fb/generate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"generate.js","sourceRoot":"","sources":["../../../src/lib/fb/generate.ts"],"names":[],"mappings":";;AA4BA,8BA8BC;AAuOD,wCA+FC;AAhYD,uCAAuE;AACvE,mCAA4F;AAC5F,uCAAwC;AACxC,mCAWiB;AACjB,6BAA4C;AAC5C,iCAAmC;AACnC,iCAAqD;AAUrD,wDAAwD;AACxD,SAAgB,SAAS,CAAC,KAAiC,EAAE,IAA0B;IACnF,QAAQ,IAAI,EAAE,CAAC;QACX,KAAK,MAAM;YACP,OAAO,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,CAAC,IAAI,KAAK,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;QACjG,KAAK,KAAK;YACN,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAClD,KAAK,MAAM,CAAC,CAAC,CAAC;YACV,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;YAC7B,OAAO,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,CAAC;QACD,KAAK,MAAM;YACP,OAAO,MAAM,CAAC,IAAA,gBAAS,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QACzC,KAAK,QAAQ;YACT,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QACtF;YACI,oCAAoC;YACpC,IAAI,OAAO,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC1D,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;YACzB,CAAC;YACD,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxC,OAAO,GAAG,CAAC;YACf,CAAC;YACD,IAAI,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;gBACxC,OAAO,KAAK,CAAC;YACjB,CAAC;YACD,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;gBACxD,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YACjC,CAAC;YACD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC;AACL,CAAC;AAED,2DAA2D;AAC3D,MAAM,iBAAiB,GAAG;IACtB,eAAe;IACf,UAAU;IACV,IAAI;IACJ,QAAQ;IACR,aAAa;IACb,eAAe;IACf,YAAY;IACZ,cAAc;IACd,KAAK;IACL,UAAU;IACV,cAAc;IACd,QAAQ;IACR,sBAAsB;CACzB,CAAC;AAEF,yDAAyD;AACzD,MAAM,WAAW,GAAa,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;AAElF,SAAS,YAAY,CAAC,IAA0B;IAC5C,OAAO,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;AACtE,CAAC;AAED,SAAS,MAAM,CAAC,OAAe,EAAE,KAAa;IAC1C,OAAO,MAAM,OAAO,IAAI,KAAK,IAAI,CAAC;AACtC,CAAC;AAED,MAAM,WAAW;IAKQ;IACA;IAEA;IAPJ,MAAM,CAAU;IAChB,OAAO,CAAU;IAElC,YACqB,KAAc,EACd,GAAe;IAChC,+DAA+D;IAC9C,OAA4B;QAH5B,UAAK,GAAL,KAAK,CAAS;QACd,QAAG,GAAH,GAAG,CAAY;QAEf,YAAO,GAAP,OAAO,CAAqB;QAE7C,IAAI,CAAC,MAAM,GAAG,IAAA,iBAAS,EAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACpC,IAAI,CAAC,OAAO,GAAG,IAAA,kBAAU,EAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC1C,CAAC;IAEO,KAAK,CAAC,GAAU;QACpB,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC;QAC9E,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9D,IAAI,MAAM,EAAE,CAAC;YACT,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;QAC5C,CAAC;QACD,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAChF,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;IACxE,CAAC;IAEO,KAAK,CAAC,EAAU;QACpB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QAC5D,IAAI,CAAC,GAAG,EAAE,CAAC;YACP,MAAM,IAAI,KAAK,CAAC,cAAc,IAAI,CAAC,GAAG,CAAC,IAAI,sBAAsB,EAAE,GAAG,CAAC,CAAC;QAC5E,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC;QACrD,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC;QACtB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACzD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QACpE,CAAC;QACD,OAAO,SAAS,CAAC,KAAK,EAAE,IAAA,sBAAc,EAAC,IAAI,CAAC,KAAK,EAAE,IAAiB,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACrF,CAAC;IAED,6FAA6F;IACrF,QAAQ;QACZ,MAAM,QAAQ,GAAG,KAAK,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;QACtC,OAAO;YACH,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,IAAI,GAAG,CAAC,EAAE,MAAM,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;YACxE,GAAG,QAAQ,sBAAsB;YACjC,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,MAAM,QAAQ,IAAI,GAAG,CAAC,EAAE,GAAG,CAAC;SAC1F,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,CAAC;IAED,sFAAsF;IAC9E,MAAM;QACV,MAAM,QAAQ,GAAG,KAAK,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;QACtC,OAAO;YACH,GAAG,QAAQ,SAAS,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAoB;YAC1F,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,MAAM,QAAQ,QAAQ,CAAC,IAAI,CAAC;SAC/F,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,CAAC;IAED,IAAI;QACA,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YAChB,OAAO,GAAG,IAAI,CAAC,QAAQ,EAAE,UAAU,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC;QACzD,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACzB,OAAO,GAAG,IAAI,CAAC,MAAM,EAAE,UAAU,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC;QACvD,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAC9B,2EAA2E,EAC3E,CAAC,MAAM,EAAE,MAAe,EAAE,SAAkB,EAAE,MAAe,EAAE,IAAa,EAAU,EAAE;YACpF,IAAI,MAAM,EAAE,CAAC;gBACT,OAAO,IAAI,CAAC,MAAM;qBACb,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;qBACxC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;qBAC3B,IAAI,CAAC,SAAS,CAAC,CAAC;YACzB,CAAC;YACD,IAAI,MAAM,EAAE,CAAC;gBACT,OAAO,IAAI,CAAC,KAAK,CAAC,IAAK,CAAC,CAAC;YAC7B,CAAC;YACD,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;gBACf,OAAO,KAAK,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;YAChC,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC;YACzD,IAAI,MAAM,EAAE,CAAC;gBACT,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;YAC5C,CAAC;YACD,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC;YACvD,IAAI,KAAK,EAAE,CAAC;gBACR,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC7B,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,cAAc,IAAI,CAAC,GAAG,CAAC,IAAI,gBAAgB,IAAI,GAAG,CAAC,CAAC;QACxE,CAAC,CACJ,CAAC;QACF,OAAO,GAAG,IAAI,UAAU,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC;IAC9C,CAAC;CACJ;AAeD,sFAAsF;AACtF,SAAS,WAAW,CAAC,KAAc,EAAE,QAAoB,EAAE,UAAuC;IAC9F,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAE/G,MAAM,IAAI,GAAS;QACf,MAAM,EAAE,KAAK,CAAC,MAAM;aACf,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,SAAS,CAAC;aACvD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAChE,SAAS,EAAE,EAAE;QACb,OAAO,EAAE,EAAE;QACX,IAAI,EAAE,EAAE;QACR,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,OAAO,EAAE,IAAI,GAAG,EAAE;KACrB,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAC9B,MAAM,GAAG,GAAG,IAAA,qBAAW,EAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAE,CAAC;QACjD,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC;YACX,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,EAAE,KAAK,IAAA,kBAAW,EAAC,GAAG,CAAC,IAAI,CAAC,aAAa,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;QACxF,CAAC;aAAM,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC3B,qFAAqF;YACrF,wEAAwE;YACxE,IAAI,CAAC,SAAS,CAAC,IAAI,CACf,GAAG,KAAK,CAAC,EAAE,qBAAqB,IAAA,iBAAY,EAAC,KAAK,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,KAAK,CAAC,EAAE,OAAO,IAAA,WAAM,EAAC,KAAK,EAAE,GAAG,CAAC,EAAE,EACnH,MAAM,IAAA,kBAAU,EAAC,KAAK,EAAE,GAAG,CAAC,CAAC,MAAM,IAAI,CAC1C,CAAC;QACN,CAAC;aAAM,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;YACtB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,EAAE,QAAQ,GAAG,CAAC,IAAI,aAAa,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;QAC9E,CAAC;QACD,IAAA,kBAAU,EAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,MAAM,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAChH,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5D,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC5B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;QAC/C,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACpC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;QAChD,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,SAAS,MAAM,CAAC,KAAe,EAAE,KAAa;IAC1C,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IACrC,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,MAAM,GAAG,IAAI,EAAE,CAAC,CAAC;AACjD,CAAC;AAED,8EAA8E;AAC9E,SAAS,aAAa,CAAC,IAAY,EAAE,OAAiB,EAAE,KAAa;IACjE,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,MAAM,EAAE,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,QAAQ,CAAC,CAAC;IAC5G,OAAO,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;AACpC,CAAC;AAED;;;GAGG;AACH,SAAS,YAAY,CAAC,IAAiB,EAAE,UAAuC;IAC5E,MAAM,QAAQ,GAAG,IAAA,sBAAY,EAAC,IAAI,CAAC,KAAK,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IACzE,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC3D,MAAM,GAAG,GAAG,IAAA,qBAAW,EAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAE,CAAC;IAChD,kEAAkE;IAClE,MAAM,IAAI,GAAG;QACT,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,EAAE,KAAK,SAAS,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,IAAoB,CAAC,EAAE,CAAC;QAC1F,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,EAAE,KAAK,YAAY,CAAC,GAAG,CAAC,IAAoB,CAAC,EAAE,CAAC;KACpF,CAAC;IACF,OAAO;QACH,iBAAiB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,cAAc,IAAI,CAAC,OAAO,EAAE;QACpF,YAAY,IAAA,kBAAW,EAAC,IAAI,CAAC,IAAI,CAAC,MAAM;QACxC,sBAAsB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;QAC1C,GAAG,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;QACxC,GAAG,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QACtC,0DAA0D;QAC1D,wDAAwD;QACxD,kBAAkB;QAClB,kBAAkB;QAClB,2CAA2C;QAC3C,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QACvB,QAAQ;QACR,kBAAkB;QAClB,GAAG;QACH,EAAE;KACL,CAAC;AACN,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAgB,cAAc,CAAC,KAAc;IACzC,MAAM,QAAQ,GAAG,IAAA,sBAAY,EAAC,KAAK,CAAC,CAAC;IACrC,uDAAuD;IACvD,MAAM,IAAI,GAAG,IAAA,qBAAc,EAAC,KAAK,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IACrD,MAAM,UAAU,GAAgC,EAAE,CAAC;IACnD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,UAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAEnE,MAAM,KAAK,GAAY;QACnB,GAAG,KAAK;QACR,MAAM,EAAE,iBAAS;QACjB,OAAO,EAAE,0BAAkB;QAC3B,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAC7B,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CACjG;KACJ,CAAC;IACF,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QACd,KAAK,CAAC,UAAU,GAAG,UAAU,CAAC;IAClC,CAAC;SAAM,CAAC;QACJ,OAAO,KAAK,CAAC,UAAU,CAAC;IAC5B,CAAC;IAED,MAAM,MAAM,GAAG,gBAAgB,iBAAS,YAAY,0BAAkB,IAAI,CAAC;IAE3E,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QACd,MAAM,KAAK,GAAG;YACV,MAAM;YACN,+BAA+B,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,KAAK,CAAC,IAAI,cAAc,KAAK,CAAC,KAAK,CAAC,OAAO,GAAG;YACxH,6EAA6E;YAC7E,IAAA,sBAAc,EAAC,KAAK,CAAC;SACxB,CAAC;QACF,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IACzD,CAAC;IAED,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IAC3E,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAChB,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,qBAAW,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG;YACV,MAAM;YACN,gEAAgE;YAChE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC;YACrC,OAAO,IAAI,CAAC,SAAS,CAAC,8DAA8D,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa;YACnH,IAAA,sBAAc,EAAC,KAAK,CAAC;SACxB,CAAC;QACF,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IACzD,CAAC;IAED,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IAEtD,MAAM,GAAG,GAAG;QACR,MAAM;QACN,8FAA8F;QAC9F,uBAAuB,yBAAiB,KAAK;QAC7C,2BAA2B,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,0BAAkB,KAAK;QACtF,EAAE;QACF,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,CAAC;QACnE,4DAA4D;QAC5D,GAAG,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;QACxC,wGAAwG;QACxG,GAAG,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QACtC,2FAA2F;QAC3F,eAAe;QACf,EAAE;QACF,wGAAwG;QACxG,kDAAkD;QAClD,mBAAmB;KACtB;SACI,IAAI,CAAC,IAAI,CAAC;SACV,KAAK,CAAC,IAAI,CAAC,CAAC;IAEjB,yFAAyF;IACzF,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;IAChC,MAAM,OAAO,GAAG;QACZ,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,EAAE,EAAE,QAAQ,CAAC,EAAE;QACf,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;QACxB,OAAO,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;QAC1B,KAAK,EAAE,EAAE,KAAK,EAAE,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE;QACjE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;KAC7C,CAAC;IAEF,MAAM,KAAK,GAAG;QACV,GAAG,GAAG;QACN,GAAG,MAAM,CACL,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC,eAAe,CAAC,YAAY,CAAC,KAAK,IAAI,EAAE,CAAC,EACzF,CAAC,CACJ;QACD,OAAO;QACP,gBAAgB;QAChB,GAAG;QACH,EAAE;QACF,mBAAmB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,aAAa;QACvD,IAAA,sBAAc,EAAC,KAAK,CAAC;KACxB,CAAC;IAEF,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AACzD,CAAC","sourcesContent":["import { analyzeGraph, formatIssue, type FbAnalysis } from './analyze';\nimport { getInputs, getOutputs, resolvePinType, serializeGraph, type FbPin } from './graph';\nimport { getBlockDef } from './library';\nimport {\n    FB_FORMAT,\n    FB_RUNTIME_MODULE,\n    FB_RUNTIME_VERSION,\n    type FbBlock,\n    type FbBlockDef,\n    type FbGraph,\n    type FbPinType,\n    type FbSignalType,\n    type FbUserBlock,\n    type FbValue,\n} from './types';\nimport { jsCode, jsParameters } from './js';\nimport { parseTime } from './time';\nimport { factoryName, usedUserBlocks } from './user';\n\nexport interface FbGenerated {\n    /** The whole script source: the code, and the graph in the last line */\n    source: string;\n    /** The graph with the execution order written back */\n    graph: FbGraph;\n    analysis: FbAnalysis;\n}\n\n/** A value as a JavaScript literal of the given type */\nexport function toLiteral(value: FbValue | null | undefined, type: FbSignalType | 'ANY'): string {\n    switch (type) {\n        case 'BOOL':\n            return value === true || value === 'true' || value === 1 || value === '1' ? 'true' : 'false';\n        case 'INT':\n            return String(Math.round(Number(value)) || 0);\n        case 'REAL': {\n            const number = Number(value);\n            return String(Number.isFinite(number) ? number : 0);\n        }\n        case 'TIME':\n            return String(parseTime(value) ?? 0);\n        case 'STRING':\n            return JSON.stringify(value === null || value === undefined ? '' : String(value));\n        default:\n            // ANY: whatever the text looks like\n            if (typeof value === 'boolean' || typeof value === 'number') {\n                return String(value);\n            }\n            if (value === null || value === undefined) {\n                return '0';\n            }\n            if (value === 'true' || value === 'false') {\n                return value;\n            }\n            if (value.trim() !== '' && Number.isFinite(Number(value))) {\n                return String(Number(value));\n            }\n            return JSON.stringify(value);\n    }\n}\n\n/** The functions of the script sandbox the runtime gets */\nconst SANDBOX_FUNCTIONS = [\n    'getStateAsync',\n    'setState',\n    'on',\n    'onStop',\n    'setInterval',\n    'clearInterval',\n    'setTimeout',\n    'clearTimeout',\n    'log',\n    'schedule',\n    'getAstroDate',\n    'sendTo',\n    'registerNotification',\n];\n\n/** Parameters that are texts, whatever they look like */\nconst TEXT_PARAMS: string[] = ['OID', 'ENUM', 'NAME', 'INSTANCE', 'CRON', 'CODE'];\n\nfunction initialValue(type: FbSignalType | 'ANY'): string {\n    return type === 'BOOL' ? 'false' : type === 'STRING' ? \"''\" : '0';\n}\n\nfunction signal(blockId: string, pinId: string): string {\n    return `S['${blockId}.${pinId}']`;\n}\n\nclass BlockWriter {\n    private readonly inputs: FbPin[];\n    private readonly outputs: FbPin[];\n\n    constructor(\n        private readonly block: FbBlock,\n        private readonly def: FbBlockDef,\n        /** `blockId.pinId` of an input to the signal that drives it */\n        private readonly drivers: Map<string, string>,\n    ) {\n        this.inputs = getInputs(block, def);\n        this.outputs = getOutputs(block, def);\n    }\n\n    private input(pin: FbPin): string {\n        const inverted = pin.type === 'BOOL' && !!this.block.pins?.[pin.id]?.inverted;\n        const driver = this.drivers.get(`${this.block.id}.${pin.id}`);\n        if (driver) {\n            return inverted ? `!${driver}` : driver;\n        }\n        const literal = toLiteral(this.block.params?.[pin.id] ?? pin.default, pin.type);\n        return inverted ? (literal === 'true' ? 'false' : 'true') : literal;\n    }\n\n    private param(id: string): string {\n        const def = this.def.params?.find(param => param.id === id);\n        if (!def) {\n            throw new Error(`Block type ${this.def.type} has no parameter \"${id}\"`);\n        }\n        const value = this.block.params?.[id] ?? def.default;\n        const type = def.type;\n        if (typeof type === 'string' && TEXT_PARAMS.includes(type)) {\n            return JSON.stringify(value === undefined ? '' : String(value));\n        }\n        return toLiteral(value, resolvePinType(this.block, type as FbPinType, this.def));\n    }\n\n    /** An instance of a user block: its inputs in, one run, its outputs out - all on one line */\n    private userLine(): string {\n        const instance = `I.${this.block.id}`;\n        return [\n            ...this.inputs.map(pin => `${instance}.${pin.id} = ${this.input(pin)};`),\n            `${instance}.run(dt, firstScan);`,\n            ...this.outputs.map(pin => `${signal(this.block.id, pin.id)} = ${instance}.${pin.id};`),\n        ].join(' ');\n    }\n\n    /** A JS block: the function gets the inputs, its outputs keep what it did not give */\n    private jsLine(): string {\n        const instance = `I.${this.block.id}`;\n        return [\n            `${instance}.run([${this.inputs.map(pin => this.input(pin)).join(', ')}], dt, firstScan);`,\n            ...this.outputs.map((pin, i) => `${signal(this.block.id, pin.id)} = ${instance}.out[${i}];`),\n        ].join(' ');\n    }\n\n    line(): string {\n        if (this.def.user) {\n            return `${this.userLine()} /*#fb:${this.block.id}*/`;\n        }\n        if (this.def.type === 'JS') {\n            return `${this.jsLine()} /*#fb:${this.block.id}*/`;\n        }\n        const code = this.def.code.replace(\n            /\\{([A-Za-z_][A-Za-z0-9_]*)\\*:([^}]*)\\}|\\{(\\$?)([A-Za-z_][A-Za-z0-9_]*)\\}/g,\n            (_match, prefix?: string, separator?: string, dollar?: string, name?: string): string => {\n                if (prefix) {\n                    return this.inputs\n                        .filter(pin => pin.id.startsWith(prefix))\n                        .map(pin => this.input(pin))\n                        .join(separator);\n                }\n                if (dollar) {\n                    return this.param(name!);\n                }\n                if (name === 'I') {\n                    return `I.${this.block.id}`;\n                }\n                const output = this.outputs.find(pin => pin.id === name);\n                if (output) {\n                    return signal(this.block.id, output.id);\n                }\n                const input = this.inputs.find(pin => pin.id === name);\n                if (input) {\n                    return this.input(input);\n                }\n                throw new Error(`Block type ${this.def.type} has no pin \"${name}\"`);\n            },\n        );\n        return `${code} /*#fb:${this.block.id}*/`;\n    }\n}\n\ninterface Code {\n    /** The blocks in the order they run */\n    blocks: FbBlock[];\n    /** Entries of `I` */\n    instances: string[];\n    /** Entries of `S` */\n    signals: string[];\n    /** The lines of a cycle, one per block */\n    body: string[];\n    inputs: Set<string>;\n    outputs: Set<string>;\n}\n\n/** The code of the blocks of a diagram - of the diagram itself, or of a user block */\nfunction writeBlocks(graph: FbGraph, analysis: FbAnalysis, userBlocks: Record<string, FbUserBlock>): Code {\n    const drivers = new Map<string, string>();\n    analysis.links.forEach(link => drivers.set(`${link.to[0]}.${link.to[1]}`, signal(link.from[0], link.from[1])));\n\n    const code: Code = {\n        blocks: graph.blocks\n            .filter(block => analysis.order[block.id] !== undefined)\n            .sort((a, b) => analysis.order[a.id] - analysis.order[b.id]),\n        instances: [],\n        signals: [],\n        body: [],\n        inputs: new Set(),\n        outputs: new Set(),\n    };\n\n    for (const block of code.blocks) {\n        const def = getBlockDef(block.type, userBlocks)!;\n        if (def.user) {\n            code.instances.push(`${block.id}: ${factoryName(def.type)}(), /*#fb:${block.id}*/`);\n        } else if (def.type === 'JS') {\n            // The code as it is, not indented - that would change a text over several lines. Its\n            // syntax was checked on its own, so it cannot close the function early.\n            code.instances.push(\n                `${block.id}: fb.JS(function (${jsParameters(block, def).join(', ')}) { /*#fb:${block.id}*/\\n${jsCode(block, def)}`,\n                `}, ${getOutputs(block, def).length}),`,\n            );\n        } else if (def.stateful) {\n            code.instances.push(`${block.id}: fb.${def.type}(), /*#fb:${block.id}*/`);\n        }\n        getOutputs(block, def).forEach(pin => code.signals.push(`'${block.id}.${pin.id}': ${initialValue(pin.type)},`));\n        code.body.push(new BlockWriter(block, def, drivers).line());\n        if (block.type === 'STATE_IN') {\n            code.inputs.add(String(block.params?.oid));\n        } else if (block.type === 'STATE_OUT') {\n            code.outputs.add(String(block.params?.oid));\n        }\n    }\n    return code;\n}\n\nfunction indent(lines: string[], depth: number): string[] {\n    const spaces = ' '.repeat(depth * 4);\n    return lines.map(line => `${spaces}${line}`);\n}\n\n/** `const name = { ... };`, one entry per line; `depth` 1 is the top level */\nfunction objectLiteral(name: string, entries: string[], depth: number): string[] {\n    const lines = entries.length ? [`const ${name} = {`, ...indent(entries, 1), '};'] : [`const ${name} = {};`];\n    return indent(lines, depth - 1);\n}\n\n/**\n * The factory of a user block: every call makes an instance with a state of its own. The inputs and\n * outputs are properties of the instance; `run()` is one cycle of the diagram of the block.\n */\nfunction writeFactory(user: FbUserBlock, userBlocks: Record<string, FbUserBlock>): string[] {\n    const analysis = analyzeGraph(user.graph, { userBlocks, isBlock: true });\n    const code = writeBlocks(user.graph, analysis, userBlocks);\n    const def = getBlockDef(user.type, userBlocks)!;\n    // the pins of a user block always have a signal type of their own\n    const pins = [\n        ...def.inputs.map(pin => `${pin.id}: ${toLiteral(pin.default, pin.type as FbSignalType)}`),\n        ...def.outputs.map(pin => `${pin.id}: ${initialValue(pin.type as FbSignalType)}`),\n    ];\n    return [\n        `// user block ${JSON.stringify(user.name)} (${user.type}), version ${user.version}`,\n        `function ${factoryName(user.type)}() {`,\n        `    const self = { ${pins.join(', ')} };`,\n        ...objectLiteral('I', code.instances, 2),\n        ...objectLiteral('S', code.signals, 2),\n        // `$` is no part of a pin name, so these never meet a pin\n        '    // for the online view: the inside of the instance',\n        '    self.$I = I;',\n        '    self.$S = S;',\n        '    self.run = function (dt, firstScan) {',\n        ...indent(code.body, 2),\n        '    };',\n        '    return self;',\n        '}',\n        '',\n    ];\n}\n\n/**\n * Turns a diagram into the source of a script.\n *\n * The code keeps no copy of the library blocks: the runtime module implements them, so a fix there\n * reaches every diagram without generating it again. User blocks become factory functions in the\n * code - made of the copies the diagram carries, so a diagram keeps the version it copied. The marks\n * `/*#fb:<id>*\\/` lead from a line of the code back to its block.\n *\n * A diagram with errors is stored as well, so no work is lost - but its code only reports the\n * errors instead of running. The diagram of a user block does not run on its own.\n */\nexport function generateSource(input: FbGraph): FbGenerated {\n    const analysis = analyzeGraph(input);\n    // only the copies of the blocks that are used are kept\n    const used = usedUserBlocks(input, input.userBlocks);\n    const userBlocks: Record<string, FbUserBlock> = {};\n    used.forEach(type => (userBlocks[type] = input.userBlocks![type]));\n\n    const graph: FbGraph = {\n        ...input,\n        format: FB_FORMAT,\n        runtime: FB_RUNTIME_VERSION,\n        blocks: input.blocks.map(block =>\n            analysis.order[block.id] !== undefined ? { ...block, order: analysis.order[block.id] } : block,\n        ),\n    };\n    if (used.length) {\n        graph.userBlocks = userBlocks;\n    } else {\n        delete graph.userBlocks;\n    }\n\n    const header = `/*#fb format:${FB_FORMAT} runtime:${FB_RUNTIME_VERSION}*/`;\n\n    if (graph.block) {\n        const lines = [\n            header,\n            `// The diagram of the block ${JSON.stringify(graph.block.name)} (${graph.block.type}), version ${graph.block.version}.`,\n            '// It does not run on its own: the diagrams that use it carry a copy of it.',\n            serializeGraph(graph),\n        ];\n        return { source: lines.join('\\n'), graph, analysis };\n    }\n\n    const errors = analysis.issues.filter(issue => issue.severity === 'error');\n    if (errors.length) {\n        const list = errors.map(formatIssue);\n        const lines = [\n            header,\n            '// This function block diagram has errors and is not executed:',\n            ...list.map(text => `//   - ${text}`),\n            `log(${JSON.stringify(`The function block diagram has errors and is not executed: ${list.join('; ')}`)}, 'error');`,\n            serializeGraph(graph),\n        ];\n        return { source: lines.join('\\n'), graph, analysis };\n    }\n\n    const code = writeBlocks(graph, analysis, userBlocks);\n\n    const top = [\n        header,\n        '// Generated from a function block diagram - changes made here are overwritten by the editor',\n        `const fb = require('${FB_RUNTIME_MODULE}');`,\n        `const rt = fb.runtime({ ${SANDBOX_FUNCTIONS.join(', ')} }, '${FB_RUNTIME_VERSION}');`,\n        '',\n        ...used.flatMap(type => writeFactory(userBlocks[type], userBlocks)),\n        '// the blocks that keep a state from one cycle to the next',\n        ...objectLiteral('I', code.instances, 1),\n        '// signals `<block>.<pin>`: they keep their value too, so a link leading back reads the previous cycle',\n        ...objectLiteral('S', code.signals, 1),\n        '// breakpoints of the online view: the cycle stops in front of a block whose entry is set',\n        'const B = [];',\n        '',\n        '// one cycle, from block `at` on - after a stop the runtime goes on there, `go` passes that breakpoint',\n        'function cycle(dt, firstScan, at = 0, go = -1) {',\n        '    switch (at) {',\n    ]\n        .join('\\n')\n        .split('\\n');\n\n    // With these, the runtime finds the block of an error: one line per block, in this order\n    const bodyLine = top.length + 1;\n    const options = {\n        mode: analysis.mode,\n        ms: analysis.ms,\n        inputs: [...code.inputs],\n        outputs: [...code.outputs],\n        lines: { start: bodyLine + code.body.length + 4, body: bodyLine },\n        blocks: code.blocks.map(block => block.id),\n    };\n\n    const lines = [\n        ...top,\n        ...indent(\n            code.body.map((line, i) => `case ${i}: if (B[${i}] && go !== ${i}) return ${i}; ${line}`),\n            2,\n        ),\n        '    }',\n        '    return -1;',\n        '}',\n        '',\n        `rt.start(cycle, ${JSON.stringify(options)}, S, B, I);`,\n        serializeGraph(graph),\n    ];\n\n    return { source: lines.join('\\n'), graph, analysis };\n}\n"]}

package/build/lib/fb/graph.js

@@ -0,0 +1,240 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.FB_ID_PATTERN = exports.FB_CYCLE_MAX_MS = exports.FB_CYCLE_MIN_MS = exports.FB_CYCLE_DEFAULT_MS = exports.FB_GRAPH_MARKER = void 0;
+exports.createGraph = createGraph;
+exports.resolvePinType = resolvePinType;
+exports.getInputCount = getInputCount;
+exports.getInputs = getInputs;
+exports.getOutputCount = getOutputCount;
+exports.getOutputs = getOutputs;
+exports.isCompatible = isCompatible;
+exports.createId = createId;
+exports.createBlock = createBlock;
+exports.normalizeGraph = normalizeGraph;
+exports.parseGraph = parseGraph;
+exports.isFbdSource = isFbdSource;
+exports.serializeGraph = serializeGraph;
+const library_1 = require("./library");
+const types_1 = require("./types");
+/** The last line of the script source holds the graph: `//#fbd:{...}` */
+exports.FB_GRAPH_MARKER = '//#fbd:';
+exports.FB_CYCLE_DEFAULT_MS = 200;
+exports.FB_CYCLE_MIN_MS = 50;
+exports.FB_CYCLE_MAX_MS = 10000;
+/** IDs end up in the generated code (`I.b7`, `S['b7.Q']`), so they are restricted to identifiers */
+exports.FB_ID_PATTERN = /^[A-Za-z_][A-Za-z0-9_]*$/;
+const SIGNAL_TYPES = ['BOOL', 'INT', 'REAL', 'TIME', 'STRING'];
+function createGraph() {
+    return {
+        format: types_1.FB_FORMAT,
+        runtime: types_1.FB_RUNTIME_VERSION,
+        cycle: { mode: 'auto', ms: exports.FB_CYCLE_DEFAULT_MS },
+        blocks: [],
+        links: [],
+        comments: [],
+    };
+}
+/** The signal type a pin has in this block */
+function resolvePinType(block, type, def) {
+    if (typeof type === 'object') {
+        const value = block.params?.[type.param] ?? def?.params?.find(param => param.id === type.param)?.default;
+        return SIGNAL_TYPES.includes(value) ? value : 'REAL';
+    }
+    return type;
+}
+/** Number of inputs of an extensible block */
+function getInputCount(block, def) {
+    if (!def.extensible) {
+        return def.inputs.length;
+    }
+    const count = Number(block.params?.inputs);
+    return Math.max(def.extensible.min, Math.min(def.extensible.max, Math.round(Number.isFinite(count) ? count : def.extensible.min)));
+}
+function getInputs(block, def = (0, library_1.getBlockDef)(block.type)) {
+    if (!def) {
+        return [];
+    }
+    const inputs = def.inputs.map(pin => ({ ...pin, type: resolvePinType(block, pin.type, def) }));
+    if (def.extensible) {
+        const { prefix, type, default: defaultValue } = def.extensible;
+        for (let i = 1; i <= getInputCount(block, def); i++) {
+            inputs.push({ id: `${prefix}${i}`, type: resolvePinType(block, type, def), default: defaultValue });
+        }
+    }
+    return inputs;
+}
+/** Number of outputs of a block with a variable number of them */
+function getOutputCount(block, def) {
+    if (!def.extensibleOutputs) {
+        return def.outputs.length;
+    }
+    const { min, max } = def.extensibleOutputs;
+    const count = Number(block.params?.outputs);
+    return Math.max(min, Math.min(max, Math.round(Number.isFinite(count) ? count : min)));
+}
+function getOutputs(block, def = (0, library_1.getBlockDef)(block.type)) {
+    if (!def) {
+        return [];
+    }
+    const outputs = def.outputs.map(pin => ({ ...pin, type: resolvePinType(block, pin.type, def) }));
+    if (def.extensibleOutputs) {
+        const { prefix, type } = def.extensibleOutputs;
+        for (let i = 1; i <= getOutputCount(block, def); i++) {
+            outputs.push({ id: `${prefix}${i}`, type: resolvePinType(block, type, def) });
+        }
+    }
+    return outputs;
+}
+/**
+ * Whether an output of type `from` may drive an input of type `to`.
+ *
+ * Only widening happens by itself (INT to REAL); everything else needs a block that converts. An
+ * output of the type ANY - of a JS block, whose code decides - goes anywhere.
+ */
+function isCompatible(from, to) {
+    return to === 'ANY' || from === 'ANY' || from === to || (from === 'INT' && to === 'REAL');
+}
+/** A new ID that is not in `used`: `<prefix><n>` */
+function createId(prefix, used) {
+    const taken = new Set(used);
+    let max = 0;
+    for (const id of taken) {
+        if (id.startsWith(prefix)) {
+            const n = Number(id.substring(prefix.length));
+            if (Number.isInteger(n) && n > max) {
+                max = n;
+            }
+        }
+    }
+    return `${prefix}${max + 1}`;
+}
+/**
+ * A new block of a type, with the parameters at their defaults. A user block must be in
+ * `graph.userBlocks` already.
+ */
+function createBlock(type, pos, graph) {
+    const def = (0, library_1.getBlockDef)(type, graph.userBlocks);
+    const id = createId('b', graph.blocks.map(block => block.id));
+    // a user block is named after its name, not after `@userFb/...`
+    const name = createId(`${def?.user ? def.user.name.trim().replace(/\s+/g, '_') : type}_`, graph.blocks.map(block => block.name));
+    const block = { id, type, name, pos };
+    const params = {};
+    def?.params?.forEach(param => {
+        if (param.default !== undefined) {
+            params[param.id] = param.default;
+        }
+    });
+    if (def?.extensible) {
+        params.inputs = def.extensible.count ?? def.extensible.min;
+    }
+    if (def?.extensibleOutputs) {
+        params.outputs = def.extensibleOutputs.count ?? def.extensibleOutputs.min;
+    }
+    if (Object.keys(params).length) {
+        block.params = params;
+    }
+    return block;
+}
+/** Brings a parsed graph into shape: missing parts get their defaults */
+function normalizeGraph(data) {
+    const graph = createGraph();
+    if (!data || typeof data !== 'object') {
+        return graph;
+    }
+    graph.format = typeof data.format === 'number' ? data.format : types_1.FB_FORMAT;
+    graph.runtime = typeof data.runtime === 'string' ? data.runtime : types_1.FB_RUNTIME_VERSION;
+    if (data.cycle && typeof data.cycle === 'object') {
+        graph.cycle = {
+            mode: ['auto', 'cyclic', 'event'].includes(data.cycle.mode) ? data.cycle.mode : 'auto',
+            ms: typeof data.cycle.ms === 'number' ? data.cycle.ms : exports.FB_CYCLE_DEFAULT_MS,
+        };
+    }
+    graph.blocks = Array.isArray(data.blocks) ? data.blocks.filter(block => block && typeof block === 'object') : [];
+    graph.blocks.forEach(block => {
+        if (!Array.isArray(block.pos) || block.pos.length !== 2) {
+            block.pos = [0, 0];
+        }
+        if (typeof block.name !== 'string') {
+            block.name = String(block.id);
+        }
+    });
+    graph.links = Array.isArray(data.links)
+        ? data.links
+            .filter(link => link && Array.isArray(link.from) && Array.isArray(link.to))
+            .map(link => {
+            const clean = { id: link.id, from: link.from, to: link.to };
+            if (link.mark === true) {
+                clean.mark = true;
+            }
+            if (typeof link.label === 'string' && link.label.trim()) {
+                clean.label = link.label.trim();
+            }
+            return clean;
+        })
+        : [];
+    graph.comments = Array.isArray(data.comments) ? data.comments.filter(comment => comment?.id) : [];
+    const info = (value) => value && typeof value.type === 'string' && typeof value.name === 'string'
+        ? {
+            type: value.type,
+            name: value.name,
+            version: typeof value.version === 'number' ? value.version : 1,
+            ...(typeof value.description === 'string' ? { description: value.description } : {}),
+        }
+        : null;
+    const block = info(data.block);
+    if (block) {
+        graph.block = block;
+    }
+    if (data.userBlocks && typeof data.userBlocks === 'object') {
+        const userBlocks = {};
+        for (const [type, user] of Object.entries(data.userBlocks)) {
+            const userInfo = info(user);
+            if (userInfo && userInfo.type === type && user.graph) {
+                // the copies carry neither a block info nor copies of their own
+                const { block: _block, userBlocks: _inner, ...inner } = normalizeGraph(user.graph);
+                userBlocks[type] = { ...userInfo, graph: inner };
+            }
+        }
+        if (Object.keys(userBlocks).length) {
+            graph.userBlocks = userBlocks;
+        }
+    }
+    return graph;
+}
+/**
+ * Reads the graph out of a script source. Returns `null` when the source holds no graph; an empty
+ * source gives an empty graph, which is what a new script starts with.
+ */
+function parseGraph(source) {
+    if (!source?.trim()) {
+        return createGraph();
+    }
+    const pos = source.lastIndexOf(exports.FB_GRAPH_MARKER);
+    if (pos === -1 || (pos > 0 && source[pos - 1] !== '\n')) {
+        return null;
+    }
+    const line = source
+        .substring(pos + exports.FB_GRAPH_MARKER.length)
+        .split('\n')[0]
+        .trim();
+    try {
+        return normalizeGraph(JSON.parse(line));
+    }
+    catch {
+        return null;
+    }
+}
+/** Whether a script source was generated from a function block diagram */
+function isFbdSource(source) {
+    if (!source) {
+        return false;
+    }
+    // no trimEnd(): the editor compiles this with an ES2018 library
+    const trimmed = source.replace(/\s+$/, '');
+    const pos = trimmed.lastIndexOf('\n');
+    return trimmed.substring(pos + 1).startsWith(exports.FB_GRAPH_MARKER);
+}
+function serializeGraph(graph) {
+    return `${exports.FB_GRAPH_MARKER}${JSON.stringify(graph)}`;
+}
+//# sourceMappingURL=graph.js.map