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.