/usr/lib/ocaml/ocamlgraph/dGraphViewItem.mli is in libocamlgraph-viewer-ocaml-dev 1.8.1-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 | (**************************************************************************)
(* *)
(* This file is part of OcamlGraph. *)
(* *)
(* Copyright (C) 2009-2010 *)
(* CEA (Commissariat à l'Énergie Atomique) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
(* Lesser General Public License as published by the Free Software *)
(* Foundation, version 2.1, with a linking exception. *)
(* *)
(* It is distributed in the hope that it will be useful, *)
(* but WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *)
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the file ../LICENSE for more details. *)
(* *)
(* Authors: *)
(* - Julien Signoles (Julien.Signoles@cea.fr) *)
(* - Jean-Denis Koeck (jdkoeck@gmail.com) *)
(* - Benoit Bataille (benoit.bataille@gmail.com) *)
(* *)
(**************************************************************************)
(** View items for the different elements of a graph. *)
(* ********************************************************************** *)
(** {2 Shape} *)
(* ********************************************************************** *)
(** Shape properties *)
type shape_p = [ `FILL_COLOR_RGBA of int32
| `OUTLINE_COLOR_RGBA of int32
| `WIDTH_UNITS of float
| `DASH of float * float array ]
class type textshape = object
method highlight: ?color:int32 * int32 -> unit -> unit
(** Change the color of the text. May be cancelled by [dehighlight].
If [color] is [primary,secondary], then
[primary] is used except if the current color is [primary]. In this
case, [secondary] is used. *)
method dehighlight: unit -> unit
(** Cancel [highlight]. *)
method hide: unit -> unit
method show: unit -> unit
method lower_to_bottom: unit -> unit
method connect:
< event : callback:(GnoCanvas.item_event -> bool) -> GtkSignal.id;
after : GnoCanvas.item_signals;
destroy : callback:(unit -> unit) -> GtkSignal.id; >
end
class type shape = object
inherit GnoCanvas.base_item
inherit textshape
val obj : GnomeCanvas.item Gtk.obj
method set: shape_p list -> unit
end
(* ********************************************************************** *)
(** {2 Text} *)
(* ********************************************************************** *)
(** Derived text class. *)
class graph_text :
GnomeCanvas.text Gtk.obj ->
size_points:float ->
props:GnomeCanvas.text_p list ->
object
inherit GnoCanvas.text
inherit textshape
method resize: float -> unit
end
(* ********************************************************************** *)
(** {2 View items} *)
(* ********************************************************************** *)
class type common_view = object
inherit GnoCanvas.canvas
method zoom_factor : float
method adapt_zoom : unit -> unit
end
(** ViewItem class.
Group of shapes and texts *)
class ['a ] view_item :
fill:bool ->
delay:bool (** May the item be displayed non instantaneously? *) ->
view:common_view ->
pos:float * float ->
ops_list:XDotDraw.operation list list ->
item:'a ->
object
inherit GnoCanvas.group
method item: 'a
method zoom_text: float -> unit
method highlight: ?color: int32 * int32 -> unit -> unit
(** Change the color of the item. May be cancelled by [dehighlight].
If [color] is [primary,secondary], then
[primary] is used except if the current color is [primary]. In this
case, [secondary] is used. *)
method dehighlight: unit -> unit
(** Cancel [highlight]. *)
method show : unit -> unit
method hide : unit -> unit
method center : unit -> unit
method connect_event: callback:(GnoCanvas.item_event -> bool) -> unit
method compute: unit -> unit (** apply all delayed operations *)
method lower_to_bottom: unit -> unit
end
exception Cannot_convert_color of string
val view_node:
delay:bool ->
view:common_view ->
vertex:'vertex ->
layout:XDot.node_layout ->
unit ->
'vertex view_item
val view_edge:
delay:bool ->
view:common_view ->
edge:'edge ->
layout:XDot.edge_layout ->
unit ->
'edge view_item
val view_cluster:
delay:bool ->
view:common_view ->
cluster:'cluster ->
layout:XDot.cluster_layout ->
unit ->
'cluster view_item
|