xdbc 1.0.215 → 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/__tests__/DBC/ARRAY.test.ts

@@ -0,0 +1,91 @@
+import { ARRAY } from "../../src/DBC/ARRAY";
+import { DBC } from "../../src/DBC";
+
+describe("ARRAY", () => {
+	const array = new ARRAY();
+
+	test("Should not report infringement with an array", () => {
+		expect(array.check([1, 2, 3])).toBe(true);
+	});
+
+	test("Should not report infringement with an empty array", () => {
+		expect(array.check([])).toBe(true);
+	});
+
+	test("Should not report infringement with undefined (null-passthrough)", () => {
+		expect(array.check(undefined)).toBe(true);
+	});
+
+	test("Should not report infringement with null (null-passthrough)", () => {
+		expect(array.check(null)).toBe(true);
+	});
+
+	test("Should report infringement with a plain object", () => {
+		expect(typeof array.check({})).toBe("string");
+	});
+
+	test("Should report infringement with a string", () => {
+		expect(typeof array.check("hello")).toBe("string");
+	});
+
+	test("Should report infringement with a number", () => {
+		expect(typeof array.check(42)).toBe("string");
+	});
+
+	describe("checkAlgorithm", () => {
+		test("Should return true for an array", () => {
+			expect(ARRAY.checkAlgorithm([1, 2, 3])).toBe(true);
+		});
+
+		test("Should return true for an empty array", () => {
+			expect(ARRAY.checkAlgorithm([])).toBe(true);
+		});
+
+		test("Should return true for null (null-passthrough)", () => {
+			expect(ARRAY.checkAlgorithm(null)).toBe(true);
+		});
+
+		test("Should return true for undefined (null-passthrough)", () => {
+			expect(ARRAY.checkAlgorithm(undefined)).toBe(true);
+		});
+
+		test("Should return string for a plain object", () => {
+			const result = ARRAY.checkAlgorithm({});
+			expect(typeof result).toBe("string");
+			expect(result).toContain("ARRAY");
+		});
+
+		test("Should return string for a string value", () => {
+			const result = ARRAY.checkAlgorithm("hello");
+			expect(typeof result).toBe("string");
+		});
+
+		test("Should return string for a number", () => {
+			const result = ARRAY.checkAlgorithm(42);
+			expect(typeof result).toBe("string");
+		});
+	});
+
+	describe("tsCheck", () => {
+		test("Should return the value when it is an array", () => {
+			const value = [1, 2, 3];
+			expect(ARRAY.tsCheck(value)).toBe(value);
+		});
+
+		test("Should throw DBC.Infringement when value is not an array", () => {
+			expect(() => ARRAY.tsCheck({} as any)).toThrow(DBC.Infringement);
+		});
+
+		test("Should include hint in the infringement message", () => {
+			expect(() => ARRAY.tsCheck("oops" as any, "must be an array")).toThrow(
+				/must be an array/,
+			);
+		});
+
+		test("Should include id in the infringement message", () => {
+			expect(() => ARRAY.tsCheck(42 as any, undefined, "myParam")).toThrow(
+				/myParam/,
+			);
+		});
+	});
+});

package/__tests__/DBC/PLAIN_OBJECT.test.ts

@@ -0,0 +1,109 @@
+import { PLAIN_OBJECT } from "../../src/DBC/ARR/PLAIN_OBJECT";
+import { DBC } from "../../src/DBC";
+
+describe("PLAIN_OBJECT", () => {
+	const plainObject = new PLAIN_OBJECT();
+
+	test("Should not report infringement with a plain object", () => {
+		expect(plainObject.check({ a: 1 })).toBe(true);
+	});
+
+	test("Should not report infringement with an empty object", () => {
+		expect(plainObject.check({})).toBe(true);
+	});
+
+	test("Should not report infringement with undefined (null-passthrough)", () => {
+		expect(plainObject.check(undefined)).toBe(true);
+	});
+
+	test("Should not report infringement with null (null-passthrough)", () => {
+		expect(plainObject.check(null)).toBe(true);
+	});
+
+	test("Should report infringement with an array", () => {
+		expect(typeof plainObject.check([])).toBe("string");
+	});
+
+	test("Should report infringement with a non-empty array", () => {
+		expect(typeof plainObject.check([1, 2, 3])).toBe("string");
+	});
+
+	test("Should report infringement with a string", () => {
+		expect(typeof plainObject.check("hello")).toBe("string");
+	});
+
+	test("Should report infringement with a number", () => {
+		expect(typeof plainObject.check(42)).toBe("string");
+	});
+
+	describe("checkAlgorithm", () => {
+		test("Should return true for a plain object", () => {
+			expect(PLAIN_OBJECT.checkAlgorithm({ key: "value" })).toBe(true);
+		});
+
+		test("Should return true for an empty object", () => {
+			expect(PLAIN_OBJECT.checkAlgorithm({})).toBe(true);
+		});
+
+		test("Should return true for null (null-passthrough)", () => {
+			expect(PLAIN_OBJECT.checkAlgorithm(null)).toBe(true);
+		});
+
+		test("Should return true for undefined (null-passthrough)", () => {
+			expect(PLAIN_OBJECT.checkAlgorithm(undefined)).toBe(true);
+		});
+
+		test("Should return string for an array", () => {
+			const result = PLAIN_OBJECT.checkAlgorithm([]);
+			expect(typeof result).toBe("string");
+			expect(result).toContain("ARRAY");
+		});
+
+		test("Should return string for a non-empty array", () => {
+			const result = PLAIN_OBJECT.checkAlgorithm([1, 2, 3]);
+			expect(typeof result).toBe("string");
+			expect(result).toContain("ARRAY");
+		});
+
+		test("Should return string for a string value", () => {
+			const result = PLAIN_OBJECT.checkAlgorithm("hello");
+			expect(typeof result).toBe("string");
+			expect(result).toContain("PLAIN_OBJECT");
+		});
+
+		test("Should return string for a number", () => {
+			const result = PLAIN_OBJECT.checkAlgorithm(42);
+			expect(typeof result).toBe("string");
+			expect(result).toContain("PLAIN_OBJECT");
+		});
+	});
+
+	describe("tsCheck", () => {
+		test("Should return the value when it is a plain object", () => {
+			const value = { x: 1 };
+			expect(PLAIN_OBJECT.tsCheck(value)).toBe(value);
+		});
+
+		test("Should throw DBC.Infringement when value is an array", () => {
+			expect(() => PLAIN_OBJECT.tsCheck([] as any)).toThrow(DBC.Infringement);
+		});
+
+		test("Should throw DBC.Infringement when value is a string", () => {
+			expect(() => PLAIN_OBJECT.tsCheck("oops" as any)).toThrow(
+				DBC.Infringement,
+			);
+		});
+
+		test("Should include hint in the infringement message", () => {
+			expect(() =>
+				PLAIN_OBJECT.tsCheck([] as any, "must be a plain object"),
+			).toThrow(/must be a plain object/);
+		});
+
+		test("Should include id in the infringement message", () => {
+			expect(() =>
+				PLAIN_OBJECT.tsCheck(42 as any, undefined, "optionsParam"),
+			).toThrow(/optionsParam/);
+		});
+	});
+});

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

@@ -0,0 +1,67 @@
+import { ARRAY } from "../ARRAY";
+/**
+ * A {@link DBC } defining that a value must be a plain object — i.e. `typeof value === "object"`,
+ * not `null`, and not an array.
+ *
+ * @remarks
+ * Maintainer: Salvatore Callari (XDBC@WaXCode.net) */
+export declare class PLAIN_OBJECT extends ARRAY {
+    /**
+     * Checks if the value **toCheck** is a plain object (non-null, non-array object).
+     *
+     * @param toCheck	The value to check.
+     *
+     * @returns TRUE if the value **toCheck** is a plain object, otherwise a string describing the infringement. */
+    static checkAlgorithm(toCheck: any): boolean | string;
+    /**
+     * A parameter-decorator factory using the {@link PLAIN_OBJECT.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+     * by the tagged parameter.
+     *
+     * @param path	See {@link DBC.decPrecondition }.
+     * @param hint	See {@link DBC.decPrecondition }.
+     * @param dbc	See {@link DBC.decPrecondition }.
+     *
+     * @returns See {@link DBC.decPrecondition }. */
+    static PRE(path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol | undefined, parameterIndex: number) => void;
+    /**
+     * A method-decorator factory using the {@link PLAIN_OBJECT.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+     * by the tagged method's returnvalue.
+     *
+     * @param path	See {@link DBC.decPostcondition }.
+     * @param hint	See {@link DBC.decPostcondition }.
+     * @param dbc	See {@link DBC.decPostcondition }.
+     *
+     * @returns See {@link DBC.decPostcondition }. */
+    static POST(path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, propertyKey: string, descriptor: PropertyDescriptor) => PropertyDescriptor;
+    /**
+     * A field-decorator factory using the {@link PLAIN_OBJECT.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+     * by the tagged field.
+     *
+     * @param path	See {@link DBC.decInvariant }.
+     * @param hint	See {@link DBC.decInvariant }.
+     * @param dbc	See {@link DBC.decInvariant }.
+     *
+     * @returns See {@link DBC.decInvariant }. */
+    static INVARIANT(path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: unknown, propertyKey: string | symbol) => void;
+    /**
+     * Invokes the {@link PLAIN_OBJECT.checkAlgorithm } passing the value **toCheck**.
+     *
+     * @param toCheck See {@link PLAIN_OBJECT.checkAlgorithm }.
+     *
+     * @returns See {@link PLAIN_OBJECT.checkAlgorithm}. */
+    check(toCheck: any): string | boolean;
+    /**
+     * Invokes the {@link PLAIN_OBJECT.checkAlgorithm } passing the value **toCheck**.
+     *
+     * @param toCheck	See {@link PLAIN_OBJECT.checkAlgorithm }.
+     * @param hint		An optional {@link string } providing extra information in case of an infringement.
+     * @param id		A {@link string } identifying this {@link PLAIN_OBJECT } via the {@link DBC.Infringement }-Message.
+     *
+     * @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, 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

@@ -0,0 +1,66 @@
+import { DBC } from "../DBC";
+/**
+ * A {@link DBC } defining that a value must be an array.
+ *
+ * @remarks
+ * Maintainer: Salvatore Callari (XDBC@WaXCode.net) */
+export declare class ARRAY extends DBC {
+    /**
+     * Checks if the value **toCheck** is an array.
+     *
+     * @param toCheck	The value to check.
+     *
+     * @returns TRUE if the value **toCheck** is an array, otherwise a string describing the infringement. */
+    static checkAlgorithm(toCheck: any): boolean | string;
+    /**
+     * A parameter-decorator factory using the {@link ARRAY.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+     * by the tagged parameter.
+     *
+     * @param path	See {@link DBC.decPrecondition }.
+     * @param hint	See {@link DBC.decPrecondition }.
+     * @param dbc	See {@link DBC.decPrecondition }.
+     *
+     * @returns See {@link DBC.decPrecondition }. */
+    static PRE(path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol | undefined, parameterIndex: number) => void;
+    /**
+     * A method-decorator factory using the {@link ARRAY.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+     * by the tagged method's returnvalue.
+     *
+     * @param path	See {@link DBC.decPostcondition }.
+     * @param hint	See {@link DBC.decPostcondition }.
+     * @param dbc	See {@link DBC.decPostcondition }.
+     *
+     * @returns See {@link DBC.decPostcondition }. */
+    static POST(path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, propertyKey: string, descriptor: PropertyDescriptor) => PropertyDescriptor;
+    /**
+     * A field-decorator factory using the {@link ARRAY.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+     * by the tagged field.
+     *
+     * @param path	See {@link DBC.decInvariant }.
+     * @param hint	See {@link DBC.decInvariant }.
+     * @param dbc	See {@link DBC.decInvariant }.
+     *
+     * @returns See {@link DBC.decInvariant }. */
+    static INVARIANT(path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: unknown, propertyKey: string | symbol) => void;
+    /**
+     * Invokes the {@link ARRAY.checkAlgorithm } passing the value **toCheck**.
+     *
+     * @param toCheck See {@link ARRAY.checkAlgorithm }.
+     *
+     * @returns See {@link ARRAY.checkAlgorithm}. */
+    check(toCheck: any): string | boolean;
+    /**
+     * Invokes the {@link ARRAY.checkAlgorithm } passing the value **toCheck**.
+     *
+     * @param toCheck	See {@link ARRAY.checkAlgorithm }.
+     * @param hint		An optional {@link string } providing extra information in case of an infringement.
+     * @param id		A {@link string } identifying this {@link ARRAY } via the {@link DBC.Infringement }-Message.
+     *
+     * @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, 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): {