Create evaluator for not operator

smnp/runtime/evaluators/expression.py

@@ -1,3 +1,4 @@
+from smnp.ast.node.factor import NotOperator
 from smnp.ast.node.identifier import FunctionCall
 from smnp.ast.node.unit import MinusOperator, Access
 from smnp.error.runtime import RuntimeException
@@ -12,10 +13,12 @@ def expressionEvaluator(doAssert=False):
 
         from smnp.runtime.evaluators.atom import AtomEvaluator
         from smnp.runtime.evaluators.access import AccessEvaluator
+        from smnp.runtime.evaluators.negation import NotEvaluator
         result = Evaluator.oneOf(
             Evaluator.forNodes(FunctionCallEvaluator.evaluate, FunctionCall),
             Evaluator.forNodes(MinusEvaluator.evaluate, MinusOperator),
             Evaluator.forNodes(AccessEvaluator.evaluate, Access),
+            Evaluator.forNodes(NotEvaluator.evaluate, NotOperator),
             AtomEvaluator.evaluate
         )(node, environment)
 

smnp/runtime/evaluators/negation.py

@@ -0,0 +1,16 @@
+from smnp.error.runtime import RuntimeException
+from smnp.runtime.evaluator import Evaluator
+from smnp.runtime.evaluators.expression import expressionEvaluator
+from smnp.type.model import Type
+
+
+class NotEvaluator(Evaluator):
+
+    @classmethod
+    def evaluator(cls, node, environment):
+        value = expressionEvaluator(doAssert=True)(node.value, environment).value
+
+        if value.type != Type.BOOL:
+            raise RuntimeException(f"Operator '{node.operator.value}' is supported only by {Type.BOOL.name.lower()} type", node.pos)
+
+        return Type.bool(not value.value)