Hi
I've read the index file format documentation (
http://lucene.apache.org/java/3_0_2/fileformats.html) trying to understand
something, and I spent quite a lot of time on the skip data documentation.
The definition that puzzled me is this:
SkipData --> <<SkipLevelLength, SkipLevel> NumSkipLevels-1, SkipLevel>
<SkipDatum>
First, can someone please tell me how to read this? :)
Second, I think it's incorrect (unless I misunderstood how to read it).
After reading the code, it feels to me like the definition should have been:
SkipData --> <SkipLevelLength, SkipDatum> NumSkipLevels-1> <SkipDatum>
That is, all levels > 0, record their skip level data length followed by the
SkipDatum entries while level = 0 records the same besides the skip level
length ('cause it's never cached, therefore there's no need to record the
length).
Am I correct in my understanding?
Shai
