xdbc 1.0.207 → 1.0.209

package/dist/DBC/AE.js

@@ -1,173 +0,0 @@
-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**).
- *
- * @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.
-     *
-     * @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
-     * 					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
-     * 					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.
-     *
-     * @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) {
-                if (index > -1 && index < value.length) {
-                    const result = condition.check(value[index]);
-                    if (typeof result === "string") {
-                        return `Violating-Arrayelement at index "${index}" with value "${value[index]}". ${result}`;
-                    }
-                }
-                return true; // In order for optional parameter to not cause an error if they are omitted.
-            }
-            const ending = idxEnd !== undefined
-                ? idxEnd !== -1
-                    ? idxEnd + 1
-                    : value.length
-                : value.length;
-            for (let i = index ? index : 0; i < ending; i++) {
-                const result = condition.check(value[i]);
-                if (result !== true) {
-                    return `Violating-Arrayelement at index ${i}. ${result}`;
-                }
-            }
-        }
-        else {
-            return condition.check(value);
-        }
-        return true;
-    }
-    /**
-     * 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**.
-     * 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**.
-     *
-     * @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.decPrecondition }.
-     * @param dbc				See {@link DBC.decPrecondition }.
-     *
-     * @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) => {
-            if (Array.isArray(realConditions)) {
-                for (const currentCondition of realConditions) {
-                    const result = AE.checkAlgorithm(currentCondition, value, index, idxEnd);
-                    if (typeof result !== "boolean")
-                        return result;
-                }
-            }
-            else {
-                return AE.checkAlgorithm(realConditions, value, index, idxEnd);
-            }
-            return true;
-        }, dbc, path);
-    }
-    /**
-     * 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.
-     *
-     * @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.decPrecondition }.
-     * @param dbc				See {@link DBC.decPrecondition }.
-     *
-     * @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) => {
-            if (Array.isArray(realConditions)) {
-                for (const currentCondition of realConditions) {
-                    const result = AE.checkAlgorithm(currentCondition, value, index, idxEnd);
-                    if (typeof result !== "boolean")
-                        return result;
-                }
-            }
-            else {
-                return AE.checkAlgorithm(
-                // biome-ignore lint/suspicious/noExplicitAny: <explanation>
-                realConditions, value, index, idxEnd);
-            }
-            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 } with all {@link AE.conditions } and the {@link object } {@link toCheck },
-     * {@link AE.index } & {@link AE.idxEnd }.
-     *
-     * @param toCheck See {@link AE.checkAlgorithm }.
-     *
-     * @returns See {@link EQ.checkAlgorithm}. */
-    check(toCheck) {
-        if (Array.isArray(this.conditions)) {
-            for (const currentCondition of this.conditions) {
-                const result = AE.checkAlgorithm(currentCondition, toCheck, this.index, this.idxEnd);
-                if (typeof result !== "boolean")
-                    return result;
-            }
-        }
-        else {
-            return AE.checkAlgorithm(
-            // biome-ignore lint/suspicious/noExplicitAny: <explanation>
-            this.conditions, toCheck, this.index, this.idxEnd);
-        }
-        return true;
-    }
-    /**
-     * Creates this {@link AE } by setting the protected property {@link AE.conditions }, {@link AE.index } and {@link AE.idxEnd } used by {@link AE.check }.
-     *
-     * @param equivalent See {@link EQ.check }. */
-    constructor(conditions, index = undefined, idxEnd = undefined) {
-        super();
-        this.conditions = conditions;
-        this.index = index;
-        this.idxEnd = idxEnd;
-    }
-}

package/dist/DBC/COMPARISON/GREATER.js

@@ -1,21 +0,0 @@
-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

@@ -1,21 +0,0 @@
-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

@@ -1,21 +0,0 @@
-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

@@ -1,21 +0,0 @@
-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

@@ -1,99 +0,0 @@
-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/DEFINED.js

@@ -1,99 +0,0 @@
-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 but it is ${toCheck === undefined ? "UNDEFINED" : "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);
-    }
-    /**
-     * Invokes the {@link DEFINED.checkAlgorithm } passing the value **toCheck** and the {@link DEFINED.type } .
-     *
-     * @param toCheck	See {@link DEFINED.checkAlgorithm }.
-     * @param id		A {@link string } identifying this {@link INSTANCE } via the {@link DBC.Infringement }-Message.
-     *
-     * @returns The **CANDIDATE** **toCheck** doesn't fulfill this {@link DEFINED }.
-     *
-     * @throws A {@link DBC.Infringement } if the **CANDIDATE** **toCheck** does not fulfill this {@link DEFINED }.*/
-    static tsCheck(toCheck, id = undefined) {
-        const result = DEFINED.checkAlgorithm(toCheck);
-        if (result === true) {
-            return toCheck;
-        }
-        else {
-            throw new DBC.Infringement(`${id ? `(${id}) ` : ""}${result}`);
-        }
-    }
-    /** Creates this {@link DEFINED }. */
-    constructor() {
-        super();
-    }
-}

package/dist/DBC/EQ/DIFFERENT.js

@@ -1,21 +0,0 @@
-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/EQ.js

@@ -1,100 +0,0 @@
-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 EQ extends DBC {
-    // #region Condition checking.
-    /**
-     * 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
-     * 						fulfilled.
-     *
-     * @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) {
-        if (!invert && equivalent !== toCheck) {
-            return `Value has to to be equal to "${equivalent}"`;
-        }
-        if (invert && equivalent === toCheck) {
-            return `Value must not to be equal to "${equivalent}"`;
-        }
-        return true;
-    }
-    /**
-     * A parameter-decorator factory using the {@link EQ.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
-     * by the tagged parameter.
-     *
-     * @param equivalent	See {@link EQ.checkAlgorithm }.
-     * @param path			See {@link DBC.decPrecondition }.
-     * @param dbc			See {@link DBC.decPrecondition }.
-     *
-     * @returns See {@link DBC.decPrecondition }. */
-    static PRE(
-    // biome-ignore lint/suspicious/noExplicitAny: To check for UNDEFINED and NULL.
-    equivalent, invert = false, path = undefined, dbc = "WaXCode.DBC") {
-        return DBC.decPrecondition((value, target, methodName, parameterIndex) => {
-            return EQ.checkAlgorithm(value, equivalent, invert);
-        }, dbc, path);
-    }
-    /**
-     * A method-decorator factory using the {@link EQ.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
-     * by the tagged method's returnvalue.
-     *
-     * @param equivalent	See {@link EQ.checkAlgorithm }.
-     * @param path			See {@link DBC.Postcondition }.
-     * @param dbc			See {@link DBC.decPostcondition }.
-     *
-     * @returns See {@link DBC.decPostcondition }. */
-    static POST(
-    // biome-ignore lint/suspicious/noExplicitAny: To check for UNDEFINED and NULL.
-    equivalent, invert = false, path = undefined, dbc = "WaXCode.DBC") {
-        return DBC.decPostcondition((value, target, propertyKey) => {
-            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 }.
-     *
-     * @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 EQ.checkAlgorithm(toCheck, this.equivalent, this.invert);
-    }
-    /**
-     * Creates this {@link EQ } by setting the protected property {@link EQ.equivalent } used by {@link EQ.check }.
-     *
-     * @param equivalent See {@link EQ.check }. */
-    constructor(
-    // biome-ignore lint/suspicious/noExplicitAny: To be able to match UNDEFINED and NULL.
-    equivalent, invert = false) {
-        super();
-        this.equivalent = equivalent;
-        this.invert = invert;
-    }
-}