public class PageIndex extends java.lang.Object implements java.io.Serializable, Sortable
Integer
object per element.构造器和说明 |
---|
PageIndex(Page page)
Create an empty index.
|
PageIndex(Page page,
int cursor)
Create an index with the one element given.
|
PageIndex(Page page,
int[] cursors)
Create an index with the elements given.
|
限定符和类型 | 方法和说明 |
---|---|
int |
add(Cursor cursor)
Add an element to the list
|
int |
add(int cursor)
Add an element to the list
|
int |
capacity()
Get the capacity for elements without reallocation.
|
int |
column(Cursor cursor)
Get the column number for a cursor.
|
int |
column(int cursor)
Get the column number for a position.
|
int |
elementAt(int index)
Get an element from the list.
|
Ordered |
fetch(int index,
Ordered reuse)
Fetch the object at the given index.
|
int |
first()
Returns the first index of the Sortable.
|
int[] |
get()
Get the elements as an array of int.
|
Page |
getPage()
Get this index's page.
|
int |
last()
Returns the last index of the Sortable.
|
void |
remove(Cursor cursor)
Remove an element from the list
|
void |
remove(int cursor)
Remove an element from the list
|
int |
row(Cursor cursor)
Get the line number for a cursor.
|
int |
row(int cursor)
Get the line number for a position.
|
int |
size()
Get the count of elements.
|
void |
swap(int i,
int j)
Swaps the elements at the given indicies.
|
public PageIndex(Page page)
page
- The page associated with this index.public PageIndex(Page page, int cursor)
page
- The page associated with this index.cursor
- The single element for the new index.public PageIndex(Page page, int[] cursors)
page
- The page associated with this index.cursors
- The initial elements of the index.
NOTE: The list must be sorted in ascending order.public Page getPage()
public int size()
public int capacity()
public int add(Cursor cursor)
cursor
- The element to add.public int add(int cursor)
cursor
- The element to add.public void remove(Cursor cursor)
cursor
- The element to remove.public void remove(int cursor)
cursor
- The element to remove.public int elementAt(int index)
index
- The index of the element to get.public int row(Cursor cursor)
cursor
- The character offset into the page.public int row(int cursor)
cursor
- The character offset into the page.public int column(Cursor cursor)
cursor
- The character offset into the page.public int column(int cursor)
cursor
- The character offset into the page.public int[] get()
public int first()
public int last()
public Ordered fetch(int index, Ordered reuse)
fetch
在接口中 Sortable
index
- The item number to get.reuse
- If this argument is not null, it is an object
acquired from a previous fetch that is no longer needed and
may be returned as the result if it makes mores sense to alter
and return it than to fetch or create a new element. That is, the
reuse object is garbage and may be used to avoid allocating a new
object if that would normally be the strategy.