Changeset 1271 for src/joint

Timestamp:

Sep 26, 2011, 4:24:32 PM (9 years ago)

Author:

mulligan

Message:

finished, kind of

File:

• src/joint/Joint.ma (modified) (1 diff)

src/joint/Joint.ma

@@ -92 +92 @@
     (joint_if_code … p) (joint_if_entry … p) (dp … exit prf).
 
+definition set_joint_if_graph ≝
+  λglobals,pars.
+  λgraph.
+  λp:joint_internal_function globals pars.
+  λentry_prf: lookup … graph (joint_if_entry … p) ≠ None ?.
+  λexit_prf: lookup … graph (joint_if_exit … p) ≠ None ?.
+   mk_joint_internal_function globals pars
+    (joint_if_luniverse … p) (joint_if_runiverse … p) (joint_if_result … p)
+    (joint_if_params … p) (joint_if_locals … p) (joint_if_stacksize … p)
+    graph (dp … (joint_if_entry … p) entry_prf) (dp … (joint_if_exit … p) exit_prf).
+
 definition set_luniverse ≝
   λglobals,pars.