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