l4/pkg/ocaml/ocaml/contrib/otherlibs/labltk/browser/shell.mli

   1 (*************************************************************************)
   2 (*                                                                       *)
   3 (*                Objective Caml LablTk library                          *)
   4 (*                                                                       *)
   5 (*            Jacques Garrigue, Kyoto University RIMS                    *)
   6 (*                                                                       *)
   7 (*   Copyright 1999 Institut National de Recherche en Informatique et    *)
   8 (*   en Automatique and Kyoto University.  All rights reserved.          *)
   9 (*   This file is distributed under the terms of the GNU Library         *)
  10 (*   General Public License, with the special exception on linking       *)
  11 (*   described in file ../../../LICENSE.                                 *)
  12 (*                                                                       *)
  13 (*************************************************************************)
  14
  15 (* $Id: shell.mli 5044 2002-07-25 22:51:47Z garrigue $ *)
  16
  17 class ['a] history :
  18   unit ->
  19   object
  20     val mutable count : int
  21     val mutable history : 'a list
  22     method add : 'a -> unit
  23     method empty : bool
  24     method next : 'a
  25     method previous : 'a
  26   end
  27
  28 (* toplevel shell *)
  29
  30 class shell :
  31   textw:Widget.text Widget.widget -> prog:string ->
  32   args:string array -> env:string array -> history:string history ->
  33   object
  34     method alive : bool
  35     method kill : unit
  36     method interrupt : unit
  37     method insert : string -> unit
  38     method send : string -> unit
  39     method history : [`Next|`Previous] -> unit
  40   end
  41
  42 val kill_all : unit -> unit
  43 val get_all : unit -> (string * shell) list
  44 val warnings : string ref
  45
  46 val f : prog:string -> title:string -> unit