|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.basex.index.IdPreMap
public class IdPreMap
ID -> PRE mapping.
Constructor Summary | |
---|---|
IdPreMap(int id)
Constructor. |
|
IdPreMap(IOFile f)
Construct a map by reading it from a file. |
Method Summary | |
---|---|
void |
delete(int pre,
int id,
int c)
Delete records. |
void |
insert(int pre,
int id,
int c)
Insert new record. |
int |
pre(int id)
Find the PRE value of a given ID. |
int[] |
pre(int[] ids,
int off,
int len)
Find the PRE values of a given list of IDs. |
int |
size()
Size of the map. |
java.lang.String |
toString()
|
void |
write(IOFile f)
Write the map to the specified file. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public IdPreMap(int id)
id
- last inserted IDpublic IdPreMap(IOFile f) throws java.io.IOException
f
- file to read from
java.io.IOException
- I/O error while reading from the fileMethod Detail |
---|
public void write(IOFile f) throws java.io.IOException
f
- file to write to
java.io.IOException
- I/O error while writing to the filepublic int pre(int id)
id
- ID
public int[] pre(int[] ids, int off, int len)
ids
- IDsoff
- start position in ids (inclusive)len
- number of ids
public void insert(int pre, int id, int c)
pre
- record PREid
- record IDc
- number of inserted recordspublic void delete(int pre, int id, int c)
pre
- PRE of the first recordid
- ID of the first deleted recordc
- number of deleted recordspublic java.lang.String toString()
toString
in class java.lang.Object
public int size()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |