feat: tuner:assertThat

zazuko · Feb 10, 2025 · 51493a9 · 51493a9
1 parent 676bc0a
commit 51493a9
Show file tree

Hide file tree

Showing 4 changed files with 33 additions and 0 deletions.
diff --git a/.changeset/lemon-garlics-grab.md b/.changeset/lemon-garlics-grab.md
@@ -0,0 +1,5 @@
+---
+"api-tuner": patch
+---
+
+Added `tuner:assertThat` backward rule
diff --git a/rules/assertions.n3 b/rules/assertions.n3
@@ -2,6 +2,23 @@ PREFIX tuner: <https://api-tuner.described.at/>
 prefix string: <http://www.w3.org/2000/10/swap/string#>
 prefix log: <http://www.w3.org/2000/10/swap/log#>
 
+{
+  ?expr tuner:assertThat ?msg .
+} <= {
+  (
+    ?expr
+    true
+    {
+      (
+        { ?msg log:rawType log:ForAll }
+        { ?expr^tuner:logFailedAssertion }
+        { ?msg^tuner:logFailedAssertion }
+      ) log:ifThenElseIn [].
+      true log:equalTo false .
+    }
+  ) log:ifThenElseIn [] .
+} .
+
 {
   ?res tuner:http_code ?value .
 } <= {

diff --git a/rules/logging.n3 b/rules/logging.n3
@@ -22,3 +22,13 @@ prefix string: <http://www.w3.org/2000/10/swap/string#>
     true
   ) log:ifThenElseIn ?SCOPE .
 } .
+
+{
+  ?left tuner:logFailedAssertion ?right .
+} <= {
+  (
+    { [] tuner:logLevel 'info' }
+    { 'Failed assertion' log:trace ?right . }
+    true
+  ) log:ifThenElseIn ?SCOPE .
+} .
diff --git a/tests/http_code.n3 b/tests/http_code.n3
@@ -1,3 +1,4 @@
+PREFIX res: <http://dbpedia.org/resource/>
 prefix : <https://api-tuner.described.at/test#http-code/>
 PREFIX earl: <http://www.w3.org/ns/earl#>
 PREFIX tuner: <https://api-tuner.described.at/>