Module DGraphViewItem

module DGraphViewItem: sig .. end

View items for the different elements of a graph.


Shape

type shape_p = [ `DASH of float * float array
| `FILL_COLOR_RGBA of int32
| `OUTLINE_COLOR_RGBA of int32
| `WIDTH_UNITS of float ]

Shape properties

class type textshape = object .. end
class type shape = object .. end

Text

class graph_text : GnomeCanvas.text Gtk.obj -> size_points:float -> props:GnomeCanvas.text_p list -> object .. end

Derived text class.

View items

class type common_view = object .. end
class ['a] view_item : fill:bool -> delay:bool -> view:common_view -> pos:float * float -> ops_list:XDotDraw.operation list list -> item:'a -> object .. end

ViewItem class.

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