Changeset 3424

Timestamp:

Feb 23, 2008, 11:44:18 PM (13 years ago)

Author:

yura

Message:

• First very alpha version of debugger.
• CallListGenerator? collects line numbers of calls. It is used to generate LINENUMBER instruction in jbc back-end.

Location:

to-imperative/trunk/compiler

Files:

• rfp_asail_jbc.rf (modified) (4 diffs)
• rfpc.rf (modified) (1 diff)
• rfpc.rfi (modified) (1 diff)

to-imperative/trunk/compiler/rfp_asail_jbc.rf

@@ -73 +73 @@
 $func CW = s;
 CW, <Get &CWbox> : s.cv = s.cv;
+
+$box MethodCallList;
 
 RFP_ASAIL_To_JBC (MODULE (e.moduleName) e.module) =
@@ -304 +306 @@
     t.qname : (e s.name),
     <Check_Name s.name>,
+    {
+      <Get &CallList> : e (s.name e.methodCallList) e,
+        <Store &MethodCallList e.methodCallList>;
+      <Store &MethodCallList>;
+    }, 
     <Add &ACC_STATIC <Access_Mode s.linkage>> :: s.access,
     <Function_Description (e.args) (e.ress) s.retType> :: s.desc,
@@ -526 +533 @@
         }, $fail;;
     },
+    {
+      <Get &MethodCallList> : s.lineNumber e.tail,
+        <Store &MethodCallList e.tail>,
+        <Label> :: s.line,
+        <MVvisitLabel <MV> s.line>,
+        <MVvisitLineNumber <MV> s.lineNumber s.line>;
+      ;
+    },
     <MVvisitMethodInsn <MV> &INVOKESTATIC <GetJBCQName e.module s.name> s.desc>,
     {
@@ -666 +681 @@
             <MVvisitVarInsn <MV> &ALOAD s.i>;
         }, $fail;;
+    },
+    {
+      <Get &MethodCallList> : s.lineNumber e.tail,
+        <Store &MethodCallList e.tail>,
+        <Label> :: s.line,
+        <MVvisitLabel <MV> s.line>,
+        <MVvisitLineNumber <MV> s.lineNumber s.line>;
+      ;
     },
     <MVvisitMethodInsn <MV> &INVOKESTATIC <GetJBCQName e.module s.name> s.desc>,

to-imperative/trunk/compiler/rfpc.rf

@@ -104 +104 @@
   };
 
+CompileASToJBC2 s.env t.as (e.callList) =
+  <Store &CallList e.callList>,
+  <CompileASToJBC s.env t.as>;
 
 Main =

to-imperative/trunk/compiler/rfpc.rfi

@@ -15 +15 @@
 $func CompileModule s.env = ;
 $func CompileASToJBC s.env t.as = ;
+$func CompileASToJBC2 s.env t.as t.callList = ;
+
+$box CallList;
 
 $func RFP_Pretty_Print s.channel (e.indent) e.expr = ;