module Node: functor (
M
:
Map
) ->
sig
.. end
Lazily associates a node to any element.
type
t = M.key
val get : t -> Dotgraph.node
val node : Dotgraph.dot -> t -> Dotgraph.attr list -> unit
val inode : Dotgraph.dot -> t -> Dotgraph.attr list -> Dotgraph.node
val record : Dotgraph.dot ->
t ->
?rounded:bool -> ?attr:Dotgraph.attr list -> Dotgraph.record -> unit
val irecord : Dotgraph.dot ->
t ->
?rounded:bool -> ?attr:Dotgraph.attr list -> Dotgraph.record -> Dotgraph.node
val clear : unit -> unit
val once : (t -> Dotgraph.node -> unit) -> unit
Executes the callback
once for all created nodes.
Any previously registered callback by
once
or
push
is replaced
by the new one.
Warning: the callback is executed as soon as get
is called
for the first time, possibly interfering with your current output
on a dot
buffer. To insert additional Dot material with a callback,
use push
instead.
val push : Dotgraph.dot -> (t -> Dotgraph.node -> unit) -> unit
Pushes the callback once for all created nodes.
You must call pop_call
at some point to flush them.
Any previsously registred callback by once
or push
is replaced
by the new one.
val prefix : string -> unit
Set node prefix.
Otherwize, some default one is created for each functor application.