Class ExploreServlet.ResultCursor
- java.lang.Object
-
- org.eclipse.rdf4j.workbench.commands.ExploreServlet.ResultCursor
-
- Enclosing class:
- ExploreServlet
protected class ExploreServlet.ResultCursor extends Object
Class for keeping track of location within the result set, relative to offset and limit.- Author:
- Dale Visser
-
-
Constructor Summary
Constructors Constructor Description ResultCursor(int offset, int limit, boolean render)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidadvance()Advances the cursor, incrementing the total count, and moving other internal counters.intgetRenderedResultCount()Gets the number of results that were actually rendered.intgetTotalResultCount()Gets the total number of results.booleanmayRender()
-
-
-
Method Detail
-
getTotalResultCount
public int getTotalResultCount()
Gets the total number of results. Only meant to be called after advance() has been called for all results in the set.- Returns:
- the number of times advance() has been called
-
getRenderedResultCount
public int getRenderedResultCount()
Gets the number of results that were actually rendered. Only meant to be called after advance() has been called for all results in the set.- Returns:
- the number of times advance() has been called when this.mayRender() evaluated to true
-
mayRender
public boolean mayRender()
- Returns:
- whether it is allowed to render the next result
-
advance
public void advance()
Advances the cursor, incrementing the total count, and moving other internal counters.
-
-