xdbc 1.0.207 → 1.0.209

package/src/DBC/REGEX.ts

@@ -5,23 +5,43 @@ import { DBC } from "../DBC";
  * @remarks
  * Maintainer: Callari, Salvatore (XDBC@WaXCode.net) */
 export class REGEX extends DBC {
-	/** Stores often used {@link RegExp }s. */
-	public static 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: /^(?:(?:http:|https?|ftp):\/\/)?(?:\S+(?::\S*)?@)?(?:localhost|(?:[a-zA-Z0-9](?:[a-zA-Z0-9-]{0,61}[a-zA-Z0-9])?\.)+[a-zA-Z]{2,})(?::\d{2,5})?(?:\/(?:[\w\-\.]*\/)*[\w\-\.]+(?:\?\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
-	};
+	/** Stores often used {@link RegExp }s. Patterns are compiled lazily on first access. */
+	private static _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;
+	} | undefined;
+
+	public 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**.
@@ -62,19 +82,7 @@ export class REGEX extends DBC {
 		methodName: string | symbol,
 		parameterIndex: number,
 	) => void {
-		return DBC.decPrecondition(
-			(
-				value: string,
-				target: object,
-				methodName: string,
-				parameterIndex: number,
-			) => {
-				return REGEX.checkAlgorithm(value, expression);
-			},
-			dbc,
-			path,
-			hint
-		);
+		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
@@ -96,14 +104,7 @@ export class REGEX extends DBC {
 		propertyKey: string,
 		descriptor: PropertyDescriptor,
 	) => PropertyDescriptor {
-		return DBC.decPostcondition(
-			(value: string, target: object, propertyKey: string) => {
-				return REGEX.checkAlgorithm(value, expression);
-			},
-			dbc,
-			path,
-			hint
-		);
+		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
@@ -120,7 +121,7 @@ export class REGEX extends DBC {
 		hint: string | undefined = undefined,
 		dbc: string | undefined = undefined,
 	) {
-		return DBC.decInvariant([new REGEX(expression)], path, dbc, hint);
+		return DBC.createINVARIANT(REGEX, [expression], dbc, path, hint);
 	}
 	// #endregion Condition checking.
 	// #region Referenced Condition checking.
@@ -147,7 +148,7 @@ export class REGEX extends DBC {
 	 * @returns The validated value cast to the CANDIDATE type.
 	 * 
 	 * @throws {@link DBC.Infringement} if the value does not match the regular expression. */
-	public static tsCheck<CANDIDATE = unknown>(toCheck: any, expression: RegExp, hint: string = undefined, id: string | undefined = undefined): CANDIDATE {
+	public static tsCheck<CANDIDATE = unknown>(toCheck: any, expression: RegExp, hint: string | undefined = undefined, id: string | undefined = undefined): CANDIDATE {
 		const result = REGEX.checkAlgorithm(toCheck, expression);
 
 		if (result) {

package/src/DBC/TYPE.ts

@@ -26,9 +26,9 @@ export class TYPE extends DBC {
 
 		if (!isValid) {
 			if (types.length === 1) {
-				return `Value has to to be of type "${type}" but is of type "${actualType}"`;
+				return `Value has to be of type "${type}" but is of type "${actualType}"`;
 			}
-			return `Value has to to be of type "${types.join(" | ")}" 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;
@@ -53,19 +53,7 @@ export class TYPE extends DBC {
 		methodName: string | symbol,
 		parameterIndex: number,
 	) => void {
-		return DBC.decPrecondition(
-			(
-				value: object,
-				target: object,
-				methodName: string,
-				parameterIndex: number,
-			) => {
-				return TYPE.checkAlgorithm(value, type);
-			},
-			dbc,
-			path,
-			hint
-		);
+		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
@@ -88,14 +76,7 @@ export class TYPE extends DBC {
 		propertyKey: string,
 		descriptor: PropertyDescriptor,
 	) => PropertyDescriptor {
-		return DBC.decPostcondition(
-			(value: object, target: object, propertyKey: string) => {
-				return TYPE.checkAlgorithm(value, type);
-			},
-			dbc,
-			path,
-			hint
-		);
+		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
@@ -113,7 +94,7 @@ export class TYPE extends DBC {
 		hint: string | undefined = undefined,
 		dbc: string | undefined = undefined,
 	) {
-		return DBC.decInvariant([new TYPE(type)], path, dbc, hint);
+		return DBC.createINVARIANT(TYPE, [type], dbc, path, hint);
 	}
 	// #endregion Condition checking.
 	// #region Referenced Condition checking.
@@ -141,7 +122,7 @@ export class TYPE extends DBC {
 	 * @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 }. */
-	public static tsCheck<CANDIDATE = unknown>(toCheck: any, type: string, hint: string = undefined, id: string | undefined = undefined): CANDIDATE {
+	public static tsCheck<CANDIDATE = unknown>(toCheck: any, type: string, hint: string | undefined = undefined, id: string | undefined = undefined): CANDIDATE {
 		const result = TYPE.checkAlgorithm(toCheck, type);
 
 		if (result === true) {

package/src/DBC/UNDEFINED.ts

@@ -38,19 +38,7 @@ export class UNDEFINED extends DBC {
 		methodName: string | symbol,
 		parameterIndex: number,
 	) => void {
-		return DBC.decPrecondition(
-			(
-				value: object,
-				target: object,
-				methodName: string,
-				parameterIndex: number,
-			) => {
-				return UNDEFINED.checkAlgorithm(value);
-			},
-			dbc,
-			path,
-			hint
-		);
+		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
@@ -70,14 +58,7 @@ export class UNDEFINED extends DBC {
 		propertyKey: string,
 		descriptor: PropertyDescriptor,
 	) => PropertyDescriptor {
-		return DBC.decPostcondition(
-			(value: object, target: object, propertyKey: string) => {
-				return UNDEFINED.checkAlgorithm(value);
-			},
-			dbc,
-			path,
-			hint
-		);
+		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
@@ -94,7 +75,7 @@ export class UNDEFINED extends DBC {
 		hint: string | undefined = undefined,
 		dbc: string | undefined = undefined,
 	) {
-		return DBC.decInvariant([new UNDEFINED()], path, dbc, hint);
+		return DBC.createINVARIANT(UNDEFINED, [], dbc, path, hint);
 	}
 	// #endregion Condition checking.
 	// #region Referenced Condition checking.

package/src/DBC/ZOD.ts

@@ -16,9 +16,9 @@ export class ZOD extends DBC {
 	 * @returns TRUE if the value **toCheck** complies to the specified **schema**, otherwise FALSE. */
 	// biome-ignore lint/suspicious/noExplicitAny: In order to perform an "instanceof" check.
 	public static checkAlgorithm(toCheck: any, schema: z.ZodType): boolean | string {
-		if (!schema.safeParse(toCheck).success) {
-			console.log(z.toJSONSchema(schema))
-			return `Value has to correspond to "${JSON.stringify( z.toJSONSchema(schema).properties )}" but is constituted as "${JSON.stringify( toCheck )}"`;
+		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;
@@ -42,18 +42,7 @@ export class ZOD extends DBC {
 		methodName: string | symbol,
 		parameterIndex: number,
 	) => void {
-		return DBC.decPrecondition(
-			(
-				value: object,
-				target: object,
-				methodName: string,
-				parameterIndex: number,
-			) => {
-				return ZOD.checkAlgorithm(value, schema);
-			},
-			dbc,
-			path,
-		);
+		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
@@ -74,13 +63,7 @@ export class ZOD extends DBC {
 		propertyKey: string,
 		descriptor: PropertyDescriptor,
 	) => PropertyDescriptor {
-		return DBC.decPostcondition(
-			(value: object, target: object, propertyKey: string) => {
-				return ZOD.checkAlgorithm(value, schema);
-			},
-			dbc,
-			path,
-		);
+		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
@@ -97,7 +80,7 @@ export class ZOD extends DBC {
 		path: string | undefined = undefined,
 		dbc = "WaXCode.DBC",
 	) {
-		return DBC.decInvariant([new ZOD(schema)], path, dbc);
+		return DBC.createINVARIANT(ZOD, [schema], dbc, path);
 	}
 	// #endregion Condition checking.
 	// #region Referenced Condition checking.
@@ -124,14 +107,14 @@ export class ZOD extends DBC {
 	 * @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 }. */
-	public static tsCheck < CANDIDATE = unknown > ( toCheck : any, schema : z.ZodType, id : string | undefined = undefined ) : CANDIDATE {
+	public static tsCheck<CANDIDATE = unknown>(toCheck: any, schema: z.ZodType, id: string | undefined = undefined): CANDIDATE {
 		const result = ZOD.checkAlgorithm(toCheck, schema);
 
-		if( result === true ) {
-			return toCheck ;
+		if (result === true) {
+			return toCheck;
 		}
 		else {
-			throw new DBC.Infringement( `${id?`(${id}) `:""}${result as string }`);
+			throw new DBC.Infringement(`${id ? `(${id}) ` : ""}${result as string}`);
 		}
 	}
 	/**