diff options
Diffstat (limited to 'debugger/command_line_interpreter.mli')
| -rw-r--r-- | debugger/command_line_interpreter.mli | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/debugger/command_line_interpreter.mli b/debugger/command_line_interpreter.mli new file mode 100644 index 000000000..f4bf9edea --- /dev/null +++ b/debugger/command_line_interpreter.mli @@ -0,0 +1,20 @@ +(***********************************************************************) +(* *) +(* 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 *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + +(************************ Reading and executing commands ***************) + +open Lexing;; + +val interprete_line : string -> bool;; +val line_loop : lexbuf -> unit;; |