org.eclipse.tptp.symptom.internal.actions
Class PagingAction

java.lang.Object
  org.eclipse.core.commands.common.EventManager
      org.eclipse.jface.action.AbstractAction
          org.eclipse.jface.action.Action
              org.eclipse.tptp.symptom.internal.actions.PagingAction

All Implemented Interfaces:

org.eclipse.jface.action.IAction

Direct Known Subclasses:

GoToPageAction, PageDownAction, PageUpAction

public class PagingAction

extends org.eclipse.jface.action.Action

Field Summary

protected SymptomEditor	editor
protected org.eclipse.tptp.platform.models.symptom.SymptomCatalog	root

Fields inherited from interface org.eclipse.jface.action.IAction

AS_CHECK_BOX, AS_DROP_DOWN_MENU, AS_PUSH_BUTTON, AS_RADIO_BUTTON, AS_UNSPECIFIED, CHECKED, DESCRIPTION, ENABLED, HANDLED, IMAGE, RESULT, TEXT, TOOL_TIP_TEXT

Constructor Summary

PagingAction(java.lang.String text, org.eclipse.jface.resource.ImageDescriptor image)

Method Summary

protected org.eclipse.tptp.platform.models.symptom.SymptomCatalog	getTreeRoot()
protected org.eclipse.jface.viewers.TreeViewer	getTreeViewer()
void	setActiveEditor(SymptomEditor editor)
void	update()
protected void	updatePageInfo()

Methods inherited from class org.eclipse.jface.action.Action

convertAccelerator, convertAccelerator, findKeyCode, findKeyString, findModifier, findModifierString, getAccelerator, getActionDefinitionId, getDescription, getDisabledImageDescriptor, getHelpListener, getHoverImageDescriptor, getId, getImageDescriptor, getMenuCreator, getStyle, getText, getToolTipText, isChecked, isEnabled, isHandled, notifyResult, removeAcceleratorText, removeMnemonics, run, runWithEvent, setAccelerator, setActionDefinitionId, setChecked, setDescription, setDisabledImageDescriptor, setEnabled, setHelpListener, setHoverImageDescriptor, setId, setImageDescriptor, setMenuCreator, setText, setToolTipText

Methods inherited from class org.eclipse.jface.action.AbstractAction

addPropertyChangeListener, firePropertyChange, firePropertyChange, removePropertyChangeListener

Methods inherited from class org.eclipse.core.commands.common.EventManager

addListenerObject, clearListeners, getListeners, isListenerAttached, removeListenerObject

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.eclipse.jface.action.IAction

addPropertyChangeListener, removePropertyChangeListener

Field Detail

editor

protected SymptomEditor editor

root

protected org.eclipse.tptp.platform.models.symptom.SymptomCatalog root

Constructor Detail

PagingAction

public PagingAction(java.lang.String text,
                    org.eclipse.jface.resource.ImageDescriptor image)

Method Detail

getTreeRoot

protected org.eclipse.tptp.platform.models.symptom.SymptomCatalog getTreeRoot()

getTreeViewer

protected final org.eclipse.jface.viewers.TreeViewer getTreeViewer()

updatePageInfo

protected void updatePageInfo()

setActiveEditor

public void setActiveEditor(SymptomEditor editor)

update

public void update()