diff options
Diffstat (limited to 'debugger/debugcom.mli')
| -rw-r--r-- | debugger/debugcom.mli | 102 |
1 files changed, 0 insertions, 102 deletions
diff --git a/debugger/debugcom.mli b/debugger/debugcom.mli deleted file mode 100644 index 447e45d9e2..0000000000 --- a/debugger/debugcom.mli +++ /dev/null @@ -1,102 +0,0 @@ -(***********************************************************************) -(* *) -(* Objective Caml *) -(* *) -(* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) -(* *) -(* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the Q Public License version 1.0. *) -(* *) -(***********************************************************************) - -(* $Id$ *) - -(* Low-level communication with the debuggee *) - -type execution_summary = - Event - | Breakpoint - | Exited - | Trap_barrier - | Uncaught_exc - -type report = - { rep_type : execution_summary; - rep_event_count : int; - rep_stack_pointer : int; - rep_program_pointer : int } - -type checkpoint_report = - Checkpoint_done of int - | Checkpoint_failed - -(* Set the current connection with the debuggee *) -val set_current_connection : Primitives.io_channel -> unit - -(* Put an event at given pc *) -val set_event : int -> unit - -(* Put a breakpoint at given pc *) -val set_breakpoint : int -> unit - -(* Remove breakpoint or event at given pc *) -val reset_instr : int -> unit - -(* Create a new checkpoint (the current process forks). *) -val do_checkpoint : unit -> checkpoint_report - -(* Step N events. *) -val do_go : int64 -> report - -(* Tell given process to terminate *) -val stop : Primitives.io_channel -> unit - -(* Tell given process to wait for its children *) -val wait_child : Primitives.io_channel -> unit - -(* Move to initial frame (that of current function). *) -(* Return stack position and current pc *) -val initial_frame : unit -> int * int -val set_initial_frame : unit -> unit - -(* Get the current frame position *) -(* Return stack position and current pc *) -val get_frame : unit -> int * int - -(* Set the current frame *) -val set_frame : int -> unit - -(* Move up one frame *) -(* Return stack position and current pc. - If there's no frame above, return (-1, 0). *) -val up_frame : int -> int * int - -(* Set the trap barrier to given stack position. *) -val set_trap_barrier : int -> unit - -(* Handling of remote values *) - -exception Marshalling_error - -module Remote_value : - sig - type t - - val obj : t -> 'a - val is_block : t -> bool - val tag : t -> int - val size : t -> int - val field : t -> int -> t - val same : t -> t -> bool - - val of_int : int -> t - - val local : int -> t - val from_environment : int -> t - val global : int -> t - val accu : unit -> t - val closure_code : t -> int - - end |