Automatic execution of SCL tests in Maven

[simantics/platform.git] / tests / org.simantics.scl.compiler.tests / src / org / simantics / scl / compiler / tests / scl / Select2.scl

diff --git a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Select2.scl b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Select2.scl
new file mode 100644 (file)
index 0000000..a492823
--- /dev/null
+++ b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Select2.scl
@@ -0,0 +1,20 @@
+import "StandardLibrary"
+import "Minigraph"
+
+main = withGraph do
+    a = resource "a"
+    b = map resource ["b0", "b1", "b2", "b3", "b4"]
+    r = map resource ["r0", "r1"]
+    
+    enforce
+        Statement a (r!0) (b!0)
+        Statement a (r!0) (b!1)
+        Statement a (r!1) (b!4)
+        Statement a (r!1) (b!3)
+        Statement (b!1) (r!0) (b!2)
+    R a :- {}
+    R ?x :- R ?y ; Statement ?y (r!0) ?x
+    S ?x :- R ?x ; Statement ?x (r!0) _
+    sort $ map uriOf $ select ?x where S ?x
+--
+[a, b1]