|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.eclipse.emf.emfstore.internal.client.ui.views.historybrowserview.PaginationManager
public class PaginationManager
Class handling pagination. See constructor PaginationManager(ProjectSpace, EObject, int, int)
Constructor Summary | |
---|---|
PaginationManager(ProjectSpace projectSpace,
org.eclipse.emf.ecore.EObject modelElement,
int aboveCenterCount,
int belowCenterCount)
Creates a new PaginationManager with given page range around the central version. |
Method Summary | |
---|---|
void |
nextPage()
Swaps to the next page. |
void |
previousPage()
Swaps to the previous page. |
List<HistoryInfo> |
retrieveHistoryInfos()
|
void |
setShowAllVersions(boolean allVersions)
Allows to switch between showing all history info items (across all branches) or just those relevant to the current project branch. |
boolean |
setVersion(int id)
Swaps to a page containing the specified version. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public PaginationManager(ProjectSpace projectSpace, org.eclipse.emf.ecore.EObject modelElement, int aboveCenterCount, int belowCenterCount)
projectSpace
- The project space to operate on.modelElement
- An optional modelElement to show the history for. null
to show the history for
the project space.aboveCenterCount
- The number of versions shown above the central version.belowCenterCount
- The number of versions shown below the central version.Method Detail |
---|
public List<HistoryInfo> retrieveHistoryInfos() throws ESException
ESException
- If an exception gets thrown contacting the server.public void setShowAllVersions(boolean allVersions)
allVersions
- if true versions across all branches are shown, otherwise only versions for the current branch
including ancestor versionspublic void nextPage()
retrieveHistoryInfos()
to retrieve
the new page.
public void previousPage()
retrieveHistoryInfos()
to
retrieve the new page.
public boolean setVersion(int id) throws ESException
retrieveHistoryInfos()
to
retrieve the new page.
id
- The identifier of the version to display.
ESException
- When an error occurs while retrieving versions from the server.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |