xdbc 1.0.213 → 1.0.214

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.
      *

package/package.json

@@ -1,5 +1,5 @@
 {
-	"version": "1.0.213",
+	"version": "1.0.214",
 	"name": "xdbc",
 	"main": "dist/bundle.js",
 	"types": "dist/DBC.d.ts",

package/src/DBC/AE.ts

@@ -100,7 +100,7 @@ export class AE extends DBC {
 		dbc: string | undefined = undefined,
 	): (
 		target: object,
-		methodName: string | symbol,
+		methodName: string | symbol | undefined,
 		parameterIndex: number,
 	) => void {
 		return DBC.decPrecondition(
@@ -108,7 +108,7 @@ export class AE extends DBC {
 				// biome-ignore lint/suspicious/noExplicitAny: Must match DBC.decPrecondition signature
 				value: any,
 				target: object,
-				methodName: string | symbol,
+				methodName: string | symbol | undefined,
 				parameterIndex: number,
 			) => {
 				if (Array.isArray(realConditions)) {

package/src/DBC/DEFINED.ts

@@ -35,7 +35,7 @@ export class DEFINED extends DBC {
 		dbc: string | undefined = undefined,
 	): (
 		target: object,
-		methodName: string | symbol,
+		methodName: string | symbol | undefined,
 		parameterIndex: number,
 	) => void {
 		return DBC.createPRE(DEFINED.checkAlgorithm, [], dbc, path, hint);

package/src/DBC/EQ.ts

@@ -48,7 +48,7 @@ export class EQ extends DBC {
 		dbc: string | undefined = undefined,
 	): (
 		target: object,
-		methodName: string | symbol,
+		methodName: string | symbol | undefined,
 		parameterIndex: number,
 	) => void {
 		return DBC.createPRE(

package/src/DBC/HasAttribute.ts

@@ -49,7 +49,7 @@ export class HasAttribute extends DBC {
 		dbc = "WaXCode.DBC",
 	): (
 		target: object,
-		methodName: string | symbol,
+		methodName: string | symbol | undefined,
 		parameterIndex: number,
 	) => void {
 		return DBC.createPRE(

package/src/DBC/IF.ts

@@ -69,7 +69,7 @@ export class IF extends DBC {
 		dbc: string | undefined = undefined,
 	): (
 		target: object,
-		methodName: string | symbol,
+		methodName: string | symbol | undefined,
 		parameterIndex: number,
 	) => void {
 		return DBC.createPRE(

package/src/DBC/INSTANCE.ts

@@ -47,7 +47,7 @@ export class INSTANCE extends DBC {
 		dbc: string | undefined = undefined,
 	): (
 		target: object,
-		methodName: string | symbol,
+		methodName: string | symbol | undefined,
 		parameterIndex: number,
 	) => void {
 		const refs = Array.isArray(reference) ? reference : [reference];

package/src/DBC/JSON.OP.ts

@@ -68,7 +68,7 @@ export class JSON_OP extends DBC {
 		dbc = "WaXCode.DBC",
 	): (
 		target: object,
-		methodName: string | symbol,
+		methodName: string | symbol | undefined,
 		parameterIndex: number,
 	) => void {
 		return DBC.createPRE(

package/src/DBC/JSON.Parse.ts

@@ -49,7 +49,7 @@ export class JSON_Parse extends DBC {
 		dbc: string | undefined = undefined,
 	): (
 		target: object,
-		methodName: string | symbol,
+		methodName: string | symbol | undefined,
 		parameterIndex: number,
 	) => void {
 		return DBC.createPRE(

package/src/DBC/OR.ts

@@ -70,7 +70,7 @@ export class OR extends DBC {
 		dbc: string | undefined = undefined,
 	): (
 		target: object,
-		methodName: string | symbol,
+		methodName: string | symbol | undefined,
 		parameterIndex: number,
 	) => void {
 		return DBC.decPrecondition(

package/src/DBC/REGEX.ts

@@ -83,7 +83,7 @@ export class REGEX extends DBC {
 		dbc: string | undefined = undefined,
 	): (
 		target: object,
-		methodName: string | symbol,
+		methodName: string | symbol | undefined,
 		parameterIndex: number,
 	) => void {
 		return DBC.createPRE(REGEX.checkAlgorithm, [expression], dbc, path, hint);

package/src/DBC/TYPE.ts

@@ -50,7 +50,7 @@ export class TYPE extends DBC {
 		dbc: string | undefined = undefined,
 	): (
 		target: object,
-		methodName: string | symbol,
+		methodName: string | symbol | undefined,
 		parameterIndex: number,
 	) => void {
 		return DBC.createPRE(TYPE.checkAlgorithm, [type], dbc, path, hint);

package/src/DBC/UNDEFINED.ts

@@ -35,7 +35,7 @@ export class UNDEFINED extends DBC {
 		dbc: string | undefined = undefined,
 	): (
 		target: object,
-		methodName: string | symbol,
+		methodName: string | symbol | undefined,
 		parameterIndex: number,
 	) => void {
 		return DBC.createPRE(UNDEFINED.checkAlgorithm, [], dbc, path, hint);

package/src/DBC/ZOD.ts

@@ -42,7 +42,7 @@ export class ZOD extends DBC {
 		dbc = "WaXCode.DBC",
 	): (
 		target: object,
-		methodName: string | symbol,
+		methodName: string | symbol | undefined,
 		parameterIndex: number,
 	) => void {
 		return DBC.createPRE(ZOD.checkAlgorithm, [schema], dbc, path);

package/src/DBC.ts

@@ -52,7 +52,7 @@ export class DBC {
 	 */
 	private static getRequestKey(
 		target: object,
-		methodName: string | symbol,
+		methodName: string | symbol | undefined,
 	): string {
 		const className =
 			typeof target === "function"
@@ -72,7 +72,7 @@ export class DBC {
 	 * @param receptor		The method the requested parameter-value shall be passed to when it becomes available. */
 	protected static requestParamValue(
 		target: object,
-		methodName: string | symbol,
+		methodName: string | symbol | undefined,
 		index: number,
 		// biome-ignore lint/suspicious/noExplicitAny: Gotta be any since parameter-values may be undefined.
 		receptor: (value: any) => undefined,
@@ -119,6 +119,8 @@ export class DBC {
 	public static ParamvalueProvider(target: object, propertyKey: string, descriptor: PropertyDescriptor): PropertyDescriptor;
 	// biome-ignore lint/suspicious/noExplicitAny: Must handle both method and class decorator signatures
 	public static ParamvalueProvider<T extends new (...args: any[]) => any>(constructor: T): T;
+	// biome-ignore lint/suspicious/noExplicitAny: Must accept abstract class constructors
+	public static ParamvalueProvider<T extends abstract new (...args: any[]) => any>(constructor: T): T;
 	// biome-ignore lint/suspicious/noExplicitAny: Must handle both method and class decorator signatures
 	public static ParamvalueProvider(...args: any[]): any {
 		if (args.length === 1 && typeof args[0] === "function") {
@@ -400,7 +402,7 @@ export class DBC {
 		check: (
 			value: unknown,
 			target: object,
-			methodName: string | symbol,
+			methodName: string | symbol | undefined,
 			parameterIndex: number,
 		) => boolean | string,
 		dbc: string | undefined = undefined,
@@ -408,14 +410,14 @@ export class DBC {
 		hint: string | undefined = undefined,
 	): (
 		target: object,
-		methodName: string | symbol,
+		methodName: string | symbol | undefined,
 		parameterIndex: number,
 	) => void {
 		const paths = path ? path.replace(/ /g, "").split("::") : [undefined];
 		let dbcInstance: DBC | undefined;
 		return (
 			target: object,
-			methodName: string | symbol,
+			methodName: string | symbol | undefined,
 			parameterIndex: number,
 		): void => {
 			DBC.requestParamValue(