From 8ea32e25472d96b7c91b870f79f2f0b81af292f6 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 15 Jan 2025 19:01:14 +0100
Subject: [PATCH] Use DroneCommunicator_Mockup again for DroneMainController
test
Until the antlr-parser can successfully type-check the non-mockup
version.
---
.../de/hhu/stups/codegenerator/java/TestMachines.java | 8 ++------
.../hhu/stups/codegenerator/drone/DroneMainController.mch | 2 +-
2 files changed, 3 insertions(+), 7 deletions(-)
diff --git a/src/test/java/de/hhu/stups/codegenerator/java/TestMachines.java b/src/test/java/de/hhu/stups/codegenerator/java/TestMachines.java
index 4ebd883c9..d7f4d330f 100644
--- a/src/test/java/de/hhu/stups/codegenerator/java/TestMachines.java
+++ b/src/test/java/de/hhu/stups/codegenerator/java/TestMachines.java
@@ -1,7 +1,7 @@
package de.hhu.stups.codegenerator.java;
import de.hhu.stups.codegenerator.generators.CodeGenerationException;
-import de.prob.parser.ast.visitors.TypeErrorException;
+
import org.junit.Ignore;
import org.junit.Test;
@@ -768,11 +768,7 @@ public class TestMachines extends TestJava {
@Test
public void testDroneMainController() throws Exception {
- try {
- testJava("drone/DroneMainController");
- } catch (TypeErrorException e) {
- System.out.println(e.getMessage());
- }
+ testJava("drone/DroneMainController");
}
}
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/drone/DroneMainController.mch b/src/test/resources/de/hhu/stups/codegenerator/drone/DroneMainController.mch
index 11d756c27..7733c48bb 100644
--- a/src/test/resources/de/hhu/stups/codegenerator/drone/DroneMainController.mch
+++ b/src/test/resources/de/hhu/stups/codegenerator/drone/DroneMainController.mch
@@ -1,5 +1,5 @@
MACHINE DroneMainController
-INCLUDES DroneSafetyController, DroneCommunicator
+INCLUDES DroneSafetyController, DroneCommunicator_Mockup
OPERATIONS
--
GitLab