From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Wed, 20 Nov 2002 10:52:24 +0000 (+0000)
Subject: Minor bug fixes:
X-Git-Tag: V_0_0_5~30
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9261580b5e489f52d7e67bbcc918a564e0848035;p=helm.git

Minor bug fixes:
 - forward_{rel|sort}.rdf ==> forward_{rel|sort}.xml
 - forward_{rel|sort}.xml were not valid XML documents
---

diff --git a/helm/metadata/create_V7_mowgli/METADATA/lex.yy.c b/helm/metadata/create_V7_mowgli/METADATA/lex.yy.c
index a2f806d52..3f5797628 100644
--- a/helm/metadata/create_V7_mowgli/METADATA/lex.yy.c
+++ b/helm/metadata/create_V7_mowgli/METADATA/lex.yy.c
@@ -1895,14 +1895,14 @@ main(int argc, char *argv[])
                    FILE *outrel, *outsort;
 
                    init_symbol_table();
-                   if (!(outrel = fopen("forward_rel.rdf","a"))) 
+                   if (!(outrel = fopen("forward_rel.xml","a"))) 
                      {
-		      fprintf(stderr, "error in openinf file forward_rel.rdf\n");
+		      fprintf(stderr, "error in opening file forward_rel.xml\n");
                       exit(-1);
                      }
-                   if (!(outsort = fopen("forward_sort.rdf","a"))) 
+                   if (!(outsort = fopen("forward_sort.xml","a"))) 
                      {
-		      fprintf(stderr, "error in openinf file forward_rel.rdf\n");
+		      fprintf(stderr, "error in opening file forward_sort.xml\n");
                       exit(-1);
                      }
                    // We process the body
diff --git a/helm/metadata/create_V7_mowgli/METADATA/lex.yy_ind.c b/helm/metadata/create_V7_mowgli/METADATA/lex.yy_ind.c
index c233e427a..acf8e8ab8 100644
--- a/helm/metadata/create_V7_mowgli/METADATA/lex.yy_ind.c
+++ b/helm/metadata/create_V7_mowgli/METADATA/lex.yy_ind.c
@@ -1969,14 +1969,14 @@ print_file()
 		      fprintf(stderr, "error in openinf file %s\n", filename);
                       exit(-1);
                      } 
-                   if (!(outrel = fopen("forward_rel.rdf","a"))) 
+                   if (!(outrel = fopen("forward_rel.xml","a"))) 
                      {
-		      fprintf(stderr, "error in openinf file forward_rel.rdf\n");
+		      fprintf(stderr, "error in opening file forward_rel.xml\n");
                       exit(-1);
                      }
-                   if (!(outsort = fopen("forward_sort.rdf","a"))) 
+                   if (!(outsort = fopen("forward_sort.xml","a"))) 
                      {
-		      fprintf(stderr, "error in openinf file forward_rel.rdf\n");
+		      fprintf(stderr, "error in opening file forward_sort.xml\n");
                       exit(-1);
                      }
                  
diff --git a/helm/metadata/create_V7_mowgli/METADATA/sthandler.c b/helm/metadata/create_V7_mowgli/METADATA/sthandler.c
index 916d3f13d..15b83fa7e 100644
--- a/helm/metadata/create_V7_mowgli/METADATA/sthandler.c
+++ b/helm/metadata/create_V7_mowgli/METADATA/sthandler.c
@@ -269,7 +269,7 @@ print_mainhyp(about,outrel,outsort,uri,l)
 	  {
 	    fprintf(outsort,"\t\t<h:refSort rdf:parseType=\"Resource\">");
             fprintf(outsort,"\n\t\t\t\t<h:position rdf:resource=\"&hns;MainHypothesis\"/>");
-            fprintf(outsort,"\n\t\t\t\t<h:sort rdf:resource=\"&hns;%s\">",uri);
+            fprintf(outsort,"\n\t\t\t\t<h:sort rdf:resource=\"&hns;%s\"/>",uri);
             fprintf(outsort,"\n\t\t\t\t<h:depth>%d</h:depth>",curr->val);
             fprintf(outsort,"\n\t\t</h:refSort>\n");
             curr = curr->next;
@@ -307,7 +307,7 @@ print_mainconcl(about,outrel,outsort,uri,depth)
 	fprintf(outrel,"\t\t<h:refRel rdf:parseType=\"Resource\">");
 	fprintf(outrel,"\n\t\t\t\t<h:position rdf:resource=\"&hns;MainConclusion\"/>");
 	fprintf(outrel,"\n\t\t\t\t<h:depth>%d</h:depth>",depth);
-	fprintf(outrel,"\n\t\t</h:refObj>\n");
+	fprintf(outrel,"\n\t\t</h:refRel>\n");
         fprintf(outrel,"\t</h:Object>\n");
       }
     else if ((!strcmp(uri,"Prop")) || (!strcmp(uri,"Type")) ||
@@ -318,7 +318,7 @@ print_mainconcl(about,outrel,outsort,uri,depth)
         fprintf(outsort,"\">\n");
 	fprintf(outsort,"\t\t<h:refSort rdf:parseType=\"Resource\">");
 	fprintf(outsort,"\n\t\t\t\t<h:position rdf:resource=\"&hns;MainConclusion\"/>");
-	fprintf(outsort,"\n\t\t\t\t<h:sort>%s</h:sort>",uri);
+        fprintf(outsort,"\n\t\t\t\t<h:sort rdf:resource=\"&hns;%s\"/>",uri);
 	fprintf(outsort,"\n\t\t\t\t<h:depth>%d</h:depth>",depth);
 	fprintf(outsort,"\n\t\t</h:refSort>\n");
         fprintf(outsort,"\t</h:Object>\n");
diff --git a/helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.c b/helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.c
index d49863f5b..3f391a79e 100644
--- a/helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.c
+++ b/helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.c
@@ -270,7 +270,7 @@ print_mainhyp(about,out,outrel,outsort,uri,l)
 	  {
             fprintf(outsort,"\t\t<h:refSort rdf:parseType=\"Resource\">");
             fprintf(outsort,"\n\t\t\t\t<h:position rdf:resource=\"&hns;MainHypothesis\"/>");
-            fprintf(outsort,"\n\t\t\t\t<h:sort rdf:resource=\"&hns;%s\">",uri);
+            fprintf(outsort,"\n\t\t\t\t<h:sort rdf:resource=\"&hns;%s\"/>",uri);
             fprintf(outsort,"\n\t\t\t\t<h:depth>%d</h:depth>",curr->val);
             fprintf(outsort,"\n\t\t</h:refSort>\n");
             curr = curr->next;
@@ -309,7 +309,7 @@ print_mainconcl(about,out,outrel,outsort,uri,depth)
 	fprintf(outrel,"\t\t<h:refRel rdf:parseType=\"Resource\">");
 	fprintf(outrel,"\n\t\t\t\t<h:position rdf:resource=\"&hns;MainConclusion\"/>");
 	fprintf(outrel,"\n\t\t\t\t<h:depth>%d</h:depth>",depth);
-	fprintf(outrel,"\n\t\t</h:refObj>\n");
+	fprintf(outrel,"\n\t\t</h:refRel>\n");
         fprintf(outrel,"\t</h:Object>\n");
       }
     else if ((!strcmp(uri,"Prop")) || (!strcmp(uri,"Type")) ||
@@ -320,7 +320,7 @@ print_mainconcl(about,out,outrel,outsort,uri,depth)
         fprintf(outsort,"\">\n");
 	fprintf(outsort,"\t\t<h:refSort rdf:parseType=\"Resource\">");
 	fprintf(outsort,"\n\t\t\t\t<h:position rdf:resource=\"&hns;MainConclusion\"/>");
-	fprintf(outsort,"\n\t\t\t\t<h:sort>%s</h:sort>",uri);
+        fprintf(outsort,"\n\t\t\t\t<h:sort rdf:resource=\"&hns;%s\"/>",uri);
 	fprintf(outsort,"\n\t\t\t\t<h:depth>%d</h:depth>",depth);
 	fprintf(outsort,"\n\t\t</h:refSort>\n");
         fprintf(outsort,"\t</h:Object>\n");