Merge pull request #131 from saoirse-a/bool-not-equal-bug

divarvel · web-flow · commit bbd379c34b16 · 2025-09-12T10:57:10.000+02:00
NotEqual op on booleans performs equality check
diff --git a/src/main/java/org/eclipse/biscuit/datalog/expressions/Op.java b/src/main/java/org/eclipse/biscuit/datalog/expressions/Op.java
@@ -363,7 +363,7 @@ public void evaluate(
           break;
         case NotEqual:
           if (right instanceof Term.Bool && left instanceof Term.Bool) {
-            stack.push(new Term.Bool(((Term.Bool) left).value() == ((Term.Bool) right).value()));
+            stack.push(new Term.Bool(((Term.Bool) left).value() != ((Term.Bool) right).value()));
           }
           if (right instanceof Term.Integer && left instanceof Term.Integer) {
             stack.push(

Original file line number	Diff line number	Diff line change
`@@ -363,7 +363,7 @@ public void evaluate(`
`363`	`363`	`break;`
`364`	`364`	`case NotEqual:`
`365`	`365`	`if (right instanceof Term.Bool && left instanceof Term.Bool) {`
`366`		`- stack.push(new Term.Bool(((Term.Bool) left).value() == ((Term.Bool) right).value()));`
	`366`	`+ stack.push(new Term.Bool(((Term.Bool) left).value() != ((Term.Bool) right).value()));`
`367`	`367`	`}`
`368`	`368`	`if (right instanceof Term.Integer && left instanceof Term.Integer) {`
`369`	`369`	`stack.push(`