added tracing instructions functionality

4 files changed, 69 insertions, 26 deletions

diff --git a/mixlib/mix_src_file.c b/mixlib/mix_src_file.c
index 0569aa6..c6e1be0 100644
--- a/mixlib/mix_src_file.c
+++ b/mixlib/mix_src_file.c
@@ -1,7 +1,7 @@
 /* -*-c-*- -------------- mix_src_file.c :
  * Implementation of the functions declared in mix_src_file.h
  * ------------------------------------------------------------------
- *  Last change: Time-stamp: "00/12/17 12:56:50 jose"
+ *  Last change: Time-stamp: "00/12/17 22:46:27 jose"
  * ------------------------------------------------------------------
  * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
  *  
@@ -33,36 +33,43 @@ struct mix_src_file_t
   guint lineno;			/* the number of lines */
 };
   
-
-/* create a new src file from an existing disk file */
-mix_src_file_t *
-mix_src_file_new_for_read (const gchar *path)
+/* load the source file lines into memory */
+static gboolean
+load_file_ (mix_src_file_t *file)
 {
-  mix_file_t *file = mix_file_new_with_def_ext (path,
-						mix_io_READ,
-						MIX_SRC_DEFEXT);
-  if (file == NULL)
-    return NULL;
-  else
+  mix_file_t *mf = mix_file_new_with_def_ext (file->path,
+					      mix_io_READ,
+					      MIX_SRC_DEFEXT);
+  if (mf != NULL)
     {
       enum {BUFFER_SIZE = 256};
       static gchar BUFFER[BUFFER_SIZE];
       
-      mix_src_file_t *result = g_new (mix_src_file_t, 1);
-      FILE  *f = mix_file_to_FILE (file);
-      result->lines = g_ptr_array_new ();
-      result->path = g_strdup (path);
-      result->lineno = 0;
+      FILE  *f = mix_file_to_FILE (mf);
+      file->lines = g_ptr_array_new ();
+      file->lineno = 0;
       
       while (fgets (BUFFER, BUFFER_SIZE, f) == BUFFER)
 	{
-	  g_ptr_array_add (result->lines, (gpointer) g_strdup (BUFFER));
-	  result->lineno++;
+	  g_ptr_array_add (file->lines, (gpointer) g_strdup (BUFFER));
+	  file->lineno++;
 	}
       
-      mix_file_delete (file);
-      return result;
+      mix_file_delete (mf);
+      return TRUE;
     }
+  return FALSE;
+}
+
+/* create a new src file from an existing disk file */
+mix_src_file_t *
+mix_src_file_new_for_read (const gchar *path)
+{
+  mix_src_file_t *result = g_new (mix_src_file_t, 1);
+  result->lines = NULL;
+  result->path = g_strdup (path);
+  result->lineno = 0;
+  return result;
 }
 
 /* destroy a src file object */
@@ -70,7 +77,7 @@ void
 mix_src_file_delete (mix_src_file_t *src)
 {
   g_return_if_fail (src != NULL);
-  g_ptr_array_free (src->lines, TRUE);
+  if (src->lines) g_ptr_array_free (src->lines, TRUE);
   g_free (src->path);
   g_free (src);
 }
@@ -88,10 +95,11 @@ const gchar *
 mix_src_file_get_line (const mix_src_file_t *src, guint lineno)
 {
   g_return_val_if_fail (src != NULL, NULL);
+  if (src->lines == NULL && !load_file_ ((mix_src_file_t*)src))
+    return NULL;
   if (lineno > src->lineno || lineno == 0)
     return NULL;
-  else
-    return (gchar *)g_ptr_array_index (src->lines, lineno - 1);
+  return (gchar *)g_ptr_array_index (src->lines, lineno - 1);
 }
 
 /* get the total no. of lines in the file */
@@ -99,6 +107,8 @@ guint
 mix_src_file_get_line_no (const mix_src_file_t *src)
 {
   g_return_val_if_fail (src != NULL, 0);
+  if (src->lines == NULL && !load_file_ ((mix_src_file_t*)src))
+    return 0;
   return src->lineno;
 }
 
diff --git a/mixlib/mix_vm.c b/mixlib/mix_vm.c
index d1ad6e7..2c41097 100644
--- a/mixlib/mix_vm.c
+++ b/mixlib/mix_vm.c
@@ -52,6 +52,11 @@ vm_reset_ (mix_vm_t *vm)
       g_tree_destroy (vm->address_table);
       vm->address_table = NULL;
     }
+  if (vm->src_file != NULL)
+    {
+      mix_src_file_delete (vm->src_file);
+      vm->src_file = NULL;
+    }
   bp_clear_all_ (vm);
 }
 
@@ -83,6 +88,7 @@ mix_vm_delete (mix_vm_t * vm)
   if (vm->line_table != NULL) g_tree_destroy (vm->line_table);
   if (vm->address_table != NULL) g_tree_destroy (vm->address_table);
   if (vm->symbol_table != NULL) mix_symbol_table_delete (vm->symbol_table);
+  if (vm->src_file != NULL) mix_src_file_delete (vm->src_file);
   for (i = 0; i < BD_NO_; ++i)
     mix_device_delete (vm->devices[i]);
   g_free (vm);
@@ -244,6 +250,7 @@ mix_vm_load_file (mix_vm_t *vm, const gchar *name)
 {
   mix_code_file_t *file;
   mix_ins_desc_t ins;
+  const gchar *sp;
   
   g_return_val_if_fail (vm != NULL, FALSE);
   file = mix_code_file_new_read (name);
@@ -255,6 +262,11 @@ mix_vm_load_file (mix_vm_t *vm, const gchar *name)
       vm->line_table = g_tree_new (cmp_uint_);
       vm->address_table = g_tree_new (cmp_uint_);
     }
+
+  sp = mix_code_file_get_source_path (file);
+  if (sp != NULL)
+    vm->src_file = mix_src_file_new_for_read (sp);
+  
   while ( mix_code_file_get_ins (file, &ins) ) 
     {
       set_cell_ (vm, ins.address, ins.ins);
@@ -275,6 +287,13 @@ mix_vm_load_file (mix_vm_t *vm, const gchar *name)
   return TRUE;
 }
 
+const mix_src_file_t *
+mix_vm_get_src_file (const mix_vm_t *vm)
+{
+  g_return_val_if_fail (vm != NULL, NULL);
+  return vm->src_file;
+}
+
 const mix_symbol_table_t *
 mix_vm_get_symbol_table (const mix_vm_t *vm)
 {
@@ -320,11 +339,17 @@ mix_vm_exec_next (mix_vm_t *vm)
 {
   mix_ins_t ins;
   g_return_val_if_fail (vm != NULL, MIX_VM_ERROR);
-  if ( is_halted_ (vm) ) return MIX_VM_HALT;
+  if (get_loc_ (vm) >= MIX_VM_CELL_NO) halt_ (vm, TRUE);
+  if (is_halted_ (vm))
+    {
+      reset_loc_ (vm);	/* set current location to start address */
+      halt_ (vm, FALSE);
+      return MIX_VM_HALT;
+    }
   mix_word_to_ins_uncheck (get_cell_ (vm, get_loc_ (vm)), ins);
   if (!(*ins_handlers_[ins.opcode]) (vm, &ins))
     return MIX_VM_ERROR;
-  return MIX_VM_BREAK;
+  return bp_is_set_ (vm, get_loc_ (vm)) ? MIX_VM_BREAK : MIX_VM_OK;
 }
 
 /* Breakpoints */
diff --git a/mixlib/mix_vm.h b/mixlib/mix_vm.h
index 6ddbb8e..cf4965c 100644
--- a/mixlib/mix_vm.h
+++ b/mixlib/mix_vm.h
@@ -26,6 +26,7 @@
 #include "mix_types.h"
 #include "mix_ins.h"
 #include "mix_code_file.h"
+#include "mix_src_file.h"
 #include "mix_symbol_table.h"
 
 /* Comparison flag */
@@ -114,6 +115,10 @@ mix_vm_exec_ins(mix_vm_t *vm, const mix_ins_t *ins);
 extern gboolean
 mix_vm_load_file(mix_vm_t *vm, const gchar *name);
 
+/* Get the source file object corresponding to the last loaded code file */
+extern const mix_src_file_t *
+mix_vm_get_src_file (const mix_vm_t *vm);
+
 /* Get symbol table of loaded file */
 extern const mix_symbol_table_t *
 mix_vm_get_symbol_table (const mix_vm_t *vm);
@@ -127,7 +132,8 @@ mix_vm_get_prog_count (const mix_vm_t *vm);
 enum {
   MIX_VM_ERROR,		/* error executing instructions */
   MIX_VM_BREAK,		/* breakpoint found */
-  MIX_VM_HALT		/* end of execution */
+  MIX_VM_HALT,		/* end of execution */
+  MIX_VM_OK		/* successful instruction execution */
 };
 
 extern int
diff --git a/mixlib/xmix_vm.h b/mixlib/xmix_vm.h
index a13ecc6..c2a1db1 100644
--- a/mixlib/xmix_vm.h
+++ b/mixlib/xmix_vm.h
@@ -26,6 +26,7 @@
 
 #include "mix_symbol_table.h"
 #include "mix_device.h"
+#include "mix_src_file.h"
 #include "mix_vm.h"
 
 /* The mix_vm_t type */
@@ -44,6 +45,7 @@ struct mix_vm_t
   GTree *address_table;		/* adress -> source line no */
   gint8 bp[MEM_CELLS_NO_/8];	/* each bit signals a break point */
   mix_symbol_table_t *symbol_table;
+  mix_src_file_t *src_file;	/* source of last loaded code file */
 };
 
 /* Macros for accessing/modifying the above structure.