public interface PushResultSet extends ResultSet
| Modifier and Type | Method and Description |
|---|---|
void |
addElements(List<String> elements)
add a list of elements at the end of the resultset.
|
close, destroy, getIdentifier, getNumberOfResults, getResults, isDestroyed, isOpen, setIdentifieraddObserverCopyright © 2017. All rights reserved.