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() |
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. |