parse rules

Author: Ioana

main.ml

@@ -1,10 +1,13 @@
 let files = ref []
 let formula_file = ref ""
+let rule_file = ref ""
 let read_fm = ref []
+let read_rule = ref []
 let debug_mode = ref false
 
 let options = [
-    ("-f", Arg.Set_string formula_file, "file name skeleton for outputs");
+    ("-f", Arg.Set_string formula_file, "file name for formulas");
+    ("-r", Arg.Set_string rule_file, "file name for rules");
     ("-debug", Arg.Set debug_mode, "print internal info");]
 
 let test_z3 t =
@@ -50,6 +53,20 @@ let parse_fm () =
     done
   with Lexer.Eof -> ()
 
+let parse_rules () =
+  let () = if (!Parameter.debug_mode) then
+             Format.printf "parse file %s\n" (!rule_file) in
+  let chan = open_in (!rule_file) in
+  try
+    let lexbuf = Lexing.from_channel chan in
+    while true do
+      let result = ParserRule.newline LexerRule.token lexbuf in
+      read_rule := result::(!read_rule);
+      if (!Parameter.debug_mode) then
+        (Format.printf "parsing \n"; Ast.print result;Format.printf"\n")
+    done
+  with LexerRule.Eof -> ()
+
 let set_flags () =
   Parameter.debug_mode := !debug_mode
 
@@ -80,7 +97,7 @@ let () =
       (Sys.argv.(0) ^
        " stories\n outil") in
   let () = set_flags () in
-  (*  let () = parse_fm () in*)
+  let () = parse_rules () in
   let posets = Domain.set_posets (!files) in
   ()
   (*  test_z3 posets*)

site_graph.ml

@@ -229,28 +229,28 @@ let pushout graph1 graph2 =
   if (check_site_graph graph) then (Some graph)
   else None
 
-let test_check_site_graphs =
-  if (check_site_graph bad_graph1) then Format.printf "bad1 : site graph\n"
-  else Format.printf "bad1 : not a site graphs\n";
-  if (check_site_graph test_graph5) then Format.printf "graph5 : site graph\n"
-  else Format.printf "graph5 : not a site graphs\n";
-  if (check_site_graph bad_graph3) then Format.printf "bad3 : site graph\n"
-  else Format.printf "bad3 : not a site graphs\n";
-  if (check_site_graph bad_graph4) then Format.printf "bad4 : site graph\n"
-  else Format.printf "bad4 : not a site graphs\n";
-  Format.printf "\n\n"
+(* let test_check_site_graphs = *)
+(*   if (check_site_graph bad_graph1) then Format.printf "bad1 : site graph\n" *)
+(*   else Format.printf "bad1 : not a site graphs\n"; *)
+(*   if (check_site_graph test_graph5) then Format.printf "graph5 : site graph\n" *)
+(*   else Format.printf "graph5 : not a site graphs\n"; *)
+(*   if (check_site_graph bad_graph3) then Format.printf "bad3 : site graph\n" *)
+(*   else Format.printf "bad3 : not a site graphs\n"; *)
+(*   if (check_site_graph bad_graph4) then Format.printf "bad4 : site graph\n" *)
+(*   else Format.printf "bad4 : not a site graphs\n"; *)
+(*   Format.printf "\n\n" *)
 
-let test_pushout =
-  let () =
-    match (pushout test_graph1 test_graph2) with
-    | Some gr -> Format.printf "pushout 1, 2: \n"; print_graph gr
-    | None -> Format.printf "pushout not a site graphs\n" in
-  Format.printf "\n\n";
-  let () =
-    match (pushout test_graph3 test_graph4) with
-    | Some gr -> Format.printf "pushout 3, 4:\n"; print_graph gr
-    | None -> Format.printf "pushout not a site graphs\n" in
-  ()
+(* let test_pushout = *)
+(*   let () = *)
+(*     match (pushout test_graph1 test_graph2) with *)
+(*     | Some gr -> Format.printf "pushout 1, 2: \n"; print_graph gr *)
+(*     | None -> Format.printf "pushout not a site graphs\n" in *)
+(*   Format.printf "\n\n"; *)
+(*   let () = *)
+(*     match (pushout test_graph3 test_graph4) with *)
+(*     | Some gr -> Format.printf "pushout 3, 4:\n"; print_graph gr *)
+(*     | None -> Format.printf "pushout not a site graphs\n" in *)
+(*   () *)
 
-let test () =
-  test_pushout
+(* let test () = *)
+(*   test_pushout *)

site_graph.mli

@@ -20,4 +20,4 @@ type t = {
   }
 
 val print_graph : t -> unit
-val test : unit -> unit
+(*val test : unit -> unit*)