xdbc 1.0.215 → 1.0.216

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): 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): CANDIDATE;
+    /**
+     * Creates this {@link ARRAY } instance.  No parameters needed — the check is always {@link Array.isArray }. */
+    constructor();
+}

package/package.json

@@ -1,5 +1,5 @@
 {
-	"version": "1.0.215",
+	"version": "1.0.216",
 	"name": "xdbc",
 	"main": "dist/bundle.js",
 	"types": "dist/DBC.d.ts",

package/src/DBC/ARR/PLAIN_OBJECT.ts

@@ -0,0 +1,130 @@
+import { DBC } from "../../DBC";
+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 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. */
+	// biome-ignore lint/suspicious/noExplicitAny: Necessary for dynamic type checking.
+	public static checkAlgorithm(toCheck: any): boolean | string {
+		if (toCheck === undefined || toCheck === null) return true;
+
+		if (typeof toCheck !== "object") {
+			return `Value has to be a PLAIN_OBJECT but is of type "${typeof toCheck}"`;
+		}
+
+		if (Array.isArray(toCheck)) {
+			return "Value has to be a PLAIN_OBJECT but is an ARRAY";
+		}
+
+		return true;
+	}
+	/**
+	 * 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 }. */
+	public static PRE(
+		path: string | undefined = undefined,
+		hint: string | undefined = undefined,
+		dbc: string | undefined = undefined,
+	): (
+		target: object,
+		methodName: string | symbol | undefined,
+		parameterIndex: number,
+	) => void {
+		return DBC.createPRE(PLAIN_OBJECT.checkAlgorithm, [], dbc, path, hint);
+	}
+	/**
+	 * 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 }. */
+	public static POST(
+		path: string | undefined = undefined,
+		hint: string | undefined = undefined,
+		dbc: string | undefined = undefined,
+	): (
+		target: object,
+		propertyKey: string,
+		descriptor: PropertyDescriptor,
+	) => PropertyDescriptor {
+		return DBC.createPOST(PLAIN_OBJECT.checkAlgorithm, [], dbc, path, hint);
+	}
+	/**
+	 * 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 }. */
+	public static INVARIANT(
+		path: string | undefined = undefined,
+		hint: string | undefined = undefined,
+		dbc: string | undefined = undefined,
+	) {
+		return DBC.createINVARIANT(PLAIN_OBJECT, [], dbc, path, hint);
+	}
+	// #endregion Condition checking.
+	// #region Referenced Condition checking.
+	//
+	// For usage in dynamic scenarios (like with AE-DBC).
+	//
+	/**
+	 * Invokes the {@link PLAIN_OBJECT.checkAlgorithm } passing the value **toCheck**.
+	 *
+	 * @param toCheck See {@link PLAIN_OBJECT.checkAlgorithm }.
+	 *
+	 * @returns See {@link PLAIN_OBJECT.checkAlgorithm}. */
+	// biome-ignore lint/suspicious/noExplicitAny: <explanation>
+	public check(toCheck: any) {
+		return PLAIN_OBJECT.checkAlgorithm(toCheck);
+	}
+	/**
+	 * 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 }. */
+	public static tsCheck<CANDIDATE extends object = object>(
+		toCheck: CANDIDATE | undefined | null,
+		hint: string | undefined = undefined,
+		id: string | undefined = undefined,
+	): CANDIDATE {
+		const result = PLAIN_OBJECT.checkAlgorithm(toCheck);
+
+		if (result === true) {
+			return toCheck as CANDIDATE;
+		}
+		throw new DBC.Infringement(
+			`${id ? `(${id}) ` : ""}${result as string}${hint ? ` ✨ ${hint} ✨` : ""}`,
+		);
+	}
+	/**
+	 * Creates this {@link PLAIN_OBJECT } instance. No parameters needed — the check is always the same. */
+	public constructor() {
+		super();
+	}
+}

package/src/DBC/ARRAY.ts

@@ -0,0 +1,124 @@
+import { DBC } from "../DBC";
+/**
+ * A {@link DBC } defining that a value must be an array.
+ *
+ * @remarks
+ * Maintainer: Salvatore Callari (XDBC@WaXCode.net) */
+export 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. */
+	// biome-ignore lint/suspicious/noExplicitAny: Necessary for dynamic type checking.
+	public static checkAlgorithm(toCheck: any): boolean | string {
+		if (toCheck === undefined || toCheck === null) return true;
+
+		if (!Array.isArray(toCheck)) {
+			return `Value has to be an ARRAY but is of type "${typeof toCheck}"`;
+		}
+
+		return true;
+	}
+	/**
+	 * 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 }. */
+	public static PRE(
+		path: string | undefined = undefined,
+		hint: string | undefined = undefined,
+		dbc: string | undefined = undefined,
+	): (
+		target: object,
+		methodName: string | symbol | undefined,
+		parameterIndex: number,
+	) => void {
+		return DBC.createPRE(ARRAY.checkAlgorithm, [], dbc, path, hint);
+	}
+	/**
+	 * 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 }. */
+	public static POST(
+		path: string | undefined = undefined,
+		hint: string | undefined = undefined,
+		dbc: string | undefined = undefined,
+	): (
+		target: object,
+		propertyKey: string,
+		descriptor: PropertyDescriptor,
+	) => PropertyDescriptor {
+		return DBC.createPOST(ARRAY.checkAlgorithm, [], dbc, path, hint);
+	}
+	/**
+	 * 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 }. */
+	public static INVARIANT(
+		path: string | undefined = undefined,
+		hint: string | undefined = undefined,
+		dbc: string | undefined = undefined,
+	) {
+		return DBC.createINVARIANT(ARRAY, [], dbc, path, hint);
+	}
+	// #endregion Condition checking.
+	// #region Referenced Condition checking.
+	//
+	// For usage in dynamic scenarios (like with AE-DBC).
+	//
+	/**
+	 * Invokes the {@link ARRAY.checkAlgorithm } passing the value **toCheck**.
+	 *
+	 * @param toCheck See {@link ARRAY.checkAlgorithm }.
+	 *
+	 * @returns See {@link ARRAY.checkAlgorithm}. */
+	// biome-ignore lint/suspicious/noExplicitAny: <explanation>
+	public check(toCheck: any) {
+		return ARRAY.checkAlgorithm(toCheck);
+	}
+	/**
+	 * 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 }. */
+	public static tsCheck<CANDIDATE extends unknown[] = unknown[]>(
+		toCheck: CANDIDATE | undefined | null,
+		hint: string | undefined = undefined,
+		id: string | undefined = undefined,
+	): CANDIDATE {
+		const result = ARRAY.checkAlgorithm(toCheck);
+
+		if (result === true) {
+			return toCheck as CANDIDATE;
+		}
+		throw new DBC.Infringement(
+			`${id ? `(${id}) ` : ""}${result as string}${hint ? ` ✨ ${hint} ✨` : ""}`,
+		);
+	}
+	/**
+	 * Creates this {@link ARRAY } instance.  No parameters needed — the check is always {@link Array.isArray }. */
+	public constructor() {
+		super();
+	}
+}