|
Packit |
bd2e5d |
(*************************************************************************)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(* OCaml LablTk library *)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(* Jacques Garrigue, Kyoto University RIMS *)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(* Copyright 1999 Institut National de Recherche en Informatique et *)
|
|
Packit |
bd2e5d |
(* en Automatique and Kyoto University. All rights reserved. *)
|
|
Packit |
bd2e5d |
(* This file is distributed under the terms of the GNU Library *)
|
|
Packit |
bd2e5d |
(* General Public License, with the special exception on linking *)
|
|
Packit |
bd2e5d |
(* described in file ../../../LICENSE. *)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(*************************************************************************)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
(* $Id$ *)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
open Widget
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
val top_widgets : any widget list ref
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
type module_widgets =
|
|
Packit |
bd2e5d |
{ mw_frame: frame widget;
|
|
Packit |
bd2e5d |
mw_title: label widget option;
|
|
Packit |
bd2e5d |
mw_detach: button widget;
|
|
Packit |
bd2e5d |
mw_edit: button widget;
|
|
Packit |
bd2e5d |
mw_intf: button widget }
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
val add_shown_module : Path.t -> widgets:module_widgets -> unit
|
|
Packit |
bd2e5d |
val find_shown_module : Path.t -> module_widgets
|
|
Packit |
bd2e5d |
val is_shown_module : Path.t -> bool
|
|
Packit |
bd2e5d |
val default_frame : module_widgets option ref
|
|
Packit |
bd2e5d |
val set_path : (Path.t -> sign:Types.signature -> unit) ref
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
val view_defined_ref : (Longident.t -> env:Env.t -> unit) ref
|
|
Packit |
bd2e5d |
val editor_ref :
|
|
Packit |
bd2e5d |
(?file:string -> ?pos:int -> ?opendialog:bool -> unit -> unit) ref
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
val view_signature :
|
|
Packit |
bd2e5d |
?title:string ->
|
|
Packit |
bd2e5d |
?path:Path.t -> ?env:Env.t -> ?detach:bool -> Types.signature -> unit
|
|
Packit |
bd2e5d |
val view_signature_item :
|
|
Packit |
bd2e5d |
Types.signature -> path:Path.t -> env:Env.t -> unit
|
|
Packit |
bd2e5d |
val view_module_id : Longident.t -> env:Env.t -> unit
|
|
Packit |
bd2e5d |
val view_type_id : Longident.t -> env:Env.t -> unit
|
|
Packit |
bd2e5d |
val view_class_id : Longident.t -> env:Env.t -> unit
|
|
Packit |
bd2e5d |
val view_cltype_id : Longident.t -> env:Env.t -> unit
|
|
Packit |
bd2e5d |
val view_modtype_id : Longident.t -> env:Env.t -> unit
|
|
Packit |
bd2e5d |
val view_type_decl : Path.t -> env:Env.t -> unit
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
type skind = [`Type|`Class|`Module|`Modtype]
|
|
Packit |
bd2e5d |
val search_pos_signature :
|
|
Packit |
bd2e5d |
Parsetree.signature -> pos:int -> env:Env.t ->
|
|
Packit |
bd2e5d |
((skind * Longident.t) * Env.t * Location.t) list
|
|
Packit |
bd2e5d |
val view_decl : Longident.t -> kind:skind -> env:Env.t -> unit
|
|
Packit |
bd2e5d |
val view_decl_menu :
|
|
Packit |
bd2e5d |
Longident.t ->
|
|
Packit |
bd2e5d |
kind:skind -> env:Env.t -> parent:text widget -> menu widget
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
type fkind = [
|
|
Packit |
bd2e5d |
`Exp of
|
|
Packit |
bd2e5d |
[`Expr|`Pat|`Const|`Val of Path.t|`Var of Path.t|`New of Path.t]
|
|
Packit |
bd2e5d |
* Types.type_expr
|
|
Packit |
bd2e5d |
| `Class of Path.t * Types.class_type
|
|
Packit |
bd2e5d |
| `Module of Path.t * Types.module_type
|
|
Packit |
bd2e5d |
]
|
|
Packit |
bd2e5d |
val search_pos_structure :
|
|
Packit |
bd2e5d |
pos:int -> Typedtree.structure_item list ->
|
|
Packit |
bd2e5d |
(fkind * Env.t * Location.t) list
|
|
Packit |
bd2e5d |
val search_pos_info :
|
|
Packit |
bd2e5d |
pos:int -> Stypes.annotation list -> (fkind * Env.t * Location.t) list
|
|
Packit |
bd2e5d |
val view_type : fkind -> env:Env.t -> unit
|
|
Packit |
bd2e5d |
val view_type_menu : fkind -> env:Env.t -> parent:'a widget -> menu widget
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
val parent_path : Path.t -> Path.t option
|
|
Packit |
bd2e5d |
val string_of_path : Path.t -> string
|
|
Packit |
bd2e5d |
val string_of_longident : Longident.t -> string
|
|
Packit |
bd2e5d |
val lines_to_chars : int -> text:string -> int
|