xdbc 1.0.207 → 1.0.209

package/dist/DBC/GREATER.js

@@ -1,99 +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 GREATER 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(toCheck, equivalent, equalityPermitted, invert) {
-        if (equalityPermitted && !invert && toCheck < equivalent) {
-            return `Value has to to be greater than or equal to "${equivalent}"`;
-        }
-        if (equalityPermitted && invert && toCheck > equivalent) {
-            return `Value must not to be less than or equal to "${equivalent}"`;
-        }
-        if (!equalityPermitted && !invert && toCheck <= equivalent) {
-            return `Value has to to be greater than "${equivalent}"`;
-        }
-        if (!equalityPermitted && invert && toCheck >= equivalent) {
-            return `Value must not to be less than "${equivalent}"`;
-        }
-        return true;
-    }
-    /**
-     * A parameter-decorator factory using the {@link GREATER.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
-     * by the tagged parameter.
-     *
-     * @param equivalent	    See {@link GREATER.checkAlgorithm }.
-     * @param equalityPermitted See {@link GREATER.checkAlgorithm }.
-     * @param path			    See {@link DBC.decPrecondition }.
-     * @param dbc			    See {@link DBC.decPrecondition }.
-     *
-     * @returns See {@link DBC.decPrecondition }. */
-    static PRE(equivalent, equalityPermitted = false, invert = false, path = undefined, dbc = "WaXCode.DBC") {
-        return DBC.decPrecondition((value, target, methodName, parameterIndex) => {
-            return GREATER.checkAlgorithm(value, equivalent, equalityPermitted, invert);
-        }, dbc, path);
-    }
-    /**
-     * A method-decorator factory using the {@link GREATER.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
-     * by the tagged method's returnvalue.
-     *
-     * @param equivalent	    See {@link GREATER.checkAlgorithm }.
-     * @param equalityPermitted See {@link GREATER.checkAlgorithm }.
-     * @param path			    See {@link DBC.Postcondition }.
-     * @param dbc			    See {@link DBC.decPostcondition }.
-     *
-     * @returns See {@link DBC.decPostcondition }. */
-    static POST(equivalent, equalityPermitted = false, invert = false, path = undefined, dbc = "WaXCode.DBC") {
-        return DBC.decPostcondition((value, target, propertyKey) => {
-            return GREATER.checkAlgorithm(value, equalityPermitted, equivalent, invert);
-        }, dbc, path);
-    }
-    /**
-     * A field-decorator factory using the {@link GREATER.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
-     * by the tagged field.
-     *
-     * @param equivalent	    See {@link GREATER.checkAlgorithm }.
-     * @param equalityPermitted See {@link GREATER.checkAlgorithm }.
-     * @param path			    See {@link DBC.decInvariant }.
-     * @param dbc			    See {@link DBC.decInvariant }.
-     *
-     * @returns See {@link DBC.decInvariant }. */
-    static INVARIANT(equivalent, equalityPermitted = false, invert = false, path = undefined, dbc = "WaXCode.DBC") {
-        return DBC.decInvariant([new GREATER(equivalent, equalityPermitted, invert)], path, dbc);
-    }
-    // #endregion Condition checking.
-    // #region Referenced Condition checking.
-    // #region Dynamic usage.
-    /**
-     * Invokes the {@link GREATER.checkAlgorithm } passing the value **toCheck**, {@link GREATER.equivalent } and {@link GREATER.invert }.
-     *
-     * @param toCheck See {@link GREATER.checkAlgorithm }.
-     *
-     * @returns See {@link GREATER.checkAlgorithm}. */
-    check(toCheck) {
-        return GREATER.checkAlgorithm(toCheck, this.equivalent, this.equalityPermitted, this.invert);
-    }
-    /**
-     * Creates this {@link GREATER } by setting the protected property {@link GREATER.equivalent }, {@link GREATER.equalityPermitted } and {@link GREATER.invert } used by {@link GREATER.check }.
-     *
-     * @param equivalent        See {@link GREATER.check }.
-     * @param equalityPermitted See {@link GREATER.check }.
-     * @param invert            See {@link GREATER.check }. */
-    constructor(equivalent, equalityPermitted = false, invert = false) {
-        super();
-        this.equivalent = equivalent;
-        this.equalityPermitted = equalityPermitted;
-        this.invert = invert;
-    }
-}

package/dist/DBC/HasAttribute.js

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

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

@@ -1,93 +0,0 @@
-import { DBC } from "../DBC";
-/**
- * A {@link DBC } defining that the an {@link object }s gotta be an instance of a certain {@link INSTANCE.reference }.
- *
- * @remarks
- * Maintainer: Salvatore Callari (XDBC@WaXCode.net) */
-export class INSTANCE extends DBC {
-    /**
-     * Checks if the value **toCheck** is complies to the {@link RegExp } **expression**.
-     *
-     * @param toCheck	The value that has comply to the {@link RegExp } **expression** for this {@link DBC } to be fulfilled.
-     * @param reference	The {@link RegExp } the one **toCheck** has comply to in order for this {@link DBC } to be
-     * 					fulfilled.
-     *
-     * @returns TRUE if the value **toCheck** is of the specified **type**, otherwise FALSE. */
-    // biome-ignore lint/suspicious/noExplicitAny: In order to perform an "instanceof" check.
-    static checkAlgorithm(toCheck, reference) {
-        if (!(toCheck instanceof reference)) {
-            return `Value has to be an instance of "${reference}" but is of type "${typeof toCheck}"`;
-        }
-        return true;
-    }
-    /**
-     * A parameter-decorator factory using the {@link INSTANCE.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
-     * by the tagged parameter.
-     *
-     * @param reference	See {@link INSTANCE.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: In order to perform an "instanceof" check.
-    reference, path = undefined, dbc = "WaXCode.DBC") {
-        return DBC.decPrecondition((value, target, methodName, parameterIndex) => {
-            return INSTANCE.checkAlgorithm(value, reference);
-        }, dbc, path);
-    }
-    /**
-     * A method-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.Postcondition }.
-     * @param dbc	See {@link DBC.decPostcondition }.
-     *
-     * @returns See {@link DBC.decPostcondition }. */
-    static POST(
-    // biome-ignore lint/suspicious/noExplicitAny: In order to perform an "instanceof" check.
-    reference, path = undefined, dbc = "WaXCode.DBC") {
-        return DBC.decPostcondition((value, target, propertyKey) => {
-            return INSTANCE.checkAlgorithm(value, reference);
-        }, dbc, path);
-    }
-    /**
-     * A field-decorator factory using the {@link INSTANCE.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
-     * by the tagged method's returnvalue.
-     *
-     * @param reference	See {@link INSTANCE.checkAlgorithm }.
-     * @param path	See {@link DBC.decInvariant }.
-     * @param dbc	See {@link DBC.decInvariant }.
-     *
-     * @returns See {@link DBC.decInvariant }. */
-    static INVARIANT(
-    // biome-ignore lint/suspicious/noExplicitAny: In order to perform an "instanceof" check.
-    reference, path = undefined, dbc = "WaXCode.DBC") {
-        return DBC.decInvariant([new INSTANCE(reference)], path, dbc);
-    }
-    // #endregion Condition checking.
-    // #region Referenced Condition checking.
-    //
-    // For usage in dynamic scenarios (like with AE-DBC).
-    //
-    /**
-     * Invokes the {@link INSTANCE.checkAlgorithm } passing the value **toCheck** and the {@link INSTANCE.reference } .
-     *
-     * @param toCheck See {@link INSTANCE.checkAlgorithm }.
-     *
-     * @returns See {@link INSTANCE.checkAlgorithm}. */
-    // biome-ignore lint/suspicious/noExplicitAny: <explanation>
-    check(toCheck) {
-        return INSTANCE.checkAlgorithm(toCheck, this.reference);
-    }
-    /**
-     * Creates this {@link INSTANCE } by setting the protected property {@link INSTANCE.reference } used by {@link INSTANCE.check }.
-     *
-     * @param reference See {@link INSTANCE.check }. */
-    // biome-ignore lint/suspicious/noExplicitAny: <explanation>
-    constructor(reference) {
-        super();
-        this.reference = reference;
-    }
-}

package/dist/DBC/JSON.OP.js

@@ -1,133 +0,0 @@
-import { DBC } from "../DBC";
-/**
- * A {@link DBC } demanding that an {@link object } has specific properties of specific types.
- *
- * @remarks
- * Maintainer: Callari, Salvatore (XDBC@WaXCode.net) */
-export class JSON_OP extends DBC {
-    // #region Condition checking.
-    /**
-     * Checks if the object **toCheck** has the **necessaryProperties** of necessary type.
-     *
-     * @param toCheck				The {@link object } to check for the necessary properties.
-     * @param necessaryProperties	The **{ name : string, type : string }**s defining the properties and type the {@link object } to
-     * 								check needs to have.
-     * @param checkElements			Indicates if **toCheck** is an iterable object of which all elements have to be checked.
-     * 								Elements will only be checked if **toCheck** is iterable, otherwise **toCheck** itself
-     * 								will be checked.
-     *
-     * @returns TRUE if the value **toCheck** or it's elements, if **checkElements** is TRUE, has all **necessaryProperties**, otherwise a {@link string } to report the infringement. */
-    static checkAlgorithm(
-    // biome-ignore lint/suspicious/noExplicitAny: <explanation>
-    toCheck, necessaryProperties, checkElements) {
-        if (toCheck === undefined || null) {
-            return `[ UNDEFINED or NULL received instead of object with following properties: ${JSON.stringify(necessaryProperties)} ]`;
-        }
-        for (const property of necessaryProperties)
-            if (checkElements && typeof toCheck[Symbol.iterator] === "function") {
-                for (const element of toCheck) {
-                    if (
-                    // biome-ignore lint/suspicious/noPrototypeBuiltins: <explanation>
-                    !element.hasOwnProperty(property.name) ||
-                        // biome-ignore lint/suspicious/useValidTypeof: <explanation>
-                        typeof element[property.name] !== property.type) {
-                        return `[ Object "${JSON.stringify(element)}" in Array "${JSON.stringify(toCheck)}" does not contain the necessary property "${property.name}" of type "${property.type}"]`;
-                    }
-                }
-            }
-            else {
-                if (
-                // biome-ignore lint/suspicious/noPrototypeBuiltins: <explanation>
-                !toCheck.hasOwnProperty(property.name) ||
-                    // biome-ignore lint/suspicious/useValidTypeof: <explanation>
-                    typeof toCheck[property.name] !== property.type) {
-                    return `[ Object does not contain the necessary property "${property.name}" of type "${property.type}"]`;
-                }
-            }
-        return true;
-    }
-    /**
-     * A parameter-decorator factory using the {@link JSON_OP.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
-     * by the tagged parameter.
-     *
-     * @param expression	See {@link JSON.checkAlgorithm }.
-     * @param path			See {@link DBC.decPrecondition }.
-     * @param dbc			See {@link DBC.decPrecondition }.
-     *
-     * @returns See {@link DBC.decPrecondition }. */
-    static PRE(necessaryProperties, checkElements = false, path = undefined, dbc = "WaXCode.DBC") {
-        return DBC.decPrecondition((value, target, methodName, parameterIndex) => {
-            return JSON_OP.checkAlgorithm(value, necessaryProperties, checkElements);
-        }, dbc, path);
-    }
-    /**
-     * A method-decorator factory using the {@link JSON_OP.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
-     * by the tagged method's returnvalue.
-     *
-     * @param expression	See {@link JSON.checkAlgorithm }.
-     * @param path			See {@link DBC.Postcondition }.
-     * @param dbc			See {@link DBC.decPostcondition }.
-     *
-     * @returns See {@link DBC.decPostcondition }. */
-    static POST(necessaryProperties, checkElements = false, path = undefined, dbc = "WaXCode.DBC") {
-        return DBC.decPostcondition(
-        // biome-ignore lint/suspicious/noExplicitAny: <explanation>
-        (value, target, propertyKey) => {
-            return JSON_OP.checkAlgorithm(value, necessaryProperties, checkElements);
-        }, dbc, path);
-    }
-    /**
-     * A field-decorator factory using the {@link JSON_OP.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
-     * by the tagged field.
-     *
-     * @param expression	See {@link JSON.checkAlgorithm }.
-     * @param path			See {@link DBC.decInvariant }.
-     * @param dbc			See {@link DBC.decInvariant }.
-     *
-     * @returns See {@link DBC.decPostcondition }. */
-    static INVARIANT(necessaryProperties, checkElements = false, path = undefined, dbc = "WaXCode.DBC") {
-        return DBC.decInvariant([new JSON_OP(necessaryProperties, checkElements)], path, dbc);
-    }
-    // #endregion Condition checking.
-    // #region Referenced Condition checking.
-    //
-    // For usage in dynamic scenarios (like with AE-DBC).
-    //
-    /**
-     * Invokes the {@link JSON_OP.checkAlgorithm } passing the value **toCheck**, {@link JSON_OP.necessaryProperties } and {@link JSON_OP.checkElements }.
-     *
-     * @param toCheck See {@link JSON_OP.checkAlgorithm }.
-     *
-     * @returns See {@link JSON_OP.checkAlgorithm}. */
-    // biome-ignore lint/suspicious/noExplicitAny: <explanation>
-    check(toCheck) {
-        return JSON_OP.checkAlgorithm(toCheck, this.necessaryProperties, this.checkElements);
-    }
-    /**
-     * Creates this {@link JSON_OP } by setting the protected property {@link JSON_OP.necessaryProperties } and {@link checkElements } used by {@link JSON_OP.check }.
-     *
-     * @param necessaryProperties	See {@link JSON_OP.check }.
-     * @param checkElements 		See {@link JSON_OP.check }. */
-    constructor(necessaryProperties, checkElements = false) {
-        super();
-        this.necessaryProperties = necessaryProperties;
-        this.checkElements = checkElements;
-    }
-    // #endregion Referenced Condition checking.
-    // #region In-Method checking.
-    /**
-     * Invokes the {@link JSON_OP.checkAlgorithm } passing the value **toCheck**, {@link JSON_OP.necessaryProperties } and {@link JSON_OP.checkElements }.
-     *
-     * @param toCheck				See {@link JSON_OP.checkAlgorithm} }.
-     * @param necessaryProperties	See {@link JSON_OP.checkAlgorithm} }.
-     * @param checkElements			See {@link JSON_OP.checkAlgorithm} }.
-     */
-    static check(
-    // biome-ignore lint/suspicious/noExplicitAny: <explanation>
-    toCheck, necessaryProperties, checkElements = false) {
-        const checkResult = JSON_OP.checkAlgorithm(toCheck, necessaryProperties, checkElements);
-        if (typeof checkResult === "string") {
-            throw new DBC.Infringement(checkResult);
-        }
-    }
-}

package/dist/DBC/JSON.Parse.js

@@ -1,114 +0,0 @@
-import { DBC } from "../DBC";
-/**
- * A {@link DBC } demanding that a {@link string } is {@link JSON.parse}able.
- *
- * @remarks
- * Maintainer: Callari, Salvatore (XDBC@WaXCode.net) */
-export class JSON_Parse extends DBC {
-    // #region Condition checking.
-    /**
-     * Tries to {@link JSON.parse } the {@link string } **toCheck** invoking the **receptor** with the result, if so.
-     *
-     * @param toCheck	The {@link string } to be {@link JSON.parse }d.
-     * @param receptor	The **( json : object ) => void** to receive the {@link JSON.parse }d {@link string } **toCheck**.
-     * 					check needs to have.
-     *
-     * @returns TRUE if the value **toCheck** is a valid JSON, otherwise a {@link string } to report the infringement. */
-    static checkAlgorithm(toCheck, receptor) {
-        // biome-ignore lint/suspicious/noExplicitAny: JSON.parse returns any.
-        let parsed;
-        try {
-            parsed = JSON.parse(toCheck);
-        }
-        catch (X) {
-            return `[ Following string is not a valid JSON: ${toCheck}]`;
-        }
-        if (receptor) {
-            receptor(parsed);
-        }
-        return true;
-    }
-    /**
-     * A parameter-decorator factory using the {@link JSON_Parse.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
-     * by the tagged parameter.
-     *
-     * @param receptor	See {@link JSON.checkAlgorithm }.
-     * @param path			See {@link DBC.decPrecondition }.
-     * @param dbc			See {@link DBC.decPrecondition }.
-     *
-     * @returns See {@link DBC.decPrecondition }. */
-    static PRE(receptor, path = undefined, dbc = "WaXCode.DBC") {
-        return DBC.decPrecondition((value, target, methodName, parameterIndex) => {
-            return JSON_Parse.checkAlgorithm(value, receptor);
-        }, dbc, path);
-    }
-    /**
-     * A method-decorator factory using the {@link JSON_Parse.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
-     * by the tagged method's returnvalue.
-     *
-     * @param expression	See {@link JSON.checkAlgorithm }.
-     * @param path			See {@link DBC.Postcondition }.
-     * @param dbc			See {@link DBC.decPostcondition }.
-     *
-     * @returns See {@link DBC.decPostcondition }. */
-    static POST(receptor, path = undefined, dbc = "WaXCode.DBC") {
-        return DBC.decPostcondition(
-        // biome-ignore lint/suspicious/noExplicitAny: <explanation>
-        (value, target, propertyKey) => {
-            return JSON_Parse.checkAlgorithm(value, receptor);
-        }, dbc, path);
-    }
-    /**
-     * A field-decorator factory using the {@link JSON_Parse.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
-     * by the tagged field.
-     *
-     * @param expression	See {@link JSON.checkAlgorithm }.
-     * @param path			See {@link DBC.decInvariant }.
-     * @param dbc			See {@link DBC.decInvariant }.
-     *
-     * @returns See {@link DBC.decInvariant }. */
-    static INVARIANT(receptor, path = undefined, dbc = "WaXCode.DBC") {
-        return DBC.decInvariant([new JSON_Parse(receptor)], path, dbc);
-    }
-    // #endregion Condition checking.
-    // #region Referenced Condition checking.
-    //
-    // For usage in dynamic scenarios (like with AE-DBC).
-    //
-    /**
-     * Invokes the {@link JSON_Parse.checkAlgorithm } passing the value **toCheck** and {@link JSON_Parse.receptor }.
-     *
-     * @param toCheck See {@link JSON_Parse.checkAlgorithm }.
-     *
-     * @returns See {@link JSON_Parse.checkAlgorithm}. */
-    // biome-ignore lint/suspicious/noExplicitAny: <explanation>
-    check(toCheck) {
-        return JSON_Parse.checkAlgorithm(toCheck, this.receptor);
-    }
-    /**
-     * Creates this {@link JSON_Parse } by setting the protected property {@link JSON_Parse.necessaryProperties } and {@link checkElements } used by {@link JSON_Parse.check }.
-     *
-     * @param necessaryProperties	See {@link JSON_Parse.check }.
-     * @param checkElements 		See {@link JSON_Parse.check }. */
-    constructor(receptor = undefined) {
-        super();
-        this.receptor = receptor;
-    }
-    // #endregion Referenced Condition checking.
-    // #region In-Method checking.
-    /**
-     * Invokes the {@link JSON_Parse.checkAlgorithm } passing the value **toCheck**, {@link JSON_Parse.necessaryProperties } and {@link JSON_Parse.checkElements }.
-     *
-     * @param toCheck				See {@link JSON_Parse.checkAlgorithm} }.
-     * @param necessaryProperties	See {@link JSON_Parse.checkAlgorithm} }.
-     * @param checkElements			See {@link JSON_Parse.checkAlgorithm} }.
-     */
-    static check(
-    // biome-ignore lint/suspicious/noExplicitAny: <explanation>
-    toCheck, receptor) {
-        const checkResult = JSON_Parse.checkAlgorithm(toCheck, receptor);
-        if (typeof checkResult === "string") {
-            throw new DBC.Infringement(checkResult);
-        }
-    }
-}