From 77e625fc9b466a4ee5edcd7c08a7a40e7614ed68 Mon Sep 17 00:00:00 2001
From: lamelizard <lamelizard@users.noreply.github.com>
Date: Tue, 19 Nov 2024 15:58:17 +0100
Subject: [PATCH] Convenience Function

---
 .../monticore/types3/util/MapBasedTypeCheck3.java   | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/monticore-grammar/src/main/java/de/monticore/types3/util/MapBasedTypeCheck3.java b/monticore-grammar/src/main/java/de/monticore/types3/util/MapBasedTypeCheck3.java
index 68a3091fc..2a0dcd063 100644
--- a/monticore-grammar/src/main/java/de/monticore/types3/util/MapBasedTypeCheck3.java
+++ b/monticore-grammar/src/main/java/de/monticore/types3/util/MapBasedTypeCheck3.java
@@ -58,6 +58,19 @@ public MapBasedTypeCheck3(
     this.ctx4Ast = Log.errorIfNull(ctx4Ast);
   }
 
+  /**
+   * This constructor may only be used
+   * if the language does not support generics!
+   * Otherwise, use
+   * {@link #MapBasedTypeCheck3(ITraverser, Type4Ast, InferenceContext4Ast)}.
+   */
+  public MapBasedTypeCheck3(
+      ITraverser typeTraverser,
+      Type4Ast type4Ast
+  ) {
+    this(typeTraverser, type4Ast, new InferenceContext4Ast());
+  }
+
   /**
    * This will be set as the TypeCheck3 delegate.
    */