xdbc 1.0.207 → 1.0.209

package/src/DBC/DEFINED.ts

@@ -38,19 +38,7 @@ export class DEFINED extends DBC {
 		methodName: string | symbol,
 		parameterIndex: number,
 	) => void {
-		return DBC.decPrecondition(
-			(
-				value: object,
-				target: object,
-				methodName: string,
-				parameterIndex: number,
-			) => {
-				return DEFINED.checkAlgorithm(value);
-			},
-			dbc,
-			path,
-			hint
-		);
+		return DBC.createPRE(DEFINED.checkAlgorithm, [], dbc, path, hint);
 	}
 	/**
 	 * A method-decorator factory using the {@link DEFINED.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
@@ -71,14 +59,7 @@ export class DEFINED extends DBC {
 		propertyKey: string,
 		descriptor: PropertyDescriptor,
 	) => PropertyDescriptor {
-		return DBC.decPostcondition(
-			(value: object, target: object, propertyKey: string) => {
-				return DEFINED.checkAlgorithm(value);
-			},
-			dbc,
-			path,
-			hint
-		);
+		return DBC.createPOST(DEFINED.checkAlgorithm, [], dbc, path, hint);
 	}
 	/**
 	 * A field-decorator factory using the {@link DEFINED.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
@@ -95,7 +76,7 @@ export class DEFINED extends DBC {
 		hint: string | undefined = undefined,
 		dbc: string | undefined = undefined,
 	) {
-		return DBC.decInvariant([new DEFINED()], path, dbc, hint);
+		return DBC.createINVARIANT(DEFINED, [], dbc, path, hint);
 	}
 	// #endregion Condition checking.
 	// #region Referenced Condition checking.
@@ -121,7 +102,7 @@ export class DEFINED extends DBC {
 	 * @returns The **CANDIDATE** **toCheck** doesn't fulfill this {@link DEFINED }.
 	 * 
 	 * @throws A {@link DBC.Infringement } if the **CANDIDATE** **toCheck** does not fulfill this {@link DEFINED }.*/
-	public static tsCheck<CANDIDATE = unknown>(toCheck: CANDIDATE | undefined | null, hint: string = undefined, id: string | undefined = undefined): CANDIDATE {
+	public static tsCheck<CANDIDATE = unknown>(toCheck: CANDIDATE | undefined | null, hint: string | undefined = undefined, id: string | undefined = undefined): CANDIDATE {
 		const result = DEFINED.checkAlgorithm(toCheck);
 
 		if (result === true) {

package/src/DBC/EQ/DIFFERENT.ts

@@ -14,79 +14,44 @@ import { EQ } from "../EQ";
  * @see {@link EQ}
  */
 export class DIFFERENT extends EQ {
-	/**
-	 * Precondition overload signature.
-	 * @param equivalent - The value to compare for inequality
-	 * @param path - The property path
-	 * @param hint - Optional hint message
-	 */
-	public static override  PRE(
-		equivalent,
-		path,
-		hint
-	);
-	/**
-	 * Precondition overload signature.
-	 * @param equivalent - The value to compare for inequality
-	 * @param path - The property path
-	 */
+	/** See {@link EQ.PRE }. Always inverts equality check. */
+	// biome-ignore lint/suspicious/noExplicitAny: Must match parent signature
 	public static override PRE(
-		equivalent,
-		path,
-	);
-	/** See {@link COMPARISON.PRE }. */
-	public static override PRE(
-		equivalent,
-		invert: boolean = false,
-		path: string = undefined,
+		equivalent: any,
+		_invert = false,
+		path: string | undefined = undefined,
 		hint: string | undefined = undefined,
 		dbc: string | undefined = undefined,
 	) {
-		return EQ.PRE(equivalent, true, path, dbc, hint);
+		return EQ.PRE(equivalent, true, path, hint, dbc);
 	}
 
+	/** See {@link EQ.POST }. Always inverts equality check. */
+	// biome-ignore lint/suspicious/noExplicitAny: Must match parent signature
 	public static override POST(
-		equivalent,
-		path,
-		hint
-	);
-	public static override POST(
-		equivalent,
-		path,
-	);
-
-	/** See {@link COMPARISON.POST }. */
-	public static override POST(
-		equivalent,
-		invert = false,
-		path: string = undefined,
+		equivalent: any,
+		_invert = false,
+		path: string | undefined = undefined,
 		hint: string | undefined = undefined,
 		dbc: string | undefined = undefined,
 	) {
-		return EQ.POST(equivalent, true, path, dbc, hint);
+		return EQ.POST(equivalent, true, path, hint, dbc);
 	}
-	public static override INVARIANT(
-		equivalent,
-		path,
-		hint
-	);
-	public static override INVARIANT(
-		equivalent,
-		path,
-	);
 
-	/** See {@link COMPARISON.INVARIANT }. */
+	/** See {@link EQ.INVARIANT }. Always inverts equality check. */
+	// biome-ignore lint/suspicious/noExplicitAny: Must match parent signature
 	public static INVARIANT(
-		equivalent,
-		invert = false,
-		path: string = undefined,
+		equivalent: any,
+		_invert = false,
+		path: string | undefined = undefined,
 		hint: string | undefined = undefined,
 		dbc: string | undefined = undefined,
 	) {
-		return EQ.INVARIANT(equivalent, true, path, dbc, hint);
+		return EQ.INVARIANT(equivalent, true, path, hint, dbc);
 	}
-	/** See {@link COMPARISON.constructor }. */
-	constructor(public equivalent) {
+	/** See {@link EQ.constructor }. */
+	// biome-ignore lint/suspicious/noExplicitAny: Must match parent signature
+	constructor(public equivalent: any) {
 		super(equivalent, true);
 	}
 }

package/src/DBC/EQ.ts

@@ -18,14 +18,14 @@ export class EQ extends DBC {
 		// biome-ignore lint/suspicious/noExplicitAny: <explanation>
 		toCheck: any,
 		equivalent: object,
-		invert,
+		invert: boolean,
 	): boolean | string {
 		if (!invert && equivalent !== toCheck) {
-			return `Value has to to be equal to "${equivalent}"`;
+			return `Value has to be equal to "${equivalent}"`;
 		}
 
 		if (invert && equivalent === toCheck) {
-			return `Value must not to be equal to "${equivalent}"`;
+			return `Value must not be equal to "${equivalent}"`;
 		}
 
 		return true;
@@ -51,19 +51,7 @@ export class EQ extends DBC {
 		methodName: string | symbol,
 		parameterIndex: number,
 	) => void {
-		return DBC.decPrecondition(
-			(
-				value: object,
-				target: object,
-				methodName: string,
-				parameterIndex: number,
-			) => {
-				return EQ.checkAlgorithm(value, equivalent, invert);
-			},
-			dbc,
-			path,
-			hint
-		);
+		return DBC.createPRE(EQ.checkAlgorithm, [equivalent, invert], dbc, path, hint);
 	}
 	/**
 	 * A method-decorator factory using the {@link EQ.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
@@ -87,14 +75,7 @@ export class EQ extends DBC {
 		propertyKey: string,
 		descriptor: PropertyDescriptor,
 	) => PropertyDescriptor {
-		return DBC.decPostcondition(
-			(value: object, target: object, propertyKey: string) => {
-				return EQ.checkAlgorithm(value, equivalent, invert);
-			},
-			dbc,
-			path,
-			hint
-		);
+		return DBC.createPOST(EQ.checkAlgorithm, [equivalent, invert], dbc, path, hint);
 	}
 	/**
 	 * A field-decorator factory using the {@link EQ.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
@@ -113,7 +94,7 @@ export class EQ extends DBC {
 		hint: string | undefined = undefined,
 		dbc: string | undefined = undefined,
 	) {
-		return DBC.decInvariant([new EQ(equivalent, invert)], path, dbc, hint);
+		return DBC.createINVARIANT(EQ, [equivalent, invert], dbc, path, hint);
 	}
 	// #endregion Condition checking.
 	// #region Referenced Condition checking.
@@ -138,7 +119,7 @@ export class EQ extends DBC {
 	 * @returns The **CANDIDATE** **toCheck** doesn't fulfill this {@link EQ }.
 	 * 
 	 * @throws A {@link DBC.Infringement } if the **CANDIDATE** **toCheck** does not fulfill this {@link EQ }.*/
-	public static tsCheck<CANDIDATE>(toCheck: CANDIDATE | undefined | null, equivalent: any, hint: string = undefined, id: string | undefined = undefined): CANDIDATE {
+	public static tsCheck<CANDIDATE>(toCheck: CANDIDATE | undefined | null, equivalent: any, hint: string | undefined = undefined, id: string | undefined = undefined): CANDIDATE {
 		const result = EQ.checkAlgorithm(toCheck, equivalent, false);
 
 		if (result) {

package/src/DBC/HasAttribute.ts

@@ -19,16 +19,16 @@ export class HasAttribute extends DBC {
 		toCheckFor: string,
 		invert,
 	): boolean | string {
-		if(!( toCheck instanceof HTMLElement )) {
-			return `The object to check for whether it has the attribute "${ toCheckFor }" is not a HTMLElement. It is of type "${ typeof toCheck }".`;
+		if (!(toCheck instanceof HTMLElement)) {
+			return `The object to check for whether it has the attribute "${toCheckFor}" is not a HTMLElement. It is of type "${typeof toCheck}".`;
 		}
 
-		if (!invert && !( toCheck as HTMLElement ).hasAttribute( toCheckFor )) {
-			return `Required Attribute "${ toCheckFor }" is not set.`;
+		if (!invert && !(toCheck as HTMLElement).hasAttribute(toCheckFor)) {
+			return `Required Attribute "${toCheckFor}" is not set.`;
 		}
 
-		if (invert && ( toCheck as HTMLElement ).hasAttribute( toCheckFor )) {
-			return `Forbidden Attribute "${ toCheckFor }" is set.`;
+		if (invert && (toCheck as HTMLElement).hasAttribute(toCheckFor)) {
+			return `Forbidden Attribute "${toCheckFor}" is set.`;
 		}
 
 		return true;
@@ -52,18 +52,7 @@ export class HasAttribute extends DBC {
 		methodName: string | symbol,
 		parameterIndex: number,
 	) => void {
-		return DBC.decPrecondition(
-			(
-				value: object,
-				target: object,
-				methodName: string,
-				parameterIndex: number,
-			) => {
-				return HasAttribute.checkAlgorithm(value, toCheckFor, invert);
-			},
-			dbc,
-			path,
-		);
+		return DBC.createPRE(HasAttribute.checkAlgorithm, [toCheckFor, invert], dbc, path);
 	}
 	/**
 	 * A method-decorator factory using the {@link HasAttribute.checkAlgorithm } to determine whether this {@link DBC } is
@@ -84,13 +73,7 @@ export class HasAttribute extends DBC {
 		propertyKey: string,
 		descriptor: PropertyDescriptor,
 	) => PropertyDescriptor {
-		return DBC.decPostcondition(
-			(value: object, target: object, propertyKey: string) => {
-				return HasAttribute.checkAlgorithm(value, toCheckFor, invert);
-			},
-			dbc,
-			path,
-		);
+		return DBC.createPOST(HasAttribute.checkAlgorithm, [toCheckFor, invert], dbc, path);
 	}
 	/**
 	 * A field-decorator factory using the {@link hasAttribute.checkAlgorithm } to determine whether this {@link DBC } is
@@ -107,7 +90,7 @@ export class HasAttribute extends DBC {
 		path: string | undefined = undefined,
 		dbc = "WaXCode.DBC",
 	) {
-		return DBC.decInvariant([new HasAttribute(toCheckFor, invert)], path, dbc);
+		return DBC.createINVARIANT(HasAttribute, [toCheckFor, invert], dbc, path);
 	}
 	/**
 	 * A field-decorator factory using the {@link hasAttribute.checkAlgorithm } to determine whether this {@link DBC } is

package/src/DBC/IF.ts

@@ -22,14 +22,14 @@ export class IF extends DBC {
 		inCase: {
 			check: (toCheck: unknown | undefined | null | object) => boolean | string;
 		},
-		invert,
+		invert: boolean = false,
 	): boolean | string {
-		if (invert && !condition.check(toCheck) && !inCase.check(toCheck)) {
-			return `In case that the value complies to "${condition}" it also has to comply to "${inCase}"`;
+		if (invert && condition.check(toCheck) !== true && inCase.check(toCheck) !== true) {
+			return `In case that the value does not comply to the condition, it also has to comply to the required contract`;
 		}
 
-		if (!invert && condition.check(toCheck) && !inCase.check(toCheck)) {
-			return `In case that the value does not comply to "${condition}" it has to comply to "${inCase}"`;
+		if (!invert && condition.check(toCheck) === true && inCase.check(toCheck) !== true) {
+			return `In case that the value complies to the condition, it has to comply to the required contract`;
 		}
 
 		return true;
@@ -56,19 +56,7 @@ export class IF extends DBC {
 		methodName: string | symbol,
 		parameterIndex: number,
 	) => void {
-		return DBC.decPrecondition(
-			(
-				value: object,
-				target: object,
-				methodName: string,
-				parameterIndex: number,
-			) => {
-				return IF.checkAlgorithm(value, condition, inCase, invert);
-			},
-			dbc,
-			path,
-			hint
-		);
+		return DBC.createPRE(IF.checkAlgorithm, [condition, inCase, invert], dbc, path, hint);
 	}
 	/**
 	 * A method-decorator factory using the {@link IF.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
@@ -92,14 +80,7 @@ export class IF extends DBC {
 		propertyKey: string,
 		descriptor: PropertyDescriptor,
 	) => PropertyDescriptor {
-		return DBC.decPostcondition(
-			(value: object, target: object, propertyKey: string) => {
-				return IF.checkAlgorithm(value, condition, inCase, invert);
-			},
-			dbc,
-			path,
-			hint
-		);
+		return DBC.createPOST(IF.checkAlgorithm, [condition, inCase, invert], dbc, path, hint);
 	}
 	/**
 	 * A field-decorator factory using the {@link IF.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
@@ -119,7 +100,7 @@ export class IF extends DBC {
 		hint: string | undefined = undefined,
 		dbc: string | undefined = undefined,
 	) {
-		return DBC.decInvariant([new IF(condition, inCase, invert)], path, dbc, hint);
+		return DBC.createINVARIANT(IF, [condition, inCase, invert], dbc, path, hint);
 	}
 	// #endregion Condition checking.
 	// #region Referenced Condition checking.

package/src/DBC/INSTANCE.ts

@@ -47,19 +47,8 @@ export class INSTANCE extends DBC {
 		methodName: string | symbol,
 		parameterIndex: number,
 	) => void {
-		return DBC.decPrecondition(
-			(
-				value: object,
-				target: object,
-				methodName: string,
-				parameterIndex: number,
-			) => {
-				return Array.isArray(reference) ? INSTANCE.checkAlgorithm(value, ...reference) : INSTANCE.checkAlgorithm(value, reference);
-			},
-			dbc,
-			path,
-			hint
-		);
+		const refs = Array.isArray(reference) ? reference : [reference];
+		return DBC.createPRE(INSTANCE.checkAlgorithm, refs, dbc, path, hint);
 	}
 	/**
 	 * A method-decorator factory using the {@link INSTANCE.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
@@ -81,14 +70,8 @@ export class INSTANCE extends DBC {
 		propertyKey: string,
 		descriptor: PropertyDescriptor,
 	) => PropertyDescriptor {
-		return DBC.decPostcondition(
-			(value: object, target: object, propertyKey: string) => {
-				return Array.isArray(reference) ? INSTANCE.checkAlgorithm(value, ...reference) : INSTANCE.checkAlgorithm(value, reference);
-			},
-			dbc,
-			path,
-			hint
-		);
+		const refs = Array.isArray(reference) ? reference : [reference];
+		return DBC.createPOST(INSTANCE.checkAlgorithm, refs, dbc, path, hint);
 	}
 	/**
 	 * A field-decorator factory using the {@link INSTANCE.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
@@ -106,7 +89,7 @@ export class INSTANCE extends DBC {
 		hint: string | undefined = undefined,
 		dbc: string | undefined = undefined,
 	) {
-		return DBC.decInvariant([new INSTANCE(reference)], path, dbc, hint);
+		return DBC.createINVARIANT(INSTANCE, [reference], dbc, path, hint);
 	}
 	// #endregion Condition checking.
 	// #region Referenced Condition checking.

package/src/DBC/JSON.OP.ts

@@ -23,7 +23,7 @@ export class JSON_OP extends DBC {
 		necessaryProperties: Array<{ name: string; type: string }>,
 		checkElements,
 	): boolean | string {
-		if (toCheck === undefined || null) {
+		if (toCheck === undefined || toCheck === null) {
 			return `[ UNDEFINED or NULL received instead of object with following properties: ${JSON.stringify(necessaryProperties)} ]`;
 		}
 
@@ -71,22 +71,7 @@ export class JSON_OP extends DBC {
 		methodName: string | symbol,
 		parameterIndex: number,
 	) => void {
-		return DBC.decPrecondition(
-			(
-				value: string,
-				target: object,
-				methodName: string,
-				parameterIndex: number,
-			) => {
-				return JSON_OP.checkAlgorithm(
-					value,
-					necessaryProperties,
-					checkElements,
-				);
-			},
-			dbc,
-			path,
-		);
+		return DBC.createPRE(JSON_OP.checkAlgorithm, [necessaryProperties, checkElements], dbc, path);
 	}
 	/**
 	 * A method-decorator factory using the {@link JSON_OP.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
@@ -107,18 +92,7 @@ export class JSON_OP extends DBC {
 		propertyKey: string,
 		descriptor: PropertyDescriptor,
 	) => PropertyDescriptor {
-		return DBC.decPostcondition(
-			// biome-ignore lint/suspicious/noExplicitAny: <explanation>
-			(value: any, target: object, propertyKey: string) => {
-				return JSON_OP.checkAlgorithm(
-					value,
-					necessaryProperties,
-					checkElements,
-				);
-			},
-			dbc,
-			path,
-		);
+		return DBC.createPOST(JSON_OP.checkAlgorithm, [necessaryProperties, checkElements], dbc, path);
 	}
 	/**
 	 * A field-decorator factory using the {@link JSON_OP.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
@@ -135,11 +109,7 @@ export class JSON_OP extends DBC {
 		path: string | undefined = undefined,
 		dbc = "WaXCode.DBC",
 	) {
-		return DBC.decInvariant(
-			[new JSON_OP(necessaryProperties, checkElements)],
-			path,
-			dbc,
-		);
+		return DBC.createINVARIANT(JSON_OP, [necessaryProperties, checkElements], dbc, path);
 	}
 	// #endregion Condition checking.
 	// #region Referenced Condition checking.

package/src/DBC/JSON.Parse.ts

@@ -52,19 +52,7 @@ export class JSON_Parse extends DBC {
 		methodName: string | symbol,
 		parameterIndex: number,
 	) => void {
-		return DBC.decPrecondition(
-			(
-				value: string,
-				target: object,
-				methodName: string,
-				parameterIndex: number,
-			) => {
-				return JSON_Parse.checkAlgorithm(value, receptor);
-			},
-			dbc,
-			path,
-			hint
-		);
+		return DBC.createPRE(JSON_Parse.checkAlgorithm, [receptor], dbc, path, hint);
 	}
 	/**
 	 * A method-decorator factory using the {@link JSON_Parse.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
@@ -85,15 +73,7 @@ export class JSON_Parse extends DBC {
 		propertyKey: string,
 		descriptor: PropertyDescriptor,
 	) => PropertyDescriptor {
-		return DBC.decPostcondition(
-			// biome-ignore lint/suspicious/noExplicitAny: <explanation>
-			(value: any, target: object, propertyKey: string) => {
-				return JSON_Parse.checkAlgorithm(value, receptor);
-			},
-			dbc,
-			path,
-			hint
-		);
+		return DBC.createPOST(JSON_Parse.checkAlgorithm, [receptor], dbc, path, hint);
 	}
 	/**
 	 * A field-decorator factory using the {@link JSON_Parse.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
@@ -110,7 +90,7 @@ export class JSON_Parse extends DBC {
 		hint: string | undefined = undefined,
 		dbc: string | undefined = undefined,
 	) {
-		return DBC.decInvariant([new JSON_Parse(receptor)], path, dbc, hint);
+		return DBC.createINVARIANT(JSON_Parse, [receptor], dbc, path, hint);
 	}
 	// #endregion Condition checking.
 	// #region Referenced Condition checking.
@@ -125,14 +105,14 @@ export class JSON_Parse extends DBC {
 	 * @returns See {@link JSON_Parse.checkAlgorithm}. */
 	// biome-ignore lint/suspicious/noExplicitAny: <explanation>
 	public check(toCheck: any) {
-		return JSON_Parse.checkAlgorithm(toCheck, this.receptor);
+		return JSON_Parse.checkAlgorithm(toCheck, this.receptor as (json: object) => void);
 	}
 	/**
 	 * 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 }. */
-	public constructor(public receptor: (json: object) => void = undefined) {
+	public constructor(public receptor: ((json: object) => void) | undefined = undefined) {
 		super();
 	}
 	// #endregion Referenced Condition checking.

package/src/DBC/OR.ts

@@ -74,17 +74,10 @@ export class OR extends DBC {
 		parameterIndex: number,
 	) => void {
 		return DBC.decPrecondition(
-			(
-				value: object,
-				target: object,
-				methodName: string,
-				parameterIndex: number,
-			) => {
-				return OR.checkAlgorithm(conditions, value);
-			},
+			(value) => OR.checkAlgorithm(conditions, value),
 			dbc,
 			path,
-			hint
+			hint,
 		);
 	}
 	/**
@@ -111,12 +104,10 @@ export class OR extends DBC {
 		descriptor: PropertyDescriptor,
 	) => PropertyDescriptor {
 		return DBC.decPostcondition(
-			(value: object, target: object, propertyKey: string) => {
-				return OR.checkAlgorithm(conditions, value);
-			},
+			(value) => OR.checkAlgorithm(conditions, value),
 			dbc,
 			path,
-			hint
+			hint,
 		);
 	}
 	/**
@@ -137,7 +128,7 @@ export class OR extends DBC {
 		hint: string | undefined = undefined,
 		dbc: string | undefined = undefined,
 	) {
-		return DBC.decInvariant([new OR(conditions)], path, dbc, hint);
+		return DBC.createINVARIANT(OR, [conditions], dbc, path, hint);
 	}
 	// #endregion Condition checking.
 	// #region Referenced Condition checking.