]> matita.cs.unibo.it Git - helm.git/commitdiff
* the main function MUST return 0 to communicate everything was OK
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 1 Oct 2003 13:08:08 +0000 (13:08 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 1 Oct 2003 13:08:08 +0000 (13:08 +0000)
helm/metadata/create_V7_mowgli/METADATA/meta_lex.l
helm/metadata/create_V7_mowgli/METADATA/meta_lex_ind.l

index 2f8c4b039f06204e2b77fb5831e52e84bd5038a3..18ea05cc9941127c6f4b8712bcdd34d35a9b5f84 100644 (file)
@@ -283,6 +283,12 @@ main(int argc, char *argv[])
     PGconn     *conn;
     PGresult   *res;
 
+    if (argc != 4)
+    {
+        fprintf(stderr, "Usage: meta <object_uri> <body_file> <type_file>\n");
+        exit(1);
+    }
+
     /*
      * begin, by setting the parameters for a backend connection if the
      * parameters are null, then the system will try to use reasonable
@@ -291,7 +297,7 @@ main(int argc, char *argv[])
      */
 
     /* make a connection to the database */
-    conn = PQconnectdb("user=helm dbname=mowgli");
+    conn = PQconnectdb("user=helm dbname=mowgli_test");
 
     /*
      * check to see that the backend connection was successfully made
@@ -310,16 +316,16 @@ main(int argc, char *argv[])
     init_symbol_table();
 
     // We process the body
-    if (!stat("tmp/body.xml",&buf)) 
+    if (!stat(argv[2],&buf)) 
     {
-        yyin = fopen("tmp/body.xml", "r");
+        yyin = fopen(argv[2], "r");
         position = INBODY;
         yylex();
         fclose(yyin);
      }
 
     // We process the type
-    yyin = fopen("tmp/type.xml", "r");
+    yyin = fopen(argv[3], "r");
     position = INTYPE;
     first_child = HERE;
     no_open_source = 0;
@@ -328,6 +334,8 @@ main(int argc, char *argv[])
     yylex(); 
     fclose(yyin);
     print_all(argv[1],conn);
+
+    return 0;
 } 
 
 
index ef0abac72c3ea09915f528d463835ec6aa56a4dd..31e1416f0fbf6e833adc003e4da89d9d06e46589 100644 (file)
@@ -316,6 +316,12 @@ main(int argc, char *argv[])
 
     PGresult   *res;
 
+    if (argc != 3)
+    {
+        fprintf(stderr, "Usage: meta_ind <object_uri> <inductive_type_file>\n");
+        exit(1);
+    }
+
     /*
      * begin, by setting the parameters for a backend connection if the
      * parameters are null, then the system will try to use reasonable
@@ -342,8 +348,10 @@ main(int argc, char *argv[])
     source_uri = malloc((sizeof('a')*2000));
     source_uri_prefix=argv[1];
     /* fprintf(stderr,"qua"); */
-    yyin = fopen("tmp/inductive_type.xml", "r");
+    yyin = fopen(argv[2], "r");
     yylex();
+
+    return 0;
 }
 
 search(uri,first_child,position,depth)