void |
RequestResult.close() |
This method must always be invoked once this result is no longer used,
so as to ensure that underlying resources are released.
|
boolean |
RequestResult.contains(Adaptation aRecord) |
Returns true if the specified record belongs to the result of this request
(even if the record is obsolete).
|
int |
RequestResult.getSize() |
Returns the total number of records held by this result.
|
boolean |
RequestResult.isEmpty() |
Returns true if the result is empty (that is, size is 0).
|
boolean |
RequestResult.isSizeGreaterOrEqual(int minimalSize) |
Verifies the number of records contained in this result.
|
Adaptation |
RequestResult.nextAdaptation() |
Moves the cursor to the next record in the result
and returns it.
|
void |
RequestResult.refresh() |
Deprecated.
|
boolean |
RequestResult.refreshIfNeeded() |
Deprecated.
|