From 3130348ee177f1716488b6caca6c7852fe47754c Mon Sep 17 00:00:00 2001
From: Tim Chevalier <chevalier@alum.wellesley.edu>
Date: Thu, 24 Mar 2011 12:12:04 -0700
Subject: Started adding support for typestate checking.

I added a new field to the ast "ann" type for typestate information.
Currently, the field contains a record of a precondition bit vector and
postcondition vector, but I tried to structure things so as to make
it easy to change the representation of the typestate annotation type.
I also had to add annotations to some syntactic forms that didn't have
them before (fail, ret, be...), with all the boilerplate changes
that that would imply.

The main call to the typestate_check entry point is commented out and
the actual pre-postcondition algorithm only has a few cases
implemented, though the overall AST traversal is there. The rest of
the typestate algorithm isn't implemented yet.
---
 src/comp/front/parser.rs | 36 ++++++++++++++++++------------------
 1 file changed, 18 insertions(+), 18 deletions(-)

(limited to 'src/comp/front/parser.rs')

diff --git a/src/comp/front/parser.rs b/src/comp/front/parser.rs
index f7d355a4..4c3e6cf0 100644
--- a/src/comp/front/parser.rs
+++ b/src/comp/front/parser.rs
@@ -794,14 +794,14 @@ impure fn parse_bottom_expr(parser p) -> @ast.expr {
 
         case (token.FAIL) {
             p.bump();
-            ex = ast.expr_fail;
+            ex = ast.expr_fail(ast.ann_none);
         }
 
         case (token.LOG) {
             p.bump();
             auto e = parse_expr(p);
             auto hi = e.span;
-            ex = ast.expr_log(e);
+            ex = ast.expr_log(e, ast.ann_none);
         }
 
         case (token.CHECK) {
@@ -810,7 +810,7 @@ impure fn parse_bottom_expr(parser p) -> @ast.expr {
                 case (token.LPAREN) {
                     auto e = parse_expr(p);
                     auto hi = e.span;
-                    ex = ast.expr_check_expr(e);
+                    ex = ast.expr_check_expr(e, ast.ann_none);
                 }
                 case (_) {
                     p.get_session().unimpl("constraint-check stmt");
@@ -822,36 +822,36 @@ impure fn parse_bottom_expr(parser p) -> @ast.expr {
             p.bump();
             alt (p.peek()) {
                 case (token.SEMI) {
-                    ex = ast.expr_ret(none[@ast.expr]);
+                    ex = ast.expr_ret(none[@ast.expr], ast.ann_none);
                 }
                 case (_) {
                     auto e = parse_expr(p);
                     hi = e.span;
-                    ex = ast.expr_ret(some[@ast.expr](e));
+                    ex = ast.expr_ret(some[@ast.expr](e), ast.ann_none);
                 }
             }
         }
 
         case (token.BREAK) {
             p.bump();
-            ex = ast.expr_break;
+            ex = ast.expr_break(ast.ann_none);
         }
 
         case (token.CONT) {
             p.bump();
-            ex = ast.expr_cont;
+            ex = ast.expr_cont(ast.ann_none);
         }
 
         case (token.PUT) {
             p.bump();
             alt (p.peek()) {
                 case (token.SEMI) {
-                    ex = ast.expr_put(none[@ast.expr]);
+                    ex = ast.expr_put(none[@ast.expr], ast.ann_none);
                 }
                 case (_) {
                     auto e = parse_expr(p);
                     hi = e.span;
-                    ex = ast.expr_put(some[@ast.expr](e));
+                    ex = ast.expr_put(some[@ast.expr](e), ast.ann_none);
                 }
             }
         }
@@ -862,7 +862,7 @@ impure fn parse_bottom_expr(parser p) -> @ast.expr {
             // FIXME: Is this the right place for this check?
             if /*check*/ (ast.is_call_expr(e)) {
                     hi = e.span;
-                    ex = ast.expr_be(e);
+                    ex = ast.expr_be(e, ast.ann_none);
             }
             else {
                 p.err("Non-call expression in tail call");
@@ -1651,14 +1651,14 @@ fn stmt_ends_with_semi(@ast.stmt stmt) -> bool {
                 case (ast.expr_field(_,_,_))    { ret true; }
                 case (ast.expr_index(_,_,_))    { ret true; }
                 case (ast.expr_path(_,_,_))     { ret true; }
-                case (ast.expr_fail)            { ret true; }
-                case (ast.expr_break)           { ret true; }
-                case (ast.expr_cont)            { ret true; }
-                case (ast.expr_ret(_))          { ret true; }
-                case (ast.expr_put(_))          { ret true; }
-                case (ast.expr_be(_))           { ret true; }
-                case (ast.expr_log(_))          { ret true; }
-                case (ast.expr_check_expr(_))   { ret true; }
+                case (ast.expr_fail(_))         { ret true; }
+                case (ast.expr_break(_))        { ret true; }
+                case (ast.expr_cont(_))         { ret true; }
+                case (ast.expr_ret(_,_))        { ret true; }
+                case (ast.expr_put(_,_))        { ret true; }
+                case (ast.expr_be(_,_))         { ret true; }
+                case (ast.expr_log(_,_))        { ret true; }
+                case (ast.expr_check_expr(_,_)) { ret true; }
             }
         }
         // We should not be calling this on a cdir.
-- 
cgit v1.2.3