Je dispose d'un source java sous forme XML (grâce à un petit programme nommé Java2Xml), que j'importe en Ocaml avec Xml-Light.
Mon xml en caml est représenté avec le type :
type xmls = Elem of (string * (string * string) list * xmls list);;(c'est celui de Xml Light, mais simplifié car je n'ai jamais de PCData avec l'xml que je traite)
J'ai donc créé une grammaire java (…)