diff options
| author | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1998-06-24 19:22:26 +0000 |
|---|---|---|
| committer | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1998-06-24 19:22:26 +0000 |
| commit | 87b17301f4a408109a0f00f7a297b02c79724bc1 (patch) | |
| tree | 3942d177b1a77e0c260e39507b6dcc7d1da47581 /byterun/debugger.h | |
| parent | af85f7c394f650348ee4ca5b34eb8e99619bc11c (diff) | |
| download | ocaml-87b17301f4a408109a0f00f7a297b02c79724bc1.tar.gz | |
Nouvelle syntaxe des classes
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1997 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'byterun/debugger.h')
| -rw-r--r-- | byterun/debugger.h | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/byterun/debugger.h b/byterun/debugger.h index caef223b97..412d1b73df 100644 --- a/byterun/debugger.h +++ b/byterun/debugger.h @@ -20,6 +20,7 @@ #include "mlvalues.h" extern int debugger_in_use; +extern int running; extern unsigned long event_count; enum event_kind { @@ -37,8 +38,9 @@ void debugger (enum event_kind event); enum debugger_request { REQ_SET_EVENT = 'e', /* uint32 pos */ /* Set an event on the instruction at position pos */ - REQ_SET_BREAKPOINT = 'B', /* uint32 pos */ + REQ_SET_BREAKPOINT = 'B', /* uint32 pos, (char k) */ /* Set a breakpoint at position pos */ + /* In profiling mode, the breakpoint kind is set to k */ REQ_RESET_INSTR = 'i', /* uint32 pos */ /* Clear an event or breapoint at position pos, restores initial instr. */ REQ_CHECKPOINT = 'c', /* no args */ @@ -80,9 +82,11 @@ enum debugger_request { REQ_MARSHAL_OBJ = 'M', /* mlvalue v */ /* Send a copy of the data structure rooted at v, using the same format as output_value. */ - REQ_GET_CLOSURE_CODE = 'C' /* mlvalue v */ + REQ_GET_CLOSURE_CODE = 'C', /* mlvalue v */ /* Send the code address of the given closure. Reply is one uint32. */ + REQ_PROFILING = 'P' /* no args */ + /* Switch to profiler mode. */ }; /* Replies to a REQ_GO request. All replies are followed by three uint32: |