Andy, I don't think that the java.util.TreeSet class will serve our purposes on HDF. I've been trying to figure out how I can use it to do what I want and I have been unable to do so
The text, paragraph and section properties each have a start index and end index. The index represents a position in the text body. A child property will not necessarily end on a parent's bounds. For example, A paragraph may go from 150-500, but there may be a character run that goes from 490 - 510. There are two problems with the TreeSet class. First, if you want to associate a set of character runs with a paragraph. There is no clean way to get all runs that contain points between 150-500 that is inclusive of the end points because there may be a character run that goes from 140-164. Second, when HDF will try to insert a property node in the tree, a node may have to be split. If I use the tailSet function, the SortedSet it returns is unable to accept an element that is lower than the element used to query. So it would be impossible. Ryan -- To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]> For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
