@fieldia/core 0.1.0

package/src/lib/format/validate.js

@@ -0,0 +1,210 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.validatePage = validatePage;
+const page_1 = require("./page");
+const modifier_1 = require("../expression/modifier");
+/**
+ * Check a page in two passes: its shape against the format, then every
+ * reference inside it — ids unique, every field a layout, title, statusbar,
+ * stat button, currency or filter names actually defined, and every modifier
+ * readable and reading only fields of this page.
+ *
+ * Returns the page as validated. Nothing is coerced or filled in: a page that
+ * passes is returned equal to the input.
+ */
+function validatePage(input) {
+    const parsed = page_1.PageSchema.safeParse(input);
+    if (!parsed.success) {
+        return { ok: false, issues: parsed.error.issues.map((issue) => ({ path: formatPath(issue.path), message: describe(issue) })) };
+    }
+    const page = parsed.data;
+    const issues = new ReferenceCheck(page).run();
+    return issues.length ? { ok: false, issues } : { ok: true, page };
+}
+function formatPath(path) {
+    if (path.length === 0)
+        return '(page)';
+    return path
+        .map((segment, i) => (typeof segment === 'number' ? `[${segment}]` : i === 0 ? String(segment) : `.${String(segment)}`))
+        .join('');
+}
+function describe(issue) {
+    if (issue.code === 'invalid_union' && 'discriminator' in issue && issue.discriminator) {
+        return `"${issue.discriminator}" is not one of the kinds allowed here`;
+    }
+    return issue.message;
+}
+const has = (record, key) => Object.prototype.hasOwnProperty.call(record, key);
+class ReferenceCheck {
+    page;
+    issues = [];
+    ids = new Map();
+    constructor(page) {
+        this.page = page;
+    }
+    run() {
+        this.checkFields(this.page.fields, 'fields');
+        this.walkRoot(this.page.layout, 'layout');
+        return this.issues;
+    }
+    report(path, message) {
+        this.issues.push({ path, message });
+    }
+    claim(id, path) {
+        const first = this.ids.get(id);
+        if (first !== undefined)
+            this.report(path, `duplicate id "${id}", also used at ${first}`);
+        else
+            this.ids.set(id, path);
+    }
+    /** The field a reference names, or a reported issue and undefined. */
+    need(name, path, scope = this.page.fields) {
+        if (has(scope, name))
+            return scope[name];
+        this.report(path, `no field "${name}"`);
+        return undefined;
+    }
+    /** Every modifier on `owner` must read, and read only fields of this page. */
+    checkModifiers(owner, path, keys = ['invisible']) {
+        for (const key of keys) {
+            const value = owner[key];
+            if (typeof value !== 'string')
+                continue;
+            let fields;
+            try {
+                fields = (0, modifier_1.compileModifier)(value).fields;
+            }
+            catch (error) {
+                this.report(`${path}.${key}`, `cannot read "${value}": ${error.message}`);
+                continue;
+            }
+            for (const name of fields) {
+                if (!has(this.page.fields, name)) {
+                    this.report(`${path}.${key}`, `"${value}" reads "${name}", which is not a field of this page`);
+                }
+            }
+        }
+    }
+    checkFields(fields, base) {
+        for (const [name, def] of Object.entries(fields)) {
+            const path = `${base}.${name}`;
+            if (def.type === 'monetary' && def.currencyField !== undefined) {
+                const currency = this.need(def.currencyField, `${path}.currencyField`, fields);
+                if (currency && !['many2one', 'selection', 'char'].includes(currency.type)) {
+                    this.report(`${path}.currencyField`, `"${def.currencyField}" is a ${currency.type}; a currency field must be a many2one, selection or char`);
+                }
+            }
+            if ((def.type === 'many2one' || def.type === 'many2many') && def.filter) {
+                def.filter.forEach((condition, i) => {
+                    if (condition.valueFrom !== undefined)
+                        this.need(condition.valueFrom, `${path}.filter[${i}].valueFrom`, fields);
+                });
+            }
+            if (def.type === 'one2many')
+                this.checkFields(def.fields, `${path}.fields`);
+        }
+    }
+    walkRoot(root, path) {
+        if (root.type === 'tabs')
+            return this.walkNode(root, path);
+        this.claim(root.id, path);
+        if (root.type === 'sheet')
+            return this.walkSheet(root, path);
+        if (root.type === 'sections')
+            return this.walkChildren(root.children, path);
+        root.children.forEach((step, i) => {
+            const stepPath = `${path}.children[${i}]`;
+            this.claim(step.id, stepPath);
+            this.checkModifiers(step, stepPath);
+            this.walkChildren(step.children, stepPath);
+        });
+    }
+    walkChildren(children, path) {
+        children.forEach((child, i) => this.walkNode(child, `${path}.children[${i}]`));
+    }
+    walkNode(node, path) {
+        this.claim(node.id, path);
+        this.checkModifiers(node, path, node.type === 'field' ? ['invisible', 'readonly', 'required'] : ['invisible']);
+        switch (node.type) {
+            case 'field':
+                return this.checkFieldNode(node, path);
+            case 'section':
+                return this.walkChildren(node.children, path);
+            case 'tabs':
+                return this.walkTabs(node, path);
+            default:
+                return;
+        }
+    }
+    walkTabs(node, path) {
+        node.children.forEach((tab, i) => {
+            const tabPath = `${path}.children[${i}]`;
+            this.claim(tab.id, tabPath);
+            this.checkModifiers(tab, tabPath);
+            this.walkChildren(tab.children, tabPath);
+        });
+    }
+    walkSheet(sheet, path) {
+        if (sheet.title) {
+            this.need(sheet.title.field, `${path}.title.field`);
+            if (sheet.title.subtitleField !== undefined)
+                this.need(sheet.title.subtitleField, `${path}.title.subtitleField`);
+            if (sheet.title.avatarField !== undefined)
+                this.need(sheet.title.avatarField, `${path}.title.avatarField`);
+        }
+        if (sheet.statusbar) {
+            const { field, visibleStates } = sheet.statusbar;
+            const def = this.need(field, `${path}.statusbar.field`);
+            if (def && def.type !== 'selection' && def.type !== 'many2one') {
+                this.report(`${path}.statusbar.field`, `"${field}" is a ${def.type}; a statusbar needs a selection or many2one`);
+            }
+            if (def?.type === 'selection' && visibleStates) {
+                const values = new Set(def.options.map((o) => o.value));
+                visibleStates.forEach((state, i) => {
+                    if (!values.has(state)) {
+                        this.report(`${path}.statusbar.visibleStates[${i}]`, `"${state}" is not an option of "${field}"`);
+                    }
+                });
+            }
+        }
+        sheet.buttons?.forEach((button, i) => {
+            this.claim(button.id, `${path}.buttons[${i}]`);
+            this.checkModifiers(button, `${path}.buttons[${i}]`);
+        });
+        sheet.statButtons?.forEach((stat, i) => {
+            this.claim(stat.id, `${path}.statButtons[${i}]`);
+            this.checkModifiers(stat, `${path}.statButtons[${i}]`);
+            if (stat.field !== undefined)
+                this.need(stat.field, `${path}.statButtons[${i}].field`);
+        });
+        if (sheet.ribbon) {
+            this.claim(sheet.ribbon.id, `${path}.ribbon`);
+            this.checkModifiers(sheet.ribbon, `${path}.ribbon`);
+        }
+        sheet.alerts?.forEach((alert, i) => {
+            this.claim(alert.id, `${path}.alerts[${i}]`);
+            this.checkModifiers(alert, `${path}.alerts[${i}]`);
+        });
+        this.walkChildren(sheet.children, path);
+        if (sheet.sidePanel) {
+            this.claim(sheet.sidePanel.id, `${path}.sidePanel`);
+            this.checkModifiers(sheet.sidePanel, `${path}.sidePanel`);
+        }
+    }
+    checkFieldNode(node, path) {
+        const def = this.need(node.field, `${path}.field`);
+        if (!def || !node.columns)
+            return;
+        if (def.type === 'one2many') {
+            node.columns.forEach((column, i) => {
+                if (!has(def.fields, column)) {
+                    this.report(`${path}.columns[${i}]`, `"${column}" is not a field of the lines of "${node.field}"`);
+                }
+            });
+        }
+        else if (def.type !== 'many2many') {
+            this.report(`${path}.columns`, `columns only apply to one2many and many2many fields; "${node.field}" is a ${def.type}`);
+        }
+    }
+}
+//# sourceMappingURL=validate.js.map

package/src/lib/format/validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../../../../../libs/core/src/lib/format/validate.ts"],"names":[],"mappings":";;AAuBA,oCAQC;AA5BD,iCAA+C;AAC/C,qDAAyD;AAUzD;;;;;;;;GAQG;AACH,SAAgB,YAAY,CAAC,KAAc;IACzC,MAAM,MAAM,GAAG,iBAAU,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;IACjI,CAAC;IACD,MAAM,IAAI,GAAS,MAAM,CAAC,IAAI,CAAC;IAC/B,MAAM,MAAM,GAAG,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC;IAC9C,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AACpE,CAAC;AAED,SAAS,UAAU,CAAC,IAA4B;IAC9C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IACvC,OAAO,IAAI;SACR,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;SACvH,IAAI,CAAC,EAAE,CAAC,CAAC;AACd,CAAC;AAED,SAAS,QAAQ,CAAC,KAAuB;IACvC,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,IAAI,eAAe,IAAI,KAAK,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;QACtF,OAAO,IAAI,KAAK,CAAC,aAAa,wCAAwC,CAAC;IACzE,CAAC;IACD,OAAO,KAAK,CAAC,OAAO,CAAC;AACvB,CAAC;AAED,MAAM,GAAG,GAAG,CAAC,MAAc,EAAE,GAAW,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;AAE/F,MAAM,cAAc;IAIW;IAHZ,MAAM,GAAgB,EAAE,CAAC;IACzB,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEjD,YAA6B,IAAU;QAAV,SAAI,GAAJ,IAAI,CAAM;IAAG,CAAC;IAE3C,GAAG;QACD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAC7C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAC1C,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IAEO,MAAM,CAAC,IAAY,EAAE,OAAe;QAC1C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IACtC,CAAC;IAEO,KAAK,CAAC,EAAU,EAAE,IAAY;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAI,KAAK,KAAK,SAAS;YAAE,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,iBAAiB,EAAE,mBAAmB,KAAK,EAAE,CAAC,CAAC;;YACrF,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IAC9B,CAAC;IAED,sEAAsE;IAC9D,IAAI,CAAC,IAAY,EAAE,IAAY,EAAE,QAA2C,IAAI,CAAC,IAAI,CAAC,MAAM;QAClG,IAAI,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,IAAI,GAAG,CAAC,CAAC;QACxC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,8EAA8E;IACtE,cAAc,CAAC,KAAa,EAAE,IAAY,EAAE,OAA0B,CAAC,WAAW,CAAC;QACzF,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,MAAM,KAAK,GAAI,KAAiC,CAAC,GAAG,CAAC,CAAC;YACtD,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,SAAS;YACxC,IAAI,MAAyB,CAAC;YAC9B,IAAI,CAAC;gBACH,MAAM,GAAG,IAAA,0BAAe,EAAC,KAAK,CAAC,CAAC,MAAM,CAAC;YACzC,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,IAAI,GAAG,EAAE,EAAE,gBAAgB,KAAK,MAAO,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;gBACrF,SAAS;YACX,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;gBAC1B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;oBACjC,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,IAAI,GAAG,EAAE,EAAE,IAAI,KAAK,YAAY,IAAI,sCAAsC,CAAC,CAAC;gBACjG,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAEO,WAAW,CAAC,MAA0C,EAAE,IAAY;QAC1E,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YACjD,MAAM,IAAI,GAAG,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC;YAC/B,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,IAAI,GAAG,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;gBAC/D,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,GAAG,IAAI,gBAAgB,EAAE,MAAM,CAAC,CAAC;gBAC/E,IAAI,QAAQ,IAAI,CAAC,CAAC,UAAU,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC3E,IAAI,CAAC,MAAM,CACT,GAAG,IAAI,gBAAgB,EACvB,IAAI,GAAG,CAAC,aAAa,UAAU,QAAQ,CAAC,IAAI,0DAA0D,CACvG,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,UAAU,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW,CAAC,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;gBACxE,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,CAAC,EAAE,EAAE;oBAClC,IAAI,SAAS,CAAC,SAAS,KAAK,SAAS;wBAAE,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,GAAG,IAAI,WAAW,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;gBAClH,CAAC,CAAC,CAAC;YACL,CAAC;YACD,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU;gBAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,IAAI,SAAS,CAAC,CAAC;QAC9E,CAAC;IACH,CAAC;IAEO,QAAQ,CAAC,IAAgB,EAAE,IAAY;QAC7C,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC3D,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC1B,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7D,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC5E,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;YAChC,MAAM,QAAQ,GAAG,GAAG,IAAI,aAAa,CAAC,GAAG,CAAC;YAC1C,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;YAC9B,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACpC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC7C,CAAC,CAAC,CAAC;IACL,CAAC;IAEO,YAAY,CAAC,QAAsB,EAAE,IAAY;QACvD,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;IACjF,CAAC;IAEO,QAAQ,CAAC,IAAgB,EAAE,IAAY;QAC7C,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC1B,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;QAC/G,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,OAAO;gBACV,OAAO,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACzC,KAAK,SAAS;gBACZ,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;YAChD,KAAK,MAAM;gBACT,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACnC;gBACE,OAAO;QACX,CAAC;IACH,CAAC;IAEO,QAAQ,CAAC,IAAc,EAAE,IAAY;QAC3C,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;YAC/B,MAAM,OAAO,GAAG,GAAG,IAAI,aAAa,CAAC,GAAG,CAAC;YACzC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;YAC5B,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YAClC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC3C,CAAC,CAAC,CAAC;IACL,CAAC;IAEO,SAAS,CAAC,KAAgB,EAAE,IAAY;QAC9C,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAChB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,IAAI,cAAc,CAAC,CAAC;YACpD,IAAI,KAAK,CAAC,KAAK,CAAC,aAAa,KAAK,SAAS;gBAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,aAAa,EAAE,GAAG,IAAI,sBAAsB,CAAC,CAAC;YACjH,IAAI,KAAK,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS;gBAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,IAAI,oBAAoB,CAAC,CAAC;QAC7G,CAAC;QACD,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;YACpB,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC;YACjD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,kBAAkB,CAAC,CAAC;YACxD,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC/D,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,kBAAkB,EAAE,IAAI,KAAK,UAAU,GAAG,CAAC,IAAI,6CAA6C,CAAC,CAAC;YACnH,CAAC;YACD,IAAI,GAAG,EAAE,IAAI,KAAK,WAAW,IAAI,aAAa,EAAE,CAAC;gBAC/C,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;gBACxD,aAAa,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;oBACjC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;wBACvB,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,4BAA4B,CAAC,GAAG,EAAE,IAAI,KAAK,0BAA0B,KAAK,GAAG,CAAC,CAAC;oBACpG,CAAC;gBACH,CAAC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;YACnC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC;YAC/C,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,GAAG,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;QACH,KAAK,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;YACrC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,IAAI,gBAAgB,CAAC,GAAG,CAAC,CAAC;YACjD,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,GAAG,IAAI,gBAAgB,CAAC,GAAG,CAAC,CAAC;YACvD,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;gBAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,gBAAgB,CAAC,SAAS,CAAC,CAAC;QACzF,CAAC,CAAC,CAAC;QACH,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;YACjB,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,IAAI,SAAS,CAAC,CAAC;YAC9C,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,IAAI,SAAS,CAAC,CAAC;QACtD,CAAC;QACD,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;YACjC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC;YAC7C,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,GAAG,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QACxC,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;YACpB,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,EAAE,GAAG,IAAI,YAAY,CAAC,CAAC;YACpD,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,SAAS,EAAE,GAAG,IAAI,YAAY,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;IAEO,cAAc,CAAC,IAAe,EAAE,IAAY;QAClD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAC;QACnD,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO;YAAE,OAAO;QAClC,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC5B,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;gBACjC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;oBAC7B,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,YAAY,CAAC,GAAG,EAAE,IAAI,MAAM,qCAAqC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;gBACrG,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACpC,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,UAAU,EAAE,yDAAyD,IAAI,CAAC,KAAK,UAAU,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QAC1H,CAAC;IACH,CAAC;CACF"}

package/src/lib/format/validate.mjs

@@ -0,0 +1,207 @@
+import { PageSchema } from './page.mjs';
+import { compileModifier } from '../expression/modifier.mjs';
+/**
+ * Check a page in two passes: its shape against the format, then every
+ * reference inside it — ids unique, every field a layout, title, statusbar,
+ * stat button, currency or filter names actually defined, and every modifier
+ * readable and reading only fields of this page.
+ *
+ * Returns the page as validated. Nothing is coerced or filled in: a page that
+ * passes is returned equal to the input.
+ */
+export function validatePage(input) {
+    const parsed = PageSchema.safeParse(input);
+    if (!parsed.success) {
+        return { ok: false, issues: parsed.error.issues.map((issue) => ({ path: formatPath(issue.path), message: describe(issue) })) };
+    }
+    const page = parsed.data;
+    const issues = new ReferenceCheck(page).run();
+    return issues.length ? { ok: false, issues } : { ok: true, page };
+}
+function formatPath(path) {
+    if (path.length === 0)
+        return '(page)';
+    return path
+        .map((segment, i) => (typeof segment === 'number' ? `[${segment}]` : i === 0 ? String(segment) : `.${String(segment)}`))
+        .join('');
+}
+function describe(issue) {
+    if (issue.code === 'invalid_union' && 'discriminator' in issue && issue.discriminator) {
+        return `"${issue.discriminator}" is not one of the kinds allowed here`;
+    }
+    return issue.message;
+}
+const has = (record, key) => Object.prototype.hasOwnProperty.call(record, key);
+class ReferenceCheck {
+    page;
+    issues = [];
+    ids = new Map();
+    constructor(page) {
+        this.page = page;
+    }
+    run() {
+        this.checkFields(this.page.fields, 'fields');
+        this.walkRoot(this.page.layout, 'layout');
+        return this.issues;
+    }
+    report(path, message) {
+        this.issues.push({ path, message });
+    }
+    claim(id, path) {
+        const first = this.ids.get(id);
+        if (first !== undefined)
+            this.report(path, `duplicate id "${id}", also used at ${first}`);
+        else
+            this.ids.set(id, path);
+    }
+    /** The field a reference names, or a reported issue and undefined. */
+    need(name, path, scope = this.page.fields) {
+        if (has(scope, name))
+            return scope[name];
+        this.report(path, `no field "${name}"`);
+        return undefined;
+    }
+    /** Every modifier on `owner` must read, and read only fields of this page. */
+    checkModifiers(owner, path, keys = ['invisible']) {
+        for (const key of keys) {
+            const value = owner[key];
+            if (typeof value !== 'string')
+                continue;
+            let fields;
+            try {
+                fields = compileModifier(value).fields;
+            }
+            catch (error) {
+                this.report(`${path}.${key}`, `cannot read "${value}": ${error.message}`);
+                continue;
+            }
+            for (const name of fields) {
+                if (!has(this.page.fields, name)) {
+                    this.report(`${path}.${key}`, `"${value}" reads "${name}", which is not a field of this page`);
+                }
+            }
+        }
+    }
+    checkFields(fields, base) {
+        for (const [name, def] of Object.entries(fields)) {
+            const path = `${base}.${name}`;
+            if (def.type === 'monetary' && def.currencyField !== undefined) {
+                const currency = this.need(def.currencyField, `${path}.currencyField`, fields);
+                if (currency && !['many2one', 'selection', 'char'].includes(currency.type)) {
+                    this.report(`${path}.currencyField`, `"${def.currencyField}" is a ${currency.type}; a currency field must be a many2one, selection or char`);
+                }
+            }
+            if ((def.type === 'many2one' || def.type === 'many2many') && def.filter) {
+                def.filter.forEach((condition, i) => {
+                    if (condition.valueFrom !== undefined)
+                        this.need(condition.valueFrom, `${path}.filter[${i}].valueFrom`, fields);
+                });
+            }
+            if (def.type === 'one2many')
+                this.checkFields(def.fields, `${path}.fields`);
+        }
+    }
+    walkRoot(root, path) {
+        if (root.type === 'tabs')
+            return this.walkNode(root, path);
+        this.claim(root.id, path);
+        if (root.type === 'sheet')
+            return this.walkSheet(root, path);
+        if (root.type === 'sections')
+            return this.walkChildren(root.children, path);
+        root.children.forEach((step, i) => {
+            const stepPath = `${path}.children[${i}]`;
+            this.claim(step.id, stepPath);
+            this.checkModifiers(step, stepPath);
+            this.walkChildren(step.children, stepPath);
+        });
+    }
+    walkChildren(children, path) {
+        children.forEach((child, i) => this.walkNode(child, `${path}.children[${i}]`));
+    }
+    walkNode(node, path) {
+        this.claim(node.id, path);
+        this.checkModifiers(node, path, node.type === 'field' ? ['invisible', 'readonly', 'required'] : ['invisible']);
+        switch (node.type) {
+            case 'field':
+                return this.checkFieldNode(node, path);
+            case 'section':
+                return this.walkChildren(node.children, path);
+            case 'tabs':
+                return this.walkTabs(node, path);
+            default:
+                return;
+        }
+    }
+    walkTabs(node, path) {
+        node.children.forEach((tab, i) => {
+            const tabPath = `${path}.children[${i}]`;
+            this.claim(tab.id, tabPath);
+            this.checkModifiers(tab, tabPath);
+            this.walkChildren(tab.children, tabPath);
+        });
+    }
+    walkSheet(sheet, path) {
+        if (sheet.title) {
+            this.need(sheet.title.field, `${path}.title.field`);
+            if (sheet.title.subtitleField !== undefined)
+                this.need(sheet.title.subtitleField, `${path}.title.subtitleField`);
+            if (sheet.title.avatarField !== undefined)
+                this.need(sheet.title.avatarField, `${path}.title.avatarField`);
+        }
+        if (sheet.statusbar) {
+            const { field, visibleStates } = sheet.statusbar;
+            const def = this.need(field, `${path}.statusbar.field`);
+            if (def && def.type !== 'selection' && def.type !== 'many2one') {
+                this.report(`${path}.statusbar.field`, `"${field}" is a ${def.type}; a statusbar needs a selection or many2one`);
+            }
+            if (def?.type === 'selection' && visibleStates) {
+                const values = new Set(def.options.map((o) => o.value));
+                visibleStates.forEach((state, i) => {
+                    if (!values.has(state)) {
+                        this.report(`${path}.statusbar.visibleStates[${i}]`, `"${state}" is not an option of "${field}"`);
+                    }
+                });
+            }
+        }
+        sheet.buttons?.forEach((button, i) => {
+            this.claim(button.id, `${path}.buttons[${i}]`);
+            this.checkModifiers(button, `${path}.buttons[${i}]`);
+        });
+        sheet.statButtons?.forEach((stat, i) => {
+            this.claim(stat.id, `${path}.statButtons[${i}]`);
+            this.checkModifiers(stat, `${path}.statButtons[${i}]`);
+            if (stat.field !== undefined)
+                this.need(stat.field, `${path}.statButtons[${i}].field`);
+        });
+        if (sheet.ribbon) {
+            this.claim(sheet.ribbon.id, `${path}.ribbon`);
+            this.checkModifiers(sheet.ribbon, `${path}.ribbon`);
+        }
+        sheet.alerts?.forEach((alert, i) => {
+            this.claim(alert.id, `${path}.alerts[${i}]`);
+            this.checkModifiers(alert, `${path}.alerts[${i}]`);
+        });
+        this.walkChildren(sheet.children, path);
+        if (sheet.sidePanel) {
+            this.claim(sheet.sidePanel.id, `${path}.sidePanel`);
+            this.checkModifiers(sheet.sidePanel, `${path}.sidePanel`);
+        }
+    }
+    checkFieldNode(node, path) {
+        const def = this.need(node.field, `${path}.field`);
+        if (!def || !node.columns)
+            return;
+        if (def.type === 'one2many') {
+            node.columns.forEach((column, i) => {
+                if (!has(def.fields, column)) {
+                    this.report(`${path}.columns[${i}]`, `"${column}" is not a field of the lines of "${node.field}"`);
+                }
+            });
+        }
+        else if (def.type !== 'many2many') {
+            this.report(`${path}.columns`, `columns only apply to one2many and many2many fields; "${node.field}" is a ${def.type}`);
+        }
+    }
+}
+//# sourceMappingURL=validate.mjs.map

package/src/lib/format/validate.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.mjs","sourceRoot":"","sources":["../../../../../../libs/core/src/lib/format/validate.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,UAAU,EAAa,MAAM,QAAQ,CAAC;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAUzD;;;;;;;;GAQG;AACH,MAAM,UAAU,YAAY,CAAC,KAAc;IACzC,MAAM,MAAM,GAAG,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;IACjI,CAAC;IACD,MAAM,IAAI,GAAS,MAAM,CAAC,IAAI,CAAC;IAC/B,MAAM,MAAM,GAAG,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC;IAC9C,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AACpE,CAAC;AAED,SAAS,UAAU,CAAC,IAA4B;IAC9C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IACvC,OAAO,IAAI;SACR,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;SACvH,IAAI,CAAC,EAAE,CAAC,CAAC;AACd,CAAC;AAED,SAAS,QAAQ,CAAC,KAAuB;IACvC,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,IAAI,eAAe,IAAI,KAAK,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;QACtF,OAAO,IAAI,KAAK,CAAC,aAAa,wCAAwC,CAAC;IACzE,CAAC;IACD,OAAO,KAAK,CAAC,OAAO,CAAC;AACvB,CAAC;AAED,MAAM,GAAG,GAAG,CAAC,MAAc,EAAE,GAAW,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;AAE/F,MAAM,cAAc;IAIW;IAHZ,MAAM,GAAgB,EAAE,CAAC;IACzB,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEjD,YAA6B,IAAU;QAAV,SAAI,GAAJ,IAAI,CAAM;IAAG,CAAC;IAE3C,GAAG;QACD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAC7C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAC1C,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IAEO,MAAM,CAAC,IAAY,EAAE,OAAe;QAC1C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IACtC,CAAC;IAEO,KAAK,CAAC,EAAU,EAAE,IAAY;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAI,KAAK,KAAK,SAAS;YAAE,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,iBAAiB,EAAE,mBAAmB,KAAK,EAAE,CAAC,CAAC;;YACrF,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IAC9B,CAAC;IAED,sEAAsE;IAC9D,IAAI,CAAC,IAAY,EAAE,IAAY,EAAE,QAA2C,IAAI,CAAC,IAAI,CAAC,MAAM;QAClG,IAAI,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,IAAI,GAAG,CAAC,CAAC;QACxC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,8EAA8E;IACtE,cAAc,CAAC,KAAa,EAAE,IAAY,EAAE,OAA0B,CAAC,WAAW,CAAC;QACzF,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,MAAM,KAAK,GAAI,KAAiC,CAAC,GAAG,CAAC,CAAC;YACtD,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,SAAS;YACxC,IAAI,MAAyB,CAAC;YAC9B,IAAI,CAAC;gBACH,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC;YACzC,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,IAAI,GAAG,EAAE,EAAE,gBAAgB,KAAK,MAAO,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;gBACrF,SAAS;YACX,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;gBAC1B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;oBACjC,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,IAAI,GAAG,EAAE,EAAE,IAAI,KAAK,YAAY,IAAI,sCAAsC,CAAC,CAAC;gBACjG,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAEO,WAAW,CAAC,MAA0C,EAAE,IAAY;QAC1E,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YACjD,MAAM,IAAI,GAAG,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC;YAC/B,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,IAAI,GAAG,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;gBAC/D,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,GAAG,IAAI,gBAAgB,EAAE,MAAM,CAAC,CAAC;gBAC/E,IAAI,QAAQ,IAAI,CAAC,CAAC,UAAU,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC3E,IAAI,CAAC,MAAM,CACT,GAAG,IAAI,gBAAgB,EACvB,IAAI,GAAG,CAAC,aAAa,UAAU,QAAQ,CAAC,IAAI,0DAA0D,CACvG,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,UAAU,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW,CAAC,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;gBACxE,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,CAAC,EAAE,EAAE;oBAClC,IAAI,SAAS,CAAC,SAAS,KAAK,SAAS;wBAAE,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,GAAG,IAAI,WAAW,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;gBAClH,CAAC,CAAC,CAAC;YACL,CAAC;YACD,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU;gBAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,IAAI,SAAS,CAAC,CAAC;QAC9E,CAAC;IACH,CAAC;IAEO,QAAQ,CAAC,IAAgB,EAAE,IAAY;QAC7C,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC3D,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC1B,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7D,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC5E,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;YAChC,MAAM,QAAQ,GAAG,GAAG,IAAI,aAAa,CAAC,GAAG,CAAC;YAC1C,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;YAC9B,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACpC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC7C,CAAC,CAAC,CAAC;IACL,CAAC;IAEO,YAAY,CAAC,QAAsB,EAAE,IAAY;QACvD,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;IACjF,CAAC;IAEO,QAAQ,CAAC,IAAgB,EAAE,IAAY;QAC7C,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC1B,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;QAC/G,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,OAAO;gBACV,OAAO,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACzC,KAAK,SAAS;gBACZ,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;YAChD,KAAK,MAAM;gBACT,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACnC;gBACE,OAAO;QACX,CAAC;IACH,CAAC;IAEO,QAAQ,CAAC,IAAc,EAAE,IAAY;QAC3C,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;YAC/B,MAAM,OAAO,GAAG,GAAG,IAAI,aAAa,CAAC,GAAG,CAAC;YACzC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;YAC5B,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YAClC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC3C,CAAC,CAAC,CAAC;IACL,CAAC;IAEO,SAAS,CAAC,KAAgB,EAAE,IAAY;QAC9C,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAChB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,IAAI,cAAc,CAAC,CAAC;YACpD,IAAI,KAAK,CAAC,KAAK,CAAC,aAAa,KAAK,SAAS;gBAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,aAAa,EAAE,GAAG,IAAI,sBAAsB,CAAC,CAAC;YACjH,IAAI,KAAK,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS;gBAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,IAAI,oBAAoB,CAAC,CAAC;QAC7G,CAAC;QACD,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;YACpB,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC;YACjD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,kBAAkB,CAAC,CAAC;YACxD,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC/D,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,kBAAkB,EAAE,IAAI,KAAK,UAAU,GAAG,CAAC,IAAI,6CAA6C,CAAC,CAAC;YACnH,CAAC;YACD,IAAI,GAAG,EAAE,IAAI,KAAK,WAAW,IAAI,aAAa,EAAE,CAAC;gBAC/C,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;gBACxD,aAAa,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;oBACjC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;wBACvB,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,4BAA4B,CAAC,GAAG,EAAE,IAAI,KAAK,0BAA0B,KAAK,GAAG,CAAC,CAAC;oBACpG,CAAC;gBACH,CAAC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;YACnC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC;YAC/C,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,GAAG,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;QACH,KAAK,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;YACrC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,IAAI,gBAAgB,CAAC,GAAG,CAAC,CAAC;YACjD,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,GAAG,IAAI,gBAAgB,CAAC,GAAG,CAAC,CAAC;YACvD,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;gBAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,gBAAgB,CAAC,SAAS,CAAC,CAAC;QACzF,CAAC,CAAC,CAAC;QACH,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;YACjB,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,IAAI,SAAS,CAAC,CAAC;YAC9C,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,IAAI,SAAS,CAAC,CAAC;QACtD,CAAC;QACD,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;YACjC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC;YAC7C,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,GAAG,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QACxC,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;YACpB,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,EAAE,GAAG,IAAI,YAAY,CAAC,CAAC;YACpD,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,SAAS,EAAE,GAAG,IAAI,YAAY,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;IAEO,cAAc,CAAC,IAAe,EAAE,IAAY;QAClD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAC;QACnD,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO;YAAE,OAAO;QAClC,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC5B,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;gBACjC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;oBAC7B,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,YAAY,CAAC,GAAG,EAAE,IAAI,MAAM,qCAAqC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;gBACrG,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACpC,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,UAAU,EAAE,yDAAyD,IAAI,CAAC,KAAK,UAAU,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QAC1H,CAAC;IACH,CAAC;CACF"}

package/src/lib/record/check.d.mts

@@ -0,0 +1,14 @@
+import type { Field, LineField } from '../format/field.mjs';
+import { type Messages } from './messages.mjs';
+import { type Value } from './values.mjs';
+/**
+ * Check one value against its field. Returns the message to show, or
+ * undefined when the value is fine. The wording follows the React engine's
+ * ("Name is required", "Maximum 120 characters allowed").
+ *
+ * An empty optional value passes everything: a pattern or a minimum applies
+ * to what someone typed, not to a field they left alone.
+ */
+export declare function checkValue(field: Field | LineField, value: Value | undefined, required: boolean, messages?: Messages): string | undefined;
+/** 1048576 -> "1 MB". */
+export declare function formatBytes(bytes: number): string;

package/src/lib/record/check.d.ts

@@ -0,0 +1,14 @@
+import type { Field, LineField } from '../format/field';
+import { type Messages } from './messages';
+import { type Value } from './values';
+/**
+ * Check one value against its field. Returns the message to show, or
+ * undefined when the value is fine. The wording follows the React engine's
+ * ("Name is required", "Maximum 120 characters allowed").
+ *
+ * An empty optional value passes everything: a pattern or a minimum applies
+ * to what someone typed, not to a field they left alone.
+ */
+export declare function checkValue(field: Field | LineField, value: Value | undefined, required: boolean, messages?: Messages): string | undefined;
+/** 1048576 -> "1 MB". */
+export declare function formatBytes(bytes: number): string;

package/src/lib/record/check.js

@@ -0,0 +1,167 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.checkValue = checkValue;
+exports.formatBytes = formatBytes;
+const messages_1 = require("./messages");
+const values_1 = require("./values");
+/**
+ * Check one value against its field. Returns the message to show, or
+ * undefined when the value is fine. The wording follows the React engine's
+ * ("Name is required", "Maximum 120 characters allowed").
+ *
+ * An empty optional value passes everything: a pattern or a minimum applies
+ * to what someone typed, not to a field they left alone.
+ */
+function checkValue(field, value, required, messages = messages_1.MESSAGES.en) {
+    const label = field.label || 'This field';
+    const say = (key, values = {}) => (0, messages_1.fill)(messages[key], { label, ...values });
+    if ((0, values_1.isEmpty)(field, value))
+        return required ? say('required') : undefined;
+    switch (field.type) {
+        case 'char':
+        case 'text':
+        case 'html': {
+            if (typeof value !== 'string')
+                return say('text');
+            if ((field.type === 'char' || field.type === 'text') && field.size !== undefined && value.length > field.size) {
+                return say('maxLength', { max: field.size });
+            }
+            if (field.type === 'char' && field.pattern !== undefined && !new RegExp(field.pattern).test(value)) {
+                return say('pattern');
+            }
+            return undefined;
+        }
+        case 'integer':
+        case 'float':
+        case 'monetary': {
+            if (typeof value !== 'number' || !Number.isFinite(value))
+                return say('number');
+            if (field.type === 'integer' && !Number.isInteger(value))
+                return say('integer');
+            if (field.min !== undefined && value < field.min)
+                return say('min', { min: field.min });
+            if (field.max !== undefined && value > field.max)
+                return say('max', { max: field.max });
+            if (field.type !== 'integer' && field.digits && decimals(value) > field.digits[1]) {
+                return say('decimals', { digits: field.digits[1] });
+            }
+            return undefined;
+        }
+        case 'boolean':
+            return typeof value === 'boolean' ? undefined : say('boolean');
+        case 'date':
+            return checkDate(value, say);
+        case 'datetime':
+            return checkDateTime(value, say);
+        case 'selection': {
+            const allowed = new Set(field.options.map((o) => o.value));
+            const listing = say('choice', { options: field.options.map((o) => o.label).join(', ') });
+            if (field.multiple) {
+                if (!Array.isArray(value))
+                    return say('choices');
+                return value.every((v) => allowed.has(v)) ? undefined : listing;
+            }
+            return allowed.has(value) ? undefined : listing;
+        }
+        case 'many2one':
+            return isRecord(value) ? undefined : say('record');
+        case 'many2many':
+            return Array.isArray(value) && value.every(isRecord) ? undefined : say('records');
+        case 'reference': {
+            const ref = value;
+            if (!isRecord(value) || typeof ref.model !== 'string')
+                return say('record');
+            if (!field.models.some((m) => m.value === ref.model)) {
+                const models = listOr(field.models.map((m) => m.label), messages.or);
+                return say('reference', { models, aModels: article(models) });
+            }
+            return undefined;
+        }
+        case 'binary':
+        case 'image':
+            return checkFile(field, value, say, messages);
+        default:
+            return undefined;
+    }
+}
+function decimals(value) {
+    const text = String(value);
+    if (text.includes('e-'))
+        return Number(text.split('e-')[1]);
+    const dot = text.indexOf('.');
+    return dot === -1 ? 0 : text.length - dot - 1;
+}
+function isRecord(value) {
+    return (value !== null &&
+        typeof value === 'object' &&
+        !Array.isArray(value) &&
+        (typeof value.id === 'number' || typeof value.id === 'string') &&
+        typeof value.label === 'string');
+}
+function checkDate(value, say) {
+    if (typeof value !== 'string' || !/^\d{4}-\d{2}-\d{2}$/.test(value))
+        return say('dateFormat');
+    const [y, m, d] = value.split('-').map(Number);
+    return realDay(y, m, d) ? undefined : say('dateInvalid');
+}
+const ISO_DATETIME = /^(\d{4})-(\d{2})-(\d{2})T(\d{2}):(\d{2})(?::(\d{2})(?:\.\d{1,9})?)?(?:Z|[+-]\d{2}:\d{2})?$/;
+function checkDateTime(value, say) {
+    const match = typeof value === 'string' ? ISO_DATETIME.exec(value) : null;
+    if (!match)
+        return say('datetimeFormat');
+    const [y, mo, d, h, mi, s] = match.slice(1).map((part) => Number(part ?? 0));
+    return realDay(y, mo, d) && h < 24 && mi < 60 && s < 60 ? undefined : say('datetimeInvalid');
+}
+function realDay(year, month, day) {
+    if (month < 1 || month > 12 || day < 1)
+        return false;
+    const lengths = [31, year % 4 === 0 && (year % 100 !== 0 || year % 400 === 0) ? 29 : 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31];
+    return day <= lengths[month - 1];
+}
+function checkFile(field, value, say, messages) {
+    const file = value;
+    if (!isFile(value))
+        return say('file');
+    if ('maxSize' in field && field.maxSize !== undefined && file.size > field.maxSize) {
+        return say('fileSize', { size: formatBytes(field.maxSize) });
+    }
+    if (field.type === 'binary' && field.accept && !field.accept.some((pattern) => matchesType(pattern, file.type))) {
+        const types = listOr(field.accept.map(describeType), messages.or);
+        return say('fileType', { types, aTypes: article(types) });
+    }
+    return undefined;
+}
+function isFile(value) {
+    const file = value;
+    return value !== null && typeof value === 'object' && typeof file.name === 'string' && typeof file.size === 'number';
+}
+function matchesType(pattern, type) {
+    return pattern.endsWith('/*') ? type.startsWith(pattern.slice(0, -1)) : pattern === type;
+}
+function describeType(pattern) {
+    if (pattern.endsWith('/*'))
+        return pattern.slice(0, -2);
+    if (pattern === 'application/pdf')
+        return 'PDF';
+    return (pattern.split('/')[1] ?? pattern).toUpperCase();
+}
+function listOr(items, or) {
+    if (items.length <= 1)
+        return items.join('');
+    return `${items.slice(0, -1).join(', ')} ${or} ${items[items.length - 1]}`;
+}
+function article(phrase) {
+    return /^[aeiou]/i.test(phrase) ? `an ${phrase}` : `a ${phrase}`;
+}
+/** 1048576 -> "1 MB". */
+function formatBytes(bytes) {
+    const units = ['bytes', 'KB', 'MB', 'GB'];
+    let size = bytes;
+    let unit = 0;
+    while (size >= 1024 && unit < units.length - 1) {
+        size /= 1024;
+        unit++;
+    }
+    return `${Number(size.toFixed(1))} ${units[unit]}`;
+}
+//# sourceMappingURL=check.js.map