Add: is_read_only()

nml/expression/array.py

@@ -35,3 +35,6 @@ def reduce(self, id_dicts = [], unknown_id_fatal = True):
     def collect_references(self):
         from itertools import chain
         return list(chain.from_iterable(v.collect_references() for v in self.values))
+
+    def is_read_only(self):
+        return all(v.is_read_only() for v in self.values)

nml/expression/base_expression.py

@@ -110,6 +110,14 @@ def collect_references(self):
         """
         return []
 
+    def is_read_only(self):
+        """
+        Check if this expression store values.
+
+        @return: True if the expression doesn't store values.
+        """
+        return True
+
     def is_boolean(self):
         """
         Check if this expression is limited to 0 or 1 as value.

nml/expression/bin_not.py

@@ -44,6 +44,9 @@ def supported_by_actionD(self, raise_error):
     def collect_references(self):
         return self.expr.collect_references()
 
+    def is_read_only(self):
+        return self.expr.is_read_only()
+
     def __str__(self):
         return "~" + str(self.expr)
 
@@ -82,6 +85,9 @@ def supported_by_actionD(self, raise_error):
     def collect_references(self):
         return self.expr.collect_references()
 
+    def is_read_only(self):
+        return self.expr.is_read_only()
+
     def is_boolean(self):
         return True
 

nml/expression/binop.py

@@ -184,6 +184,9 @@ def supported_by_actionD(self, raise_error):
     def collect_references(self):
         return self.expr1.collect_references() + self.expr2.collect_references()
 
+    def is_read_only(self):
+        return self.expr1.is_read_only() and self.expr2.is_read_only()
+
     def is_boolean(self):
         if self.op in (nmlop.AND, nmlop.OR, nmlop.XOR):
             return self.expr1.is_boolean() and self.expr2.is_boolean()

nml/expression/bitmask.py

@@ -43,5 +43,8 @@ def collect_references(self):
         from itertools import chain
         return list(chain.from_iterable(v.collect_references() for v in self.values))
 
+    def is_read_only(self):
+        return all(v.is_read_only() for v in self.values)
+
     def __str__(self):
         return "bitmask(" + ", ".join(str(e) for e in self.values) + ")"

nml/expression/boolean.py

@@ -47,6 +47,9 @@ def supported_by_actionD(self, raise_error):
     def collect_references(self):
         return self.expr.collect_references()
 
+    def is_read_only(self):
+        return self.expr.is_read_only()
+
     def is_boolean(self):
         return True
 

nml/expression/storage_op.py

@@ -124,3 +124,7 @@ def supported_by_actionD(self, raise_error):
 
     def collect_references(self):
         return self.register.collect_references() + (self.value.collect_references() if self.value is not None else [])
+
+    def is_read_only(self):
+        assert(self.info['store'] == (self.value is not None))
+        return (not self.info['store']) and self.register.is_read_only()

nml/expression/ternaryop.py

@@ -54,6 +54,9 @@ def supported_by_actionD(self, raise_error):
     def collect_references(self):
         return self.guard.collect_references() + self.expr1.collect_references() + self.expr2.collect_references()
 
+    def is_read_only(self):
+        return self.expr1.is_read_only() and self.expr2.is_read_only()
+
     def is_boolean(self):
         return self.expr1.is_boolean() and self.expr2.is_boolean()