Blame browser/searchpos.mli

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