From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 20 Nov 2002 16:05:42 +0000 (+0000)
Subject: <h:depth> must precede <h:occurrence> (to make metadata inversion easier)
X-Git-Tag: V_0_0_5~25
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=54b0272352e36b031b2c549860a0bb26fb616c40;p=helm.git

<h:depth> must precede <h:occurrence> (to make metadata inversion easier)
---

diff --git a/helm/metadata/create_V7_mowgli/METADATA/sthandler.c b/helm/metadata/create_V7_mowgli/METADATA/sthandler.c
index b6f64a068..e26569fcd 100644
--- a/helm/metadata/create_V7_mowgli/METADATA/sthandler.c
+++ b/helm/metadata/create_V7_mowgli/METADATA/sthandler.c
@@ -326,8 +326,8 @@ print_mainconcl(about,outrel,outsort,uri,depth)
       {
 	printf("\t\t<h:refObj rdf:parseType=\"Resource\">");
 	printf("\n\t\t\t\t<h:position rdf:resource=\"&hns;MainConclusion\"/>");
-	printf("\n\t\t\t\t<h:occurrence><h:Object rdf:about=\"%s\"/></h:occurrence>",uri);
 	printf("\n\t\t\t\t<h:depth>%d</h:depth>",depth);
+	printf("\n\t\t\t\t<h:occurrence><h:Object rdf:about=\"%s\"/></h:occurrence>",uri);
 	printf("\n\t\t</h:refObj>\n");
       }
 }
diff --git a/helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.c b/helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.c
index 3f391a79e..a6e3a04af 100644
--- a/helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.c
+++ b/helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.c
@@ -329,8 +329,8 @@ print_mainconcl(about,out,outrel,outsort,uri,depth)
       {
 	fprintf(out,"\t\t<h:refObj rdf:parseType=\"Resource\">");
 	fprintf(out,"\n\t\t\t\t<h:position rdf:resource=\"&hns;MainConclusion\"/>");
-	fprintf(out,"\n\t\t\t\t<h:occurrence><h:Object rdf:about=\"%s\"/></h:occurrence>",uri);
 	fprintf(out,"\n\t\t\t\t<h:depth>%d</h:depth>",depth);
+	fprintf(out,"\n\t\t\t\t<h:occurrence><h:Object rdf:about=\"%s\"/></h:occurrence>",uri);
 	fprintf(out,"\n\t\t</h:refObj>\n");
       }
 }