xdbc 1.0.94 → 1.0.96

package/.vscode/settings.json

@@ -1,3 +1,3 @@
 {
-	"cSpell.words": ["alia", "esign", "ontract", "Paramvalue"]
+	"cSpell.words": ["alia", "esign", "ontract", "Paramvalue", "Postconditions"]
 }

package/README.md

@@ -4,7 +4,7 @@ Leverages the explicit nature of metadata to provide a **D**esign **b**y **C**on
 
 | Do...             | Instead Of                                                 |
 |-------------------|------------------------------------------------------------|
-| <pre>public method(@AE.PRE([new REGEX(/^\.*XDBC.\*$/i)]) input : Array\<string>) {<br> ... <br>}</pre>|<pre>public method( input : Array\<string>) {<br>  input.forEach(( element, index ) => {<br>   console.assert(/^.\*XDBC.\*$/i.test(element),"inconsistent error message");<br>  });<br><br>  ...<br>}</pre>
+| <pre>@DBC.ParamvalueProvider<br>public method(@AE.PRE([new REGEX(/^\.*XDBC.\*$/i)]) input : Array\<string>) {<br> ... <br>}</pre>|<pre>public method( input : Array\<string>) {<br>  input.forEach(( element, index ) => {<br>   console.assert(/^.\*XDBC.\*$/i.test(element),"inconsistent error message");<br>  });<br><br>  ...<br>}</pre>
 | <pre>@REGEX.INVARIANT(/^.\*XDBC.\*$/i)<br>public field = "XDBC";</pre>|<pre>get field() : string { return ... }<br>set field( toSet : string ) {<br> console.assert(/^.\*XDBC.\*$/i.test(element),"Inconsistent error message"); <br><br> ...<br>}</pre>
 | <pre>@REGEX.POST(/^XDBC$/i)<br>public method( input : unknown ) : string {<br> ...<br><br> return result ;<br>}</pre>|<pre>public method( input : unknown ) : string {<br> ...<br><br> if(!/^.\*XDBC.\*$/i.test(result) {<br>   throw new Error("inconsistent error message");<br> }<br><br> return result ;<br>}</pre>
 <pre>...and get consistent details about errors like: <code style = "background-color : beige ; color : red ;">[ XDBC Infringement [ From "method" in "MyClass": [ Parameter-value "+1d,+5d,-x10y" of the 1st parameter did not fulfill one of it's contracts: Violating-Arrayelement at index 2. Value has to comply to regular expression "/^(?i:(NOW)|([+-]\d+[dmy]))$/i"]]]</code></pre>
@@ -36,7 +36,7 @@ Leverages the explicit nature of metadata to provide a **D**esign **b**y **C**on
 | Production       | Contracts can be kept or disabled      | Often disabled for performance        |
 
 ## Demo & API Documentation
-Check out the **Demo.ts** to see some examples usages and the [API](www.google.de)'s documentation.
+Check out the **Demo.ts** to see some examples usages and the [API](https://callaris.github.io/XDBC/)'s documentation.
 
 ## Installation
 
@@ -46,17 +46,22 @@ npm install --save xdbc
 
 ## Usage
 
-As by now there're nine contracts that can be used:
+As by now there're 14 contracts that can be used:
 
 - AE (*Each element of the value-array has to fulfill a certain set of contracts*)
 - EQ (*Value has to be equal to a supplied reference value*)
-- GREATER (*Value has to be greater than a supplied reference value*)
+- COMPARISON (*Value has to be greater, less, greater/equal, equal or less/equal than a supplied reference value*)
 - INSTANCE (*Value has to be an instance of a supplied type*)
 - JSON.OP (*Value has to contain certain properties of certain type*)
 - JSON.Parse (*String-value has to be a parsable JSON*)
 - OR (*At least one of a set of contracts has to be fulfilled*)
 - REGEX (*Value has to be validated by a supplied regular expression*)
 - TYPE (*Value has to be of a certain type*)
+- GREATER (*Derived from COMPARISON*)
+- GREATER_OR_EQUAL (*Derived from COMPARISON*)
+- LESS (*Derived from COMPARISON*)
+- LESS_OR_EQUAL (*Derived from COMPARISON*)
+- DIFFERENT (*Derived from EQ*)
 
 All of which expose a method **PRE**, **POST** and **INVARIANT** (*precondition, postcondition and invariant*).<br>
 Import the classes to use from **xdbc**. If parameters shall be decorated with contracts import class **DBC** also. <br><br>
@@ -85,10 +90,12 @@ With **PRE**, **POST** and **INVARIANT** decorators an optional **path** paramet
 
 Multiple instances of the class **DBC** with varying settings for e.g. reporting infringements may be instantiated. Which of these instances is used to report can be defined when either using **PRE**, **POST** or **INVARIANT** by defining their **dbc** parameter: **@DBC.INVARIANT([new EQ(1)],"length","MyVendor.MyDBCInstance")**, for example. The standard path (*WaXCode.DBC*) leads to an automatically created instance, that is generated when the Framework is imported.
 
-Many contracts got further features like the **AE**-Contract that can check specific ranges within the tagged array or the **EQ**- and **GREATER**-Contract that can be inverted turning them into **not EQual**- or **LESS**-Contracts. Check out the [API](www.google.de) for details.
+Many contracts got further features like the **AE**-Contract that can check specific ranges within the tagged array or the **EQ**--Contract that can be inverted turning it into **not EQual**-Contract. Check out the [API](https://callaris.github.io/XDBC/) for details.
 
 A **DBC**'s **warningSettings** & **infringementSettings** determine what happens on warnings and errors, whereas warnings are not implemented yet.
 
+**DBC** can be turned off for **PRE**-, **POST**-Conditions and **INVARIANT**S separately by setting the proper **executionSettings** of the **DBC**-Class.
+
 ## Contribution
 Participation is highly valued and warmly welcomed. The ultimate goal is to create a tool that proves genuinely useful and empowers a wide range of developers to build more robust and reliable applications.
 

package/dist/DBC/AE.js

@@ -1,4 +1,4 @@
-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**).
@@ -118,6 +118,21 @@ 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.
     //

package/dist/DBC/COMPARISON/GREATER.js

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

package/dist/DBC/COMPARISON/GREATER_OR_EQUAL.js

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

package/dist/DBC/COMPARISON/LESS.js

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

package/dist/DBC/COMPARISON/LESS_OR_EQUAL.js

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

package/dist/DBC/COMPARISON.js

@@ -0,0 +1,99 @@
+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 = 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 = 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 = 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}. */
+    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(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.
  *
@@ -57,6 +57,20 @@ 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.
     //

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,7 +7,7 @@ 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
@@ -59,6 +59,19 @@ 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.

package/dist/DBC/INSTANCE.js

@@ -1,4 +1,4 @@
-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 }.
  *
@@ -52,6 +52,20 @@ 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.
     //

package/dist/DBC/JSON.OP.js

@@ -1,4 +1,4 @@
-import { DBC } from "../DBC.js";
+import { DBC } from "../DBC";
 /**
  * A {@link DBC } demanding that an {@link object } has specific properties of specific types.
  *
@@ -76,6 +76,18 @@ 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.
     //

package/dist/DBC/JSON.Parse.js

@@ -1,4 +1,4 @@
-import { DBC } from "../DBC.js";
+import { DBC } from "../DBC";
 /**
  * A {@link DBC } demanding that a {@link string } is {@link JSON.parse}able.
  *
@@ -58,6 +58,18 @@ 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.
     //

package/dist/DBC/OR.js

@@ -1,4 +1,4 @@
-import { DBC } from "../DBC.js";
+import { DBC } from "../DBC";
 /**
  * A {@link DBC } defining that all elements of an {@link object }s have to fulfill
  * one of the given {@link object }s check-methods (**( toCheck : any ) => boolean | string** ).
@@ -75,6 +75,19 @@ export class OR extends DBC {
             return OR.checkAlgorithm(conditions, value);
         }, dbc, path);
     }
+    /**
+     * A field-decorator factory using the {@link OR.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 path				See {@link DBC.decInvariant }.
+     * @param dbc				See {@link DBC.decInvariant }.
+     *
+     * @returns	See {@link DBC.decInvariant }. */
+    static INVARIANT(conditions, path = undefined, dbc = "WaXCode.DBC") {
+        return DBC.decInvariant([new OR(conditions)], path, dbc);
+    }
     // #endregion Condition checking.
     // #region Referenced Condition checking.
     //

package/dist/DBC/REGEX.js

@@ -1,4 +1,4 @@
-import { DBC } from "../DBC.js";
+import { DBC } from "../DBC";
 /**
  * A {@link DBC } providing {@link REGEX }-contracts and standard {@link RegExp } for common use cases in {@link REGEX.stdExp }.
  *
@@ -48,6 +48,18 @@ export class REGEX extends DBC {
             return REGEX.checkAlgorithm(value, expression);
         }, dbc, path);
     }
+    /**
+     * A field-decorator factory using the {@link REGEX.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+     * by the tagged field.
+     *
+     * @param expression	See {@link REGEX.checkAlgorithm }.
+     * @param path			See {@link DBC.decInvariant }.
+     * @param dbc			See {@link DBC.decInvariant }.
+     *
+     * @returns See {@link DBC.decInvariant }. */
+    static INVARIANT(expression, path = undefined, dbc = "WaXCode.DBC") {
+        return DBC.decInvariant([new REGEX(expression)], path, dbc);
+    }
     // #endregion Condition checking.
     // #region Referenced Condition checking.
     //

package/dist/DBC/TYPE.js

@@ -1,4 +1,4 @@
-import { DBC } from "../DBC.js";
+import { DBC } from "../DBC";
 /**
  * A {@link DBC } defining that an {@link object }s gotta be of certain {@link TYPE.type }.
  *
@@ -49,6 +49,18 @@ export class TYPE extends DBC {
             return TYPE.checkAlgorithm(value, type);
         }, dbc, path);
     }
+    /**
+     * A field-decorator factory using the {@link TYPE.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+     * by the tagged field.
+     *
+     * @param type	See {@link TYPE.checkAlgorithm }.
+     * @param path	See {@link DBC.decInvariant }.
+     * @param dbc	See {@link DBC.decInvariant }.
+     *
+     * @returns See {@link DBC.decInvariant }. */
+    static INVARIANT(type, path = undefined, dbc = "WaXCode.DBC") {
+        return DBC.decInvariant([new TYPE(type)], path, dbc);
+    }
     // #endregion Condition checking.
     // #region Referenced Condition checking.
     //

package/dist/DBC.js

@@ -104,18 +104,19 @@ export class DBC {
      *
      * @throws 	A {@link DBC.Infringement } whenever the property is tried to be set to a value that does not comply to the
      * 			specified **contracts**, by the returned method.*/
-    static INVARIANT(contracts) {
+    static decInvariant(contracts, path = undefined, dbc = "WaXCode.DBC") {
         return (target, propertyKey) => {
             // biome-ignore lint/suspicious/noExplicitAny: Necessary to intercept UNDEFINED and NULL.
             let value;
             // #region Replace original property.
             Object.defineProperty(target, propertyKey, {
                 set(newValue) {
+                    const realValue = path ? DBC.resolve(newValue, path) : newValue;
                     // #region Check if all "contracts" are fulfilled.
                     for (const contract of contracts) {
-                        const result = contract.check(newValue);
+                        const result = contract.check(realValue);
                         if (typeof result === "string") {
-                            throw new DBC.Infringement(`[ Property "${propertyKey}"'s value "${newValue}" violates ${contract.constructor.name} cause: ${result} ]`);
+                            DBC.resolveDBCPath(window, dbc).reportFieldInfringement(result, target, path, propertyKey, realValue);
                         }
                     }
                     // #endregion Check if all "contracts" are fulfilled.
@@ -148,9 +149,7 @@ export class DBC {
             descriptor.value = (...args) => {
                 // biome-ignore lint/complexity/noThisInStatic: <explanation>
                 const result = originalMethod.apply(this, args);
-                const realValue = path
-                    ? path === null || path === void 0 ? void 0 : path.split(".").reduce((accumulator, current) => accumulator[current], result)
-                    : result;
+                const realValue = path ? DBC.resolve(result, path) : result;
                 const checkResult = check(realValue, target, propertyKey);
                 if (typeof checkResult === "string") {
                     DBC.resolveDBCPath(window, dbc).reportReturnvalueInfringement(checkResult, target, path, propertyKey, realValue);
@@ -162,7 +161,7 @@ export class DBC {
     }
     // #endregion Postcondition
     // #region Decorator
-    // #region Parameter
+    // #region Precondition
     /**
      * A parameter-decorator factory that requests the tagged parameter's value passing it to the provided
      * "check"-method when the value becomes available.
@@ -176,9 +175,7 @@ export class DBC {
     static decPrecondition(check, dbc, path = undefined) {
         return (target, methodName, parameterIndex) => {
             DBC.requestParamValue(target, methodName, parameterIndex, (value) => {
-                const realValue = path
-                    ? path === null || path === void 0 ? void 0 : path.split(".").reduce((accumulator, current) => accumulator[current], value)
-                    : value;
+                const realValue = path ? DBC.resolve(value, path) : value;
                 const result = check(realValue, target, methodName, parameterIndex);
                 if (typeof result === "string") {
                     DBC.resolveDBCPath(window, dbc).reportParameterInfringement(result, target, path, methodName, parameterIndex, realValue);
@@ -222,6 +219,18 @@ export class DBC {
         const properIndex = index + 1;
         this.reportInfringement(`[ Parameter-value "${value}" of the ${properIndex}${properIndex === 1 ? "st" : properIndex === 2 ? "nd" : properIndex === 3 ? "rd" : "th"} parameter did not fulfill one of it's contracts: ${message}]`, method, target, path);
     }
+    /**
+     * Reports a field-infringement via {@link reportInfringement } also generating a proper {@link string }-wrapper
+     * for the given **message** & **name**.
+     *
+     * @param message	A {@link string } describing the infringement and it's provenience.
+     * @param key 		The property key.
+     * @param path		The dotted-path {@link string } that leads to the value not fulfilling the contract starting from
+     * 					the tagged one.
+     * @param value		The value not fulfilling a contract. */
+    reportFieldInfringement(message, target, path, key, value) {
+        this.reportInfringement(`[ New value for "${key}"${path === undefined ? "" : `.${path}`} with value "${value}" did not fulfill one of it's contracts: ${message}]`, key, target, path);
+    }
     /**
      * Reports a returnvalue-infringement according via {@link reportInfringement } also generating a proper {@link string }-wrapper
      * for the given "message","method" & value.
@@ -240,7 +249,7 @@ export class DBC {
      *
      * @param infringementSettings See {@link DBC.infringementSettings }. */
     constructor(infringementSettings = { throwException: true, logToConsole: false }) {
-        // #endregion Parameter
+        // #endregion Precondition
         // #endregion Decorator
         // #region Warning handling.
         /** Stores settings concerning warnings. */
@@ -256,6 +265,45 @@ export class DBC {
         // biome-ignore lint/suspicious/noExplicitAny: <explanation>
         window.WaXCode.DBC = this;
     }
+    /**
+     * Resolves the desired {@link object } out a given one **toResolveFrom** using the specified **path**.
+     *
+     * @param toResolveFrom The {@link object } starting to resolve from.
+     * @param path			The dotted path-{@link string }.
+     * 						This string uses ., [...], and () to represent accessing nested properties,
+     * 						array elements/object keys, and calling methods, respectively, mimicking JavaScript syntax to navigate
+     * 						an object's structure. Code, e.g. something like a.b( 1 as number ).c, will not be executed and
+     * 						thus make the retrieval fail.
+     *
+     * @returns The requested {@link object }, NULL or UNDEFINED. */
+    static resolve(toResolveFrom, path) {
+        if (!toResolveFrom || typeof path !== "string") {
+            return undefined;
+        }
+        const parts = path.replace(/\[(['"]?)(.*?)\1\]/g, ".$2").split("."); // Handle indexers
+        let current = toResolveFrom;
+        for (const part of parts) {
+            if (current === null || typeof current === "undefined") {
+                return undefined;
+            }
+            const methodMatch = part.match(/(\w+)\((.*)\)/);
+            if (methodMatch) {
+                const methodName = methodMatch[1];
+                const argsStr = methodMatch[2];
+                const args = argsStr.split(",").map((arg) => arg.trim()); // Simple argument parsing
+                if (typeof current[methodName] === "function") {
+                    current = current[methodName].apply(current, args);
+                }
+                else {
+                    return undefined; // Method not found or not a function
+                }
+            }
+            else {
+                current = current[part];
+            }
+        }
+        return current;
+    }
 }
 // #region Parameter-value requests.
 /** Stores all request for parameter values registered by {@link decPrecondition }. */