xdbc 1.0.95 → 1.0.96

package/package.json

@@ -1,5 +1,5 @@
 {
-	"version": "1.0.95",
+	"version": "1.0.96",
 	"name": "xdbc",
 	"scripts": {
 		"docs": "typedoc",
@@ -25,7 +25,8 @@
 		"typescript": "^5.8.3",
 		"undici-types": "^7.8.0",
 		"webpack": "^5.99.8",
-		"webpack-cli": "^6.0.1"
+		"webpack-cli": "^6.0.1",
+		"webpack-dev-server": "^5.2.1"
 	},
 	"dependencies": {
 		"@types/reflect-metadata": "^0.1.0",
@@ -37,7 +38,11 @@
 		"type": "git",
 		"url": "git+https://github.com/CallariS/XDBC.git"
 	},
-	"keywords": ["DbC", "DesignByContract", "Typescript"],
+	"keywords": [
+		"DbC",
+		"DesignByContract",
+		"Typescript"
+	],
 	"author": "Callari, Salvatore",
 	"license": "MIT",
 	"bugs": {

package/src/DBC/COMPARISON.ts

@@ -20,7 +20,7 @@ export class COMPARISON extends DBC {
 		}
 
 		if (equalityPermitted && invert && toCheck > equivalent) {
-			return `Value must not to be less than or equal to "${equivalent}"`;
+			return `Value has to be less than or equal to "${equivalent}"`;
 		}
 
 		if (!equalityPermitted && !invert && toCheck <= equivalent) {
@@ -28,7 +28,7 @@ export class COMPARISON extends DBC {
 		}
 
 		if (!equalityPermitted && invert && toCheck >= equivalent) {
-			return `Value must not to be less than "${equivalent}"`;
+			return `Value has to be less than "${equivalent}"`;
 		}
 
 		return true;

package/src/DBC/EQ/DIFFERENT.ts

@@ -0,0 +1,35 @@
+import { EQ } from "../EQ";
+/** See {@link COMPARISON }. */
+export class DIFFERENT extends EQ {
+	/** See {@link COMPARISON.PRE }. */
+	public static override PRE(
+		equivalent,
+		invert = false,
+		path: string = undefined,
+		dbc = "WaXCode.DBC",
+	) {
+		return EQ.PRE(equivalent, true, path, dbc);
+	}
+	/** See {@link COMPARISON.POST }. */
+	public static override POST(
+		equivalent,
+		invert = false,
+		path: string = undefined,
+		dbc = "WaXCode.DBC",
+	) {
+		return EQ.POST(equivalent, true, path, dbc);
+	}
+	/** See {@link COMPARISON.INVARIANT }. */
+	public static INVARIANT(
+		equivalent,
+		invert = false,
+		path: string = undefined,
+		dbc = "WaXCode.DBC",
+	) {
+		return EQ.INVARIANT(equivalent, true, path, dbc);
+	}
+	/** See {@link COMPARISON.constructor }. */
+	constructor(public equivalent) {
+		super(equivalent, true);
+	}
+}

package/src/DBC/HasAttribute.ts

@@ -0,0 +1,140 @@
+import { DBC } from "../DBC";
+/**
+ * A {@link DBC } defining that a {@link HTMLElement } gotta have a certain attribute set.
+ *
+ * @remarks
+ * Maintainer: Callari, Salvatore (XDBC@WaXCode.net) */
+export class HasAttribute extends DBC {
+	// #region Condition checking.
+	/**
+	 * Checks if the {@link HTMLElement } **toCheck** has the attribute **toCheckFor**.
+	 *
+	 * @param toCheckFor  name of the attribute to check for whether it is set or not.
+	 *
+	 * @returns TRUE if the {@link HTMLElement } **toCheck** has set the attribute **toCheckFor**,
+	 * 			otherwise a proper errormessage. */
+	public static checkAlgorithm(
+		// biome-ignore lint/suspicious/noExplicitAny: <explanation>
+		toCheck: any,
+		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 (!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.`;
+		}
+
+		return true;
+	}
+	/**
+	 * A parameter-decorator factory using the {@link HasAttribute.checkAlgorithm } to determine whether this {@link DBC } is fulfilled
+	 * by the tagged parameter.
+	 *
+	 * @param toCheckFor	See {@link HasAttribute.checkAlgorithm }.
+	 * @param path			See {@link DBC.decPrecondition }.
+	 * @param dbc			See {@link DBC.decPrecondition }.
+	 *
+	 * @returns See {@link DBC.decPrecondition }. */
+	public static PRE(
+		toCheckFor: string,
+		invert = false,
+		path: string | undefined = undefined,
+		dbc = "WaXCode.DBC",
+	): (
+		target: object,
+		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,
+		);
+	}
+	/**
+	 * A method-decorator factory using the {@link HasAttribute.checkAlgorithm } to determine whether this {@link DBC } is
+	 * fulfilled by the tagged method's returnvalue.
+	 *
+	 * @param toCheckFor	See {@link HasAttribute.checkAlgorithm }.
+	 * @param path			See {@link DBC.Postcondition }.
+	 * @param dbc			See {@link DBC.decPostcondition }.
+	 *
+	 * @returns See {@link DBC.decPostcondition }. */
+	public static POST(
+		toCheckFor: string,
+		invert = false,
+		path: string | undefined = undefined,
+		dbc = "WaXCode.DBC",
+	): (
+		target: object,
+		propertyKey: string,
+		descriptor: PropertyDescriptor,
+	) => PropertyDescriptor {
+		return DBC.decPostcondition(
+			(value: object, target: object, propertyKey: string) => {
+				return HasAttribute.checkAlgorithm(value, toCheckFor, invert);
+			},
+			dbc,
+			path,
+		);
+	}
+	/**
+	 * A field-decorator factory using the {@link hasAttribute.checkAlgorithm } to determine whether this {@link DBC } is
+	 * fulfilled by the tagged field.
+	 *
+	 * @param toCheckFor	See {@link hasAttribute.checkAlgorithm }.
+	 * @param path			See {@link DBC.decInvariant }.
+	 * @param dbc			See {@link DBC.decInvariant }.
+	 *
+	 * @returns See {@link DBC.decInvariant }. */
+	public static INVARIANT(
+		toCheckFor: any,
+		invert = false,
+		path: string | undefined = undefined,
+		dbc = "WaXCode.DBC",
+	) {
+		return DBC.decInvariant([new HasAttribute(toCheckFor, invert)], path, dbc);
+	}
+	// #endregion Condition checking.
+	// #region Referenced Condition checking.
+	//
+	// For usage in dynamic scenarios (like with AE-DBC).
+	//
+	/**
+	 * Invokes the {@link hasAttribute.checkAlgorithm } passing the value **toCheck**, {@link hasAttribute.equivalent } and
+	 * {@link hasAttribute.invert }.
+	 *
+	 * @param toCheck See {@link EQ.checkAlgorithm }.
+	 *
+	 * @returns See {@link EQ.checkAlgorithm}. */
+	// biome-ignore lint/suspicious/noExplicitAny: Necessary to check against NULL & UNDEFINED.
+	public check(toCheck: any) {
+		return HasAttribute.checkAlgorithm(toCheck, this.toCheckFor, this.invert);
+	}
+	/**
+	 * Creates this {@link DBC } by setting the protected property {@link hasAttribute.equivalent } used by
+	 * {@link hasAttribute.check }.
+	 *
+	 * @param toCheckFor See {@link hasAttribute.check }. */
+	public constructor(
+		protected toCheckFor: string,
+		protected invert = false,
+	) {
+		super();
+	}
+	// #endregion Referenced Condition checking.
+}

package/src/DBC.ts

@@ -141,11 +141,20 @@ export class DBC {
 		dbc = "WaXCode.DBC",
 	) {
 		return (target: unknown, propertyKey: string | symbol) => {
+			if (!DBC.resolveDBCPath(window, dbc).executionSettings.checkInvariants) {
+				return;
+			}
 			// biome-ignore lint/suspicious/noExplicitAny: Necessary to intercept UNDEFINED and NULL.
 			let value: any;
 			// #region Replace original property.
 			Object.defineProperty(target, propertyKey, {
 				set(newValue) {
+					if (
+						!DBC.resolveDBCPath(window, dbc).executionSettings.checkInvariants
+					) {
+						return;
+					}
+
 					const realValue = path ? DBC.resolve(newValue, path) : newValue;
 					// #region Check if all "contracts" are fulfilled.
 					for (const contract of contracts) {
@@ -196,6 +205,11 @@ export class DBC {
 			const originalMethod = descriptor.value;
 			// biome-ignore lint/suspicious/noExplicitAny: Necessary to intercept UNDEFINED and NULL.
 			descriptor.value = (...args: any[]) => {
+				if (
+					!DBC.resolveDBCPath(window, dbc).executionSettings.checkPostconditions
+				) {
+					return;
+				}
 				// biome-ignore lint/complexity/noThisInStatic: <explanation>
 				const result = originalMethod.apply(this, args);
 				const realValue = path ? DBC.resolve(result, path) : result;
@@ -249,6 +263,13 @@ export class DBC {
 				methodName,
 				parameterIndex,
 				(value: unknown) => {
+					if (
+						!DBC.resolveDBCPath(window, dbc).executionSettings
+							.checkPreconditions
+					) {
+						return;
+					}
+
 					const realValue = path ? DBC.resolve(value, path) : value;
 					const result = check(realValue, target, methodName, parameterIndex);
 
@@ -268,6 +289,18 @@ export class DBC {
 	}
 	// #endregion Precondition
 	// #endregion Decorator
+	// #region Execution Handling
+	/** Stores settings concerning the execution of checks. */
+	public executionSettings: {
+		checkPreconditions: boolean;
+		checkPostconditions: boolean;
+		checkInvariants: boolean;
+	} = {
+		checkPreconditions: true,
+		checkPostconditions: true,
+		checkInvariants: true,
+	};
+	// #endregion Execution Handling
 	// #region Warning handling.
 	/** Stores settings concerning warnings. */
 	public warningSettings: {
@@ -412,12 +445,22 @@ export class DBC {
 	 * Constructs this {@link DBC } by setting the {@link DBC.infringementSettings }, define the **WaXCode** namespace in
 	 * **window** if not yet available and setting the property **DBC** in there to the instance of this {@link DBC }.
 	 *
-	 * @param infringementSettings See {@link DBC.infringementSettings }. */
+	 * @param infringementSettings 	See {@link DBC.infringementSettings }.
+	 * @param executionSettings		See {@link DBC.executionSettings }. */
 	constructor(
 		infringementSettings: {
 			throwException: boolean;
 			logToConsole: boolean;
 		} = { throwException: true, logToConsole: false },
+		executionSettings: {
+			checkPreconditions: boolean;
+			checkPostconditions: boolean;
+			checkInvariants: boolean;
+		} = {
+			checkPreconditions: true,
+			checkPostconditions: true,
+			checkInvariants: true,
+		},
 	) {
 		this.infringementSettings = infringementSettings;
 

package/src/Demo.ts

@@ -4,6 +4,11 @@ import { EQ } from "./DBC/EQ";
 import { TYPE } from "./DBC/TYPE";
 import { AE } from "./DBC/AE";
 import { INSTANCE } from "./DBC/INSTANCE";
+import { GREATER } from "./DBC/COMPARISON/GREATER";
+import { GREATER_OR_EQUAL } from "./DBC/COMPARISON/GREATER_OR_EQUAL";
+import { LESS } from "./DBC/COMPARISON/LESS";
+import { LESS_OR_EQUAL } from "./DBC/COMPARISON/LESS_OR_EQUAL";
+import { DIFFERENT } from "./DBC/EQ/DIFFERENT";
 /** Demonstrative use of **D**esign **B**y **C**ontract Decorators */
 export class Demo {
 	// #region Check Property Decorator
@@ -66,6 +71,22 @@ export class Demo {
 		@AE.PRE([new TYPE("string"), new REGEX(/^abc$/)], 1) x: Array<unknown>,
 	) {}
 	// #endregion Check AE Index
+	// #region Check Comparison
+	@DBC.ParamvalueProvider
+	public testGREATER(@GREATER.PRE(2) input: number) {}
+
+	@DBC.ParamvalueProvider
+	public testGREATER_OR_EQUAL(@GREATER_OR_EQUAL.PRE(2) input: number) {}
+
+	@DBC.ParamvalueProvider
+	public testLESS(@LESS.PRE(20) input: number) {}
+
+	@DBC.ParamvalueProvider
+	public testLESS_OR_EQUAL(@LESS_OR_EQUAL.PRE(20) input: number) {}
+
+	@DBC.ParamvalueProvider
+	public testDIFFERENT(@DIFFERENT.PRE(20) input: number) {}
+	// #endregion Check Comparison
 }
 
 const demo = new Demo();
@@ -76,18 +97,18 @@ try {
 	console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
 	console.log("INVARIANT Infringement", "OK");
 	console.log(X);
-	console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+	console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 }
 
 demo.testProperty = "a";
 console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
 console.log("INVARIANT OK");
-console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 
 demo.testParamvalueAndReturnvalue("holla");
 console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
 console.log("PARAMETER- & RETURNVALUE OK");
-console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 
 try {
 	demo.testParamvalueAndReturnvalue("yyyy");
@@ -95,13 +116,13 @@ try {
 	console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
 	console.log("PARAMETER- & RETURNVALUE Infringement", "OK");
 	console.log(X);
-	console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+	console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 }
 
 demo.testReturnvalue("xxxx");
 console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
 console.log("RETURNVALUE OK");
-console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 
 try {
 	demo.testReturnvalue("yyyy");
@@ -109,13 +130,13 @@ try {
 	console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
 	console.log("RETURNVALUE Infringement", "OK");
 	console.log(X);
-	console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+	console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 }
 
 demo.testEQAndPath(document.createElement("select"));
 console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
 console.log("EQ with Path Infringement OK");
-console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 
 try {
 	demo.testEQAndPathWithInversion(document.createElement("select"));
@@ -123,13 +144,13 @@ try {
 	console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
 	console.log("EQ with Path and Inversion Infringement OK");
 	console.log(X);
-	console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+	console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 }
 
 demo.testTYPE("x");
 console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
 console.log("TYPE OK");
-console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 
 try {
 	demo.testTYPE(0);
@@ -137,13 +158,13 @@ try {
 	console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
 	console.log("TYPE Infringement OK");
 	console.log(X);
-	console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+	console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 }
 
 demo.testAE(["11", "10", "b"]);
 console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
 console.log("AE OK");
-console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 
 try {
 	demo.testAE(["11", 11, "b"]);
@@ -151,13 +172,13 @@ try {
 	console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
 	console.log("AE Infringement OK");
 	console.log(X);
-	console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+	console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 }
 
 demo.testREGEXWithAE(["+1d", "NOW", "-10y"]);
 console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
 console.log("REGEX with AE OK");
-console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 
 try {
 	demo.testREGEXWithAE(["+1d", "+5d", "-x10y"]);
@@ -165,13 +186,13 @@ try {
 	console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
 	console.log("REGEX with AE Infringement OK");
 	console.log(X);
-	console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+	console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 }
 
 demo.testINSTANCE(new Date());
 console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
 console.log("INSTANCE OK");
-console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 
 try {
 	demo.testINSTANCE(demo);
@@ -179,13 +200,13 @@ try {
 	console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
 	console.log("INSTANCE Infringement OK");
 	console.log(X);
-	console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+	console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 }
 
 demo.testAERange([11, "abc", "abc"]);
 console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
 console.log("AE Range OK");
-console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 
 try {
 	demo.testAERange([11, "abc", /a/g]);
@@ -193,13 +214,13 @@ try {
 	console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
 	console.log("AE Range Infringement OK");
 	console.log(X);
-	console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+	console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 }
 
 demo.testAEIndex([11, "abc", "abc"]);
 console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
 console.log("AE Index OK");
-console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 
 try {
 	demo.testAEIndex(["11", 12, "/a/g"]);
@@ -207,5 +228,127 @@ try {
 	console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
 	console.log("AE Index Infringement OK");
 	console.log(X);
-	console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+	console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+}
+
+demo.testGREATER(11);
+console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
+console.log("GREATER OK");
+console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+
+try {
+	demo.testGREATER(2);
+} catch (X) {
+	console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
+	console.log("GREATER Infringement OK");
+	console.log(X);
+	console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+}
+
+demo.testGREATER_OR_EQUAL(2);
+console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
+console.log("GREATER_OR_EQUAL OK");
+console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+
+try {
+	demo.testGREATER_OR_EQUAL(1);
+} catch (X) {
+	console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
+	console.log("GREATER_OR_EQUAL Infringement OK");
+	console.log(X);
+	console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+}
+
+demo.testLESS(10);
+console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
+console.log("LESS OK");
+console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+
+try {
+	demo.testLESS(20);
+} catch (X) {
+	console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
+	console.log("LESS Infringement OK");
+	console.log(X);
+	console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+}
+
+demo.testLESS_OR_EQUAL(20);
+console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
+console.log("LESS OK");
+console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+
+try {
+	demo.testLESS_OR_EQUAL(21);
+} catch (X) {
+	console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
+	console.log("LESS_OR_EQUAL Infringement OK");
+	console.log(X);
+	console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+}
+
+demo.testDIFFERENT(21);
+console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
+console.log("DIFFERENT OK");
+console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+
+try {
+	demo.testDIFFERENT(20);
+} catch (X) {
+	console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
+	console.log("DIFFERENT Infringement OK");
+	console.log(X);
+	console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+}
+// #region Inactivity Checks
+(
+	window as unknown as { [key: string]: { DBC: DBC } }
+).WaXCode.DBC.executionSettings.checkPreconditions = false;
+
+try {
+	demo.testLESS_OR_EQUAL(21);
+
+	console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
+	console.log("INACTIVE PRECONDITIONS OK");
+	console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+} catch (X) {
+	console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
+	console.log("INACTIVE PRECONDITIONS FAILED");
+	console.log(X);
+	console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+}
+
+(
+	window as unknown as { [key: string]: { DBC: DBC } }
+).WaXCode.DBC.executionSettings.checkPostconditions = false;
+
+try {
+	demo.testReturnvalue("qqqqq");
+
+	console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
+	console.log("INACTIVE POSTCONDITIONS OK");
+	console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+} catch (X) {
+	console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
+	console.log("INACTIVE POSTCONDITIONS FAILED");
+	console.log(X);
+	console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+}
+
+(
+	window as unknown as { [key: string]: { DBC: DBC } }
+).WaXCode.DBC.executionSettings.checkInvariants = false;
+
+try {
+	demo.testProperty = "b";
+
+	console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
+	console.log("INACTIVE INVARIANTS OK");
+	console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
+} catch (X) {
+	console.log("⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄⌄");
+	console.log("INACTIVE INVARIANTS FAILED");
+	console.log(X);
+	console.log("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^");
 }
+// #endregion Inactivity Checks

package/webpack.config.js

@@ -13,6 +13,7 @@ module.exports = {
 			},
 		],
 	},
+
 	resolve: {
 		extensions: [".tsx", ".ts", ".js"],
 	},