X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter_galax%2Ftest_pattern.ml;fp=helm%2Focaml%2Fmathql_interpreter_galax%2Ftest_pattern.ml;h=a06eca8ed3bec0462de281dac4c593b9c6848931;hb=eef875893d96b25d1b685fc9865b46c4267a31a6;hp=0000000000000000000000000000000000000000;hpb=9519a138c26383f30f018376bc6cf875f8b0c82e;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter_galax/test_pattern.ml b/helm/ocaml/mathql_interpreter_galax/test_pattern.ml
new file mode 100755
index 000000000..a06eca8ed
--- /dev/null
+++ b/helm/ocaml/mathql_interpreter_galax/test_pattern.ml
@@ -0,0 +1,28 @@
+
+
+
+open Mathql_semantics;;
+open MathQL;;
+
+(* stampa tutti i documenti che fanno match con un pattern di input *)
+List.iter
+ (function atturi -> print_endline ("output: " ^ atturi))
+  (match Mqint2.execute
+    (MQList
+         (MQPattern
+	     (
+	          Some "cic",
+		     (* [MQBD;MQBC "Algebra"; MQBD; MQBC "Basics"; MQBSS],*)
+		         [MQBD;MQBC "Algebra"; MQBD; MQBC "Basics"; MQBD;
+			     MQBC"Z_exh.con"],
+			         (*[MQBSS; MQBC ".var"],*)
+				      []
+				      )
+				      )
+     ) with MQRefs l -> l
+   );
+
+
+
+						   ;;
+