org.eclipse.palamedes.ui.views.gamestate
Class GameStatePage

java.lang.Object
  extended by org.eclipse.ui.part.Page
      extended by 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
 

Constructor Detail

GameStatePage

protected GameStatePage()
Create a new content outline page.

Method Detail

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