xdbc 1.0.93 → 1.0.95

package/src/DBC/COMPARISON/GREATER.ts

@@ -0,0 +1,38 @@
+import { COMPARISON } from "../COMPARISON";
+/** See {@link COMPARISON }. */
+export class GREATER extends COMPARISON {
+	/** See {@link COMPARISON.PRE }. */
+	public static override PRE(
+		equivalent,
+		equalityPermitted = false,
+		invert = false,
+		path: string = undefined,
+		dbc = "WaXCode.DBC",
+	) {
+		return COMPARISON.PRE(equivalent, false, false, path, dbc);
+	}
+	/** See {@link COMPARISON.POST }. */
+	public static override POST(
+		equivalent,
+		equalityPermitted = false,
+		invert = false,
+		path: string = undefined,
+		dbc = "WaXCode.DBC",
+	) {
+		return COMPARISON.POST(equivalent, false, false, path, dbc);
+	}
+	/** See {@link COMPARISON.INVARIANT }. */
+	public static INVARIANT(
+		equivalent,
+		equalityPermitted = false,
+		invert = false,
+		path: string = undefined,
+		dbc = "WaXCode.DBC",
+	) {
+		return COMPARISON.INVARIANT(equivalent, false, false, path, dbc);
+	}
+	/** See {@link COMPARISON.constructor }. */
+	constructor(public equivalent) {
+		super(equivalent, false, false);
+	}
+}

package/src/DBC/COMPARISON/GREATER_OR_EQUAL.ts

@@ -0,0 +1,38 @@
+import { COMPARISON } from "../COMPARISON";
+/** See {@link COMPARISON }. */
+export class GREATER_OR_EQUAL extends COMPARISON {
+	/** See {@link COMPARISON.PRE }. */
+	public static override PRE(
+		equivalent,
+		equalityPermitted = false,
+		invert = false,
+		path: string = undefined,
+		dbc = "WaXCode.DBC",
+	) {
+		return COMPARISON.PRE(equivalent, true, false, path, dbc);
+	}
+	/** See {@link COMPARISON.POST }. */
+	public static override POST(
+		equivalent,
+		equalityPermitted = false,
+		invert = false,
+		path: string = undefined,
+		dbc = "WaXCode.DBC",
+	) {
+		return COMPARISON.POST(equivalent, true, false, path, dbc);
+	}
+	/** See {@link COMPARISON.INVARIANT }. */
+	public static INVARIANT(
+		equivalent,
+		equalityPermitted = false,
+		invert = false,
+		path: string = undefined,
+		dbc = "WaXCode.DBC",
+	) {
+		return COMPARISON.INVARIANT(equivalent, true, false, path, dbc);
+	}
+	/** See {@link COMPARISON.constructor }. */
+	constructor(public equivalent) {
+		super(equivalent, true, false);
+	}
+}

package/src/DBC/COMPARISON/LESS.ts

@@ -0,0 +1,38 @@
+import { COMPARISON } from "../COMPARISON";
+/** See {@link COMPARISON }. */
+export class LESS extends COMPARISON {
+	/** See {@link COMPARISON.PRE }. */
+	public static override PRE(
+		equivalent,
+		equalityPermitted = false,
+		invert = false,
+		path: string = undefined,
+		dbc = "WaXCode.DBC",
+	) {
+		return COMPARISON.PRE(equivalent, false, true, path, dbc);
+	}
+	/** See {@link COMPARISON.POST }. */
+	public static override POST(
+		equivalent,
+		equalityPermitted = false,
+		invert = false,
+		path: string = undefined,
+		dbc = "WaXCode.DBC",
+	) {
+		return COMPARISON.POST(equivalent, false, true, path, dbc);
+	}
+	/** See {@link COMPARISON.INVARIANT }. */
+	public static INVARIANT(
+		equivalent,
+		equalityPermitted = false,
+		invert = false,
+		path: string = undefined,
+		dbc = "WaXCode.DBC",
+	) {
+		return COMPARISON.INVARIANT(equivalent, false, true, path, dbc);
+	}
+	/** See {@link COMPARISON.constructor }. */
+	constructor(public equivalent) {
+		super(equivalent, false, true);
+	}
+}

package/src/DBC/COMPARISON/LESS_OR_EQUAL.ts

@@ -0,0 +1,38 @@
+import { COMPARISON } from "../COMPARISON";
+/** See {@link COMPARISON }. */
+export class LESS_OR_EQUAL extends COMPARISON {
+	/** See {@link COMPARISON.PRE }. */
+	public static override PRE(
+		equivalent,
+		equalityPermitted = false,
+		invert = false,
+		path: string = undefined,
+		dbc = "WaXCode.DBC",
+	) {
+		return COMPARISON.PRE(equivalent, true, true, path, dbc);
+	}
+	/** See {@link COMPARISON.POST }. */
+	public static override POST(
+		equivalent,
+		equalityPermitted = false,
+		invert = false,
+		path: string = undefined,
+		dbc = "WaXCode.DBC",
+	) {
+		return COMPARISON.POST(equivalent, true, true, path, dbc);
+	}
+	/** See {@link COMPARISON.INVARIANT }. */
+	public static INVARIANT(
+		equivalent,
+		equalityPermitted = false,
+		invert = false,
+		path: string = undefined,
+		dbc = "WaXCode.DBC",
+	) {
+		return COMPARISON.INVARIANT(equivalent, true, true, path, dbc);
+	}
+	/** See {@link COMPARISON.constructor }. */
+	constructor(public equivalent) {
+		super(equivalent, true, true);
+	}
+}

package/src/DBC/COMPARISON.ts

@@ -0,0 +1,150 @@
+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, equivalent, equalityPermitted, invert) {
+		if (equalityPermitted && !invert && toCheck < equivalent) {
+			return `Value has to to be greater than or equal to "${equivalent}"`;
+		}
+
+		if (equalityPermitted && invert && toCheck > equivalent) {
+			return `Value must not to be less than or equal to "${equivalent}"`;
+		}
+
+		if (!equalityPermitted && !invert && toCheck <= equivalent) {
+			return `Value has to to be greater than "${equivalent}"`;
+		}
+
+		if (!equalityPermitted && invert && toCheck >= equivalent) {
+			return `Value must not 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 dbc			    See {@link DBC.decPrecondition }.
+	 *
+	 * @returns See {@link DBC.decPrecondition }. */
+	static PRE(
+		equivalent,
+		equalityPermitted = false,
+		invert = false,
+		path: string = undefined,
+		dbc = "WaXCode.DBC",
+	) {
+		return DBC.decPrecondition(
+			(value, target, methodName, parameterIndex) => {
+				return COMPARISON.checkAlgorithm(
+					value,
+					equivalent,
+					equalityPermitted,
+					invert,
+				);
+			},
+			dbc,
+			path,
+		);
+	}
+	/**
+	 * 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 dbc			    See {@link DBC.decPostcondition }.
+	 *
+	 * @returns See {@link DBC.decPostcondition }. */
+	static POST(
+		equivalent,
+		equalityPermitted = false,
+		invert = false,
+		path: string = undefined,
+		dbc = "WaXCode.DBC",
+	) {
+		return DBC.decPostcondition(
+			(value, target, propertyKey) => {
+				return COMPARISON.checkAlgorithm(
+					value,
+					equalityPermitted,
+					equivalent,
+					invert,
+				);
+			},
+			dbc,
+			path,
+		);
+	}
+	/**
+	 * 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 dbc			    See {@link DBC.decInvariant }.
+	 *
+	 * @returns See {@link DBC.decInvariant }. */
+	static INVARIANT(
+		equivalent,
+		equalityPermitted = false,
+		invert = false,
+		path: string = undefined,
+		dbc = "WaXCode.DBC",
+	) {
+		return DBC.decInvariant(
+			[new COMPARISON(equivalent, equalityPermitted, invert)],
+			path,
+			dbc,
+		);
+	}
+	// #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) {
+		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,
+		public equalityPermitted = false,
+		public invert = false,
+	) {
+		super();
+	}
+	// #endregion Dynamic usage.
+}

package/src/DBC/EQ.ts

@@ -1,4 +1,4 @@
-import { DBC } from "../DBC.js";
+import { DBC } from "../DBC";
 /**
  * A {@link DBC } defining that two {@link object }s gotta be equal.
  *
@@ -7,13 +7,13 @@ import { DBC } from "../DBC.js";
 export class EQ extends DBC {
 	// #region Condition checking.
 	/**
-	 * Checks if the value "toCheck" is equal to the specified "equivalent".
+	 * Checks if the value **toCheck** is equal to the specified **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
+	 * @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. */
+	 * @returns TRUE if the value **toCheck** and the **equivalent** are equal to each other, otherwise FALSE. */
 	public static checkAlgorithm(
 		// biome-ignore lint/suspicious/noExplicitAny: <explanation>
 		toCheck: any,
@@ -91,19 +91,37 @@ export class EQ extends DBC {
 			path,
 		);
 	}
+	/**
+	 * A field-decorator factory using the {@link EQ.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+	 * by the tagged field.
+	 *
+	 * @param equivalent	See {@link EQ.checkAlgorithm }.
+	 * @param path			See {@link DBC.decInvariant }.
+	 * @param dbc			See {@link DBC.decInvariant }.
+	 *
+	 * @returns See {@link DBC.decInvariant }. */
+	public static INVARIANT(
+		// biome-ignore lint/suspicious/noExplicitAny: To check for UNDEFINED and NULL.
+		equivalent: any,
+		invert = false,
+		path: string | undefined = undefined,
+		dbc = "WaXCode.DBC",
+	) {
+		return DBC.decInvariant([new EQ(equivalent, invert)], path, dbc);
+	}
 	// #endregion Condition checking.
 	// #region Referenced Condition checking.
 	//
 	// For usage in dynamic scenarios (like with AE-DBC).
 	//
 	/**
-	 * Invokes the {@link EQ.checkAlgorithm } passing the value "toCheck", {@link EQ.equivalent } and {@link EQ.invert }.
+	 * Invokes the {@link EQ.checkAlgorithm } passing the value **toCheck**, {@link EQ.equivalent } and {@link EQ.invert }.
 	 *
 	 * @param toCheck See {@link EQ.checkAlgorithm }.
 	 *
 	 * @returns See {@link EQ.checkAlgorithm}. */
-	// biome-ignore lint/suspicious/noExplicitAny: <explanation>
-	public override check(toCheck: any) {
+	// biome-ignore lint/suspicious/noExplicitAny: Necessary to check against NULL & UNDEFINED.
+	public check(toCheck: any) {
 		return EQ.checkAlgorithm(toCheck, this.equivalent, this.invert);
 	}
 	/**

package/src/DBC/GREATER.ts

@@ -1,4 +1,4 @@
-import { DBC } from "../DBC.js";
+import { DBC } from "../DBC";
 /**
  * A {@link DBC } defining that two {@link object }s gotta be equal.
  *
@@ -7,13 +7,13 @@ import { DBC } from "../DBC.js";
 export class GREATER extends DBC {
 	// #region Condition checking.
 	/**
-	 * Checks if the value "toCheck" is nb   equal to the specified "equivalent".
+	 * Checks if the value **toCheck** is equal to the specified **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
+	 * @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. */
+	 * @returns TRUE if the value **toCheck** and the **equivalent** are equal to each other, otherwise FALSE. */
 	static checkAlgorithm(toCheck, equivalent, equalityPermitted, invert) {
 		if (equalityPermitted && !invert && toCheck < equivalent) {
 			return `Value has to to be greater than or equal to "${equivalent}"`;
@@ -93,16 +93,39 @@ export class GREATER extends DBC {
 			path,
 		);
 	}
+	/**
+	 * A field-decorator factory using the {@link GREATER.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+	 * by the tagged field.
+	 *
+	 * @param equivalent	    See {@link GREATER.checkAlgorithm }.
+	 * @param equalityPermitted See {@link GREATER.checkAlgorithm }.
+	 * @param path			    See {@link DBC.decInvariant }.
+	 * @param dbc			    See {@link DBC.decInvariant }.
+	 *
+	 * @returns See {@link DBC.decInvariant }. */
+	static INVARIANT(
+		equivalent,
+		equalityPermitted = false,
+		invert = false,
+		path: string = undefined,
+		dbc = "WaXCode.DBC",
+	) {
+		return DBC.decInvariant(
+			[new GREATER(equivalent, equalityPermitted, invert)],
+			path,
+			dbc,
+		);
+	}
 	// #endregion Condition checking.
 	// #region Referenced Condition checking.
 	// #region Dynamic usage.
 	/**
-	 * Invokes the {@link GREATER.checkAlgorithm } passing the value "toCheck", {@link GREATER.equivalent } and {@link GREATER.invert }.
+	 * Invokes the {@link GREATER.checkAlgorithm } passing the value **toCheck**, {@link GREATER.equivalent } and {@link GREATER.invert }.
 	 *
 	 * @param toCheck See {@link GREATER.checkAlgorithm }.
 	 *
 	 * @returns See {@link GREATER.checkAlgorithm}. */
-	public override check(toCheck) {
+	public check(toCheck) {
 		return GREATER.checkAlgorithm(
 			toCheck,
 			this.equivalent,

package/src/DBC/INSTANCE.ts

@@ -1,19 +1,18 @@
-import { DBC } from "../DBC.js";
+import { DBC } from "../DBC";
 /**
  * A {@link DBC } defining that the an {@link object }s gotta be an instance of a certain {@link INSTANCE.reference }.
  *
  * @remarks
- * Author: 		Salvatore Callari (Callari@WaXCode.net) / 2025
- * Maintainer:	Salvatore Callari (XDBC@WaXCode.net) */
+ * Maintainer: Salvatore Callari (XDBC@WaXCode.net) */
 export class INSTANCE extends DBC {
 	/**
-	 * Checks if the value "toCheck" is complies to the {@link RegExp } "expression".
+	 * Checks if the value **toCheck** is complies to the {@link RegExp } **expression**.
 	 *
-	 * @param toCheck	The value that has comply to the {@link RegExp } "expression" for this {@link DBC } to be fulfilled.
-	 * @param reference		The {@link RegExp } the one "toCheck" has comply to in order for this {@link DBC } to be
-	 * 						fulfilled.
+	 * @param toCheck	The value that has comply to the {@link RegExp } **expression** for this {@link DBC } to be fulfilled.
+	 * @param reference	The {@link RegExp } the one **toCheck** has comply to in order for this {@link DBC } to be
+	 * 					fulfilled.
 	 *
-	 * @returns TRUE if the value "toCheck" is of the specified "type", otherwise FALSE. */
+	 * @returns TRUE if the value **toCheck** is of the specified **type**, otherwise FALSE. */
 	// biome-ignore lint/suspicious/noExplicitAny: In order to perform an "instanceof" check.
 	public static checkAlgorithm(toCheck: any, reference: any): boolean | string {
 		if (!(toCheck instanceof reference)) {
@@ -81,19 +80,36 @@ export class INSTANCE extends DBC {
 			path,
 		);
 	}
+	/**
+	 * A field-decorator factory using the {@link INSTANCE.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+	 * by the tagged method's returnvalue.
+	 *
+	 * @param reference	See {@link INSTANCE.checkAlgorithm }.
+	 * @param path	See {@link DBC.decInvariant }.
+	 * @param dbc	See {@link DBC.decInvariant }.
+	 *
+	 * @returns See {@link DBC.decInvariant }. */
+	public static INVARIANT(
+		// biome-ignore lint/suspicious/noExplicitAny: In order to perform an "instanceof" check.
+		reference: any,
+		path: string | undefined = undefined,
+		dbc = "WaXCode.DBC",
+	) {
+		return DBC.decInvariant([new INSTANCE(reference)], path, dbc);
+	}
 	// #endregion Condition checking.
 	// #region Referenced Condition checking.
 	//
 	// For usage in dynamic scenarios (like with AE-DBC).
 	//
 	/**
-	 * Invokes the {@link INSTANCE.checkAlgorithm } passing the value "toCheck" and the {@link INSTANCE.reference } .
+	 * Invokes the {@link INSTANCE.checkAlgorithm } passing the value **toCheck** and the {@link INSTANCE.reference } .
 	 *
 	 * @param toCheck See {@link INSTANCE.checkAlgorithm }.
 	 *
 	 * @returns See {@link INSTANCE.checkAlgorithm}. */
 	// biome-ignore lint/suspicious/noExplicitAny: <explanation>
-	public override check(toCheck: any) {
+	public check(toCheck: any) {
 		return INSTANCE.checkAlgorithm(toCheck, this.reference);
 	}
 	/**

package/src/DBC/JSON.OP.ts

@@ -7,16 +7,16 @@ import { DBC } from "../DBC";
 export class JSON_OP extends DBC {
 	// #region Condition checking.
 	/**
-	 * Checks if the object "toCheck" has the "necessaryProperties" of necessary type.
+	 * Checks if the object **toCheck** has the **necessaryProperties** of necessary type.
 	 *
 	 * @param toCheck				The {@link object } to check for the necessary properties.
-	 * @param necessaryProperties	The { name : string, type : string }s defining the properties and type the {@link object } to
+	 * @param necessaryProperties	The **{ name : string, type : string }**s defining the properties and type the {@link object } to
 	 * 								check needs to have.
-	 * @param checkElements			Indicates if "toCheck" is an iterable object of which all elements have to be checked.
-	 * 								Elements will only be checked if "toCheck" is iterable, otherwise "toCheck" itself
+	 * @param checkElements			Indicates if **toCheck** is an iterable object of which all elements have to be checked.
+	 * 								Elements will only be checked if **toCheck** is iterable, otherwise **toCheck** itself
 	 * 								will be checked.
 	 *
-	 * @returns TRUE if the value "toCheck" or it's elements, if "checkElements is TRUE, has all "necessaryProperties", otherwise a {@link string } to report the infringement. */
+	 * @returns TRUE if the value **toCheck** or it's elements, if **checkElements** is TRUE, has all **necessaryProperties**, otherwise a {@link string } to report the infringement. */
 	public static checkAlgorithm(
 		// biome-ignore lint/suspicious/noExplicitAny: <explanation>
 		toCheck: any,
@@ -120,19 +120,40 @@ export class JSON_OP extends DBC {
 			path,
 		);
 	}
+	/**
+	 * A field-decorator factory using the {@link JSON_OP.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+	 * by the tagged field.
+	 *
+	 * @param expression	See {@link JSON.checkAlgorithm }.
+	 * @param path			See {@link DBC.decInvariant }.
+	 * @param dbc			See {@link DBC.decInvariant }.
+	 *
+	 * @returns See {@link DBC.decPostcondition }. */
+	public static INVARIANT(
+		necessaryProperties: Array<{ name: string; type: string }>,
+		checkElements = false,
+		path: string | undefined = undefined,
+		dbc = "WaXCode.DBC",
+	) {
+		return DBC.decInvariant(
+			[new JSON_OP(necessaryProperties, checkElements)],
+			path,
+			dbc,
+		);
+	}
 	// #endregion Condition checking.
 	// #region Referenced Condition checking.
 	//
 	// For usage in dynamic scenarios (like with AE-DBC).
 	//
 	/**
-	 * Invokes the {@link JSON_OP.checkAlgorithm } passing the value "toCheck", {@link JSON_OP.necessaryProperties } and {@link JSON_OP.checkElements }.
+	 * Invokes the {@link JSON_OP.checkAlgorithm } passing the value **toCheck**, {@link JSON_OP.necessaryProperties } and {@link JSON_OP.checkElements }.
 	 *
 	 * @param toCheck See {@link JSON_OP.checkAlgorithm }.
 	 *
 	 * @returns See {@link JSON_OP.checkAlgorithm}. */
 	// biome-ignore lint/suspicious/noExplicitAny: <explanation>
-	public override check(toCheck: any) {
+	public check(toCheck: any) {
 		return JSON_OP.checkAlgorithm(
 			toCheck,
 			this.necessaryProperties,
@@ -153,7 +174,7 @@ export class JSON_OP extends DBC {
 	// #endregion Referenced Condition checking.
 	// #region In-Method checking.
 	/**
-	 * Invokes the {@link JSON_OP.checkAlgorithm } passing the value "toCheck", {@link JSON_OP.necessaryProperties } and {@link JSON_OP.checkElements }.
+	 * Invokes the {@link JSON_OP.checkAlgorithm } passing the value **toCheck**, {@link JSON_OP.necessaryProperties } and {@link JSON_OP.checkElements }.
 	 *
 	 * @param toCheck				See {@link JSON_OP.checkAlgorithm} }.
 	 * @param necessaryProperties	See {@link JSON_OP.checkAlgorithm} }.

package/src/DBC/JSON.Parse.ts

@@ -7,13 +7,13 @@ import { DBC } from "../DBC";
 export class JSON_Parse extends DBC {
 	// #region Condition checking.
 	/**
-	 * Tries to {@link JSON.parse } the {@link string } "toCheck" invoking the "receptor" with the result, if so.
+	 * Tries to {@link JSON.parse } the {@link string } **toCheck** invoking the **receptor** with the result, if so.
 	 *
 	 * @param toCheck	The {@link string } to be {@link JSON.parse }d.
-	 * @param receptor	The ( json : object ) => void to receive the {@link JSON.parse }d {@link string } "toCheck".
-	 * 								check needs to have.
+	 * @param receptor	The **( json : object ) => void** to receive the {@link JSON.parse }d {@link string } **toCheck**.
+	 * 					check needs to have.
 	 *
-	 * @returns TRUE if the value "toCheck" is a valid JSON, otherwise a {@link string } to report the infringement. */
+	 * @returns TRUE if the value **toCheck** is a valid JSON, otherwise a {@link string } to report the infringement. */
 	public static checkAlgorithm(
 		toCheck: string,
 		receptor: (json: object) => void,
@@ -91,19 +91,35 @@ export class JSON_Parse extends DBC {
 			path,
 		);
 	}
+	/**
+	 * A field-decorator factory using the {@link JSON_Parse.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+	 * by the tagged field.
+	 *
+	 * @param expression	See {@link JSON.checkAlgorithm }.
+	 * @param path			See {@link DBC.decInvariant }.
+	 * @param dbc			See {@link DBC.decInvariant }.
+	 *
+	 * @returns See {@link DBC.decInvariant }. */
+	public static INVARIANT(
+		receptor: (json: object) => void,
+		path: string | undefined = undefined,
+		dbc = "WaXCode.DBC",
+	) {
+		return DBC.decInvariant([new JSON_Parse(receptor)], path, dbc);
+	}
 	// #endregion Condition checking.
 	// #region Referenced Condition checking.
 	//
 	// For usage in dynamic scenarios (like with AE-DBC).
 	//
 	/**
-	 * Invokes the {@link JSON_Parse.checkAlgorithm } passing the value "toCheck" and {@link JSON_Parse.receptor }.
+	 * Invokes the {@link JSON_Parse.checkAlgorithm } passing the value **toCheck** and {@link JSON_Parse.receptor }.
 	 *
 	 * @param toCheck See {@link JSON_Parse.checkAlgorithm }.
 	 *
 	 * @returns See {@link JSON_Parse.checkAlgorithm}. */
 	// biome-ignore lint/suspicious/noExplicitAny: <explanation>
-	public override check(toCheck: any) {
+	public check(toCheck: any) {
 		return JSON_Parse.checkAlgorithm(toCheck, this.receptor);
 	}
 	/**
@@ -111,13 +127,13 @@ export class JSON_Parse extends DBC {
 	 *
 	 * @param necessaryProperties	See {@link JSON_Parse.check }.
 	 * @param checkElements 		See {@link JSON_Parse.check }. */
-	public constructor(public receptor: (json: object) => void) {
+	public constructor(public receptor: (json: object) => void = undefined) {
 		super();
 	}
 	// #endregion Referenced Condition checking.
 	// #region In-Method checking.
 	/**
-	 * Invokes the {@link JSON_Parse.checkAlgorithm } passing the value "toCheck", {@link JSON_Parse.necessaryProperties } and {@link JSON_Parse.checkElements }.
+	 * Invokes the {@link JSON_Parse.checkAlgorithm } passing the value **toCheck**, {@link JSON_Parse.necessaryProperties } and {@link JSON_Parse.checkElements }.
 	 *
 	 * @param toCheck				See {@link JSON_Parse.checkAlgorithm} }.
 	 * @param necessaryProperties	See {@link JSON_Parse.checkAlgorithm} }.