]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/create_V7_mowgli/METADATA/lex.yy.c
Bug fixed: refSort were exported (as refObj) also when occurring InHypothesis
[helm.git] / helm / metadata / create_V7_mowgli / METADATA / lex.yy.c
index 3f579762842ca6f267f6e8cff924ae0523fea66a..d86e087500fe5f9ff7d3fda43b77508591bff7dd 100644 (file)
@@ -872,7 +872,8 @@ case 13:
 YY_RULE_SETUP
 #line 161 "meta_lex.l"
 {         
-                    if ((position == INTYPE) | (position == MAINHYP))
+                    if (((position == INTYPE) | (position == MAINHYP)) &&
+                       (first_child == HERE))
                      {
                        tmp=(char *)malloc((sizeof('a')*200)); 
                        strcpy(tmp,yytext);
@@ -889,7 +890,7 @@ YY_RULE_SETUP
        YY_BREAK
 case 14:
 YY_RULE_SETUP
-#line 177 "meta_lex.l"
+#line 178 "meta_lex.l"
 {
                      skip = 1;
                      first_child = AFTER;
@@ -897,7 +898,7 @@ YY_RULE_SETUP
        YY_BREAK
 case 15:
 YY_RULE_SETUP
-#line 182 "meta_lex.l"
+#line 183 "meta_lex.l"
 { 
                      if (position == INTYPE) /* CONST on the spine */
                         position = INCONCL;
@@ -906,7 +907,7 @@ YY_RULE_SETUP
        YY_BREAK
 case 16:
 YY_RULE_SETUP
-#line 188 "meta_lex.l"
+#line 189 "meta_lex.l"
 { 
                      if (position == INTYPE) /* MUTIND on the spine */
                         position = INCONCL;
@@ -915,7 +916,7 @@ YY_RULE_SETUP
        YY_BREAK
 case 17:
 YY_RULE_SETUP
-#line 194 "meta_lex.l"
+#line 195 "meta_lex.l"
 { 
                      if (position == INTYPE) /* MUTCONSTRUCT on the spine */
                         position = INCONCL;
@@ -924,7 +925,7 @@ YY_RULE_SETUP
        YY_BREAK
 case 18:
 YY_RULE_SETUP
-#line 200 "meta_lex.l"
+#line 201 "meta_lex.l"
 {     
                          if (!skip) {
                             uri=(char *)malloc((sizeof('a')*200)); 
@@ -944,7 +945,7 @@ YY_RULE_SETUP
        YY_BREAK
 case 19:
 YY_RULE_SETUP
-#line 217 "meta_lex.l"
+#line 218 "meta_lex.l"
 {
                          if ((where == MUTIND) || (where == MUTCONSTRUCT))
                           { strsep(&yytext,&sep);
@@ -969,7 +970,7 @@ YY_RULE_SETUP
        YY_BREAK
 case 20:
 YY_RULE_SETUP
-#line 239 "meta_lex.l"
+#line 240 "meta_lex.l"
 {
                          if (where == MUTCONSTRUCT)
                           { strsep(&yytext,&sep);
@@ -989,10 +990,10 @@ YY_RULE_SETUP
        YY_BREAK
 case 21:
 YY_RULE_SETUP
-#line 258 "meta_lex.l"
+#line 259 "meta_lex.l"
 ECHO;
        YY_BREAK
-#line 996 "lex.yy.c"
+#line 997 "lex.yy.c"
 case YY_STATE_EOF(INITIAL):
        yyterminate();
 
@@ -1882,7 +1883,7 @@ int main()
        return 0;
        }
 #endif
-#line 258 "meta_lex.l"
+#line 259 "meta_lex.l"
 
 
  /***************************************************************/
@@ -1895,14 +1896,14 @@ main(int argc, char *argv[])
                    FILE *outrel, *outsort;
 
                    init_symbol_table();
-                   if (!(outrel = fopen("forward_rel.xml","a"))) 
+                   if (!(outrel = fopen("forward_rel.rdf","a"))) 
                      {
-                     fprintf(stderr, "error in opening file forward_rel.xml\n");
+                     fprintf(stderr, "error in openinf file forward_rel.rdf\n");
                       exit(-1);
                      }
-                   if (!(outsort = fopen("forward_sort.xml","a"))) 
+                   if (!(outsort = fopen("forward_sort.rdf","a"))) 
                      {
-                     fprintf(stderr, "error in opening file forward_sort.xml\n");
+                     fprintf(stderr, "error in openinf file forward_rel.rdf\n");
                       exit(-1);
                      }
                    // We process the body