PLCGenerator.py
changeset 501 edfa63d3c26d
parent 499 cecb4369fa42
child 507 42150e041dbe
--- a/PLCGenerator.py	Wed May 19 22:16:29 2010 +0200
+++ b/PLCGenerator.py	Fri May 21 13:29:01 2010 +0200
@@ -926,6 +926,8 @@
         elif type(paths) == ListType:
             vars = [self.ComputePaths(path) for path in paths]
             return JoinList([(" AND ", ())], vars)
+        elif paths is None:
+            return [("TRUE", ())]
         else:
             return eval(paths)