]> rtime.felk.cvut.cz Git - l4.git/blob - l4/pkg/ocaml/ocaml/contrib/otherlibs/labltk/browser/viewer.mli
Update
[l4.git] / l4 / pkg / ocaml / ocaml / contrib / otherlibs / labltk / browser / viewer.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: viewer.mli 4990 2002-07-11 13:49:51Z garrigue $ *)
16
17 (* Module viewer *)
18 open Widget
19
20 val search_symbol : unit -> unit
21         (* search a symbol in all modules in the path *)
22
23 val f : ?dir:string -> ?on:toplevel widget -> unit -> unit
24         (* open then module viewer *)
25 val st_viewer : ?dir:string -> ?on:toplevel widget -> unit -> unit
26         (* one-box viewer *)
27
28 val view_defined : env:Env.t -> ?show_all:bool -> Longident.t -> unit
29         (* displays a signature, found in environment *)
30
31 val close_all_views : unit -> unit