org.eclipse.palamedes.ui.views.gamestate
Class GameStatePage
java.lang.Object
org.eclipse.ui.part.Page
org.eclipse.palamedes.ui.views.gamestate.GameStatePage
- All Implemented Interfaces:
- org.eclipse.jface.viewers.ISelectionChangedListener, IGameStatePage, org.eclipse.ui.part.IPage, org.eclipse.ui.part.IPageBookViewPage
- Direct Known Subclasses:
- GSPage
public abstract class GameStatePage
- extends org.eclipse.ui.part.Page
- implements IGameStatePage, org.eclipse.jface.viewers.ISelectionChangedListener
Constructor Summary |
protected |
GameStatePage()
Create a new content outline page. |
Method Summary |
void |
createControl(org.eclipse.swt.widgets.Composite parent)
The GameStatePage implementation of this
IGameStatePage method creates a tree viewer. |
protected abstract java.lang.String |
createDisplay(IGameState state)
|
org.eclipse.swt.widgets.Control |
getControl()
|
void |
init(org.eclipse.ui.part.IPageSite pageSite)
|
void |
refresh()
|
void |
selectionChanged(org.eclipse.jface.viewers.SelectionChangedEvent event)
|
void |
setFocus()
Sets focus to a part in the page. |
Methods inherited from class org.eclipse.ui.part.Page |
dispose, getSite, makeContributions, setActionBars |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface org.eclipse.ui.part.IPage |
dispose, setActionBars |
GameStatePage
protected GameStatePage()
- Create a new content outline page.
createControl
public void createControl(org.eclipse.swt.widgets.Composite parent)
- The
GameStatePage
implementation of this
IGameStatePage
method creates a tree viewer. Subclasses
must extend this method configure the tree viewer with a proper content
provider, label provider, and input element.
- Specified by:
createControl
in interface org.eclipse.ui.part.IPage
- Specified by:
createControl
in class org.eclipse.ui.part.Page
- Parameters:
parent
-
getControl
public org.eclipse.swt.widgets.Control getControl()
- Specified by:
getControl
in interface org.eclipse.ui.part.IPage
- Specified by:
getControl
in class org.eclipse.ui.part.Page
init
public void init(org.eclipse.ui.part.IPageSite pageSite)
- Specified by:
init
in interface org.eclipse.ui.part.IPageBookViewPage
- Overrides:
init
in class org.eclipse.ui.part.Page
selectionChanged
public void selectionChanged(org.eclipse.jface.viewers.SelectionChangedEvent event)
- Specified by:
selectionChanged
in interface org.eclipse.jface.viewers.ISelectionChangedListener
refresh
public void refresh()
createDisplay
protected abstract java.lang.String createDisplay(IGameState state)
setFocus
public void setFocus()
- Sets focus to a part in the page.
- Specified by:
setFocus
in interface org.eclipse.ui.part.IPage
- Specified by:
setFocus
in class org.eclipse.ui.part.Page