@drzl/validation-core 3.8.0 → 3.9.0

package/dist/index.cjs

@@ -84591,14 +84591,21 @@ function parseCheck(expression, name) {
   if (parts.length > 1) {
     const checks = [];
     const sets = [];
+    const rows = [];
     for (const part of parts) {
       const parsed = parseCheck(part, name);
       if (!parsed.ok)
         return { ok: false, reason: `part of an AND was not understood: ${parsed.reason}` };
       checks.push(...parsed.checks);
       if (parsed.sets) sets.push(...parsed.sets);
+      if (parsed.rows) rows.push(...parsed.rows);
     }
-    return sets.length ? { ok: true, checks, sets } : { ok: true, checks };
+    return {
+      ok: true,
+      checks,
+      ...sets.length ? { sets } : {},
+      ...rows.length ? { rows } : {}
+    };
   }
   const inList = expr.match(IN_LIST);
   if (inList) {
@@ -84625,6 +84632,11 @@ function parseCheck(expression, name) {
   if (!cmp) return { ok: false, reason: "not a single comparison this version understands" };
   const value = literal(cmp[3]);
   if (!value) {
+    const right = cmp[3].trim();
+    if (/^[A-Za-z_][A-Za-z0-9_]*$/.test(right)) {
+      const op4 = cmp[2] === "!=" ? "<>" : cmp[2];
+      return { ok: true, checks: [], rows: [{ left: cmp[1], right, operator: op4, name }] };
+    }
     return { ok: false, reason: "right side is not a literal" };
   }
   const op3 = cmp[2] === "!=" ? "<>" : cmp[2];

package/dist/index.d.cts

@@ -218,11 +218,24 @@ interface ColumnSet {
     kind: 'number' | 'string';
     name?: string;
 }
+/**
+ * A comparison between two columns of the same row, from `CHECK (start_date < end_date)`.
+ *
+ * It cannot live on a field, because it is a statement about the row: neither column alone can
+ * say whether it holds. It can live on the *object* schema, which is where this ends up.
+ */
+interface RowCheck {
+    left: string;
+    right: string;
+    operator: ColumnCheck['operator'];
+    name?: string;
+}
 /** A check that was understood, or the reason it was not. */
 type ParsedCheck = {
     ok: true;
     checks: ColumnCheck[];
     sets?: ColumnSet[];
+    rows?: RowCheck[];
 } | {
     ok: false;
     reason: string;
@@ -383,4 +396,4 @@ declare function updateColumns(table: Table): Column[];
 declare function selectColumns(table: Table): Column[];
 declare function formatCode(code: string, filePath: string, fmt?: FormatOptions): Promise<any>;
 
-export { AFFIX_PROBE_TABLE, type AffixIssue, type AffixOptions, type AffixValue, COLUMN_FORMATS, type ColumnCheck, type ColumnSet, DEFAULT_IMPORT_EXTENSION, DEFAULT_MODE_PREFIX, DEFAULT_SCHEMA_SUFFIX, DEFAULT_TYPE_SUFFIX, type FormatOptions, IMPORT_EXTENSIONS, type ImportExtension, NAME_MODES, type NameMode, type ParsedCheck, type ResolvedAffix, type Table, type TableCase, type ValidationGenerateOptions, type ValidationLibrary, type ValidationRenderer, applyTableCase, describeSet, formatCode, importSpecifier, insertColumns, isGeneratedColumn, isIntegerColumn, moduleFileName, moduleSpecifier, parseCheck, pascalCase, resolveAffix, resolveConfiguredImport, schemaName, selectColumns, typeName, updateColumns, validateAffix };
+export { AFFIX_PROBE_TABLE, type AffixIssue, type AffixOptions, type AffixValue, COLUMN_FORMATS, type ColumnCheck, type ColumnSet, DEFAULT_IMPORT_EXTENSION, DEFAULT_MODE_PREFIX, DEFAULT_SCHEMA_SUFFIX, DEFAULT_TYPE_SUFFIX, type FormatOptions, IMPORT_EXTENSIONS, type ImportExtension, NAME_MODES, type NameMode, type ParsedCheck, type ResolvedAffix, type RowCheck, type Table, type TableCase, type ValidationGenerateOptions, type ValidationLibrary, type ValidationRenderer, applyTableCase, describeSet, formatCode, importSpecifier, insertColumns, isGeneratedColumn, isIntegerColumn, moduleFileName, moduleSpecifier, parseCheck, pascalCase, resolveAffix, resolveConfiguredImport, schemaName, selectColumns, typeName, updateColumns, validateAffix };

package/dist/index.d.ts

@@ -218,11 +218,24 @@ interface ColumnSet {
     kind: 'number' | 'string';
     name?: string;
 }
+/**
+ * A comparison between two columns of the same row, from `CHECK (start_date < end_date)`.
+ *
+ * It cannot live on a field, because it is a statement about the row: neither column alone can
+ * say whether it holds. It can live on the *object* schema, which is where this ends up.
+ */
+interface RowCheck {
+    left: string;
+    right: string;
+    operator: ColumnCheck['operator'];
+    name?: string;
+}
 /** A check that was understood, or the reason it was not. */
 type ParsedCheck = {
     ok: true;
     checks: ColumnCheck[];
     sets?: ColumnSet[];
+    rows?: RowCheck[];
 } | {
     ok: false;
     reason: string;
@@ -383,4 +396,4 @@ declare function updateColumns(table: Table): Column[];
 declare function selectColumns(table: Table): Column[];
 declare function formatCode(code: string, filePath: string, fmt?: FormatOptions): Promise<any>;
 
-export { AFFIX_PROBE_TABLE, type AffixIssue, type AffixOptions, type AffixValue, COLUMN_FORMATS, type ColumnCheck, type ColumnSet, DEFAULT_IMPORT_EXTENSION, DEFAULT_MODE_PREFIX, DEFAULT_SCHEMA_SUFFIX, DEFAULT_TYPE_SUFFIX, type FormatOptions, IMPORT_EXTENSIONS, type ImportExtension, NAME_MODES, type NameMode, type ParsedCheck, type ResolvedAffix, type Table, type TableCase, type ValidationGenerateOptions, type ValidationLibrary, type ValidationRenderer, applyTableCase, describeSet, formatCode, importSpecifier, insertColumns, isGeneratedColumn, isIntegerColumn, moduleFileName, moduleSpecifier, parseCheck, pascalCase, resolveAffix, resolveConfiguredImport, schemaName, selectColumns, typeName, updateColumns, validateAffix };
+export { AFFIX_PROBE_TABLE, type AffixIssue, type AffixOptions, type AffixValue, COLUMN_FORMATS, type ColumnCheck, type ColumnSet, DEFAULT_IMPORT_EXTENSION, DEFAULT_MODE_PREFIX, DEFAULT_SCHEMA_SUFFIX, DEFAULT_TYPE_SUFFIX, type FormatOptions, IMPORT_EXTENSIONS, type ImportExtension, NAME_MODES, type NameMode, type ParsedCheck, type ResolvedAffix, type RowCheck, type Table, type TableCase, type ValidationGenerateOptions, type ValidationLibrary, type ValidationRenderer, applyTableCase, describeSet, formatCode, importSpecifier, insertColumns, isGeneratedColumn, isIntegerColumn, moduleFileName, moduleSpecifier, parseCheck, pascalCase, resolveAffix, resolveConfiguredImport, schemaName, selectColumns, typeName, updateColumns, validateAffix };

package/dist/index.js

@@ -122,14 +122,21 @@ function parseCheck(expression, name) {
   if (parts.length > 1) {
     const checks = [];
     const sets = [];
+    const rows = [];
     for (const part of parts) {
       const parsed = parseCheck(part, name);
       if (!parsed.ok)
         return { ok: false, reason: `part of an AND was not understood: ${parsed.reason}` };
       checks.push(...parsed.checks);
       if (parsed.sets) sets.push(...parsed.sets);
+      if (parsed.rows) rows.push(...parsed.rows);
     }
-    return sets.length ? { ok: true, checks, sets } : { ok: true, checks };
+    return {
+      ok: true,
+      checks,
+      ...sets.length ? { sets } : {},
+      ...rows.length ? { rows } : {}
+    };
   }
   const inList = expr.match(IN_LIST);
   if (inList) {
@@ -156,6 +163,11 @@ function parseCheck(expression, name) {
   if (!cmp) return { ok: false, reason: "not a single comparison this version understands" };
   const value = literal(cmp[3]);
   if (!value) {
+    const right = cmp[3].trim();
+    if (/^[A-Za-z_][A-Za-z0-9_]*$/.test(right)) {
+      const op2 = cmp[2] === "!=" ? "<>" : cmp[2];
+      return { ok: true, checks: [], rows: [{ left: cmp[1], right, operator: op2, name }] };
+    }
     return { ok: false, reason: "right side is not a literal" };
   }
   const op = cmp[2] === "!=" ? "<>" : cmp[2];

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@drzl/validation-core",
-  "version": "3.8.0",
+  "version": "3.9.0",
   "private": false,
   "license": "Apache-2.0",
   "type": "module",
@@ -11,7 +11,7 @@
   ],
   "sideEffects": false,
   "dependencies": {
-    "@drzl/analyzer": "^1.9.0"
+    "@drzl/analyzer": "^1.10.0"
   },
   "devDependencies": {
     "tsup": "^8.5.1",