Implemented computing prestates and poststates for a few expression forms.

The typestate checker (if it's uncommented) now correctly rejects a
trivial example program that has an uninitialized variable.

1 files changed, 12 insertions, 0 deletions

diff --git a/src/comp/util/common.rs b/src/comp/util/common.rs
index 5243e2f7..6dec6c00 100644
--- a/src/comp/util/common.rs
+++ b/src/comp/util/common.rs
@@ -1,5 +1,6 @@
 import std._uint;
 import std._int;
+import std._vec;
 import front.ast;
 
 
@@ -75,6 +76,17 @@ fn istr(int i) -> str {
     ret _int.to_str(i, 10u);
 }
 
+fn uistr(uint i) -> str {
+    ret _uint.to_str(i, 10u);
+}
+
+fn elt_expr(&ast.elt e) -> @ast.expr { ret e.expr; }
+
+fn elt_exprs(vec[ast.elt] elts) -> vec[@ast.expr] {
+    auto f = elt_expr;
+    be _vec.map[ast.elt, @ast.expr](f, elts);
+}
+
 //
 // Local Variables:
 // mode: rust