Previous  Up  Next

Module Gml

module Gml: sig .. end
Parser and pretty-printer for GML file format.
type value =
| Int of int
| Float of float
| String of string
| List of value_list 
type value_list = (string * value) list

Parser


module Parse: 
functor (B : Builder.S) -> 
functor (L : sig
val node : Gml.value_list -> B.G.V.label
How to build the node label out of the set of GML attributes. For example 
node [ id 12 label "foo" ]
will call this function with ["id", Int 12; "label", String "foo"]
val edge : Gml.value_list -> B.G.E.label
How to build the edge label out of the set of GML attributes
end) -> sig .. end
Provide a parser for GML file format.

Pretty-printer


module type G = sig .. end
Signature for graph required by Gml.Print. 
module Print: 
functor (G : G) -> 
functor (L : sig
val node : Gml.G.V.label -> Gml.value_list
val edge : Gml.G.E.label -> Gml.value_list
end) -> sig .. end
Provide a pretty-printer for GML file format.