From bb7506ae65de577d2e7c283c61ce80dc4fa4daa3 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 7 Jun 2005 17:21:32 +0000 Subject: [PATCH] implemented attributes pretty printing --- helm/ocaml/cic_transformations/cic2Xml.ml | 18 ++++++++++++++++-- 1 file changed, 16 insertions(+), 2 deletions(-) diff --git a/helm/ocaml/cic_transformations/cic2Xml.ml b/helm/ocaml/cic_transformations/cic2Xml.ml index 3be3ba7f1..759f630b4 100644 --- a/helm/ocaml/cic_transformations/cic2Xml.ml +++ b/helm/ocaml/cic_transformations/cic2Xml.ml @@ -260,8 +260,22 @@ let print_term ~ids_to_inner_sorts = aux ;; - (* TODO ZACK implement attributes pretty printing *) -let xml_of_attrs attributes = [< >] +let xml_of_attrs attributes = + let class_of = function + | `Coercion -> "coercion" + | `Elim Cic.Prop -> "elimProp" + | `Elim Cic.CProp -> "elimCProp" + | `Elim Cic.Set -> "elimSet" + | `Elim (Cic.Type _) -> "elimType" + | `Record -> "record" + | `Projection -> "projection" + in + let xml_attr_of = function + | `Generated -> None, "generated", "true" + | `Class c -> None, "class", class_of c + in + let xml_attrs = List.map xml_attr_of attributes in + Xml.xml_empty "attributes" xml_attrs let print_object uri ~ids_to_inner_sorts ~ask_dtd_to_the_getter obj = let find_sort id = -- 2.39.2