xdbc 1.0.217 → 1.0.219

package/dist/DBC/REGEX.js

@@ -0,0 +1,136 @@
+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 class REGEX extends DBC {
+    static get stdExp() {
+        if (!REGEX._stdExp) {
+            REGEX._stdExp = {
+                htmlAttributeName: /^[a-zA-Z_:][a-zA-Z0-9_.:-]*$/,
+                eMail: /^[a-zA-Z0-9._%+-]+@[a-zA-Z0-9.-]+\.[a-zA-Z]{2,}$/i,
+                property: /^[$_A-Za-z][$_A-Za-z0-9]*$/,
+                url: /^(?:https?|ftp):\/\/[^\s/$.?#].[^\s]*$/i,
+                keyPath: /^([a-zA-Z_$][a-zA-Z0-9_$]*\.)*[a-zA-Z_$][a-zA-Z0-9_$]*$/,
+                date: /^\d{1,4}[.\/-]\d{1,2}[.\/-]\d{1,4}$/i,
+                dateFormat: /^((D{1,2}[./-]M{1,2}[./-]Y{1,4})|(M{1,2}[./-]D{1,2}[./-]Y{1,4})|Y{1,4}[./-]D{1,2}[./-]M{1,2}|(Y{1,4}[./-]M{1,2}[./-]D{1,2}))$/i,
+                cssSelector: /^(?:\*|#[\w-]+|\.[\w-]+|(?:[\w-]+|\*)(?::(?:[\w-]+(?:\([\w-]+\))?)+)?(?:\[(?:[\w-]+(?:(?:=|~=|\|=|\*=|\$=|\^=)\s*(?:"[^"]*"|'[^']*'|[\w-]+)\s*)?)?\])+|\[\s*[\w-]+\s*=\s*(?:"[^"]*"|'[^']*'|[\w-]+)\s*\])(?:,\s*(?:\*|#[\w-]+|\.[\w-]+|(?:[\w-]+|\*)(?::(?:[\w-]+(?:\([\w-]+\))?)+)?(?:\[(?:[\w-]+(?:(?:=|~=|\|=|\*=|\$=|\^=)\s*(?:"[^"]*"|'[^']*'|[\w-]+)\s*)?)?\])+|\[\s*[\w-]+\s*=\s*(?:"[^"]*"|'[^']*'|[\w-]+)\s*\]))*$/,
+                boolean: /^(TRUE|FALSE)$/i,
+                colorCodeHEX: /^#([A-Fa-f\d]{3,4}|[A-Fa-f\d]{6}|[A-Fa-f\d]{8})$/i,
+                simpleHotkey: /^((Alt|Ctrl|Shift|Meta)\+)+[a-z\d]$/i,
+                bcp47: /^(?:[a-z]{2,3}(?:-[a-z]{3}){0,3}|[a-z]{4}|[a-z]{5,8})(?:-[a-z]{4})?(?:-[a-z]{2}|-[0-9]{3})?(?:-[a-z0-9]{5,8}|-[0-9][a-z0-9]{3})*(?:-[0-9a-wy-z](?:-[a-z0-9]{2,8})+)*(?:-x(?:-[a-z0-9]{1,8})+)?$|^x(?:-[a-z0-9]{1,8})+$/i,
+            };
+        }
+        return REGEX._stdExp;
+    }
+    // #region Condition checking.
+    /**
+     * 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, expression) {
+        if (toCheck === undefined || toCheck === null || toCheck === "")
+            return true;
+        if (!expression.test(toCheck)) {
+            return `Value has to comply to regular expression "${expression}"`;
+        }
+        return true;
+    }
+    /**
+     * 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, path = undefined, hint = undefined, dbc = undefined) {
+        return DBC.createPRE(REGEX.checkAlgorithm, [expression], dbc, path, hint);
+    }
+    /**
+     * 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, path = undefined, hint = undefined, dbc = undefined) {
+        return DBC.createPOST(REGEX.checkAlgorithm, [expression], dbc, path, hint);
+    }
+    /**
+     * 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, path = undefined, hint = undefined, dbc = undefined) {
+        return DBC.createINVARIANT(REGEX, [expression], dbc, path, hint);
+    }
+    // #endregion Condition checking.
+    // #region Referenced Condition checking.
+    //
+    // For usage in dynamic scenarios (like with AE-DBC).
+    //
+    /**
+     * 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) {
+        return REGEX.checkAlgorithm(toCheck, this.expression);
+    }
+    /**
+     * 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(toCheck, expression, hint = undefined, id = undefined, dbc = undefined) {
+        const result = REGEX.checkAlgorithm(toCheck, expression);
+        if (result === true) {
+            return toCheck;
+        }
+        DBC.reportTsCheckInfringement(`${id ? `(${id}) ` : ""}${result}${hint ? ` ✨ ${hint} ✨` : ""}`, dbc);
+        return toCheck;
+    }
+    /**
+     * 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) {
+        super();
+        this.expression = expression;
+    }
+    // #endregion Referenced Condition checking.
+    // #region In-Method checking.
+    /**
+     * 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, expression, dbc = undefined) {
+        const checkResult = REGEX.checkAlgorithm(toCheck, expression);
+        if (typeof checkResult === "string") {
+            DBC.reportTsCheckInfringement(checkResult, dbc);
+        }
+    }
+}

package/dist/DBC/TYPE.js

@@ -0,0 +1,112 @@
+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 class TYPE extends DBC {
+    /**
+     * 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, type) {
+        if (toCheck === undefined || toCheck === null)
+            return true;
+        const types = type.split("|").map((t) => t.trim());
+        const actualType = typeof toCheck;
+        // #region Check if the actual type matches at least one of the specified types
+        const isValid = types.some((t) => actualType === t);
+        if (!isValid) {
+            if (types.length === 1) {
+                return `Value has to be of type "${type}" but is of type "${actualType}"`;
+            }
+            return `Value has to be of type "${types.join(" | ")}" but is of type "${actualType}"`;
+        }
+        // #endregion Check if the actual type matches at least one of the specified types
+        return true;
+    }
+    /**
+     * 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, path = undefined, hint = undefined, dbc = undefined) {
+        return DBC.createPRE(TYPE.checkAlgorithm, [type], dbc, path, hint);
+    }
+    /**
+     * 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, path = undefined, hint = undefined, dbc = undefined) {
+        return DBC.createPOST(TYPE.checkAlgorithm, [type], dbc, path, hint);
+    }
+    /**
+     * 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, path = undefined, hint = undefined, dbc = undefined) {
+        return DBC.createINVARIANT(TYPE, [type], dbc, path, hint);
+    }
+    // #endregion Condition checking.
+    // #region Referenced Condition checking.
+    //
+    // For usage in dynamic scenarios (like with AE-DBC).
+    //
+    /**
+     * 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) {
+        return TYPE.checkAlgorithm(toCheck, this.type);
+    }
+    /**
+     * 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(toCheck, type, hint = undefined, id = undefined, dbc = undefined) {
+        const result = TYPE.checkAlgorithm(toCheck, type);
+        if (result === true) {
+            return toCheck;
+        }
+        DBC.reportTsCheckInfringement(`${id ? `(${id}) ` : ""}${result}${hint ? ` ✨ ${hint} ✨` : ""}`, dbc);
+        return toCheck;
+    }
+    /**
+     * 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) {
+        super();
+        this.type = type;
+    }
+}

package/dist/DBC/UNDEFINED.js

@@ -0,0 +1,87 @@
+import { DBC } from "../DBC";
+/**
+ * A {@link DBC } defining that an {@link object }s must be **undefined**.
+ *
+ * @remarks
+ * Maintainer: Salvatore Callari (XDBC@WaXCode.net) */
+export 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) {
+        if (toCheck !== undefined) {
+            return `Value must be UNDEFINED but it is ${typeof toCheck}`;
+        }
+        return true;
+    }
+    /**
+     * 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 = undefined, hint = undefined, dbc = undefined) {
+        return DBC.createPRE(UNDEFINED.checkAlgorithm, [], dbc, path, hint);
+    }
+    /**
+     * 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 = undefined, hint = undefined, dbc = undefined) {
+        return DBC.createPOST(UNDEFINED.checkAlgorithm, [], dbc, path, hint);
+    }
+    /**
+     * 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, path = undefined, hint = undefined, dbc = undefined) {
+        return DBC.createINVARIANT(UNDEFINED, [], dbc, path, hint);
+    }
+    // #endregion Condition checking.
+    // #region Referenced Condition checking.
+    //
+    // For usage in dynamic scenarios (like with AE-DBC).
+    //
+    /**
+     * 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) {
+        return UNDEFINED.checkAlgorithm(toCheck);
+    }
+    /**
+     * 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(toCheck, id = undefined, dbc = undefined) {
+        const result = UNDEFINED.checkAlgorithm(toCheck);
+        if (result === true) {
+            return toCheck;
+        }
+        DBC.reportTsCheckInfringement(`${id ? `(${id}) ` : ""}${result}`, dbc);
+        return toCheck;
+    }
+}

package/dist/DBC/ZOD.js

@@ -0,0 +1,99 @@
+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 class ZOD extends DBC {
+    /**
+     * 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, schema) {
+        const result = schema.safeParse(toCheck);
+        if (!result.success) {
+            return `Value does not comply to the specified schema. Received: "${JSON.stringify(toCheck)}". Errors: ${result.error.message}`;
+        }
+        return true;
+    }
+    /**
+     * 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, path = undefined, dbc = "WaXCode.DBC") {
+        return DBC.createPRE(ZOD.checkAlgorithm, [schema], dbc, path);
+    }
+    /**
+     * 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, path = undefined, dbc = "WaXCode.DBC") {
+        return DBC.createPOST(ZOD.checkAlgorithm, [schema], dbc, path);
+    }
+    /**
+     * 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, path = undefined, dbc = "WaXCode.DBC") {
+        return DBC.createINVARIANT(ZOD, [schema], dbc, path);
+    }
+    // #endregion Condition checking.
+    // #region Referenced Condition checking.
+    //
+    // For usage in dynamic scenarios (like with AE-DBC).
+    //
+    /**
+     * 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) {
+        return ZOD.checkAlgorithm(toCheck, this.schema);
+    }
+    /**
+     * 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(toCheck, schema, id = undefined, dbc = undefined) {
+        const result = ZOD.checkAlgorithm(toCheck, schema);
+        if (result === true) {
+            return toCheck;
+        }
+        DBC.reportTsCheckInfringement(`${id ? `(${id}) ` : ""}${result}`, dbc);
+        return toCheck;
+    }
+    /**
+     * 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) {
+        super();
+        this.schema = schema;
+    }
+}

package/dist/DBC.d.ts

@@ -11,6 +11,12 @@ export declare class DBC {
     private static evictIfNeeded;
     private static getHost;
     private static getDBC;
+    /**
+     * Returns the registered {@link DBC } instance at the specified path.
+     * Throws if no instance is registered there.
+     *
+     * @param path The dotted path to look up (default: `"WaXCode.DBC"`). */
+    static getRegistered(path?: string): DBC;
     /** Stores all request for parameter values registered by {@link decPrecondition }. */
     static paramValueRequests: Map<string, Map<number, Array<(value: any) => undefined>>>;
     /**
@@ -48,8 +54,8 @@ export declare class DBC {
      * @returns 	When used as a **method** decorator: the (modified) {@link PropertyDescriptor }.
      * 				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;
+    static ParamvalueProvider<T extends new (...args: any[]) => any>(ctor: T): T;
+    static ParamvalueProvider<T extends abstract new (...args: any[]) => any>(ctor: 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.
@@ -148,6 +154,10 @@ export declare class DBC {
     infringementSettings: {
         throwException: boolean;
         logToConsole: boolean;
+        onInfringement: ((infringement: InstanceType<typeof DBC.Infringement>, context: {
+            type: "precondition" | "postcondition" | "invariant";
+            value: unknown;
+        }) => void) | undefined;
     };
     /** Sanitizes a value for safe inclusion in error messages. */
     private static sanitize;
@@ -157,7 +167,7 @@ export declare class DBC {
      *
      * @param message	The {@link string } describing the infringement and it's provenience.
      * @param violator 	The {@link string } describing or naming the violator. */
-    protected reportInfringement(message: string, violator: string, target: object, value: unknown, path: string | undefined, hint?: string | undefined): undefined;
+    protected reportInfringement(message: string, violator: string, target: object, value: unknown, path: string | undefined, hint?: string | undefined, type?: "precondition" | "postcondition" | "invariant"): undefined;
     /**
      * Reports a parameter-infringement via {@link reportInfringement } also generating a proper {@link string }-wrapper
      * for the given "message","method", parameter-"index" & value.
@@ -193,7 +203,7 @@ export declare class DBC {
      *
      * @param message	The fully formatted infringement message.
      * @param dbc		The path to the DBC instance. Defaults to `"WaXCode.DBC"`. */
-    static reportTsCheckInfringement(message: string, dbc?: string | undefined): void;
+    static reportTsCheckInfringement(message: string, dbc?: string | undefined, value?: unknown): void;
     /** An {@link Error } to be thrown whenever an infringement is detected. */
     static Infringement: {
         new (message: string): {
@@ -220,6 +230,10 @@ export declare class DBC {
     constructor(infringementSettings?: {
         throwException: boolean;
         logToConsole: boolean;
+        onInfringement?: (infringement: InstanceType<typeof DBC.Infringement>, context: {
+            type: "precondition" | "postcondition" | "invariant";
+            value: unknown;
+        }) => void;
     }, executionSettings?: {
         checkPreconditions: boolean;
         checkPostconditions: boolean;