From d4975a198bb1585e73882c8b2214345647858a50 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Tue, 6 Jul 2010 13:52:41 -0700
Subject: Add init(arg) to STMT_call precondition for each arg.

---
 src/boot/me/typestate.ml | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/boot/me/typestate.ml b/src/boot/me/typestate.ml
index 2c0c4b15..50586004 100644
--- a/src/boot/me/typestate.ml
+++ b/src/boot/me/typestate.ml
@@ -365,8 +365,17 @@ let condition_assigning_visitor
               let constrs =
                 Array.map (apply_names_to_constr names) formal_constrs
               in
-              let keys = Array.map (resolve_constr_to_key None) constrs in
-                raise_precondition s.id keys
+              let constr_keys = Array.map (resolve_constr_to_key None) constrs in
+              let arg_init_keys =
+                Array.concat
+                  (Array.to_list
+                     (Array.map
+                        (fun arg ->
+                           slot_inits (atom_slots cx arg))
+                        args))
+              in
+                raise_precondition s.id arg_init_keys;
+                raise_precondition s.id constr_keys
           | _ -> ()
       end;
       begin
-- 
cgit v1.2.3