Merge pull request #76 from lf-lang/pre-build-cmd

Code adjustment for pre-build-cmd branch
lf-lang · Jun 18, 2024 · fffd59b · fffd59b
2 parents 7f77177 + c434cf3
commit fffd59b
Show file tree

Hide file tree

Showing 4 changed files with 24 additions and 0 deletions.
diff --git a/org.lflang/src-mock/org/lflang/analyses/uclid/UclidGenerator.java b/org.lflang/src-mock/org/lflang/analyses/uclid/UclidGenerator.java
@@ -7,6 +7,7 @@
 import org.lflang.generator.GeneratorBase;
 import org.lflang.generator.LFGeneratorContext;
 import org.lflang.generator.TargetTypes;
+import org.lflang.generator.docker.DockerGenerator;
 import org.lflang.lf.Attribute;
 import org.lflang.target.Target;
 
@@ -29,5 +30,10 @@ public TargetTypes getTargetTypes() {
     public Target getTarget() {
         throw new IllegalStateException(Mock.VERIFIER_MSG);
     }
+
+    @Override
+    protected DockerGenerator getDockerGenerator(LFGeneratorContext context) {
+      throw new IllegalStateException(Mock.VERIFIER_MSG);
+    }
 
 }
diff --git a/org.lflang/src-mock/org/lflang/generator/cpp/CppGenerator.java b/org.lflang/src-mock/org/lflang/generator/cpp/CppGenerator.java
@@ -5,6 +5,7 @@
 import org.lflang.generator.GeneratorBase;
 import org.lflang.generator.LFGeneratorContext;
 import org.lflang.generator.TargetTypes;
+import org.lflang.generator.docker.DockerGenerator;
 import org.lflang.scoping.LFGlobalScopeProvider;
 import org.lflang.target.Target;
 
@@ -25,5 +26,10 @@ public TargetTypes getTargetTypes() {
     public Target getTarget() {
         throw new IllegalStateException(Mock.KOTLIN_MSG);
     }
+
+    @Override
+    protected DockerGenerator getDockerGenerator(LFGeneratorContext context) {
+      throw new IllegalStateException(Mock.KOTLIN_MSG);
+    }
 
 }
diff --git a/org.lflang/src-mock/org/lflang/generator/rust/RustGenerator.java b/org.lflang/src-mock/org/lflang/generator/rust/RustGenerator.java
@@ -5,6 +5,7 @@
 import org.lflang.generator.GeneratorBase;
 import org.lflang.generator.LFGeneratorContext;
 import org.lflang.generator.TargetTypes;
+import org.lflang.generator.docker.DockerGenerator;
 import org.lflang.scoping.LFGlobalScopeProvider;
 import org.lflang.target.Target;
 
@@ -25,5 +26,10 @@ public TargetTypes getTargetTypes() {
     public Target getTarget() {
         throw new IllegalStateException(Mock.KOTLIN_MSG);
     }
+
+    @Override
+    protected DockerGenerator getDockerGenerator(LFGeneratorContext context) {
+      throw new IllegalStateException(Mock.KOTLIN_MSG);
+    }
 
 }
diff --git a/org.lflang/src-mock/org/lflang/generator/ts/TSGenerator.java b/org.lflang/src-mock/org/lflang/generator/ts/TSGenerator.java
@@ -5,6 +5,7 @@
 import org.lflang.generator.GeneratorBase;
 import org.lflang.generator.LFGeneratorContext;
 import org.lflang.generator.TargetTypes;
+import org.lflang.generator.docker.DockerGenerator;
 import org.lflang.scoping.LFGlobalScopeProvider;
 import org.lflang.target.Target;
 
@@ -30,4 +31,9 @@ public Target getTarget() {
         throw new IllegalStateException(Mock.KOTLIN_MSG);
     }
 
+    @Override
+    protected DockerGenerator getDockerGenerator(LFGeneratorContext context) {
+        throw new IllegalStateException(Mock.KOTLIN_MSG);
+    }
+
 }