xdbc 1.0.211 → 1.0.213

package/dist/DBC/JSON.Parse.d.ts

@@ -0,0 +1,69 @@
+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 declare class JSON_Parse extends DBC {
+    receptor: ((json: object) => void) | undefined;
+    /**
+     * 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: string, receptor: (json: object) => void): boolean | string;
+    /**
+     * 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: (json: object) => void, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol, parameterIndex: number) => void;
+    /**
+     * 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: (json: object) => void, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, propertyKey: string, descriptor: PropertyDescriptor) => PropertyDescriptor;
+    /**
+     * 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: (json: object) => void, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: unknown, propertyKey: string | symbol) => void;
+    /**
+     * 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}. */
+    check(toCheck: any): string | boolean;
+    /**
+     * 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?: ((json: object) => void) | undefined);
+    /**
+     * 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(toCheck: any, receptor: (json: object) => void): void;
+}

package/dist/DBC/OR.d.ts

@@ -0,0 +1,104 @@
+import { DBC } from "../DBC";
+/**
+ * A {@link DBC } defining that all elements of an {@link object }s have to fulfill
+ * one of the given {@link object }s check-methods (**( toCheck : any ) => boolean | string** ).
+ *
+ * @remarks
+ * Maintainer: Callari, Salvatore (XDBC@WaXCode.net) */
+export declare class OR extends DBC {
+    protected conditions: Array<{
+        check: (toCheck: unknown | undefined | null) => boolean | string;
+    }>;
+    /**
+     * Checks the **value** against the given **conditions**
+     *
+     * @param conditions	The **{ check: (toCheck: any) => boolean | string }**-{@link object }s 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 TRUE if at least one of the provided **conditions** is fulfilled, otherwise a {@link string } containing all **conditions** returned {@link string }s separated by " || ". */
+    static checkAlgorithm(conditions: Array<{
+        check: (toCheck: unknown | undefined | null | object) => boolean | string;
+    }>, value: unknown | null | undefined): boolean | string;
+    /**
+     * A parameter-decorator factory using the {@link OR.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 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(conditions: Array<{
+        check: (toCheck: unknown | undefined | null | object) => boolean | string;
+    }>, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol, parameterIndex: number) => void;
+    /**
+     * A method-decorator factory using the {@link OR.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 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(conditions: Array<{
+        check: (toCheck: unknown | undefined | null | object) => boolean | string;
+    }>, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, propertyKey: string, descriptor: PropertyDescriptor) => PropertyDescriptor;
+    /**
+     * A field-decorator factory using the {@link OR.checkAlgorithm } with either multiple or a single one
+     * of the **realConditions** to check the tagged field.
+     *
+     * @param realConditions	Either one or more { check: (toCheck: any) => boolean | string } to check the tagged parameter-value
+     * 							against with.
+     * @param path				See {@link DBC.decInvariant }.
+     * @param dbc				See {@link DBC.decInvariant }.
+     *
+     * @returns	See {@link DBC.decInvariant }. */
+    static INVARIANT(conditions: Array<{
+        check: (toCheck: unknown | undefined | null | object) => boolean | string;
+    }>, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: unknown, propertyKey: string | symbol) => void;
+    /**
+     * Invokes the {@link OR.checkAlgorithm } passing the value **toCheck** and {@link OR.conditions }.
+     *
+     * @param toCheck See {@link OR.checkAlgorithm }.
+     *
+     * @returns See {@link OR.checkAlgorithm}. */
+    check(toCheck: unknown | null | undefined): string | boolean;
+    /**
+     * Invokes the {@link OR.checkAlgorithm } passing the value **toCheck** and the {@link OR.type } .
+     *
+     * @param toCheck See {@link OR.checkAlgorithm }.
+     *
+     * @returns The **CANDIDATE** **toCheck** doesn't fulfill this {@link OR }.
+     *
+     * @throws A {@link DBC.Infringement } if the **CANDIDATE** **toCheck** does not fulfill this {@link OR }.*/
+    static tsCheck<CANDIDATE>(toCheck: unknown | undefined | null, conditions: Array<{
+        check: (toCheck: unknown | undefined | null | object) => boolean | string;
+    }>, hint?: string, id?: string | undefined): CANDIDATE;
+    /**
+     * Creates this {@link OR } by setting the protected property {@link OR.conditions } used by {@link OR.check }.
+     *
+     * @param conditions See {@link OR.check }. */
+    constructor(conditions: Array<{
+        check: (toCheck: unknown | undefined | null) => boolean | string;
+    }>);
+}

package/dist/DBC/REGEX.d.ts

@@ -0,0 +1,96 @@
+import { DBC } from "../DBC";
+/**
+ * A {@link DBC } providing {@link REGEX }-contracts and standard {@link RegExp } for common use cases in {@link REGEX.stdExp }.
+ *
+ * @remarks
+ * Maintainer: Callari, Salvatore (XDBC@WaXCode.net) */
+export declare class REGEX extends DBC {
+    protected expression: RegExp;
+    /** Stores often used {@link RegExp }s. Patterns are compiled lazily on first access. */
+    private static _stdExp;
+    static get stdExp(): {
+        htmlAttributeName: RegExp;
+        eMail: RegExp;
+        property: RegExp;
+        url: RegExp;
+        keyPath: RegExp;
+        date: RegExp;
+        dateFormat: RegExp;
+        cssSelector: RegExp;
+        boolean: RegExp;
+        colorCodeHEX: RegExp;
+        simpleHotkey: RegExp;
+        bcp47: RegExp;
+    };
+    /**
+     * 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 expression	The {@link RegExp } the one **toCheck** has comply to in order for this {@link DBC } to be
+     * 						fulfilled.
+     *
+     * @returns TRUE if the value **toCheck** complies with the {@link RegExp } **expression**, otherwise FALSE. */
+    static checkAlgorithm(toCheck: unknown | null | undefined, expression: RegExp): boolean | string;
+    /**
+     * A parameter-decorator factory using the {@link REGEX.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+     * by the tagged parameter.
+     *
+     * @param expression	See {@link REGEX.checkAlgorithm }.
+     * @param path			See {@link DBC.decPrecondition }.
+     * @param dbc			See {@link DBC.decPrecondition }.
+     *
+     * @returns See {@link DBC.decPrecondition }. */
+    static PRE(expression: RegExp, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol, parameterIndex: number) => void;
+    /**
+     * A method-decorator factory using the {@link REGEX.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+     * by the tagged method's returnvalue.
+     *
+     * @param expression	See {@link REGEX.checkAlgorithm }.
+     * @param path			See {@link DBC.Postcondition }.
+     * @param dbc			See {@link DBC.decPostcondition }.
+     * @param hint			See {@link DBC.decPostcondition }.
+     *
+     * @returns See {@link DBC.decPostcondition }. */
+    static POST(expression: RegExp, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, propertyKey: string, descriptor: PropertyDescriptor) => PropertyDescriptor;
+    /**
+     * A field-decorator factory using the {@link REGEX.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+     * by the tagged field.
+     *
+     * @param expression	See {@link REGEX.checkAlgorithm }.
+     * @param path			See {@link DBC.decInvariant }.
+     * @param dbc			See {@link DBC.decInvariant }.
+     * @param hint			See {@link DBC.decInvariant }.
+     * @returns See {@link DBC.decInvariant }. */
+    static INVARIANT(expression: RegExp, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: unknown, propertyKey: string | symbol) => void;
+    /**
+     * Invokes the {@link REGEX.checkAlgorithm } passing the value **toCheck** and {@link REGEX.equivalent }.
+     *
+     * @param toCheck See {@link REGEX.checkAlgorithm }.
+     *
+     * @returns See {@link EQ.checkAlgorithm}. */
+    check(toCheck: unknown | null | undefined): string | boolean;
+    /**
+     * Type-safe check that validates a value against a regular expression and returns it as the specified type.
+     *
+     * @param toCheck		The value to check against the regular expression.
+     * @param expression	The regular expression to validate against.
+     * @param hint			Optional hint message to include in the error if validation fails.
+     * @param id			Optional identifier to include in the error message.
+     *
+     * @returns The validated value cast to the CANDIDATE type.
+     *
+     * @throws {@link DBC.Infringement} if the value does not match the regular expression. */
+    static tsCheck<CANDIDATE = unknown>(toCheck: any, expression: RegExp, hint?: string | undefined, id?: string | undefined): CANDIDATE;
+    /**
+     * Creates this {@link REGEX } by setting the protected property {@link REGEX.expression } used by {@link REGEX.check }.
+     *
+     * @param expression See {@link REGEX.check }. */
+    constructor(expression: RegExp);
+    /**
+     * Invokes the {@link REGEX.checkAlgorithm } passing the value **toCheck** and {@link REGEX.expression }.
+     *
+     * @param toCheck		See {@link REGEX.checkAlgorithm}.
+     * @param expression	See {@link REGEX.checkAlgorithm}.
+     */
+    static check(toCheck: unknown | null | undefined, expression: RegExp): void;
+}

package/dist/DBC/TYPE.d.ts

@@ -0,0 +1,75 @@
+import { DBC } from "../DBC";
+/**
+ * A {@link DBC } defining that an {@link object }s gotta be of certain {@link TYPE.type }.
+ *
+ * @remarks
+ * Author: 		Salvatore Callari (Callari@WaXCode.net) / 2025
+ * Maintainer:	Salvatore Callari (XDBC@WaXCode.net) */
+export declare class TYPE extends DBC {
+    protected type: string;
+    /**
+     * Checks if the value **toCheck** is of the **type** specified.
+     *
+     * @param toCheck	The {@link Object } which's **type** to check.
+     * @param type		The type the {@link object} **toCheck** has to be of. Can be a single type or multiple types separated by "|".
+     *
+     * @returns TRUE if the value **toCheck** is of the specified **type**, otherwise FALSE. */
+    static checkAlgorithm(toCheck: any, type: string): boolean | string;
+    /**
+     * A parameter-decorator factory using the {@link TYPE.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+     * by the tagged parameter.
+     *
+     * @param type	See {@link TYPE.checkAlgorithm }.
+     * @param path	A ::-separated list of dotted paths to check. Each path points to a property within the parameter value.
+     * 				Undefined properties are skipped. See {@link DBC.decPrecondition }.
+     * @param dbc	See {@link DBC.decPrecondition }.
+     *
+     * @returns See {@link DBC.decPrecondition }. */
+    static PRE(type: string, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol, parameterIndex: number) => void;
+    /**
+     * A method-decorator factory using the {@link TYPE.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+     * by the tagged method's returnvalue.
+     *
+     * @param type	See {@link TYPE.checkAlgorithm }.
+     * @param path	A ::-separated list of dotted paths to check. Each path points to a property within the parameter value.
+     * 				Undefined properties are skipped. See {@link DBC.decPrecondition }.
+     * @param dbc	See {@link DBC.decPostcondition }.
+     *
+     * @returns See {@link DBC.decPostcondition }. */
+    static POST(type: string, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, propertyKey: string, descriptor: PropertyDescriptor) => PropertyDescriptor;
+    /**
+     * A field-decorator factory using the {@link TYPE.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+     * by the tagged field.
+     *
+     * @param type	See {@link TYPE.checkAlgorithm }.
+     * @param path	A ::-separated list of dotted paths to check. Each path points to a property within the parameter value.
+     * 				Undefined properties are skipped. See {@link DBC.decPrecondition }.
+     * @param dbc	See {@link DBC.decInvariant }.
+     *
+     * @returns See {@link DBC.decInvariant }. */
+    static INVARIANT(type: string, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: unknown, propertyKey: string | symbol) => void;
+    /**
+     * Invokes the {@link TYPE.checkAlgorithm } passing the value **toCheck** and the {@link TYPE.type } .
+     *
+     * @param toCheck See {@link TYPE.checkAlgorithm }.
+     *
+     * @returns See {@link TYPE.checkAlgorithm}. */
+    check(toCheck: any): string | boolean;
+    /**
+     * Invokes the {@link TYPE.checkAlgorithm } passing the value **toCheck** and the {@link TYPE.type } .
+     *
+     * @param toCheck	See {@link TYPE.checkAlgorithm }.
+     * @param type		See {@link TYPE.checkAlgorithm }.
+     * @param hint		An optional {@link string } providing extra information in case of an infringement.
+     * @param id		A {@link string } identifying this {@link TYPE } via the {@link DBC.Infringement }-Message.
+     *
+     * @returns The **CANDIDATE** **toCheck** doesn't fulfill this {@link TYPE }.
+     *
+     * @throws A {@link DBC.Infringement } if the **CANDIDATE** **toCheck** does not fulfill this {@link DEFINED }. */
+    static tsCheck<CANDIDATE = unknown>(toCheck: any, type: string, hint?: string | undefined, id?: string | undefined): CANDIDATE;
+    /**
+     * Creates this {@link TYPE } by setting the protected property {@link TYPE.type } used by {@link TYPE.check }.
+     *
+     * @param type See {@link TYPE.check }. */
+    constructor(type: string);
+}

package/dist/DBC/UNDEFINED.d.ts

@@ -0,0 +1,62 @@
+import { DBC } from "../DBC";
+/**
+ * A {@link DBC } defining that an {@link object }s must be **undefined**.
+ *
+ * @remarks
+ * Maintainer: Salvatore Callari (XDBC@WaXCode.net) */
+export declare class UNDEFINED extends DBC {
+    /**
+     * Checks if the value **toCheck** is undefined.
+     *
+     * @param toCheck	The {@link Object } to check.
+     *
+     * @returns TRUE if the value **toCheck** is of the specified **type**, otherwise FALSE. */
+    static checkAlgorithm(toCheck: any): boolean | string;
+    /**
+     * A parameter-decorator factory using the {@link UNDEFINED.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+     * by the tagged parameter.
+     *
+     * @param path	See {@link DBC.decPrecondition }.
+     * @param dbc	See {@link DBC.decPrecondition }.
+     * @param hint	See {@link DBC.decPrecondition }.
+     *
+     * @returns See {@link DBC.decPrecondition }. */
+    static PRE(path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol, parameterIndex: number) => void;
+    /**
+     * A method-decorator factory using the {@link UNDEFINED.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+     * by the tagged method's returnvalue.
+     *
+     * @param path	See {@link DBC.Postcondition }.
+     * @param dbc	See {@link DBC.decPostcondition }.
+     * @param hint	See {@link DBC.decPostcondition }.
+     *
+     * @returns See {@link DBC.decPostcondition }. */
+    static POST(path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, propertyKey: string, descriptor: PropertyDescriptor) => PropertyDescriptor;
+    /**
+     * A field-decorator factory using the {@link UNDEFINED.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+     * by the tagged field.
+     *
+     * @param path	See {@link DBC.decInvariant }.
+     * @param dbc	See {@link DBC.decInvariant }.
+     * @param hint	See {@link DBC.decInvariant }.
+     *
+     * @returns See {@link DBC.decInvariant }. */
+    static INVARIANT(type: string, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: unknown, propertyKey: string | symbol) => void;
+    /**
+     * Invokes the {@link UNDEFINED.checkAlgorithm } passing the value **toCheck** and the {@link UNDEFINED.type } .
+     *
+     * @param toCheck See {@link UNDEFINED.checkAlgorithm }.
+     *
+     * @returns See {@link UNDEFINED.checkAlgorithm}. */
+    check(toCheck: any): string | boolean;
+    /**
+     * Invokes the {@link UNDEFINED.checkAlgorithm } passing the value **toCheck** and the {@link UNDEFINED.type } .
+     *
+     * @param toCheck	See {@link UNDEFINED.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 UNDEFINED }.
+     *
+     * @throws A {@link DBC.Infringement } if the **CANDIDATE** **toCheck** does not fulfill this {@link UNDEFINED }.*/
+    static tsCheck<CANDIDATE = unknown>(toCheck: CANDIDATE | undefined | null, id?: string | undefined): CANDIDATE;
+}

package/dist/DBC/ZOD.d.ts

@@ -0,0 +1,72 @@
+import type { z } from "zod";
+import { DBC } from "../DBC";
+/**
+ * A {@link DBC } defining that the an {@link object }s gotta be an instance of a certain {@link ZOD.schema }.
+ *
+ * @remarks
+ * Maintainer: Salvatore Callari (XDBC@WaXCode.net) */
+export declare class ZOD extends DBC {
+    protected schema: z.ZodType;
+    /**
+     * Checks if the value **toCheck** complies to the specified {@link z.ZodType }.
+     *
+     * @param toCheck	The value that has to comply to the specified **schema** in order for this {@link DBC }
+     * @param schema	The {@link z.ZodType } the {@link object } **toCheck** has comply to in order for this {@link DBC } to be
+     * 					fulfilled.
+     *
+     * @returns TRUE if the value **toCheck** complies to the specified **schema**, otherwise FALSE. */
+    static checkAlgorithm(toCheck: any, schema: z.ZodType): boolean | string;
+    /**
+     * A parameter-decorator factory using the {@link ZOD.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+     * by the tagged parameter.
+     *
+     * @param schema	See {@link ZOD.checkAlgorithm }.
+     * @param path		See {@link DBC.decPrecondition }.
+     * @param dbc		See {@link DBC.decPrecondition }.
+     *
+     * @returns See {@link DBC.decPrecondition }. */
+    static PRE(schema: z.ZodType, path?: string | undefined, dbc?: string): (target: object, methodName: string | symbol, parameterIndex: number) => void;
+    /**
+     * A method-decorator factory using the {@link ZOD.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+     * by the tagged method's returnvalue.
+     *
+     * @param schema	See {@link ZOD.checkAlgorithm }.
+     * @param path	See {@link DBC.Postcondition }.
+     * @param dbc	See {@link DBC.decPostcondition }.
+     *
+     * @returns See {@link DBC.decPostcondition }. */
+    static POST(schema: z.ZodType, path?: string | undefined, dbc?: string): (target: object, propertyKey: string, descriptor: PropertyDescriptor) => PropertyDescriptor;
+    /**
+     * A field-decorator factory using the {@link ZOD.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+     * by the tagged method's returnvalue.
+     *
+     * @param schema	See {@link ZOD.checkAlgorithm }.
+     * @param path	See {@link DBC.decInvariant }.
+     * @param dbc	See {@link DBC.decInvariant }.
+     *
+     * @returns See {@link DBC.decInvariant }. */
+    static INVARIANT(schema: z.ZodType, path?: string | undefined, dbc?: string): (target: unknown, propertyKey: string | symbol) => void;
+    /**
+     * Invokes the {@link ZOD.checkAlgorithm } passing the value **toCheck** and the {@link ZOD.schema } .
+     *
+     * @param toCheck See {@link ZOD.checkAlgorithm }.
+     *
+     * @returns See {@link ZOD.checkAlgorithm}. */
+    check(toCheck: any): string | boolean;
+    /**
+     * Invokes the {@link ZOD.checkAlgorithm } passing the value **toCheck** and the {@link ZOD.schema } .
+     *
+     * @param toCheck 	See {@link ZOD.checkAlgorithm }.
+     * @param schema	See {@link ZOD.checkAlgorithm }.
+     * @param id		A {@link string } identifying this {@link ZOD } via the {@link DBC.Infringement }-Message.
+     *
+     * @returns The **CANDIDATE** **toCheck** doesn't fulfill this {@link ZOD }.
+     *
+     * @throws A {@link DBC.Infringement } if the **CANDIDATE** **toCheck** does not fulfill this {@link DEFINED }. */
+    static tsCheck<CANDIDATE = unknown>(toCheck: any, schema: z.ZodType, id?: string | undefined): CANDIDATE;
+    /**
+     * Creates this {@link ZOD } by setting the protected property {@link ZOD.schema } used by {@link ZOD.check }.
+     *
+     * @param schema See {@link ZOD.check }. */
+    constructor(schema: z.ZodType);
+}