WIP: Augment a test case for coverage

ossuminc · May 13, 2024 · bfe6e22 · bfe6e22
1 parent f9fc2ad
commit bfe6e22
Show file tree

Hide file tree

Showing 5 changed files with 20 additions and 4 deletions.
diff --git a/language/src/test/input/everything.riddl b/language/src/test/input/everything.riddl
@@ -21,4 +21,6 @@ domain Everything is {
   } described as "A simple authoring epic"
 
   include "everything_full"
+
+  include "everything_app"
 }
diff --git a/language/src/test/input/everything_APlant.riddl b/language/src/test/input/everything_APlant.riddl
@@ -6,4 +6,6 @@ context APlant is {
     from outlet Source.Commands
     to inlet Sink.Commands
   } explained as "A Channel"
+
+
 } briefly "A bunch of data flow connections"
diff --git a/language/src/test/input/everything_app.riddl b/language/src/test/input/everything_app.riddl
@@ -0,0 +1,3 @@
+application Whatever is {
+  ???
+}
diff --git a/language/src/test/input/everything_full.riddl b/language/src/test/input/everything_full.riddl
@@ -36,6 +36,15 @@ context full is {
     }
   }
 
+  projector ProjectIt is {
+    updates repository StoreIt
+    handler projector is {
+      on init {
+        tell command ACommand to repository StoreIt
+      }
+    }
+  }
+
   command ACommand()
 
   adaptor fromAPlant to context APlant is {

diff --git a/passes/src/test/scala/com/ossuminc/riddl/passes/validate/ValidatingTest.scala b/passes/src/test/scala/com/ossuminc/riddl/passes/validate/ValidatingTest.scala
@@ -164,12 +164,12 @@ abstract class ValidatingTest extends ParsingTest {
     andThen: (PassesResult, Root, RiddlParserInput, Messages) => T
   ): T = {
     TopLevelParser.parseInput(rpi) match {
-      case Left(errors) =>
-        fail(errors.format)
+      case Left(messages) =>
+        fail(messages.justErrors.format)
       case Right(root) =>
         runStandardPasses(root, options, shouldFailOnErrors) match {
-          case Left(errors) =>
-            fail(errors.format)
+          case Left(messages) =>
+            fail(messages.justErrors.format)
           case Right(passesResult: PassesResult) =>
             andThen(passesResult, root, rpi, passesResult.messages)
         }