projects
/
SXSI
/
xpathcomp.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
cb90d64
)
Update caching infrastructure to automatically resize when needed.
author
Kim Nguyễn
<kn@lri.fr>
Thu, 1 Mar 2012 13:25:56 +0000
(14:25 +0100)
committer
Kim Nguyễn
<kn@lri.fr>
Thu, 1 Mar 2012 13:25:56 +0000
(14:25 +0100)
src/cache.ml
patch
|
blob
|
history
src/cache.mli
patch
|
blob
|
history
diff --git
a/src/cache.ml
b/src/cache.ml
index
d65df68
..
59ff1fb
100644
(file)
--- a/
src/cache.ml
+++ b/
src/cache.ml
@@
-56,6
+56,15
@@
struct
else a.dummy
let dummy a = a.dummy
else a.dummy
let dummy a = a.dummy
+(*
+ let iteri f a =
+ let line = a.line in
+ if a.offset == ~-1 then () else
+ for i = 0 to Array.length line - 1 do
+ let v = a.(i)
+ f (i+a.offset) v (v==a.dummy)
+ done
+*)
end
end
diff --git
a/src/cache.mli
b/src/cache.mli
index
9057c10
..
df09798
100644
(file)
--- a/
src/cache.mli
+++ b/
src/cache.mli
@@
-7,7
+7,7
@@
sig
val find : 'a t -> int -> 'a
val add : 'a t -> int -> 'a -> unit
val dummy : 'a t -> 'a
val find : 'a t -> int -> 'a
val add : 'a t -> int -> 'a -> unit
val dummy : 'a t -> 'a
-
+(* val iteri : (int -> 'a -> bool -> unit) -> 'a t -> unit *)
end
module Lvl2:
end
module Lvl2:
@@
-17,7
+17,7
@@
sig
val find : 'a t -> int -> int -> 'a
val add : 'a t -> int -> int -> 'a -> unit
val dummy : 'a t -> 'a
val find : 'a t -> int -> int -> 'a
val add : 'a t -> int -> int -> 'a -> unit
val dummy : 'a t -> 'a
-
+(* val iteri : (int -> int -> 'a -> bool -> unit) -> 'a t -> unit*)
end
module Lvl3 :
end
module Lvl3 :
@@
-29,5
+29,6
@@
module Lvl3 :
val find : 'a t -> int -> int -> int -> 'a
val add : 'a t -> int -> int -> int -> 'a -> unit
val dummy : 'a t -> 'a
val find : 'a t -> int -> int -> int -> 'a
val add : 'a t -> int -> int -> int -> 'a -> unit
val dummy : 'a t -> 'a
+(* val iteri : (int -> int -> int -> 'a -> bool -> unit) -> 'a t -> unit*)
end
end