xdbc 1.0.213 → 1.0.215

package/dist/DBC/AE.d.ts

@@ -59,7 +59,7 @@ export declare class AE extends DBC {
         check: (toCheck: unknown | undefined | null) => boolean | string;
     }> | {
         check: (toCheck: unknown | undefined | null) => boolean | string;
-    }, index?: number | undefined, idxEnd?: number | undefined, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol, parameterIndex: number) => void;
+    }, index?: number | undefined, idxEnd?: number | undefined, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol | undefined, parameterIndex: number) => void;
     /**
      * 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.

package/dist/DBC/COMPARISON/GREATER.d.ts

@@ -3,7 +3,7 @@ import { COMPARISON } from "../COMPARISON";
 export declare class GREATER extends COMPARISON {
     equivalent: any;
     /** See {@link COMPARISON.PRE }. */
-    static PRE(equivalent: any, equalityPermitted?: boolean, invert?: boolean, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol, parameterIndex: number) => void;
+    static PRE(equivalent: any, equalityPermitted?: boolean, invert?: boolean, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol | undefined, parameterIndex: number) => void;
     /** See {@link COMPARISON.POST }. */
     static POST(equivalent: any, equalityPermitted?: boolean, invert?: boolean, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, propertyKey: string, descriptor: PropertyDescriptor) => PropertyDescriptor;
     /** See {@link COMPARISON.INVARIANT }. */

package/dist/DBC/COMPARISON/GREATER_OR_EQUAL.d.ts

@@ -3,7 +3,7 @@ import { COMPARISON } from "../COMPARISON";
 export declare class GREATER_OR_EQUAL extends COMPARISON {
     equivalent: any;
     /** See {@link COMPARISON.PRE }. */
-    static PRE(equivalent: any, equalityPermitted?: boolean, invert?: boolean, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol, parameterIndex: number) => void;
+    static PRE(equivalent: any, equalityPermitted?: boolean, invert?: boolean, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol | undefined, parameterIndex: number) => void;
     /** See {@link COMPARISON.POST }. */
     static POST(equivalent: any, equalityPermitted?: boolean, invert?: boolean, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, propertyKey: string, descriptor: PropertyDescriptor) => PropertyDescriptor;
     /** See {@link COMPARISON.INVARIANT }. */

package/dist/DBC/COMPARISON/LESS.d.ts

@@ -3,7 +3,7 @@ import { COMPARISON } from "../COMPARISON";
 export declare class LESS extends COMPARISON {
     equivalent: any;
     /** See {@link COMPARISON.PRE }. */
-    static PRE(equivalent: any, equalityPermitted?: boolean, invert?: boolean, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol, parameterIndex: number) => void;
+    static PRE(equivalent: any, equalityPermitted?: boolean, invert?: boolean, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol | undefined, parameterIndex: number) => void;
     /** See {@link COMPARISON.POST }. */
     static POST(equivalent: any, equalityPermitted?: boolean, invert?: boolean, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, propertyKey: string, descriptor: PropertyDescriptor) => PropertyDescriptor;
     /** See {@link COMPARISON.INVARIANT }. */

package/dist/DBC/COMPARISON/LESS_OR_EQUAL.d.ts

@@ -3,7 +3,7 @@ import { COMPARISON } from "../COMPARISON";
 export declare class LESS_OR_EQUAL extends COMPARISON {
     equivalent: any;
     /** See {@link COMPARISON.PRE }. */
-    static PRE(equivalent: any, equalityPermitted?: boolean, invert?: boolean, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol, parameterIndex: number) => void;
+    static PRE(equivalent: any, equalityPermitted?: boolean, invert?: boolean, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol | undefined, parameterIndex: number) => void;
     /** See {@link COMPARISON.POST }. */
     static POST(equivalent: any, equalityPermitted?: boolean, invert?: boolean, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, propertyKey: string, descriptor: PropertyDescriptor) => PropertyDescriptor;
     /** See {@link COMPARISON.INVARIANT }. */

package/dist/DBC/COMPARISON.d.ts

@@ -28,7 +28,7 @@ export declare class COMPARISON extends DBC {
      * @param dbc			    See {@link DBC.decPrecondition }.
      *
      * @returns See {@link DBC.decPrecondition }. */
-    static PRE(equivalent: any, equalityPermitted?: boolean, invert?: boolean, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol, parameterIndex: number) => void;
+    static PRE(equivalent: any, equalityPermitted?: boolean, invert?: boolean, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol | undefined, parameterIndex: number) => void;
     /**
      * A method-decorator factory using the {@link COMPARISON.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
      * by the tagged method's returnvalue.

package/dist/DBC/DEFINED.d.ts

@@ -21,7 +21,7 @@ export declare class DEFINED extends DBC {
      * @param dbc	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;
+    static PRE(path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol | undefined, parameterIndex: number) => void;
     /**
      * A method-decorator factory using the {@link DEFINED.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
      * by the tagged method's returnvalue.

package/dist/DBC/EQ/DIFFERENT.d.ts

@@ -16,7 +16,7 @@ import { EQ } from "../EQ";
 export declare class DIFFERENT extends EQ {
     equivalent: any;
     /** See {@link EQ.PRE }. Always inverts equality check. */
-    static PRE(equivalent: any, _invert?: boolean, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol, parameterIndex: number) => void;
+    static PRE(equivalent: any, _invert?: boolean, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol | undefined, parameterIndex: number) => void;
     /** See {@link EQ.POST }. Always inverts equality check. */
     static POST(equivalent: any, _invert?: boolean, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, propertyKey: string, descriptor: PropertyDescriptor) => PropertyDescriptor;
     /** See {@link EQ.INVARIANT }. Always inverts equality check. */

package/dist/DBC/EQ.d.ts

@@ -25,7 +25,7 @@ export declare class EQ extends DBC {
      * @param dbc			See {@link DBC.decPrecondition }.
      *
      * @returns See {@link DBC.decPrecondition }. */
-    static PRE(equivalent: any, invert?: boolean, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol, parameterIndex: number) => void;
+    static PRE(equivalent: any, invert?: boolean, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol | undefined, parameterIndex: number) => void;
     /**
      * A method-decorator factory using the {@link EQ.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
      * by the tagged method's returnvalue.

package/dist/DBC/HasAttribute.d.ts

@@ -24,7 +24,7 @@ export declare class HasAttribute extends DBC {
      * @param dbc			See {@link DBC.decPrecondition }.
      *
      * @returns See {@link DBC.decPrecondition }. */
-    static PRE(toCheckFor: string, invert?: boolean, path?: string | undefined, dbc?: string): (target: object, methodName: string | symbol, parameterIndex: number) => void;
+    static PRE(toCheckFor: string, invert?: boolean, path?: string | undefined, dbc?: string): (target: object, methodName: string | symbol | undefined, parameterIndex: number) => void;
     /**
      * A method-decorator factory using the {@link HasAttribute.checkAlgorithm } to determine whether this {@link DBC } is
      * fulfilled by the tagged method's returnvalue.

package/dist/DBC/IF.d.ts

@@ -40,7 +40,7 @@ export declare class IF extends DBC {
         check: (toCheck: unknown | undefined | null | object) => boolean | string;
     }, inCase: {
         check: (toCheck: unknown | undefined | null | object) => boolean | string;
-    }, path?: string | undefined, invert?: boolean, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol, parameterIndex: number) => void;
+    }, path?: string | undefined, invert?: boolean, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol | undefined, parameterIndex: number) => void;
     /**
      * A method-decorator factory using the {@link IF.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
      * by the tagged method's returnvalue.

package/dist/DBC/INSTANCE.d.ts

@@ -24,7 +24,7 @@ export declare class INSTANCE extends DBC {
      * @param dbc	See {@link DBC.decPrecondition }.
      *
      * @returns See {@link DBC.decPrecondition }. */
-    static PRE(reference: any | any[], path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol, parameterIndex: number) => void;
+    static PRE(reference: any | any[], path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol | undefined, parameterIndex: number) => void;
     /**
      * A method-decorator factory using the {@link INSTANCE.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
      * by the tagged method's returnvalue.

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

@@ -37,7 +37,7 @@ export declare class JSON_OP extends DBC {
     static PRE(necessaryProperties: Array<{
         name: string;
         type: string;
-    }>, checkElements?: boolean, path?: string | undefined, dbc?: string): (target: object, methodName: string | symbol, parameterIndex: number) => void;
+    }>, checkElements?: boolean, path?: string | undefined, dbc?: string): (target: object, methodName: string | symbol | undefined, parameterIndex: number) => void;
     /**
      * A method-decorator factory using the {@link JSON_OP.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
      * by the tagged method's returnvalue.

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

@@ -24,7 +24,7 @@ export declare class JSON_Parse extends DBC {
      * @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;
+    static PRE(receptor: (json: object) => void, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol | undefined, 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.

package/dist/DBC/OR.d.ts

@@ -48,7 +48,7 @@ export declare class OR extends DBC {
      * 			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;
+    }>, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol | undefined, 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.

package/dist/DBC/REGEX.d.ts

@@ -40,7 +40,7 @@ export declare class REGEX extends DBC {
      * @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;
+    static PRE(expression: RegExp, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol | undefined, 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.

package/dist/DBC/TYPE.d.ts

@@ -25,7 +25,7 @@ export declare class TYPE extends DBC {
      * @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;
+    static PRE(type: string, path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol | undefined, 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.

package/dist/DBC/UNDEFINED.d.ts

@@ -21,7 +21,7 @@ export declare class UNDEFINED extends DBC {
      * @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;
+    static PRE(path?: string | undefined, hint?: string | undefined, dbc?: string | undefined): (target: object, methodName: string | symbol | undefined, 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.

package/dist/DBC/ZOD.d.ts

@@ -25,7 +25,7 @@ export declare class ZOD extends DBC {
      * @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;
+    static PRE(schema: z.ZodType, path?: string | undefined, dbc?: string): (target: object, methodName: string | symbol | undefined, 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.

package/dist/DBC.d.ts

@@ -28,7 +28,7 @@ export declare class DBC {
      * @param methodName	The name of the method with the parameter which's value is requested.
      * @param index			The index of the parameter which's value is requested.
      * @param receptor		The method the requested parameter-value shall be passed to when it becomes available. */
-    protected static requestParamValue(target: object, methodName: string | symbol, index: number, receptor: (value: any) => undefined): undefined;
+    protected static requestParamValue(target: object, methodName: string | symbol | undefined, index: number, receptor: (value: any) => undefined): undefined;
     /**
      * A decorator usable on both **methods** (including setters) and **classes**.
      *
@@ -49,6 +49,7 @@ export declare class DBC {
      * 				When used as a **class** decorator: a replacement constructor that performs precondition checks. */
     static ParamvalueProvider(target: object, propertyKey: string, descriptor: PropertyDescriptor): PropertyDescriptor;
     static ParamvalueProvider<T extends new (...args: any[]) => any>(constructor: T): T;
+    static ParamvalueProvider<T extends abstract new (...args: any[]) => any>(constructor: T): T;
     /**
      * 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.
@@ -94,7 +95,7 @@ export declare class DBC {
      * 				May contain :: to separate multiple paths.
      *
      * @returns The **(target: object, methodName: string | symbol, parameterIndex: number ) => void** invoked by Typescript- */
-    protected static decPrecondition(check: (value: unknown, target: object, methodName: string | symbol, parameterIndex: number) => boolean | string, dbc?: string | undefined, path?: string | undefined, hint?: string | undefined): (target: object, methodName: string | symbol, parameterIndex: number) => void;
+    protected static decPrecondition(check: (value: unknown, target: object, methodName: string | symbol | undefined, parameterIndex: number) => boolean | string, dbc?: string | undefined, path?: string | undefined, hint?: string | undefined): (target: object, methodName: string | symbol | undefined, parameterIndex: number) => void;
     /**
      * Creates a PRE decorator from a checkAlgorithm function and its bound arguments.
      * Reduces boilerplate across contract classes.
@@ -105,7 +106,7 @@ export declare class DBC {
      * @param path     See {@link DBC.decPrecondition}.
      * @param hint     See {@link DBC.decPrecondition}.
      */
-    static createPRE(checkFn: (...args: any[]) => boolean | string, boundArgs: any[], dbc?: string, path?: string, hint?: string): (target: object, methodName: string | symbol, parameterIndex: number) => void;
+    static createPRE(checkFn: (...args: any[]) => boolean | string, boundArgs: any[], dbc?: string, path?: string, hint?: string): (target: object, methodName: string | symbol | undefined, parameterIndex: number) => void;
     /**
      * Creates a POST decorator from a checkAlgorithm function and its bound arguments.
      *