xdbc 1.0.217 → 1.0.219

package/src/DBC/COMPARISON/GREATER_OR_EQUAL.ts

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

package/src/DBC/COMPARISON/LESS.ts

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

package/src/DBC/COMPARISON/LESS_OR_EQUAL.ts

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

package/src/DBC/COMPARISON.ts

@@ -1,159 +1,149 @@
-import { DBC } from "../DBC";
-/**
- * A {@link DBC } defining a comparison between two {@link object }s.
- *
- * @remarks
- * Maintainer: Callari, Salvatore (XDBC@WaXCode.net) */
-export class COMPARISON extends DBC {
-	// #region Condition checking.
-	/**
-	 * Does a comparison between the {@link object } **toCheck** and the **equivalent**.
-	 *
-	 * @param toCheck		The value that has to be equal to it's possible **equivalent** for this {@link DBC } to be fulfilled.
-	 * @param equivalent	The {@link object } the one **toCheck** has to be equal to in order for this {@link DBC } to be
-	 * 						fulfilled.
-	 *
-	 * @returns TRUE if the value **toCheck** and the **equivalent** are equal to each other, otherwise FALSE. */
-	// 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 be greater than or equal to "${equivalent}"`;
-		}
-
-		if (equalityPermitted && invert && toCheck > equivalent) {
-			return `Value has to be less than or equal to "${equivalent}"`;
-		}
-
-		if (!equalityPermitted && !invert && toCheck <= equivalent) {
-			return `Value has to be greater than "${equivalent}"`;
-		}
-
-		if (!equalityPermitted && invert && toCheck >= equivalent) {
-			return `Value has to be less than "${equivalent}"`;
-		}
-
-		return true;
-	}
-	/**
-	 * A parameter-decorator factory using the {@link COMPARISON.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
-	 * by the tagged parameter.
-	 *
-	 * @param equivalent	    See {@link COMPARISON.checkAlgorithm }.
-	 * @param equalityPermitted See {@link COMPARISON.checkAlgorithm }.
-	 * @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(
-		// biome-ignore lint/suspicious/noExplicitAny: Comparison target can be any numeric value
-		equivalent: any,
-		equalityPermitted = false,
-		invert = false,
-		path: string | undefined = undefined,
-		hint: string | undefined = undefined,
-		dbc: string | undefined = undefined,
-	) {
-		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
-	 * by the tagged method's returnvalue.
-	 *
-	 * @param equivalent	    See {@link COMPARISON.checkAlgorithm }.
-	 * @param equalityPermitted See {@link COMPARISON.checkAlgorithm }.
-	 * @param path			    See {@link DBC.Postcondition }.
-	 * @param hint				See {@link DBC.decPostcondition }.
-	 * @param dbc			    See {@link DBC.decPostcondition }.
-	 *
-	 * @returns See {@link DBC.decPostcondition }. */
-	static POST(
-		// biome-ignore lint/suspicious/noExplicitAny: Comparison target can be any numeric value
-		equivalent: any,
-		equalityPermitted = false,
-		invert = false,
-		path: string | undefined = undefined,
-		hint: string | undefined = undefined,
-		dbc: string | undefined = undefined,
-	) {
-		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
-	 * by the tagged field.
-	 *
-	 * @param equivalent	    See {@link COMPARISON.checkAlgorithm }.
-	 * @param equalityPermitted See {@link COMPARISON.checkAlgorithm }.
-	 * @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(
-		// biome-ignore lint/suspicious/noExplicitAny: Comparison target can be any numeric value
-		equivalent: any,
-		equalityPermitted = false,
-		invert = false,
-		path: string | undefined = undefined,
-		hint: string | undefined = undefined,
-		dbc: string | undefined = undefined,
-	) {
-		return DBC.createINVARIANT(
-			COMPARISON,
-			[equivalent, equalityPermitted, invert],
-			dbc,
-			path,
-			hint,
-		);
-	}
-	// #endregion Condition checking.
-	// #region Referenced Condition checking.
-	// #region Dynamic usage.
-	/**
-	 * Invokes the {@link COMPARISON.checkAlgorithm } passing the value **toCheck**, {@link COMPARISON.equivalent } and {@link COMPARISON.invert }.
-	 *
-	 * @param toCheck See {@link COMPARISON.checkAlgorithm }.
-	 *
-	 * @returns See {@link COMPARISON.checkAlgorithm}. */
-	// biome-ignore lint/suspicious/noExplicitAny: Necessary for dynamic comparison
-	public check(toCheck: any) {
-		return COMPARISON.checkAlgorithm(
-			toCheck,
-			this.equivalent,
-			this.equalityPermitted,
-			this.invert,
-		);
-	}
-	/**
-	 * Creates this {@link COMPARISON } by setting the protected property {@link COMPARISON.equivalent }, {@link COMPARISON.equalityPermitted } and {@link COMPARISON.invert } used by {@link COMPARISON.check }.
-	 *
-	 * @param equivalent        See {@link COMPARISON.check }.
-	 * @param equalityPermitted See {@link COMPARISON.check }.
-	 * @param invert            See {@link COMPARISON.check }. */
-	constructor(
-		// biome-ignore lint/suspicious/noExplicitAny: Comparison target can be any numeric value
-		public equivalent: any,
-		public equalityPermitted = false,
-		public invert = false,
-	) {
-		super();
-	}
-	// #endregion Dynamic usage.
-}
+import { DBC } from "../DBC";
+/**
+ * A {@link DBC } defining a comparison between two {@link object }s.
+ *
+ * @remarks
+ * Maintainer: Callari, Salvatore (XDBC@WaXCode.net) */
+export class COMPARISON extends DBC {
+	// #region Condition checking.
+	/**
+	 * Does a comparison between the {@link object } **toCheck** and the **equivalent**.
+	 *
+	 * @param toCheck		The value that has to be equal to it's possible **equivalent** for this {@link DBC } to be fulfilled.
+	 * @param equivalent	The {@link object } the one **toCheck** has to be equal to in order for this {@link DBC } to be
+	 * 						fulfilled.
+	 *
+	 * @returns TRUE if the value **toCheck** and the **equivalent** are equal to each other, otherwise FALSE. */
+	static checkAlgorithm(
+		toCheck: any,
+		equivalent: any,
+		equalityPermitted: boolean,
+		invert: boolean,
+	) {
+		if (equalityPermitted && !invert && toCheck < equivalent) {
+			return `Value has to be greater than or equal to "${equivalent}"`;
+		}
+		if (equalityPermitted && invert && toCheck > equivalent) {
+			return `Value has to be less than or equal to "${equivalent}"`;
+		}
+		if (!equalityPermitted && !invert && toCheck <= equivalent) {
+			return `Value has to be greater than "${equivalent}"`;
+		}
+		if (!equalityPermitted && invert && toCheck >= equivalent) {
+			return `Value has to be less than "${equivalent}"`;
+		}
+		return true;
+	}
+	/**
+	 * A parameter-decorator factory using the {@link COMPARISON.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+	 * by the tagged parameter.
+	 *
+	 * @param equivalent	    See {@link COMPARISON.checkAlgorithm }.
+	 * @param equalityPermitted See {@link COMPARISON.checkAlgorithm }.
+	 * @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(
+		equivalent: any,
+		equalityPermitted = false,
+		invert = false,
+		path: string | undefined = undefined,
+		hint: string | undefined = undefined,
+		dbc: string | undefined = undefined,
+	) {
+		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
+	 * by the tagged method's returnvalue.
+	 *
+	 * @param equivalent	    See {@link COMPARISON.checkAlgorithm }.
+	 * @param equalityPermitted See {@link COMPARISON.checkAlgorithm }.
+	 * @param path			    See {@link DBC.Postcondition }.
+	 * @param hint				See {@link DBC.decPostcondition }.
+	 * @param dbc			    See {@link DBC.decPostcondition }.
+	 *
+	 * @returns See {@link DBC.decPostcondition }. */
+	static POST(
+		equivalent: any,
+		equalityPermitted = false,
+		invert = false,
+		path: string | undefined = undefined,
+		hint: string | undefined = undefined,
+		dbc: string | undefined = undefined,
+	) {
+		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
+	 * by the tagged field.
+	 *
+	 * @param equivalent	    See {@link COMPARISON.checkAlgorithm }.
+	 * @param equalityPermitted See {@link COMPARISON.checkAlgorithm }.
+	 * @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(
+		equivalent: any,
+		equalityPermitted = false,
+		invert = false,
+		path: string | undefined = undefined,
+		hint: string | undefined = undefined,
+		dbc: string | undefined = undefined,
+	) {
+		return DBC.createINVARIANT(
+			COMPARISON,
+			[equivalent, equalityPermitted, invert],
+			dbc,
+			path,
+			hint,
+		);
+	}
+	// #endregion Condition checking.
+	// #region Referenced Condition checking.
+	// #region Dynamic usage.
+	/**
+	 * Invokes the {@link COMPARISON.checkAlgorithm } passing the value **toCheck**, {@link COMPARISON.equivalent } and {@link COMPARISON.invert }.
+	 *
+	 * @param toCheck See {@link COMPARISON.checkAlgorithm }.
+	 *
+	 * @returns See {@link COMPARISON.checkAlgorithm}. */
+	public check(toCheck: any) {
+		return COMPARISON.checkAlgorithm(
+			toCheck,
+			this.equivalent,
+			this.equalityPermitted,
+			this.invert,
+		);
+	}
+	/**
+	 * Creates this {@link COMPARISON } by setting the protected property {@link COMPARISON.equivalent }, {@link COMPARISON.equalityPermitted } and {@link COMPARISON.invert } used by {@link COMPARISON.check }.
+	 *
+	 * @param equivalent        See {@link COMPARISON.check }.
+	 * @param equalityPermitted See {@link COMPARISON.check }.
+	 * @param invert            See {@link COMPARISON.check }. */
+	constructor(
+		public equivalent: any,
+		public equalityPermitted = false,
+		public invert = false,
+	) {
+		super();
+	}
+	// #endregion Dynamic usage.
+}