xdbc 1.0.93 → 1.0.95

package/dist/DBC/AE.js

@@ -1,30 +1,30 @@
-import { DBC } from "../DBC.js";
+import { DBC } from "../DBC";
 /**
  * A {@link DBC } defining that all elements of an {@link object }s have to fulfill
- * a given {@link object }'s check-method (( toCheck : any ) => boolean | string ).
+ * a given {@link object }'s check-method (**( toCheck : any ) => boolean | string**).
  *
  * @remarks
  * Maintainer: Callari, Salvatore (XDBC@WaXCode.net) */
 export class AE extends DBC {
     // #region Condition checking.
     /**
-     * Checks each element of the "value"-{@link Array < any >} against the given "condition", if it is one. If it is not
-     * the "value" itself will be checked.
+     * Checks each element of the **value**-{@link Array < any >} against the given **condition**, if it is one. If it is not
+     * the **value** itself will be checked.
      *
-     * @param condition	The { check: (toCheck: any) => boolean | string } to check the "value" against.
-     * @param value		Either "value"-{@link Array < any >}, which's elements will be checked, or the value to be
+     * @param condition	The { check: (toCheck: any) => boolean | string } to check the **value** against.
+     * @param value		Either **value**-{@link Array < any >}, which's elements will be checked, or the value to be
      * 					checked itself.
-     * @param index		If specified with "idxEnd" being undefined, this {@link Number } will be seen as the index of
+     * @param index		If specified with **idxEnd** being undefined, this {@link Number } will be seen as the index of
      * 					the value-{@link Array }'s element to check. If value isn't an {@link Array } this parameter
      * 					will not have any effect.
-     * 					With "idxEnd" not undefined this parameter indicates the beginning of the span of elements to
+     * 					With **idxEnd** not undefined this parameter indicates the beginning of the span of elements to
      * 					check within the value-{@link Array }.
      * @param idxEnd	Indicates the last element's index (including) of the span of value-{@link Array } elements to check.
      * 					Setting this parameter to -1 specifies that all value-{@link Array }'s elements beginning from the
-     * 					specified "index" shall be checked.
+     * 					specified **index** shall be checked.
      *
-     * @returns As soon as the "condition" returns a {@link string }, instead of TRUE, the returned string. TRUE if the
-     * 			"condition" never returns a {@link string}. */
+     * @returns As soon as the **condition** returns a {@link string }, instead of TRUE, the returned string. TRUE if the
+     * 			**condition** never returns a {@link string}. */
     static checkAlgorithm(condition, value, index, idxEnd) {
         if (Array.isArray(value)) {
             if (index !== undefined && idxEnd === undefined) {
@@ -55,14 +55,14 @@ export class AE extends DBC {
     }
     /**
      * A parameter-decorator factory using the {@link AE.checkAlgorithm } with either multiple or a single one
-     * of the "realConditions" to check the tagged parameter-value against with.
-     * When specifying an "index" and the tagged parameter's "value" is an {@link Array }, the "realConditions" apply to the
-     * element at the specified "index".
+     * of the **realConditions** to check the tagged parameter-value against with.
+     * When specifying an **index** and the tagged parameter's **value** is an {@link Array }, the **realConditions** apply to the
+     * element at the specified **index**.
      * If the {@link Array } is too short the currently processed { check: (toCheck: any) => boolean | string } of
-     * "realConditions" will be verified to TRUE automatically, considering optional parameters.
-     * If an "index" is specified but the tagged parameter's value isn't an array, the "index" is treated as being undefined.
-     * If "index" is undefined and the tagged parameter's value is an {@link Array } each element of it will be checked
-     * against the "realConditions".
+     * **realConditions** will be verified to TRUE automatically, considering optional parameters.
+     * If an **index** is specified but the tagged parameter's value isn't an array, the **index** is treated as being undefined.
+     * If **index** is undefined and the tagged parameter's value is an {@link Array } each element of it will be checked
+     * against the **realConditions**.
      *
      * @param realConditions	Either one or more { check: (toCheck: any) => boolean | string } to check the tagged parameter-value
      * 							against with.
@@ -71,7 +71,7 @@ export class AE extends DBC {
      * @param path				See {@link DBC.decPrecondition }.
      * @param dbc				See {@link DBC.decPrecondition }.
      *
-     * @returns	A {@link string } as soon as one { check: (toCheck: any) => boolean | string } of "realConditions" returns one.
+     * @returns	A {@link string } as soon as one { check: (toCheck: any) => boolean | string } of **realConditions** returns one.
      * 			Otherwise TRUE. */
     static PRE(realConditions, index = undefined, idxEnd = undefined, path = undefined, dbc = "WaXCode.DBC") {
         return DBC.decPrecondition((value, target, methodName, parameterIndex) => {
@@ -90,7 +90,7 @@ export class AE extends DBC {
     }
     /**
      * A method-decorator factory using the {@link AE.checkAlgorithm } with either multiple or a single one
-     * of the "realConditions" to check the tagged method's return-value against with.
+     * of the **realConditions** to check the tagged method's return-value against with.
      *
      * @param realConditions	Either one or more { check: (toCheck: any) => boolean | string } to check the tagged parameter-value
      * 							against with.
@@ -99,7 +99,7 @@ export class AE extends DBC {
      * @param path				See {@link DBC.decPrecondition }.
      * @param dbc				See {@link DBC.decPrecondition }.
      *
-     * @returns	A {@link string } as soon as one { check: (toCheck: any) => boolean | string } of "realConditions" return one.
+     * @returns	A {@link string } as soon as one { check: (toCheck: any) => boolean | string } of **realConditions** return one.
      * 			Otherwise TRUE. */
     static POST(realConditions, index = undefined, idxEnd = undefined, path = undefined, dbc = "WaXCode.DBC") {
         return DBC.decPostcondition((value, target, propertyKey) => {
@@ -118,15 +118,31 @@ export class AE extends DBC {
             return true;
         }, dbc, path);
     }
+    /**
+     * A field-decorator factory using the {@link AE.checkAlgorithm } with either multiple or a single one
+     * of the **realConditions** to check the tagged field.
+     *
+     * @param realConditions	Either one or more { check: (toCheck: any) => boolean | string } to check the tagged parameter-value
+     * 							against with.
+     * @param index				See the {@link AE.checkAlgorithm }.
+     * @param idxEnd			See the {@link AE.checkAlgorithm }.
+     * @param path				See {@link DBC.decInvariant }.
+     * @param dbc				See {@link DBC.decInvariant }.
+     *
+     * @returns	See {@link DBC.decInvariant }. */
+    static INVARIANT(realConditions, index = undefined, idxEnd = undefined, path = undefined, dbc = "WaXCode.DBC") {
+        return DBC.decInvariant([new AE(realConditions, index, idxEnd)], path, dbc);
+    }
     // #endregion Condition checking.
     // #region Referenced Condition checking.
     //
     // For usage in dynamic scenarios (like global functions).
     //
     /**
-     * Invokes the {@link AE.checkAlgorithm } passing the value "toCheck", {@link AE.equivalent } and {@link EQ.invert }.
+     * Invokes the {@link AE.checkAlgorithm } with all {@link AE.conditions } and the {@link object } {@link toCheck },
+     * {@link AE.index } & {@link AE.idxEnd }.
      *
-     * @param toCheck See {@link EQ.checkAlgorithm }.
+     * @param toCheck See {@link AE.checkAlgorithm }.
      *
      * @returns See {@link EQ.checkAlgorithm}. */
     check(toCheck) {

package/dist/DBC/COMPARISON/GREATER.js

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

package/dist/DBC/COMPARISON.js

@@ -0,0 +1,99 @@
+import { DBC } from "../DBC";
+/**
+ * A {@link DBC } defining that two {@link object }s gotta be equal.
+ *
+ * @remarks
+ * Maintainer: Callari, Salvatore (XDBC@WaXCode.net) */
+export class COMPARISON extends DBC {
+    // #region Condition checking.
+    /**
+     * Checks if the value **toCheck** is nb   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
+     * 						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 GREATER.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+     * by the tagged parameter.
+     *
+     * @param equivalent	    See {@link GREATER.checkAlgorithm }.
+     * @param equalityPermitted See {@link GREATER.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 = 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 GREATER.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+     * by the tagged method's returnvalue.
+     *
+     * @param equivalent	    See {@link GREATER.checkAlgorithm }.
+     * @param equalityPermitted See {@link GREATER.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 = 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 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 = 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 GREATER.checkAlgorithm } passing the value **toCheck**, {@link GREATER.equivalent } and {@link GREATER.invert }.
+     *
+     * @param toCheck See {@link GREATER.checkAlgorithm }.
+     *
+     * @returns See {@link GREATER.checkAlgorithm}. */
+    check(toCheck) {
+        return COMPARISON.checkAlgorithm(toCheck, this.equivalent, this.equalityPermitted, this.invert);
+    }
+    /**
+     * Creates this {@link GREATER } by setting the protected property {@link GREATER.equivalent }, {@link GREATER.equalityPermitted } and {@link GREATER.invert } used by {@link GREATER.check }.
+     *
+     * @param equivalent        See {@link GREATER.check }.
+     * @param equalityPermitted See {@link GREATER.check }.
+     * @param invert            See {@link GREATER.check }. */
+    constructor(equivalent, equalityPermitted = false, invert = false) {
+        super();
+        this.equivalent = equivalent;
+        this.equalityPermitted = equalityPermitted;
+        this.invert = invert;
+    }
+}

package/dist/DBC/EQ.js

@@ -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. */
     static checkAlgorithm(
     // biome-ignore lint/suspicious/noExplicitAny: <explanation>
     toCheck, equivalent, invert) {
@@ -57,18 +57,32 @@ export class EQ extends DBC {
             return EQ.checkAlgorithm(value, equivalent, invert);
         }, 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 }. */
+    static INVARIANT(
+    // biome-ignore lint/suspicious/noExplicitAny: To check for UNDEFINED and NULL.
+    equivalent, invert = false, path = 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>
+    // biome-ignore lint/suspicious/noExplicitAny: Necessary to check against NULL & UNDEFINED.
     check(toCheck) {
         return EQ.checkAlgorithm(toCheck, this.equivalent, this.invert);
     }

package/dist/DBC/GREATER.js

@@ -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}"`;
@@ -59,11 +59,24 @@ export class GREATER extends DBC {
             return GREATER.checkAlgorithm(value, equalityPermitted, equivalent, invert);
         }, 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 = 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 }.
      *

package/dist/DBC/INSTANCE.js

@@ -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.
     static checkAlgorithm(toCheck, reference) {
         if (!(toCheck instanceof reference)) {
@@ -53,13 +52,27 @@ export class INSTANCE extends DBC {
             return INSTANCE.checkAlgorithm(value, reference);
         }, 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 }. */
+    static INVARIANT(
+    // biome-ignore lint/suspicious/noExplicitAny: In order to perform an "instanceof" check.
+    reference, path = 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 }.
      *

package/dist/DBC/JSON.OP.js

@@ -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. */
     static checkAlgorithm(
     // biome-ignore lint/suspicious/noExplicitAny: <explanation>
     toCheck, necessaryProperties, checkElements) {
@@ -76,13 +76,25 @@ export class JSON_OP extends DBC {
             return JSON_OP.checkAlgorithm(value, necessaryProperties, checkElements);
         }, 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 }. */
+    static INVARIANT(necessaryProperties, checkElements = false, path = 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 }.
      *
@@ -104,7 +116,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/dist/DBC/JSON.Parse.js

@@ -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. */
     static checkAlgorithm(toCheck, receptor) {
         // biome-ignore lint/suspicious/noExplicitAny: JSON.parse returns any.
         let parsed;
@@ -58,13 +58,25 @@ export class JSON_Parse extends DBC {
             return JSON_Parse.checkAlgorithm(value, receptor);
         }, 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 }. */
+    static INVARIANT(receptor, path = 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 }.
      *
@@ -78,14 +90,14 @@ export class JSON_Parse extends DBC {
      *
      * @param necessaryProperties	See {@link JSON_Parse.check }.
      * @param checkElements 		See {@link JSON_Parse.check }. */
-    constructor(receptor) {
+    constructor(receptor = undefined) {
         super();
         this.receptor = receptor;
     }
     // #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} }.