xdbc 1.0.98 → 1.0.100

package/dist/DBC/COMPARISON.js

@@ -19,13 +19,13 @@ export class COMPARISON extends DBC {
             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}"`;
+            return `Value has 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 `Value has to be less than "${equivalent}"`;
         }
         return true;
     }

package/dist/DBC/DEFINED.js

@@ -0,0 +1,81 @@
+import { DBC } from "../DBC";
+/**
+ * A {@link DBC } defining that an {@link object }s must be defined thus it's value may not be **null** or **undefined**.
+ *
+ * @remarks
+ * Maintainer: Salvatore Callari (XDBC@WaXCode.net) */
+export class DEFINED extends DBC {
+    /**
+     * Checks if the value **toCheck** is null or undefined.
+     *
+     * @param toCheck	The {@link Object } to check.
+     *
+     * @returns TRUE if the value **toCheck** is of the specified **type**, otherwise FALSE. */
+    // biome-ignore lint/suspicious/noExplicitAny: Necessary for dynamic type checking of also UNDEFINED.
+    static checkAlgorithm(toCheck) {
+        // biome-ignore lint/suspicious/useValidTypeof: Necessary
+        if (toCheck === undefined || toCheck === null) {
+            return `Value may not be UNDEFINED or NULL`;
+        }
+        return true;
+    }
+    /**
+     * A parameter-decorator factory using the {@link DEFINED.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+     * by the tagged parameter.
+     *
+     * @param type	See {@link DEFINED.checkAlgorithm }.
+     * @param path	See {@link DBC.decPrecondition }.
+     * @param dbc	See {@link DBC.decPrecondition }.
+     *
+     * @returns See {@link DBC.decPrecondition }. */
+    static PRE(path = undefined, dbc = "WaXCode.DBC") {
+        return DBC.decPrecondition((value, target, methodName, parameterIndex) => {
+            return DEFINED.checkAlgorithm(value);
+        }, dbc, path);
+    }
+    /**
+     * A method-decorator factory using the {@link DEFINED.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+     * by the tagged method's returnvalue.
+     *
+     * @param type	See {@link DEFINED.checkAlgorithm }.
+     * @param path	See {@link DBC.Postcondition }.
+     * @param dbc	See {@link DBC.decPostcondition }.
+     *
+     * @returns See {@link DBC.decPostcondition }. */
+    static POST(type, path = undefined, dbc = "WaXCode.DBC") {
+        return DBC.decPostcondition((value, target, propertyKey) => {
+            return DEFINED.checkAlgorithm(value);
+        }, dbc, path);
+    }
+    /**
+     * A field-decorator factory using the {@link DEFINED.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+     * by the tagged field.
+     *
+     * @param type	See {@link DEFINED.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 DEFINED()], path, dbc);
+    }
+    // #endregion Condition checking.
+    // #region Referenced Condition checking.
+    //
+    // For usage in dynamic scenarios (like with AE-DBC).
+    //
+    /**
+     * Invokes the {@link DEFINED.checkAlgorithm } passing the value **toCheck** and the {@link DEFINED.type } .
+     *
+     * @param toCheck See {@link DEFINED.checkAlgorithm }.
+     *
+     * @returns See {@link DEFINED.checkAlgorithm}. */
+    // biome-ignore lint/suspicious/noExplicitAny: <explanation>
+    check(toCheck) {
+        return DEFINED.checkAlgorithm(toCheck);
+    }
+    /** Creates this {@link DEFINED }. */
+    constructor() {
+        super();
+    }
+}

package/dist/DBC/EQ/DIFFERENT.js

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

package/dist/DBC/HasAttribute.js

@@ -0,0 +1,108 @@
+import { DBC } from "../DBC";
+/**
+ * A {@link DBC } defining that a {@link HTMLElement } gotta have a certain attribute set.
+ *
+ * @remarks
+ * Maintainer: Callari, Salvatore (XDBC@WaXCode.net) */
+export class HasAttribute extends DBC {
+    // #region Condition checking.
+    /**
+     * Checks if the {@link HTMLElement } **toCheck** has the attribute **toCheckFor**.
+     *
+     * @param toCheckFor  name of the attribute to check for whether it is set or not.
+     *
+     * @returns TRUE if the {@link HTMLElement } **toCheck** has set the attribute **toCheckFor**,
+     * 			otherwise a proper errormessage. */
+    static checkAlgorithm(
+    // biome-ignore lint/suspicious/noExplicitAny: <explanation>
+    toCheck, toCheckFor, invert) {
+        if (!(toCheck instanceof HTMLElement)) {
+            return `The object to check for whether it has the attribute "${toCheckFor}" is not a HTMLElement. It is of type "${typeof toCheck}".`;
+        }
+        if (!invert && !toCheck.hasAttribute(toCheckFor)) {
+            return `Required Attribute "${toCheckFor}" is not set.`;
+        }
+        if (invert && toCheck.hasAttribute(toCheckFor)) {
+            return `Forbidden Attribute "${toCheckFor}" is set.`;
+        }
+        return true;
+    }
+    /**
+     * A parameter-decorator factory using the {@link HasAttribute.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+     * by the tagged parameter.
+     *
+     * @param toCheckFor	See {@link HasAttribute.checkAlgorithm }.
+     * @param path			See {@link DBC.decPrecondition }.
+     * @param dbc			See {@link DBC.decPrecondition }.
+     *
+     * @returns See {@link DBC.decPrecondition }. */
+    static PRE(toCheckFor, invert = false, path = undefined, dbc = "WaXCode.DBC") {
+        return DBC.decPrecondition((value, target, methodName, parameterIndex) => {
+            return HasAttribute.checkAlgorithm(value, toCheckFor, invert);
+        }, dbc, path);
+    }
+    /**
+     * A method-decorator factory using the {@link HasAttribute.checkAlgorithm } to determine whether this {@link DBC } is
+     * fulfilled by the tagged method's returnvalue.
+     *
+     * @param toCheckFor	See {@link HasAttribute.checkAlgorithm }.
+     * @param path			See {@link DBC.Postcondition }.
+     * @param dbc			See {@link DBC.decPostcondition }.
+     *
+     * @returns See {@link DBC.decPostcondition }. */
+    static POST(toCheckFor, invert = false, path = undefined, dbc = "WaXCode.DBC") {
+        return DBC.decPostcondition((value, target, propertyKey) => {
+            return HasAttribute.checkAlgorithm(value, toCheckFor, invert);
+        }, dbc, path);
+    }
+    /**
+     * A field-decorator factory using the {@link hasAttribute.checkAlgorithm } to determine whether this {@link DBC } is
+     * fulfilled by the tagged field.
+     *
+     * @param toCheckFor	See {@link hasAttribute.checkAlgorithm }.
+     * @param path			See {@link DBC.decInvariant }.
+     * @param dbc			See {@link DBC.decInvariant }.
+     *
+     * @returns See {@link DBC.decInvariant }. */
+    static INVARIANT(toCheckFor, invert = false, path = undefined, dbc = "WaXCode.DBC") {
+        return DBC.decInvariant([new HasAttribute(toCheckFor, invert)], path, dbc);
+    }
+    /**
+     * A field-decorator factory using the {@link hasAttribute.checkAlgorithm } to determine whether this {@link DBC } is
+     * fulfilled by the tagged field's class instance.
+     *
+     * @param toCheckFor	See {@link hasAttribute.checkAlgorithm }.
+     * @param path			See {@link DBC.decInvariant }.
+     * @param dbc			See {@link DBC.decInvariant }.
+     *
+     * @returns See {@link DBC.decInvariant }. */
+    static cINVARIANT(toCheckFor, invert = false, path = undefined, dbc = "WaXCode.DBC") {
+        return DBC.decClassInvariant([new HasAttribute(toCheckFor, invert)], path, dbc);
+    }
+    // #endregion Condition checking.
+    // #region Referenced Condition checking.
+    //
+    // For usage in dynamic scenarios (like with AE-DBC).
+    //
+    /**
+     * Invokes the {@link hasAttribute.checkAlgorithm } passing the value **toCheck**, {@link hasAttribute.equivalent } and
+     * {@link hasAttribute.invert }.
+     *
+     * @param toCheck See {@link EQ.checkAlgorithm }.
+     *
+     * @returns See {@link EQ.checkAlgorithm}. */
+    // biome-ignore lint/suspicious/noExplicitAny: Necessary to check against NULL & UNDEFINED.
+    check(toCheck) {
+        return HasAttribute.checkAlgorithm(toCheck, this.toCheckFor, this.invert);
+    }
+    /**
+     * Creates this {@link DBC } by setting the protected property {@link hasAttribute.equivalent } used by
+     * {@link hasAttribute.check }.
+     *
+     * @param toCheckFor See {@link hasAttribute.check }. */
+    constructor(toCheckFor, invert = false) {
+        super();
+        this.toCheckFor = toCheckFor;
+        this.invert = invert;
+    }
+}

package/dist/DBC/IF.js

@@ -0,0 +1,99 @@
+import { DBC } from "../DBC";
+/**
+ * A {@link DBC } defining that an {@link object } has also to comply to a certain {@link DBC } if it complies to
+ * another specified one.
+ *
+ * @remarks
+ * Maintainer: Callari, Salvatore (XDBC@WaXCode.net) */
+export class IF extends DBC {
+    // #region Condition checking.
+    /**
+     * Checks if the value **toCheck** complies to the specified **condition** and if so does also comply to the one **inCase**.
+     *
+     * @param toCheck	The value that has to be equal to it's possible **equivalent** for this {@link DBC } to be fulfilled.
+     * @param condition	The contract **toCheck** has to comply to in order to also have to comply to the one **inCase**.
+     * @param inCase	The contract **toCheck** has to also comply to if it complies to **condition**.
+     *
+     * @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, condition, inCase, invert) {
+        if (!invert && condition.check(toCheck) && !inCase.check(toCheck)) {
+            return `In case that the value complies to "${condition}" it also has to comply to "${inCase}"`;
+        }
+        if (!invert && !condition.check(toCheck) && !inCase.check(toCheck)) {
+            return `In case that the value does not comply to "${condition}" it has to comply to "${inCase}"`;
+        }
+        return true;
+    }
+    /**
+     * A parameter-decorator factory using the {@link EQ.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+     * by the tagged parameter.
+     *
+     * @param condition	See {@link IF.checkAlgorithm }.
+     * @param inCase	See {@link IF.checkAlgorithm }.
+     * @param path		See {@link DBC.decPrecondition }.
+     * @param dbc		See {@link DBC.decPrecondition }.
+     *
+     * @returns See {@link DBC.decPrecondition }. */
+    static PRE(condition, inCase, invert = false, path = undefined, dbc = "WaXCode.DBC") {
+        return DBC.decPrecondition((value, target, methodName, parameterIndex) => {
+            return IF.checkAlgorithm(value, condition, inCase, invert);
+        }, dbc, path);
+    }
+    /**
+     * A method-decorator factory using the {@link IF.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+     * by the tagged method's returnvalue.
+     *
+     * @param condition	See {@link IF.checkAlgorithm }.
+     * @param inCase	See {@link IF.checkAlgorithm }.
+     * @param path		See {@link DBC.Postcondition }.
+     * @param dbc		See {@link DBC.decPostcondition }.
+     *
+     * @returns See {@link DBC.decPostcondition }. */
+    static POST(condition, inCase, invert = false, path = undefined, dbc = "WaXCode.DBC") {
+        return DBC.decPostcondition((value, target, propertyKey) => {
+            return IF.checkAlgorithm(value, condition, inCase, invert);
+        }, dbc, path);
+    }
+    /**
+     * A field-decorator factory using the {@link IF.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+     * by the tagged field.
+     *
+     * @param condition	See {@link IF.checkAlgorithm }.
+     * @param inCase	See {@link IF.checkAlgorithm }.
+     * @param path			See {@link DBC.decInvariant }.
+     * @param dbc			See {@link DBC.decInvariant }.
+     *
+     * @returns See {@link DBC.decInvariant }. */
+    static INVARIANT(condition, inCase, invert = false, path = undefined, dbc = "WaXCode.DBC") {
+        return DBC.decInvariant([new IF(condition, inCase, invert)], path, dbc);
+    }
+    // #endregion Condition checking.
+    // #region Referenced Condition checking.
+    //
+    // For usage in dynamic scenarios (like with AE-DBC).
+    //
+    /**
+     * Invokes the {@link IF.checkAlgorithm } passing the value **toCheck**, {@link IF.equivalent } and {@link IF.invert }.
+     *
+     * @param toCheck See {@link IF.checkAlgorithm }.
+     *
+     * @returns See {@link IF.checkAlgorithm}. */
+    // biome-ignore lint/suspicious/noExplicitAny: Necessary to check against NULL & UNDEFINED.
+    check(toCheck) {
+        return IF.checkAlgorithm(toCheck, this.condition, this.inCase, this.invert);
+    }
+    /**
+     * Creates this {@link IF } by setting the protected property {@link IF.equivalent } used by {@link IF.check }.
+     *
+     * @param equivalent See {@link IF.check }. */
+    constructor(
+    // biome-ignore lint/suspicious/noExplicitAny: To be able to match UNDEFINED and NULL.
+    condition, inCase, invert = false) {
+        super();
+        this.condition = condition;
+        this.inCase = inCase;
+        this.invert = invert;
+    }
+}

package/dist/DBC/INSTANCE.js

@@ -81,6 +81,20 @@ export class INSTANCE extends DBC {
     check(toCheck) {
         return INSTANCE.checkAlgorithm(toCheck, this.reference);
     }
+    /**
+     *
+     * @param toCheck
+     * @returns
+     */
+    tsCheck(toCheck) {
+        const result = INSTANCE.checkAlgorithm(toCheck, this.reference);
+        if (result) {
+            return toCheck;
+        }
+        else {
+            throw new DBC.Infringement(result);
+        }
+    }
     /**
      * Creates this {@link INSTANCE } by setting the protected property {@link INSTANCE.reference } used by {@link INSTANCE.check }.
      *

package/dist/DBC.js

@@ -94,6 +94,63 @@ export class DBC {
         return descriptor;
     }
     // #endregion Parameter-value requests.
+    // #region Class
+    /**
+     * A property-decorator factory serving as a **D**esign **B**y **C**ontract Invariant.
+     * This invariant aims to check the instance of the class not the value to be get or set.
+     *
+     * @param contracts The {@link DBC }-Contracts the value shall uphold.
+     *
+     * @throws 	A {@link DBC.Infringement } whenever the property is tried to be get or set without the instance of it's class
+     * 			fulfilling the specified **contracts**. */
+    static decClassInvariant(contracts, path = undefined, dbc = "WaXCode.DBC") {
+        return (target, propertyKey, descriptor) => {
+            if (!DBC.resolveDBCPath(window, dbc).executionSettings.checkInvariants) {
+                return;
+            }
+            const originalSetter = descriptor.set;
+            const originalGetter = descriptor.get;
+            // biome-ignore lint/suspicious/noExplicitAny: Necessary to intercept UNDEFINED and NULL.
+            let value;
+            // #region Replace original property.
+            Object.defineProperty(target, propertyKey, {
+                get() {
+                    if (!DBC.resolveDBCPath(window, dbc).executionSettings.checkInvariants) {
+                        return;
+                    }
+                    const realValue = path ? DBC.resolve(this, path) : this;
+                    // #region Check if all "contracts" are fulfilled.
+                    for (const contract of contracts) {
+                        const result = contract.check(realValue);
+                        if (typeof result === "string") {
+                            DBC.resolveDBCPath(window, dbc).reportFieldInfringement(result, target, path, propertyKey, realValue);
+                        }
+                    }
+                    // #endregion Check if all "contracts" are fulfilled.
+                    return originalGetter[propertyKey];
+                },
+                set(newValue) {
+                    if (!DBC.resolveDBCPath(window, dbc).executionSettings.checkInvariants) {
+                        return;
+                    }
+                    const realValue = path ? DBC.resolve(this, path) : this;
+                    // #region Check if all "contracts" are fulfilled.
+                    for (const contract of contracts) {
+                        const result = contract.check(realValue);
+                        if (typeof result === "string") {
+                            DBC.resolveDBCPath(window, dbc).reportFieldInfringement(result, target, path, propertyKey, realValue);
+                        }
+                    }
+                    // #endregion Check if all "contracts" are fulfilled.
+                    value = newValue;
+                },
+                enumerable: true,
+                configurable: true,
+            });
+            // #endregion Replace original property.
+        };
+    }
+    // #endregion Class
     // #region Invariant
     /**
      * A property-decorator factory serving as a **D**esign **B**y **C**ontract Invariant.
@@ -106,11 +163,17 @@ export class DBC {
      * 			specified **contracts**, by the returned method.*/
     static decInvariant(contracts, path = undefined, dbc = "WaXCode.DBC") {
         return (target, propertyKey) => {
+            if (!DBC.resolveDBCPath(window, dbc).executionSettings.checkInvariants) {
+                return;
+            }
             // biome-ignore lint/suspicious/noExplicitAny: Necessary to intercept UNDEFINED and NULL.
             let value;
             // #region Replace original property.
             Object.defineProperty(target, propertyKey, {
                 set(newValue) {
+                    if (!DBC.resolveDBCPath(window, dbc).executionSettings.checkInvariants) {
+                        return;
+                    }
                     const realValue = path ? DBC.resolve(newValue, path) : newValue;
                     // #region Check if all "contracts" are fulfilled.
                     for (const contract of contracts) {
@@ -147,6 +210,9 @@ export class DBC {
             const originalMethod = descriptor.value;
             // biome-ignore lint/suspicious/noExplicitAny: Necessary to intercept UNDEFINED and NULL.
             descriptor.value = (...args) => {
+                if (!DBC.resolveDBCPath(window, dbc).executionSettings.checkPostconditions) {
+                    return;
+                }
                 // biome-ignore lint/complexity/noThisInStatic: <explanation>
                 const result = originalMethod.apply(this, args);
                 const realValue = path ? DBC.resolve(result, path) : result;
@@ -175,6 +241,10 @@ export class DBC {
     static decPrecondition(check, dbc, path = undefined) {
         return (target, methodName, parameterIndex) => {
             DBC.requestParamValue(target, methodName, parameterIndex, (value) => {
+                if (!DBC.resolveDBCPath(window, dbc).executionSettings
+                    .checkPreconditions) {
+                    return;
+                }
                 const realValue = path ? DBC.resolve(value, path) : value;
                 const result = check(realValue, target, methodName, parameterIndex);
                 if (typeof result === "string") {
@@ -247,10 +317,23 @@ export class DBC {
      * Constructs this {@link DBC } by setting the {@link DBC.infringementSettings }, define the **WaXCode** namespace in
      * **window** if not yet available and setting the property **DBC** in there to the instance of this {@link DBC }.
      *
-     * @param infringementSettings See {@link DBC.infringementSettings }. */
-    constructor(infringementSettings = { throwException: true, logToConsole: false }) {
+     * @param infringementSettings 	See {@link DBC.infringementSettings }.
+     * @param executionSettings		See {@link DBC.executionSettings }. */
+    constructor(infringementSettings = { throwException: true, logToConsole: false }, executionSettings = {
+        checkPreconditions: true,
+        checkPostconditions: true,
+        checkInvariants: true,
+    }) {
         // #endregion Precondition
         // #endregion Decorator
+        // #region Execution Handling
+        /** Stores settings concerning the execution of checks. */
+        this.executionSettings = {
+            checkPreconditions: true,
+            checkPostconditions: true,
+            checkInvariants: true,
+        };
+        // #endregion Execution Handling
         // #region Warning handling.
         /** Stores settings concerning warnings. */
         this.warningSettings = { logToConsole: true };

package/dist/Demo.js

@@ -17,6 +17,10 @@ import { TYPE } from "./DBC/TYPE";
 import { AE } from "./DBC/AE";
 import { INSTANCE } from "./DBC/INSTANCE";
 import { GREATER } from "./DBC/COMPARISON/GREATER";
+import { GREATER_OR_EQUAL } from "./DBC/COMPARISON/GREATER_OR_EQUAL";
+import { LESS } from "./DBC/COMPARISON/LESS";
+import { LESS_OR_EQUAL } from "./DBC/COMPARISON/LESS_OR_EQUAL";
+import { DIFFERENT } from "./DBC/EQ/DIFFERENT";
 /** Demonstrative use of **D**esign **B**y **C**ontract Decorators */
 export class Demo {
     constructor() {
@@ -61,6 +65,10 @@ export class Demo {
     // #endregion Check AE Index
     // #region Check Comparison
     testGREATER(input) { }
+    testGREATER_OR_EQUAL(input) { }
+    testLESS(input) { }
+    testLESS_OR_EQUAL(input) { }
+    testDIFFERENT(input) { }
 }
 __decorate([
     REGEX.INVARIANT(/^a$/),
@@ -139,11 +147,40 @@ __decorate([
     __metadata("design:returntype", void 0)
 ], Demo.prototype, "testAEIndex", null);
 __decorate([
+    DBC.ParamvalueProvider,
     __param(0, GREATER.PRE(2)),
     __metadata("design:type", Function),
     __metadata("design:paramtypes", [Number]),
     __metadata("design:returntype", void 0)
 ], Demo.prototype, "testGREATER", null);
+__decorate([
+    DBC.ParamvalueProvider,
+    __param(0, GREATER_OR_EQUAL.PRE(2)),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [Number]),
+    __metadata("design:returntype", void 0)
+], Demo.prototype, "testGREATER_OR_EQUAL", null);
+__decorate([
+    DBC.ParamvalueProvider,
+    __param(0, LESS.PRE(20)),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [Number]),
+    __metadata("design:returntype", void 0)
+], Demo.prototype, "testLESS", null);
+__decorate([
+    DBC.ParamvalueProvider,
+    __param(0, LESS_OR_EQUAL.PRE(20)),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [Number]),
+    __metadata("design:returntype", void 0)
+], Demo.prototype, "testLESS_OR_EQUAL", null);
+__decorate([
+    DBC.ParamvalueProvider,
+    __param(0, DIFFERENT.PRE(20)),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [Number]),
+    __metadata("design:returntype", void 0)
+], Demo.prototype, "testDIFFERENT", null);
 const demo = new Demo();
 try {
     demo.testProperty = "abd";
@@ -152,16 +189,16 @@ catch (X) {
     console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
     console.log("INVARIANT Infringement", "OK");
     console.log(X);
-    console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+    console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 }
 demo.testProperty = "a";
 console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
 console.log("INVARIANT OK");
-console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 demo.testParamvalueAndReturnvalue("holla");
 console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
 console.log("PARAMETER- & RETURNVALUE OK");
-console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 try {
     demo.testParamvalueAndReturnvalue("yyyy");
 }
@@ -169,12 +206,12 @@ catch (X) {
     console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
     console.log("PARAMETER- & RETURNVALUE Infringement", "OK");
     console.log(X);
-    console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+    console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 }
 demo.testReturnvalue("xxxx");
 console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
 console.log("RETURNVALUE OK");
-console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 try {
     demo.testReturnvalue("yyyy");
 }
@@ -182,12 +219,12 @@ catch (X) {
     console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
     console.log("RETURNVALUE Infringement", "OK");
     console.log(X);
-    console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+    console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 }
 demo.testEQAndPath(document.createElement("select"));
 console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
 console.log("EQ with Path Infringement OK");
-console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 try {
     demo.testEQAndPathWithInversion(document.createElement("select"));
 }
@@ -195,12 +232,12 @@ catch (X) {
     console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
     console.log("EQ with Path and Inversion Infringement OK");
     console.log(X);
-    console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+    console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 }
 demo.testTYPE("x");
 console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
 console.log("TYPE OK");
-console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 try {
     demo.testTYPE(0);
 }
@@ -208,12 +245,12 @@ catch (X) {
     console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
     console.log("TYPE Infringement OK");
     console.log(X);
-    console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+    console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 }
 demo.testAE(["11", "10", "b"]);
 console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
 console.log("AE OK");
-console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 try {
     demo.testAE(["11", 11, "b"]);
 }
@@ -221,12 +258,12 @@ catch (X) {
     console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
     console.log("AE Infringement OK");
     console.log(X);
-    console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+    console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 }
 demo.testREGEXWithAE(["+1d", "NOW", "-10y"]);
 console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
 console.log("REGEX with AE OK");
-console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 try {
     demo.testREGEXWithAE(["+1d", "+5d", "-x10y"]);
 }
@@ -234,12 +271,12 @@ catch (X) {
     console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
     console.log("REGEX with AE Infringement OK");
     console.log(X);
-    console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+    console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 }
 demo.testINSTANCE(new Date());
 console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
 console.log("INSTANCE OK");
-console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 try {
     demo.testINSTANCE(demo);
 }
@@ -247,12 +284,12 @@ catch (X) {
     console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
     console.log("INSTANCE Infringement OK");
     console.log(X);
-    console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+    console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 }
 demo.testAERange([11, "abc", "abc"]);
 console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
 console.log("AE Range OK");
-console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 try {
     demo.testAERange([11, "abc", /a/g]);
 }
@@ -260,12 +297,12 @@ catch (X) {
     console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
     console.log("AE Range Infringement OK");
     console.log(X);
-    console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+    console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 }
 demo.testAEIndex([11, "abc", "abc"]);
 console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
 console.log("AE Index OK");
-console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 try {
     demo.testAEIndex(["11", 12, "/a/g"]);
 }
@@ -273,18 +310,111 @@ catch (X) {
     console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
     console.log("AE Index Infringement OK");
     console.log(X);
-    console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+    console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 }
 demo.testGREATER(11);
 console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
 console.log("GREATER OK");
-console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 try {
     demo.testGREATER(2);
 }
 catch (X) {
     console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
-    console.log("GREATER OK");
+    console.log("GREATER Infringement OK");
+    console.log(X);
+    console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+}
+demo.testGREATER_OR_EQUAL(2);
+console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
+console.log("GREATER_OR_EQUAL OK");
+console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+try {
+    demo.testGREATER_OR_EQUAL(1);
+}
+catch (X) {
+    console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
+    console.log("GREATER_OR_EQUAL Infringement OK");
+    console.log(X);
+    console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+}
+demo.testLESS(10);
+console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
+console.log("LESS OK");
+console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+try {
+    demo.testLESS(20);
+}
+catch (X) {
+    console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
+    console.log("LESS Infringement OK");
+    console.log(X);
+    console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+}
+demo.testLESS_OR_EQUAL(20);
+console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
+console.log("LESS OK");
+console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+try {
+    demo.testLESS_OR_EQUAL(21);
+}
+catch (X) {
+    console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
+    console.log("LESS_OR_EQUAL Infringement OK");
+    console.log(X);
+    console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+}
+demo.testDIFFERENT(21);
+console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
+console.log("DIFFERENT OK");
+console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+try {
+    demo.testDIFFERENT(20);
+}
+catch (X) {
+    console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
+    console.log("DIFFERENT Infringement OK");
+    console.log(X);
+    console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+}
+// #region Inactivity Checks
+window.WaXCode.DBC.executionSettings.checkPreconditions = false;
+try {
+    demo.testLESS_OR_EQUAL(21);
+    console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
+    console.log("INACTIVE PRECONDITIONS OK");
+    console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+}
+catch (X) {
+    console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
+    console.log("INACTIVE PRECONDITIONS FAILED");
+    console.log(X);
+    console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+}
+window.WaXCode.DBC.executionSettings.checkPostconditions = false;
+try {
+    demo.testReturnvalue("qqqqq");
+    console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
+    console.log("INACTIVE POSTCONDITIONS OK");
+    console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+}
+catch (X) {
+    console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
+    console.log("INACTIVE POSTCONDITIONS FAILED");
+    console.log(X);
+    console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+}
+window.WaXCode.DBC.executionSettings.checkInvariants = false;
+try {
+    demo.testProperty = "b";
+    console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
+    console.log("INACTIVE INVARIANTS OK");
+    console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+}
+catch (X) {
+    console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
+    console.log("INACTIVE INVARIANTS FAILED");
     console.log(X);
-    console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+    console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 }
+// #endregion Inactivity Checks

package/package.json

@@ -1,5 +1,5 @@
 {
-	"version": "1.0.98",
+	"version": "1.0.100",
 	"name": "xdbc",
 	"scripts": {
 		"docs": "typedoc",

package/src/DBC/DEFINED.ts

@@ -0,0 +1,114 @@
+import { DBC } from "../DBC";
+/**
+ * A {@link DBC } defining that an {@link object }s must be defined thus it's value may not be **null** or **undefined**.
+ *
+ * @remarks
+ * Maintainer: Salvatore Callari (XDBC@WaXCode.net) */
+export class DEFINED extends DBC {
+	/**
+	 * Checks if the value **toCheck** is null or undefined.
+	 *
+	 * @param toCheck	The {@link Object } to check.
+	 *
+	 * @returns TRUE if the value **toCheck** is of the specified **type**, otherwise FALSE. */
+	// biome-ignore lint/suspicious/noExplicitAny: Necessary for dynamic type checking of also UNDEFINED.
+	public static checkAlgorithm(toCheck: any ): boolean | string {
+		// biome-ignore lint/suspicious/useValidTypeof: Necessary
+		if ( toCheck === undefined || toCheck === null ) {
+			return `Value may not be UNDEFINED or NULL`;
+		}
+
+		return true;
+	}
+	/**
+	 * A parameter-decorator factory using the {@link DEFINED.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+	 * by the tagged parameter.
+	 *
+	 * @param type	See {@link DEFINED.checkAlgorithm }.
+	 * @param path	See {@link DBC.decPrecondition }.
+	 * @param dbc	See {@link DBC.decPrecondition }.
+	 *
+	 * @returns See {@link DBC.decPrecondition }. */
+	public static PRE(
+		path: string | undefined = undefined,
+		dbc = "WaXCode.DBC",
+	): (
+		target: object,
+		methodName: string | symbol,
+		parameterIndex: number,
+	) => void {
+		return DBC.decPrecondition(
+			(
+				value: object,
+				target: object,
+				methodName: string,
+				parameterIndex: number,
+			) => {
+				return DEFINED.checkAlgorithm(value);
+			},
+			dbc,
+			path,
+		);
+	}
+	/**
+	 * A method-decorator factory using the {@link DEFINED.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+	 * by the tagged method's returnvalue.
+	 *
+	 * @param type	See {@link DEFINED.checkAlgorithm }.
+	 * @param path	See {@link DBC.Postcondition }.
+	 * @param dbc	See {@link DBC.decPostcondition }.
+	 *
+	 * @returns See {@link DBC.decPostcondition }. */
+	public static POST(
+		type: string,
+		path: string | undefined = undefined,
+		dbc = "WaXCode.DBC",
+	): (
+		target: object,
+		propertyKey: string,
+		descriptor: PropertyDescriptor,
+	) => PropertyDescriptor {
+		return DBC.decPostcondition(
+			(value: object, target: object, propertyKey: string) => {
+				return DEFINED.checkAlgorithm(value);
+			},
+			dbc,
+			path,
+		);
+	}
+	/**
+	 * A field-decorator factory using the {@link DEFINED.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+	 * by the tagged field.
+	 *
+	 * @param type	See {@link DEFINED.checkAlgorithm }.
+	 * @param path	See {@link DBC.decInvariant }.
+	 * @param dbc	See {@link DBC.decInvariant }.
+	 *
+	 * @returns See {@link DBC.decInvariant }. */
+	public static INVARIANT(
+		type: string,
+		path: string | undefined = undefined,
+		dbc = "WaXCode.DBC",
+	) {
+		return DBC.decInvariant([new DEFINED()], path, dbc);
+	}
+	// #endregion Condition checking.
+	// #region Referenced Condition checking.
+	//
+	// For usage in dynamic scenarios (like with AE-DBC).
+	//
+	/**
+	 * Invokes the {@link DEFINED.checkAlgorithm } passing the value **toCheck** and the {@link DEFINED.type } .
+	 *
+	 * @param toCheck See {@link DEFINED.checkAlgorithm }.
+	 *
+	 * @returns See {@link DEFINED.checkAlgorithm}. */
+	// biome-ignore lint/suspicious/noExplicitAny: <explanation>
+	public check(toCheck: any) {
+		return DEFINED.checkAlgorithm(toCheck);
+	}
+	/** Creates this {@link DEFINED }. */
+	public constructor() {
+		super();
+	}
+}

package/src/DBC/INSTANCE.ts

@@ -4,7 +4,7 @@ import { DBC } from "../DBC";
  *
  * @remarks
  * Maintainer: Salvatore Callari (XDBC@WaXCode.net) */
-export class INSTANCE extends DBC {
+export class INSTANCE < CANDIDATE = any > extends DBC {
 	/**
 	 * Checks if the value **toCheck** is complies to the {@link RegExp } **expression**.
 	 *
@@ -112,6 +112,21 @@ export class INSTANCE extends DBC {
 	public check(toCheck: any) {
 		return INSTANCE.checkAlgorithm(toCheck, this.reference);
 	}
+	/**
+	 * 
+	 * @param toCheck 
+	 * @returns 
+	 */
+	public tsCheck( toCheck : any ) : CANDIDATE {
+		const result = INSTANCE.checkAlgorithm(toCheck, this.reference);
+
+		if( result ) {
+			return toCheck ;
+		}
+		else {
+			throw new DBC.Infringement( result as string );
+		}
+	}
 	/**
 	 * Creates this {@link INSTANCE } by setting the protected property {@link INSTANCE.reference } used by {@link INSTANCE.check }.
 	 *