xdbc 1.0.207 → 1.0.209

package/__tests__/DBC/IF.test.ts

@@ -0,0 +1,52 @@
+import { IF } from "../../src/DBC/IF";
+import { EQ } from "../../src/DBC/EQ";
+import { TYPE } from "../../src/DBC/TYPE";
+
+describe("IF", () => {
+    const isString = new TYPE("string");
+    const eqHello = new EQ("hello");
+
+    const ifContract = new IF(isString, eqHello);
+
+    test("Should not report infringement when condition matches and inCase is fulfilled", () => {
+        expect(ifContract.check("hello")).toBe(true);
+    });
+
+    test("Should report infringement when condition matches but inCase is not fulfilled", () => {
+        expect(typeof ifContract.check("world")).toBe("string");
+    });
+
+    test("Should not report infringement when condition does not match", () => {
+        expect(ifContract.check(42)).toBe(true);
+    });
+
+    describe("invert", () => {
+        const invertedContract = new IF(isString, eqHello, true);
+
+        test("Should not report infringement when condition does not match and inCase is fulfilled", () => {
+            expect(invertedContract.check("hello")).toBe(true);
+        });
+
+        test("Should report infringement when condition does not match and inCase is not fulfilled", () => {
+            expect(typeof invertedContract.check(42)).toBe("string");
+        });
+
+        test("Should not report infringement when condition matches", () => {
+            expect(invertedContract.check("world")).toBe(true);
+        });
+    });
+
+    describe("checkAlgorithm", () => {
+        test("Should return true when condition not met", () => {
+            expect(IF.checkAlgorithm(123, isString, eqHello)).toBe(true);
+        });
+
+        test("Should return string when condition met but inCase fails", () => {
+            expect(typeof IF.checkAlgorithm("notHello", isString, eqHello)).toBe("string");
+        });
+
+        test("Should return true when both condition and inCase pass", () => {
+            expect(IF.checkAlgorithm("hello", isString, eqHello)).toBe(true);
+        });
+    });
+});

package/__tests__/DBC/JSON.Parse.test.ts

@@ -1,6 +1,6 @@
 import { JSON_Parse } from "../../src/DBC/JSON.Parse";
 
-describe("EQ", () => {
+describe("JSON_Parse", () => {
 	const jsonParse = new JSON_Parse();
 
 	test(`Should not report infringement with '{"d":"o"}' to check`, () => {

package/__tests__/DBC/OR.test.ts

@@ -1,7 +1,7 @@
 import { OR } from "../../src/DBC/OR";
 import { EQ } from "../../src/DBC/EQ";
 
-describe("EQ", () => {
+describe("OR", () => {
 	const or = new OR([new EQ("a"), new EQ("b")]);
 
 	test("Should not report infringement with 'b' to check", () => {

package/__tests__/DBC/REGEX.test.ts

@@ -1,6 +1,6 @@
 import { REGEX } from "../../src/DBC/REGEX";
 
-describe("EQ", () => {
+describe("REGEX", () => {
 	const regex = new REGEX(/^a$/);
 
 	test("Should not report infringement with 'a' to check", () => {

package/__tests__/DBC/TYPE.test.ts

@@ -1,6 +1,6 @@
 import { TYPE } from "../../src/DBC/TYPE";
 
-describe("EQ", () => {
+describe("TYPE", () => {
 	const type = new TYPE("string");
 
 	test("Should not report infringement with 'a' to check", () => {

package/__tests__/DBC/UNDEFINED.test.ts

@@ -0,0 +1,45 @@
+import { UNDEFINED } from "../../src/DBC/UNDEFINED";
+
+describe("UNDEFINED", () => {
+    const undef = new UNDEFINED();
+
+    test("Should not report infringement with undefined", () => {
+        expect(undef.check(undefined)).toBe(true);
+    });
+
+    test("Should report infringement with null", () => {
+        expect(typeof undef.check(null)).toBe("string");
+    });
+
+    test("Should report infringement with a string value", () => {
+        expect(typeof undef.check("hello")).toBe("string");
+    });
+
+    test("Should report infringement with a number value", () => {
+        expect(typeof undef.check(42)).toBe("string");
+    });
+
+    test("Should report infringement with zero", () => {
+        expect(typeof undef.check(0)).toBe("string");
+    });
+
+    test("Should report infringement with false", () => {
+        expect(typeof undef.check(false)).toBe("string");
+    });
+
+    test("Should report infringement with an empty string", () => {
+        expect(typeof undef.check("")).toBe("string");
+    });
+
+    describe("checkAlgorithm", () => {
+        test("Should return true for undefined", () => {
+            expect(UNDEFINED.checkAlgorithm(undefined)).toBe(true);
+        });
+
+        test("Should return string for defined values", () => {
+            expect(typeof UNDEFINED.checkAlgorithm("test")).toBe("string");
+            expect(typeof UNDEFINED.checkAlgorithm(0)).toBe("string");
+            expect(typeof UNDEFINED.checkAlgorithm(null)).toBe("string");
+        });
+    });
+});

package/__tests__/DBC/ZOD.test.ts

@@ -0,0 +1,54 @@
+import { ZOD } from "../../src/DBC/ZOD";
+import { z } from "zod";
+
+describe("ZOD", () => {
+    describe("string schema", () => {
+        const zodString = new ZOD(z.string());
+
+        test("Should not report infringement with a string value", () => {
+            expect(zodString.check("hello")).toBe(true);
+        });
+
+        test("Should report infringement with a number value", () => {
+            expect(typeof zodString.check(42)).toBe("string");
+        });
+    });
+
+    describe("number schema", () => {
+        const zodNumber = new ZOD(z.number());
+
+        test("Should not report infringement with a number value", () => {
+            expect(zodNumber.check(42)).toBe(true);
+        });
+
+        test("Should report infringement with a string value", () => {
+            expect(typeof zodNumber.check("hello")).toBe("string");
+        });
+    });
+
+    describe("object schema", () => {
+        const zodObject = new ZOD(z.object({ name: z.string(), age: z.number() }));
+
+        test("Should not report infringement with a valid object", () => {
+            expect(zodObject.check({ name: "Alice", age: 30 })).toBe(true);
+        });
+
+        test("Should report infringement with an invalid object", () => {
+            expect(typeof zodObject.check({ name: 123 })).toBe("string");
+        });
+
+        test("Should report infringement with a non-object value", () => {
+            expect(typeof zodObject.check("not an object")).toBe("string");
+        });
+    });
+
+    describe("checkAlgorithm", () => {
+        test("Should return true for valid value", () => {
+            expect(ZOD.checkAlgorithm("test", z.string())).toBe(true);
+        });
+
+        test("Should return string for invalid value", () => {
+            expect(typeof ZOD.checkAlgorithm(42, z.string())).toBe("string");
+        });
+    });
+});

package/jest.config.js

@@ -0,0 +1,21 @@
+/** @type {import('ts-jest').JestConfigWithTsJest} */
+module.exports = {
+    silent: true,
+    testPathIgnorePatterns: ["<rootDir>/dist/"],
+    testMatch: ["**/__tests__/**/*.[jt]s?(x)", "**/?(*.)+(spec|test).[tj]s?(x)"],
+    preset: "ts-jest",
+    testEnvironment: "jsdom",
+    extensionsToTreatAsEsm: [".ts", ".tsx", ".jsx"],
+    moduleNameMapper: {
+        "^(\\.{1,2}/.*)\\.ts$": "$1",
+    },
+    transform: {
+        "^.+\\.(ts|tsx)?$": [
+            "ts-jest",
+            {
+                allowImportingTsExtensions: true,
+                tsconfig: "tsconfig.test.json",
+            },
+        ],
+    },
+};

package/package.json

@@ -1,5 +1,5 @@
 {
-	"version": "1.0.207",
+	"version": "1.0.209",
 	"name": "xdbc",
 	"scripts": {
 		"docs": "typedoc",
@@ -13,12 +13,11 @@
 	"devDependencies": {
 		"@babel/core": "^7.27.1",
 		"@babel/preset-env": "^7.27.2",
-		"@types/express": "^5.0.1",
 		"@types/jest": "^29.5.14",
 		"@types/node": "^22.15.17",
 		"babel-jest": "^29.7.0",
 		"jest": "^29.7.0",
-		"jest-environment-jsdom": "^29.7.0",
+		"jest-environment-jsdom": "^30.3.0",
 		"ts-jest": "^29.3.2",
 		"ts-loader": "^9.5.2",
 		"ts-node": "^10.9.2",
@@ -30,8 +29,8 @@
 	},
 	"dependencies": {
 		"@types/reflect-metadata": "^0.1.0",
-		"parcel": "^2.14.4",
-		"reflect-metadata": "^0.2.2"
+		"reflect-metadata": "^0.2.2",
+		"zod": "^3.25.0"
 	},
 	"description": "A Typescript Design by Contract Framework",
 	"repository": {

package/src/DBC/AE.ts

@@ -105,9 +105,10 @@ export class AE extends DBC {
 	) => void {
 		return DBC.decPrecondition(
 			(
-				value: object,
+				// biome-ignore lint/suspicious/noExplicitAny: Must match DBC.decPrecondition signature
+				value: any,
 				target: object,
-				methodName: string,
+				methodName: string | symbol,
 				parameterIndex: number,
 			) => {
 				if (Array.isArray(realConditions)) {
@@ -222,7 +223,7 @@ export class AE extends DBC {
 		hint: string | undefined = undefined,
 		dbc: string | undefined = undefined,
 	) {
-		return DBC.decInvariant([new AE(realConditions, index, idxEnd)], path, dbc, hint);
+		return DBC.createINVARIANT(AE, [realConditions, index, idxEnd], dbc, path, hint);
 	}
 	// #endregion Condition checking.
 	// #region Referenced Condition checking.
@@ -236,7 +237,8 @@ export class AE extends DBC {
 	 * @param toCheck See {@link AE.checkAlgorithm }.
 	 *
 	 * @returns See {@link EQ.checkAlgorithm}. */
-	public check(toCheck: object) {
+	// biome-ignore lint/suspicious/noExplicitAny: Must match DBC factory signature
+	public check(toCheck: any) {
 		if (Array.isArray(this.conditions)) {
 			for (const currentCondition of this.conditions) {
 				const result = AE.checkAlgorithm(
@@ -266,10 +268,12 @@ export class AE extends DBC {
 	 * @param equivalent See {@link EQ.check }. */
 	public constructor(
 		protected conditions:
+			// biome-ignore lint/suspicious/noExplicitAny: Must match DBC factory signature
 			| Array<{
-				check: (toCheck: object | undefined | null) => boolean | string;
+				check: (toCheck: any) => boolean | string;
 			}>
-			| { check: (toCheck: object | undefined | null) => boolean | string },
+			// biome-ignore lint/suspicious/noExplicitAny: Must match DBC factory signature
+			| { check: (toCheck: any) => boolean | string },
 		protected index: number | undefined = undefined,
 		protected idxEnd: number | undefined = undefined,
 	) {

package/src/DBC/COMPARISON/GREATER.ts

@@ -3,11 +3,12 @@ import { COMPARISON } from "../COMPARISON";
 export class GREATER extends COMPARISON {
 	/** See {@link COMPARISON.PRE }. */
 	public static override PRE(
-		equivalent,
+		// biome-ignore lint/suspicious/noExplicitAny: Comparison target can be any numeric value
+		equivalent: any,
 		equalityPermitted = false,
 		invert = false,
 
-		path: string = undefined,
+		path: string | undefined = undefined,
 		hint: string | undefined = undefined,
 		dbc: string | undefined = undefined,
 	) {
@@ -15,10 +16,11 @@ export class GREATER extends COMPARISON {
 	}
 	/** See {@link COMPARISON.POST }. */
 	public static override POST(
-		equivalent,
+		// biome-ignore lint/suspicious/noExplicitAny: Comparison target can be any numeric value
+		equivalent: any,
 		equalityPermitted = false,
 		invert = false,
-		path: string = undefined,
+		path: string | undefined = undefined,
 		hint: string | undefined = undefined,
 		dbc: string | undefined = undefined
 	) {
@@ -26,17 +28,19 @@ export class GREATER extends COMPARISON {
 	}
 	/** See {@link COMPARISON.INVARIANT }. */
 	public static override INVARIANT(
-		equivalent,
+		// biome-ignore lint/suspicious/noExplicitAny: Comparison target can be any numeric value
+		equivalent: any,
 		equalityPermitted = false,
 		invert = false,
-		path: string = undefined,
+		path: string | undefined = undefined,
 		hint: string | undefined = undefined,
 		dbc: string | undefined = undefined
 	) {
 		return COMPARISON.INVARIANT(equivalent, false, false, path, hint, dbc);
 	}
 	/** See {@link COMPARISON.constructor }. */
-	constructor(public override equivalent) {
+	// biome-ignore lint/suspicious/noExplicitAny: Comparison target can be any numeric value
+	constructor(public override equivalent: any) {
 		super(equivalent, false, false);
 	}
 }

package/src/DBC/COMPARISON/GREATER_OR_EQUAL.ts

@@ -3,39 +3,43 @@ import { COMPARISON } from "../COMPARISON";
 export class GREATER_OR_EQUAL extends COMPARISON {
 	/** See {@link COMPARISON.PRE }. */
 	public static override PRE(
-		equivalent,
+		// biome-ignore lint/suspicious/noExplicitAny: Comparison target can be any numeric value
+		equivalent: any,
 		equalityPermitted = false,
 		invert = false,
-		path: string = undefined,
+		path: string | undefined = undefined,
 		hint: string | undefined = undefined,
 		dbc: string | undefined = undefined,
 	) {
-		return COMPARISON.PRE(equivalent, true, false, path, dbc, hint);
+		return COMPARISON.PRE(equivalent, true, false, path, hint, dbc);
 	}
 	/** See {@link COMPARISON.POST }. */
 	public static override POST(
-		equivalent,
+		// biome-ignore lint/suspicious/noExplicitAny: Comparison target can be any numeric value
+		equivalent: any,
 		equalityPermitted = false,
 		invert = false,
-		path: string = undefined,
+		path: string | undefined = undefined,
 		hint: string | undefined = undefined,
 		dbc: string | undefined = undefined,
 	) {
-		return COMPARISON.POST(equivalent, true, false, path, dbc, hint);
+		return COMPARISON.POST(equivalent, true, false, path, hint, dbc);
 	}
 	/** See {@link COMPARISON.INVARIANT }. */
 	public static INVARIANT(
-		equivalent,
+		// biome-ignore lint/suspicious/noExplicitAny: Comparison target can be any numeric value
+		equivalent: any,
 		equalityPermitted = false,
 		invert = false,
-		path: string = undefined,
+		path: string | undefined = undefined,
 		hint: string | undefined = undefined,
 		dbc: string | undefined = undefined,
 	) {
-		return COMPARISON.INVARIANT(equivalent, true, false, path, dbc, hint);
+		return COMPARISON.INVARIANT(equivalent, true, false, path, hint, dbc);
 	}
 	/** See {@link COMPARISON.constructor }. */
-	constructor(public equivalent) {
+	// biome-ignore lint/suspicious/noExplicitAny: Comparison target can be any numeric value
+	constructor(public equivalent: any) {
 		super(equivalent, true, false);
 	}
 }

package/src/DBC/COMPARISON/LESS.ts

@@ -3,39 +3,43 @@ import { COMPARISON } from "../COMPARISON";
 export class LESS extends COMPARISON {
 	/** See {@link COMPARISON.PRE }. */
 	public static override PRE(
-		equivalent,
+		// biome-ignore lint/suspicious/noExplicitAny: Comparison target can be any numeric value
+		equivalent: any,
 		equalityPermitted = false,
 		invert = false,
-		path: string = undefined,
+		path: string | undefined = undefined,
 		hint: string | undefined = undefined,
 		dbc: string | undefined = undefined,
 	) {
-		return COMPARISON.PRE(equivalent, false, true, path, dbc, hint);
+		return COMPARISON.PRE(equivalent, false, true, path, hint, dbc);
 	}
 	/** See {@link COMPARISON.POST }. */
 	public static override POST(
-		equivalent,
+		// biome-ignore lint/suspicious/noExplicitAny: Comparison target can be any numeric value
+		equivalent: any,
 		equalityPermitted = false,
 		invert = false,
-		path: string = undefined,
+		path: string | undefined = undefined,
 		hint: string | undefined = undefined,
 		dbc: string | undefined = undefined,
 	) {
-		return COMPARISON.POST(equivalent, false, true, path, dbc, hint);
+		return COMPARISON.POST(equivalent, false, true, path, hint, dbc);
 	}
 	/** See {@link COMPARISON.INVARIANT }. */
 	public static INVARIANT(
-		equivalent,
+		// biome-ignore lint/suspicious/noExplicitAny: Comparison target can be any numeric value
+		equivalent: any,
 		equalityPermitted = false,
 		invert = false,
-		path: string = undefined,
+		path: string | undefined = undefined,
 		hint: string | undefined = undefined,
 		dbc: string | undefined = undefined,
 	) {
-		return COMPARISON.INVARIANT(equivalent, false, true, path, dbc, hint);
+		return COMPARISON.INVARIANT(equivalent, false, true, path, hint, dbc);
 	}
 	/** See {@link COMPARISON.constructor }. */
-	constructor(public equivalent) {
+	// biome-ignore lint/suspicious/noExplicitAny: Comparison target can be any numeric value
+	constructor(public equivalent: any) {
 		super(equivalent, false, true);
 	}
 }

package/src/DBC/COMPARISON/LESS_OR_EQUAL.ts

@@ -3,39 +3,43 @@ import { COMPARISON } from "../COMPARISON";
 export class LESS_OR_EQUAL extends COMPARISON {
 	/** See {@link COMPARISON.PRE }. */
 	public static override PRE(
-		equivalent,
+		// biome-ignore lint/suspicious/noExplicitAny: Comparison target can be any numeric value
+		equivalent: any,
 		equalityPermitted = false,
 		invert = false,
-		path: string = undefined,
+		path: string | undefined = undefined,
 		hint: string | undefined = undefined,
 		dbc: string | undefined = undefined,
 	) {
-		return COMPARISON.PRE(equivalent, true, true, path, dbc, hint);
+		return COMPARISON.PRE(equivalent, true, true, path, hint, dbc);
 	}
 	/** See {@link COMPARISON.POST }. */
 	public static override POST(
-		equivalent,
+		// biome-ignore lint/suspicious/noExplicitAny: Comparison target can be any numeric value
+		equivalent: any,
 		equalityPermitted = false,
 		invert = false,
-		path: string = undefined,
+		path: string | undefined = undefined,
 		hint: string | undefined = undefined,
 		dbc: string | undefined = undefined,
 	) {
-		return COMPARISON.POST(equivalent, true, true, path, dbc, hint);
+		return COMPARISON.POST(equivalent, true, true, path, hint, dbc);
 	}
 	/** See {@link COMPARISON.INVARIANT }. */
 	public static INVARIANT(
-		equivalent,
+		// biome-ignore lint/suspicious/noExplicitAny: Comparison target can be any numeric value
+		equivalent: any,
 		equalityPermitted = false,
 		invert = false,
-		path: string = undefined,
+		path: string | undefined = undefined,
 		hint: string | undefined = undefined,
 		dbc: string | undefined = undefined,
 	) {
-		return COMPARISON.INVARIANT(equivalent, true, true, path, dbc, hint);
+		return COMPARISON.INVARIANT(equivalent, true, true, path, hint, dbc);
 	}
 	/** See {@link COMPARISON.constructor }. */
-	constructor(public equivalent) {
+	// biome-ignore lint/suspicious/noExplicitAny: Comparison target can be any numeric value
+	constructor(public equivalent: any) {
 		super(equivalent, true, true);
 	}
 }

package/src/DBC/COMPARISON.ts

@@ -14,9 +14,10 @@ export class COMPARISON extends DBC {
 	 * 						fulfilled.
 	 *
 	 * @returns TRUE if the value **toCheck** and the **equivalent** are equal to each other, otherwise FALSE. */
-	static checkAlgorithm(toCheck, equivalent, equalityPermitted, invert) {
+	// biome-ignore lint/suspicious/noExplicitAny: Necessary for dynamic comparison
+	static checkAlgorithm(toCheck: any, equivalent: any, equalityPermitted: boolean, invert: boolean) {
 		if (equalityPermitted && !invert && toCheck < equivalent) {
-			return `Value has to to be greater than or equal to "${equivalent}"`;
+			return `Value has to be greater than or equal to "${equivalent}"`;
 		}
 
 		if (equalityPermitted && invert && toCheck > equivalent) {
@@ -24,7 +25,7 @@ export class COMPARISON extends DBC {
 		}
 
 		if (!equalityPermitted && !invert && toCheck <= equivalent) {
-			return `Value has to to be greater than "${equivalent}"`;
+			return `Value has to be greater than "${equivalent}"`;
 		}
 
 		if (!equalityPermitted && invert && toCheck >= equivalent) {
@@ -45,26 +46,15 @@ export class COMPARISON extends DBC {
 	 *
 	 * @returns See {@link DBC.decPrecondition }. */
 	static PRE(
-		equivalent,
+		// biome-ignore lint/suspicious/noExplicitAny: Comparison target can be any numeric value
+		equivalent: any,
 		equalityPermitted = false,
 		invert = false,
-		path: string = undefined,
+		path: string | undefined = undefined,
 		hint: string | undefined = undefined,
 		dbc: string | undefined = undefined,
 	) {
-		return DBC.decPrecondition(
-			(value, target, methodName, parameterIndex) => {
-				return COMPARISON.checkAlgorithm(
-					value,
-					equivalent,
-					equalityPermitted,
-					invert,
-				);
-			},
-			dbc,
-			path,
-			hint
-		);
+		return DBC.createPRE(COMPARISON.checkAlgorithm, [equivalent, equalityPermitted, invert], dbc, path, hint);
 	}
 	/**
 	 * A method-decorator factory using the {@link COMPARISON.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
@@ -78,26 +68,15 @@ export class COMPARISON extends DBC {
 	 *
 	 * @returns See {@link DBC.decPostcondition }. */
 	static POST(
-		equivalent,
+		// biome-ignore lint/suspicious/noExplicitAny: Comparison target can be any numeric value
+		equivalent: any,
 		equalityPermitted = false,
 		invert = false,
-		path: string = undefined,
+		path: string | undefined = undefined,
 		hint: string | undefined = undefined,
 		dbc: string | undefined = undefined,
 	) {
-		return DBC.decPostcondition(
-			(value, target, propertyKey) => {
-				return COMPARISON.checkAlgorithm(
-					value,
-					equalityPermitted,
-					equivalent,
-					invert,
-				);
-			},
-			dbc,
-			path,
-			hint
-		);
+		return DBC.createPOST(COMPARISON.checkAlgorithm, [equivalent, equalityPermitted, invert], dbc, path, hint);
 	}
 	/**
 	 * A field-decorator factory using the {@link COMPARISON.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
@@ -111,19 +90,15 @@ export class COMPARISON extends DBC {
 	 *
 	 * @returns See {@link DBC.decInvariant }. */
 	static INVARIANT(
-		equivalent,
+		// biome-ignore lint/suspicious/noExplicitAny: Comparison target can be any numeric value
+		equivalent: any,
 		equalityPermitted = false,
 		invert = false,
-		path: string = undefined,
+		path: string | undefined = undefined,
 		hint: string | undefined = undefined,
 		dbc: string | undefined = undefined,
 	) {
-		return DBC.decInvariant(
-			[new COMPARISON(equivalent, equalityPermitted, invert)],
-			dbc,
-			path,
-			hint
-		);
+		return DBC.createINVARIANT(COMPARISON, [equivalent, equalityPermitted, invert], dbc, path, hint);
 	}
 	// #endregion Condition checking.
 	// #region Referenced Condition checking.
@@ -134,7 +109,8 @@ export class COMPARISON extends DBC {
 	 * @param toCheck See {@link COMPARISON.checkAlgorithm }.
 	 *
 	 * @returns See {@link COMPARISON.checkAlgorithm}. */
-	public check(toCheck) {
+	// biome-ignore lint/suspicious/noExplicitAny: Necessary for dynamic comparison
+	public check(toCheck: any) {
 		return COMPARISON.checkAlgorithm(
 			toCheck,
 			this.equivalent,
@@ -149,7 +125,8 @@ export class COMPARISON extends DBC {
 	 * @param equalityPermitted See {@link COMPARISON.check }.
 	 * @param invert            See {@link COMPARISON.check }. */
 	constructor(
-		public equivalent,
+		// biome-ignore lint/suspicious/noExplicitAny: Comparison target can be any numeric value
+		public equivalent: any,
 		public equalityPermitted = false,
 		public invert = false,
 	) {