License
authorLucca Hirschi <lucca.hirschi@gmail.com>
Wed, 4 Jul 2012 15:36:50 +0000 (17:36 +0200)
committerLucca Hirschi <lucca.hirschi@gmail.com>
Wed, 4 Jul 2012 15:36:50 +0000 (17:36 +0200)
run_tests
src/asta.ml
src/asta.mli
src/compil.ml
src/compil.mli
src/run.ml
src/run.mli
tests/docs/my.xml [new file with mode: 0644]

index 79d9c7b..5d5752d 100755 (executable)
--- a/run_tests
+++ b/run_tests
@@ -1,8 +1,8 @@
-./test.native ./tests/docs/tiny.xml '/child::site/child::regions'
+./test.native ./tests/docs/my.xml '/child::site/child::regions'
 echo "________________________________________________________________________________"
-./test.native ./tests/docs/tiny.xml -f ./tests/queries/Treebank.xml.queries
+./test.native ./tests/docs/my.xml -f ./tests/queries/Treebank.xml.queries
 echo "________________________________________________________________________________"
-./test.native ./tests/docs/tiny.xml '/descendant::listitem[not(descendant::keyword/child::emph)]/descendant::parlist'
+./test.native ./tests/docs/my.xml '/descendant::listitem[not(descendant::keyword/child::emph)]/descendant::parlist'
 echo "________________________________________________________________________________"
-./test.native ./tests/docs/tiny.xml -f ./tests/queries/my.queries
-./test.native ./tests/docs/tiny.xml -f ./tests/queries/my.queries 2> tests/results/my.result
\ No newline at end of file
+./test.native ./tests/docs/my.xml -f ./tests/queries/my.queries
+./test.native ./tests/docs/my.xml -f ./tests/queries/my.queries 2> tests/results/my.result
\ No newline at end of file
index 06396be..19fe29f 100644 (file)
@@ -2,8 +2,8 @@
 (*                                                                     *)
 (*                               TAToo                                 *)
 (*                                                                     *)
-(*                  Lucca Hirschi, ?   *)
-(*                  ?   *)
+(*                   Lucca Hirschi, LRI UMR8623                        *)
+(*                   Université Paris-Sud & CNRS                       *)
 (*                                                                     *)
 (*  Copyright 2010-2012 Université Paris-Sud and Centre National de la *)
 (*  Recherche Scientifique. All rights reserved.  This file is         *)
index 76ebdb1..14c2562 100644 (file)
@@ -2,8 +2,8 @@
 (*                                                                     *)
 (*                               TAToo                                 *)
 (*                                                                     *)
-(*                  Lucca Hirschi, ?                                   *)
-(*                  ?                                                  *)
+(*                   Lucca Hirschi, LRI UMR8623                        *)
+(*                   Université Paris-Sud & CNRS                       *)
 (*                                                                     *)
 (*  Copyright 2010-2012 Université Paris-Sud and Centre National de la *)
 (*  Recherche Scientifique. All rights reserved.  This file is         *)
index 94d321f..1ac98e2 100644 (file)
@@ -2,8 +2,8 @@
 (*                                                                     *)
 (*                               TAToo                                 *)
 (*                                                                     *)
-(*                  Lucca Hirschi, ?   *)
-(*                  ?   *)
+(*                   Lucca Hirschi, LRI UMR8623                        *)
+(*                   Université Paris-Sud & CNRS                       *)
 (*                                                                     *)
 (*  Copyright 2010-2012 Université Paris-Sud and Centre National de la *)
 (*  Recherche Scientifique. All rights reserved.  This file is         *)
index 2552957..d2c27fb 100644 (file)
@@ -2,8 +2,8 @@
 (*                                                                     *)
 (*                               TAToo                                 *)
 (*                                                                     *)
-(*                  Lucca Hirschi, ?   *)
-(*                  ?   *)
+(*                   Lucca Hirschi, LRI UMR8623                        *)
+(*                   Université Paris-Sud & CNRS                       *)
 (*                                                                     *)
 (*  Copyright 2010-2012 Université Paris-Sud and Centre National de la *)
 (*  Recherche Scientifique. All rights reserved.  This file is         *)
index bd85dd4..d6ca22d 100644 (file)
@@ -1,7 +1,9 @@
 (***********************************************************************)
 (*                                                                     *)
-(*                  Lucca Hirschi, ?   *)
-(*                  ?   *)
+(*                               TAToo                                 *)
+(*                                                                     *)
+(*                   Lucca Hirschi, LRI UMR8623                        *)
+(*                   Université Paris-Sud & CNRS                       *)
 (*                                                                     *)
 (*  Copyright 2010-2012 Université Paris-Sud and Centre National de la *)
 (*  Recherche Scientifique. All rights reserved.  This file is         *)
index 38bedd1..c7c34c9 100644 (file)
@@ -1,7 +1,9 @@
 (***********************************************************************)
 (*                                                                     *)
-(*                  Lucca Hirschi, ?   *)
-(*                  ?   *)
+(*                               TAToo                                 *)
+(*                                                                     *)
+(*                   Lucca Hirschi, LRI UMR8623                        *)
+(*                   Université Paris-Sud & CNRS                       *)
 (*                                                                     *)
 (*  Copyright 2010-2012 Université Paris-Sud and Centre National de la *)
 (*  Recherche Scientifique. All rights reserved.  This file is         *)
diff --git a/tests/docs/my.xml b/tests/docs/my.xml
new file mode 100644 (file)
index 0000000..5d8fa9d
--- /dev/null
@@ -0,0 +1,10 @@
+<e>
+  <f/>
+  <X/>
+  <d/>
+  <g>
+    <f id="1" value="2" > <z/> <a/> </f>
+    <f> </f>
+  </g>
+  <e> <c/> <X/> <e/> </e>
+</e>