X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=main.ml;h=f440b3a7b893c4949f601d4bcded37b48e296a87;hb=7b6e25ac7c3b4e06c8386c1090bb69ae97a47143;hp=0650b6be0d5f4285db0a0677ea1b50739d2803d4;hpb=9f227961ae2219728e4cdd56e4d4c4e7165e4306;p=SXSI%2Fxpathcomp.git diff --git a/main.ml b/main.ml index 0650b6b..f440b3a 100644 --- a/main.ml +++ b/main.ml @@ -54,6 +54,28 @@ let test_loop2 tree tag = Hashtbl.add f (hash 101) `Foo; g t' Tree.root +let test_text doc = + let _ = Printf.eprintf "Contains(bree)" in + let _ = time (Tree.test_contains doc) "bree" in + let _ = Printf.eprintf "Contains(brain)" in + let _ = time (Tree.test_contains doc) "brain" in + let _ = Printf.eprintf "Contains(brain)" in + let i = time (Tree.test_contains doc) "brain" in + let _ = Printf.eprintf "%i\nContains(Australia)" i in + let i = time (Tree.test_contains doc) "AUSTRALIA" in + let _ = Printf.eprintf "%i\n Contains(1930)" i in + let i = time (Tree.test_contains doc) "1930" in + let _ = Printf.eprintf "%i\n startswith(bar)" i in + let i = time (Tree.test_prefix doc) "bar" in + let _ = Printf.eprintf "%i\n endswith(LAND)" i in + let i = time (Tree.test_suffix doc) "LAND" in + let _ = Printf.eprintf "%i\n =(2001)" i in + let i = time (Tree.test_equals doc) "2001" in + let _ = Printf.eprintf "%i\n =(Nguyen)" i in + let i = time (Tree.test_equals doc) "Nguyen" in + Printf.eprintf "%i\n" i ; + () + type pointers external build_pointers : Tree.t -> pointers = "caml_build_pointers" external iter_pointers : pointers -> int = "caml_iter_pointers" @@ -71,6 +93,7 @@ let main v query_string output = Ulexer.Loc.Exc_located ((x,y),e) -> Printf.eprintf "character %i-%i %s\n" x y (Printexc.to_string e);exit 1 in let _ = Printf.eprintf "Number of nodes %i\n%!" (Tree.size v) in + let _ = test_text v in (* let _ = Tree.stats v in let _ = Printf.eprintf "Timing first_child/next_sibling %!" in let _ = time (Tree.benchmark_fcns) v in