Introducing boolean logical operators

rust-semantics/expression.md

@@ -1,6 +1,7 @@
 ```k
 requires "expression/calls.md"
 requires "expression/integer-operations.md"
+requires "expression/bool-operations.md"
 requires "expression/constants.md"
 requires "expression/casts.md"
 requires "expression/literals.md"
@@ -17,5 +18,6 @@ module RUST-EXPRESSION
     imports private RUST-EXPRESSION-TOOLS
     imports private RUST-EXPRESSION-VARIABLES
     imports private RUST-INTEGER-OPERATIONS
+    imports private RUST-BOOL-OPERATIONS
 endmodule
 ```

rust-semantics/expression/bool-operations.md

@@ -0,0 +1,17 @@
+```k
+
+module RUST-BOOL-OPERATIONS
+    imports private RUST-BOOL-LOGICAL-OPERATIONS
+endmodule
+
+module RUST-BOOL-LOGICAL-OPERATIONS
+    imports RUST-SHARED-SYNTAX
+    imports private RUST-REPRESENTATION
+
+    rule ptrValue(_, A:Bool) && ptrValue(_, B:Bool) => ptrValue(null, A andBool B)
+    rule ptrValue(_, A:Bool) || ptrValue(_, B:Bool) => ptrValue(null, A orBool B)
+    rule ! ptrValue(_, B:Bool) => ptrValue(null, notBool B)
+
+endmodule
+
+```

rust-semantics/rust-common-syntax.md

@@ -350,7 +350,7 @@ https://doc.rust-lang.org/reference/items/extern-crates.html
                       | "&" "mut" Expression
                       | "&&" "mut" Expression
                       | "-" Expression
-                      | "!" Expression
+                      | "!" Expression [seqstrict]
                       | DereferenceExpression
 
                       // > left:
@@ -382,8 +382,8 @@ https://doc.rust-lang.org/reference/items/extern-crates.html
                       | Expression "<=" Expression [seqstrict]
 
                       > left:
-                        Expression "&&" Expression
-                      | Expression "||" Expression
+                        Expression "&&" Expression [seqstrict]
+                      | Expression "||" Expression [seqstrict]
 
                       > Expression ".." Expression
 

rust-semantics/targets/preprocessing/rust.md

@@ -8,6 +8,7 @@ requires "../../expression/constants.md"
 requires "../../expression/literals.md"
 requires "../../rust-common-syntax.md"
 requires "../../expression/integer-operations.md"
+requires "../../expression/bool-operations.md"
 
 module RUST-SYNTAX
     imports RUST-COMMON-SYNTAX
@@ -16,6 +17,7 @@ endmodule
 module RUST
     imports private RUST-EXPRESSION-LITERALS
     imports private RUST-INTEGER-OPERATIONS
+    imports private RUST-BOOL-OPERATIONS
     imports private RUST-EXPRESSION-CONSTANTS
     imports private RUST-PREPROCESSING
     imports private RUST-RUNNING-CONFIGURATION

tests/execution/bool-operations.1.run

@@ -0,0 +1,4 @@
+new BoolOperations;
+call BoolOperations.bool_logical_operation_and;
+return_value;
+check_eq true

tests/execution/bool-operations.2.run

@@ -0,0 +1,4 @@
+new BoolOperations;
+call BoolOperations.bool_logical_operation_or;
+return_value;
+check_eq true

tests/execution/bool-operations.3.run

@@ -0,0 +1,4 @@
+new BoolOperations;
+call BoolOperations.bool_logical_operation_not;
+return_value;
+check_eq false

tests/execution/bool-operations.rs

@@ -0,0 +1,21 @@
+#![no_std]
+
+#[allow(unused_imports)]
+use multiversx_sc::imports::*;
+
+#[multiversx_sc::contract]
+pub trait BoolOperations {
+    #[init]
+    fn init(&self) {
+    }
+
+    #[upgrade]
+    fn upgrade(&self) {}
+
+    fn bool_logical_operation_and(&self) -> bool { true && true }
+
+    fn bool_logical_operation_or(&self) -> bool { false || true }
+
+    fn bool_logical_operation_not(&self) -> bool {  ! true }
+
+}