xdbc 1.0.125 → 1.0.127

package/dist/DBC/INSTANCE.js

@@ -87,17 +87,18 @@ export class INSTANCE extends DBC {
      * @param toCheck 	See {@link INSTANCE.checkAlgorithm }.
      * @param reference	See {@link INSTANCE.checkAlgorithm }.
      * @param id		A {@link string } identifying this {@link INSTANCE } via the {@link DBC.Infringement }-Message.
+     * @param hint		An optional {@link string } providing extra information in case of an infringement.
      *
      * @returns The **CANDIDATE** **toCheck** doesn't fulfill this {@link INSTANCE }.
      *
      * @throws A {@link DBC.Infringement } if the **CANDIDATE** **toCheck** does not fulfill this {@link DEFINED }. */
-    static tsCheck(toCheck, reference, id = undefined) {
+    static tsCheck(toCheck, reference, id = undefined, hint = undefined) {
         const result = INSTANCE.checkAlgorithm(toCheck, reference);
         if (result === true) {
             return toCheck;
         }
         else {
-            throw new DBC.Infringement(`${id ? `(${id}) ` : ""}${result}`);
+            throw new DBC.Infringement(`${id ? `(${id}) ` : ""}${result} ${hint ? `< ${hint} >` : ""}`);
         }
     }
     /**

package/dist/DBC/TYPE.js

@@ -82,17 +82,18 @@ export class TYPE extends DBC {
      * @param toCheck	See {@link INSTANCE.checkAlgorithm }.
      * @param type		See {@link INSTANCE.checkAlgorithm }.
      * @param id		A {@link string } identifying this {@link TYPE } via the {@link DBC.Infringement }-Message.
+     * @param hint		An optional {@link string } providing extra information in case of an infringement.
      *
      * @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, id = undefined) {
+    static tsCheck(toCheck, type, id = undefined, hint = undefined) {
         const result = TYPE.checkAlgorithm(toCheck, type);
         if (result === true) {
             return toCheck;
         }
         else {
-            throw new DBC.Infringement(`${id ? `(${id}) ` : ""}${result}`);
+            throw new DBC.Infringement(`${id ? `(${id}) ` : ""}${result}${hint ? ` < ${hint} >` : ""}`);
         }
     }
     /**

package/package.json

@@ -1,5 +1,5 @@
 {
-	"version": "1.0.125",
+	"version": "1.0.127",
 	"name": "xdbc",
 	"scripts": {
 		"docs": "typedoc",
@@ -50,4 +50,4 @@
 		"url": "https://github.com/CallariS/XDBC/issues"
 	},
 	"homepage": "https://github.com/CallariS/XDBC#readme"
-}
+}

package/src/DBC/AE.ts

@@ -259,9 +259,9 @@ export class AE extends DBC {
 	public constructor(
 		protected conditions:
 			| Array<{
-					check: (toCheck: unknown | undefined | null) => boolean | string;
+					check: (toCheck: object | undefined | null) => boolean | string;
 			  }>
-			| { check: (toCheck: unknown | undefined | null) => boolean | string },
+			| { check: (toCheck: object | undefined | null) => boolean | string },
 		protected index: number | undefined = undefined,
 		protected idxEnd: number | undefined = undefined,
 	) {

package/src/DBC/COMPARISON/GREATER.ts

@@ -22,7 +22,7 @@ export class GREATER extends COMPARISON {
 		return COMPARISON.POST(equivalent, false, false, path, dbc);
 	}
 	/** See {@link COMPARISON.INVARIANT }. */
-	public static INVARIANT(
+	public static override INVARIANT(
 		equivalent,
 		equalityPermitted = false,
 		invert = false,
@@ -32,7 +32,7 @@ export class GREATER extends COMPARISON {
 		return COMPARISON.INVARIANT(equivalent, false, false, path, dbc);
 	}
 	/** See {@link COMPARISON.constructor }. */
-	constructor(public equivalent) {
+	constructor(public override equivalent) {
 		super(equivalent, false, false);
 	}
 }

package/src/DBC/INSTANCE.ts

@@ -118,18 +118,19 @@ export class INSTANCE extends DBC {
 	 * @param toCheck 	See {@link INSTANCE.checkAlgorithm }.
 	 * @param reference	See {@link INSTANCE.checkAlgorithm }.
 	 * @param id		A {@link string } identifying this {@link INSTANCE } via the {@link DBC.Infringement }-Message.
+	 * @param hint		An optional {@link string } providing extra information in case of an infringement.
 	 * 
 	 * @returns The **CANDIDATE** **toCheck** doesn't fulfill this {@link INSTANCE }.
 	 * 
 	 * @throws A {@link DBC.Infringement } if the **CANDIDATE** **toCheck** does not fulfill this {@link DEFINED }. */
-	public static tsCheck < CANDIDATE = unknown > ( toCheck : any, reference : any, id : string | undefined = undefined ) : CANDIDATE {
+	public static tsCheck<CANDIDATE = unknown>(toCheck: any, reference: any, id: string | undefined = undefined, hint: string = undefined): CANDIDATE {
 		const result = INSTANCE.checkAlgorithm(toCheck, reference);
 
-		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} ${hint ? `< ${hint} >` : ""}`);
 		}
 	}
 	/**

package/src/DBC/TYPE.ts

@@ -116,18 +116,19 @@ export class TYPE extends DBC {
 	 * @param toCheck	See {@link INSTANCE.checkAlgorithm }.
 	 * @param type		See {@link INSTANCE.checkAlgorithm }.
 	 * @param id		A {@link string } identifying this {@link TYPE } via the {@link DBC.Infringement }-Message.
+	 * @param hint		An optional {@link string } providing extra information in case of an infringement.
 	 * 
 	 * @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, id : string | undefined = undefined ) : CANDIDATE {
+	public static tsCheck<CANDIDATE = unknown>(toCheck: any, type: string, id: string | undefined = undefined, hint: string = undefined): CANDIDATE {
 		const result = TYPE.checkAlgorithm(toCheck, type);
 
-		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}${hint ? ` < ${hint} >` : ""}`);
 		}
 	}
 	/**

package/tsconfig.json

@@ -7,7 +7,9 @@
 		"esModuleInterop": true,
 		"module": "es6",
 		"moduleResolution": "node",
-		"typeRoots": []
+		"typeRoots": [],
+		"noImplicitAny": false,
+    	"strictNullChecks": false,
 	},
 
 	"include": [