xdbc 1.0.216 → 1.0.217

package/README.md

@@ -149,6 +149,7 @@ XDBC ships with **16 contracts** organized into core validators and derived spec
 | **`JSON_Parse`** | String must be valid JSON; optionally forwards parsed result | `new JSON_Parse(receptor?: (json) => void)` |
 | **`DEFINED`** | Value must not be `null` or `undefined` | — |
 | **`UNDEFINED`** | Value must be `undefined` | — |
+| **`ARRAY`** | Value must be an array | — |
 | **`HasAttribute`** | HTMLElement must possess a named attribute | `HasAttribute.PRE(attrName, invert?)` |
 | **`ZOD`** | Value must validate against a Zod schema | `new ZOD(schema: z.ZodType)` |
 
@@ -161,6 +162,7 @@ XDBC ships with **16 contracts** organized into core validators and derived spec
 | **`LESS`** | `COMPARISON` | `value < reference` |
 | **`LESS_OR_EQUAL`** | `COMPARISON` | `value <= reference` |
 | **`DIFFERENT`** | `EQ` | `value !== reference` |
+| **`PLAIN_OBJECT`** | `ARRAY` | Value must be a non-null, non-array object |
 
 ### Built-in Regular Expressions
 

package/dist/DBC/ARR/PLAIN_OBJECT.d.ts

@@ -60,7 +60,7 @@ export declare class PLAIN_OBJECT extends ARRAY {
      * @returns The **CANDIDATE** **toCheck** if this {@link PLAIN_OBJECT } is fulfilled.
      *
      * @throws A {@link DBC.Infringement } if the **CANDIDATE** **toCheck** does not fulfill this {@link PLAIN_OBJECT }. */
-    static tsCheck<CANDIDATE extends object = object>(toCheck: CANDIDATE | undefined | null, hint?: string | undefined, id?: string | undefined): CANDIDATE;
+    static tsCheck<CANDIDATE extends object = object>(toCheck: CANDIDATE | undefined | null, hint?: string | undefined, id?: string | undefined, dbc?: string | undefined): CANDIDATE;
     /**
      * Creates this {@link PLAIN_OBJECT } instance. No parameters needed — the check is always the same. */
     constructor();

package/dist/DBC/ARRAY.d.ts

@@ -59,7 +59,7 @@ export declare class ARRAY extends DBC {
      * @returns The **CANDIDATE** **toCheck** if this {@link ARRAY } is fulfilled.
      *
      * @throws A {@link DBC.Infringement } if the **CANDIDATE** **toCheck** does not fulfill this {@link ARRAY }. */
-    static tsCheck<CANDIDATE extends unknown[] = unknown[]>(toCheck: CANDIDATE | undefined | null, hint?: string | undefined, id?: string | undefined): CANDIDATE;
+    static tsCheck<CANDIDATE extends unknown[] = unknown[]>(toCheck: CANDIDATE | undefined | null, hint?: string | undefined, id?: string | undefined, dbc?: string | undefined): CANDIDATE;
     /**
      * Creates this {@link ARRAY } instance.  No parameters needed — the check is always {@link Array.isArray }. */
     constructor();

package/dist/DBC/DEFINED.d.ts

@@ -58,5 +58,5 @@ export declare class DEFINED extends DBC {
      * @returns The **CANDIDATE** **toCheck** doesn't fulfill this {@link DEFINED }.
      *
      * @throws A {@link DBC.Infringement } if the **CANDIDATE** **toCheck** does not fulfill this {@link DEFINED }.*/
-    static tsCheck<CANDIDATE = unknown>(toCheck: CANDIDATE | undefined | null, hint?: string | undefined, id?: string | undefined): CANDIDATE;
+    static tsCheck<CANDIDATE = unknown>(toCheck: CANDIDATE | undefined | null, hint?: string | undefined, id?: string | undefined, dbc?: string | undefined): CANDIDATE;
 }

package/dist/DBC/EQ.d.ts

@@ -61,7 +61,7 @@ export declare class EQ extends DBC {
      * @returns The **CANDIDATE** **toCheck** doesn't fulfill this {@link EQ }.
      *
      * @throws A {@link DBC.Infringement } if the **CANDIDATE** **toCheck** does not fulfill this {@link EQ }.*/
-    static tsCheck<CANDIDATE>(toCheck: CANDIDATE | undefined | null, equivalent: any, hint?: string | undefined, id?: string | undefined): CANDIDATE;
+    static tsCheck<CANDIDATE>(toCheck: CANDIDATE | undefined | null, equivalent: any, hint?: string | undefined, id?: string | undefined, dbc?: string | undefined): CANDIDATE;
     /**
      * Creates this {@link EQ } by setting the protected property {@link EQ.equivalent } used by {@link EQ.check }.
      *

package/dist/DBC/INSTANCE.d.ts

@@ -63,7 +63,7 @@ export declare class INSTANCE extends DBC {
      * @returns The **CANDIDATE** **toCheck** if it fulfills this {@link INSTANCE }.
      *
      * @throws A {@link DBC.Infringement } if the **CANDIDATE** **toCheck** does not fulfill this {@link INSTANCE }. */
-    static tsCheck<CANDIDATE = unknown>(toCheck: any, reference: any, hint?: string, id?: string | undefined): CANDIDATE;
+    static tsCheck<CANDIDATE = unknown>(toCheck: any, reference: any, hint?: string, id?: string | undefined, dbc?: string | undefined): CANDIDATE;
     /**
      * Invokes the {@link INSTANCE.checkAlgorithm } passing the value **toCheck** and the {@link INSTANCE.reference } .
      *
@@ -75,7 +75,7 @@ export declare class INSTANCE extends DBC {
      * @returns The **CANDIDATE** **toCheck** doesn't fulfill this {@link INSTANCE }.
      *
      * @throws A {@link DBC.Infringement } if the **CANDIDATE** **toCheck** does not fulfill this {@link DEFINED }. */
-    static tsCheckMulti<CANDIDATE = unknown>(toCheck: any, references: any[], hint?: string, id?: string | undefined): CANDIDATE;
+    static tsCheckMulti<CANDIDATE = unknown>(toCheck: any, references: any[], hint?: string, id?: string | undefined, dbc?: string | undefined): CANDIDATE;
     /**
      * Creates this {@link INSTANCE } by setting the protected property {@link INSTANCE.reference } used by {@link INSTANCE.check }.
      *

package/dist/DBC/JSON.OP.d.ts

@@ -90,5 +90,5 @@ export declare class JSON_OP extends DBC {
     static check(toCheck: any, necessaryProperties: Array<{
         name: string;
         type: string;
-    }>, checkElements?: boolean): void;
+    }>, checkElements?: boolean, dbc?: string | undefined): void;
 }

package/dist/DBC/JSON.Parse.d.ts

@@ -65,5 +65,5 @@ export declare class JSON_Parse extends DBC {
      * @param necessaryProperties	See {@link JSON_Parse.checkAlgorithm} }.
      * @param checkElements			See {@link JSON_Parse.checkAlgorithm} }.
      */
-    static check(toCheck: any, receptor: (json: object) => void): void;
+    static check(toCheck: any, receptor: (json: object) => void, dbc?: string | undefined): void;
 }

package/dist/DBC/OR.d.ts

@@ -93,7 +93,7 @@ export declare class OR extends DBC {
      * @throws A {@link DBC.Infringement } if the **CANDIDATE** **toCheck** does not fulfill this {@link OR }.*/
     static tsCheck<CANDIDATE>(toCheck: unknown | undefined | null, conditions: Array<{
         check: (toCheck: unknown | undefined | null | object) => boolean | string;
-    }>, hint?: string, id?: string | undefined): CANDIDATE;
+    }>, hint?: string, id?: string | undefined, dbc?: string | undefined): CANDIDATE;
     /**
      * Creates this {@link OR } by setting the protected property {@link OR.conditions } used by {@link OR.check }.
      *

package/dist/DBC/REGEX.d.ts

@@ -80,7 +80,7 @@ export declare class REGEX extends DBC {
      * @returns The validated value cast to the CANDIDATE type.
      *
      * @throws {@link DBC.Infringement} if the value does not match the regular expression. */
-    static tsCheck<CANDIDATE = unknown>(toCheck: any, expression: RegExp, hint?: string | undefined, id?: string | undefined): CANDIDATE;
+    static tsCheck<CANDIDATE = unknown>(toCheck: any, expression: RegExp, hint?: string | undefined, id?: string | undefined, dbc?: string | undefined): CANDIDATE;
     /**
      * Creates this {@link REGEX } by setting the protected property {@link REGEX.expression } used by {@link REGEX.check }.
      *
@@ -92,5 +92,5 @@ export declare class REGEX extends DBC {
      * @param toCheck		See {@link REGEX.checkAlgorithm}.
      * @param expression	See {@link REGEX.checkAlgorithm}.
      */
-    static check(toCheck: unknown | null | undefined, expression: RegExp): void;
+    static check(toCheck: unknown | null | undefined, expression: RegExp, dbc?: string | undefined): void;
 }

package/dist/DBC/TYPE.d.ts

@@ -66,7 +66,7 @@ export declare class TYPE extends DBC {
      * @returns The **CANDIDATE** **toCheck** doesn't fulfill this {@link TYPE }.
      *
      * @throws A {@link DBC.Infringement } if the **CANDIDATE** **toCheck** does not fulfill this {@link DEFINED }. */
-    static tsCheck<CANDIDATE = unknown>(toCheck: any, type: string, hint?: string | undefined, id?: string | undefined): CANDIDATE;
+    static tsCheck<CANDIDATE = unknown>(toCheck: any, type: string, hint?: string | undefined, id?: string | undefined, dbc?: string | undefined): CANDIDATE;
     /**
      * Creates this {@link TYPE } by setting the protected property {@link TYPE.type } used by {@link TYPE.check }.
      *

package/dist/DBC/UNDEFINED.d.ts

@@ -58,5 +58,5 @@ export declare class UNDEFINED extends DBC {
      * @returns The **CANDIDATE** **toCheck** doesn't fulfill this {@link UNDEFINED }.
      *
      * @throws A {@link DBC.Infringement } if the **CANDIDATE** **toCheck** does not fulfill this {@link UNDEFINED }.*/
-    static tsCheck<CANDIDATE = unknown>(toCheck: CANDIDATE | undefined | null, id?: string | undefined): CANDIDATE;
+    static tsCheck<CANDIDATE = unknown>(toCheck: CANDIDATE | undefined | null, id?: string | undefined, dbc?: string | undefined): CANDIDATE;
 }

package/dist/DBC/ZOD.d.ts

@@ -63,7 +63,7 @@ export declare class ZOD extends DBC {
      * @returns The **CANDIDATE** **toCheck** doesn't fulfill this {@link ZOD }.
      *
      * @throws A {@link DBC.Infringement } if the **CANDIDATE** **toCheck** does not fulfill this {@link DEFINED }. */
-    static tsCheck<CANDIDATE = unknown>(toCheck: any, schema: z.ZodType, id?: string | undefined): CANDIDATE;
+    static tsCheck<CANDIDATE = unknown>(toCheck: any, schema: z.ZodType, id?: string | undefined, dbc?: string | undefined): CANDIDATE;
     /**
      * Creates this {@link ZOD } by setting the protected property {@link ZOD.schema } used by {@link ZOD.check }.
      *

package/dist/DBC.d.ts

@@ -185,6 +185,15 @@ export declare class DBC {
      * @param method 	The {@link string } describing or naming the violator.
      * @param value		The parameter's value. */
     reportReturnvalueInfringement(message: string, target: object, path: string | undefined, method: string, value: any, hint?: string | undefined): void;
+    /**
+     * Routes an imperative infringement (from {@link tsCheck } or static {@link check } calls) through the
+     * registered DBC instance's {@link infringementSettings }, respecting whether to throw, log, or both.
+     * Falls back to throwing {@link DBC.Infringement } directly if no DBC instance is registered at the
+     * specified path, preserving the pre-existing behaviour for code that does not register a DBC instance.
+     *
+     * @param message	The fully formatted infringement message.
+     * @param dbc		The path to the DBC instance. Defaults to `"WaXCode.DBC"`. */
+    static reportTsCheckInfringement(message: string, dbc?: string | undefined): void;
     /** An {@link Error } to be thrown whenever an infringement is detected. */
     static Infringement: {
         new (message: string): {