| Method Summary |
|
| public boolean | absolute(int resultNo)
Moves the cursor to the given result number.
Parameters:
resultNo - the number of results. |
| public void | afterLast()
Moves the cursor to the end of this ResultSet object, just after the last row. |
| public void | beforeFirst()
Moves the cursor to the front of this ResultSet object, just before the first row. |
| public void | close()
Releases this ResultSet resources. |
| public boolean | first()
Moves the cursor to the first row in this ResultSet object. |
| public int | getCursorPosition()
Get the current position of the cursor. |
| public Derivation | getProof()
Get the derivation of the current result. |
| public List | getQueryVariables()
Get a list of all variable terms in the query. |
| public Object | getResult(Class type, String name)
Get the object that replaces the variable with the given name and type. |
| public Object | getResult(VariableTerm term)
Get the object that replaces the variable. |
| public int | getResultNumber()
Retrieves the current result number. |
| public Map | getResults()
Get the replacements as map (term -> term associations). |
| public boolean | isAfterLast()
Retrieves whether the cursor is after the last result in this ResultSet object. |
| public boolean | isBeforeFirst()
Retrieves whether the cursor is before the first row in this ResultSet object. |
| public boolean | isFirst()
Indicates whether the cursor is at the first position. |
| public boolean | isLast()
Indicates whether the cursor is at the last position. |
| public boolean | last()
Moves the cursor to the last row in this ResultSet object. |
| public boolean | next()
Moves the cursor down one row from its current position. |
| public boolean | previous()
Moves the cursor to the previous row in this ResultSet object. |
| public boolean | relative(int offset)
Moves the cursor a relative number of results, either positive or negative. |
