Convenience Function

MontiCore · Nov 19, 2024 · 77e625f · 77e625f
1 parent 7a26da5
commit 77e625f
Showing 1 changed file with 13 additions and 0 deletions.
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
@@ -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.
    */