Changeset 3458

Timestamp:

Feb 29, 2008, 9:41:03 PM (13 years ago)

Author:

yura

Message:

• Show variables in debugger.
• Symbols with names prints as &NAME.

File:

• to-imperative/trunk/compiler/rfp_asail_jbc.rf (modified) (3 diffs)

to-imperative/trunk/compiler/rfp_asail_jbc.rf

@@ -200 +200 @@
   <Get &Block_Tables> : e.block_tables,
   e.block_tables : e s.block_table,
-  <Store &Block_Tables e.block_tables <TableCopy s.block_table>>;
+  <TableCopy s.block_table> :: s.copy_block_table,
+  <Label> :: s.start,
+  <MVvisitLabel <MV> s.start>,
+  <Bind s.copy_block_table (START) (s.start)>,
+  <Store &Block_Tables e.block_tables s.copy_block_table>;
 
 Pop_Block_Table = 
@@ -206 +210 @@
   <Lookup s.block_table2 "VAR-INDEX"> : s.i,
   <Bind s.block_table1 ("VAR-INDEX") (s.i)>,
-  <Store &Block_Tables e.block_tables s.block_table1>;
+  <Store &Block_Tables e.block_tables s.block_table1>,
+  <Label> :: s.stop,
+  <MVvisitLabel <MV> s.stop>,
+  <Lookup s.block_table2 START> : s.start,
+  {
+    <Entries s.block_table2> : e ((VAR t.var) (s.type s.ind)) e,
+      # <IsInTable s.block_table1 VAR t.var>,
+      t.var : (e (e.name)),
+      s.type : \{
+        Expr = <MVvisitLocalVariable <MV> <ToWord e.name> "Lorg/refal/plus/Expr;" <Null> s.start s.stop sind>;
+        Result = <MVvisitLocalVariable <MV> <ToWord e.name> "Lorg/refal/plus/Result;" <Null> s.start s.stop sind>;
+      },
+      $fail;
+    ;
+  };
 
 Get_Block_Table =
@@ -313 +331 @@
         <AnnotationVisitor.visitEnd s.aw>;;
     },
-    <Store &FuncName s.name> <Init_Block_Table> <Bind_Vars Expr e.args> <Bind_Vars Result e.ress>,
+    <Store &FuncName s.name> <Init_Block_Table> <Push_Block_Table> <Bind_Vars Expr e.args> <Bind_Vars Result e.ress>,
     <Body_To_JBC e.body>,
+    <Pop_Block_Table>
     s.tag : {
       FUNC  = <MVvisitInsn <MV> &RETURN>;