org.eclipse.tptp.symptom.edit
Class SampleRuleDetails

java.lang.Object
  org.eclipse.tptp.symptom.internal.presentation.BaseDetailsPage
      org.eclipse.tptp.symptom.edit.SampleRuleDetails

All Implemented Interfaces:

java.util.EventListener, org.eclipse.swt.events.ModifyListener, org.eclipse.swt.events.SelectionListener, org.eclipse.swt.internal.SWTEventListener, org.eclipse.tptp.symptom.editor.ISymptomDetailsPage, org.eclipse.ui.forms.IDetailsPage, org.eclipse.ui.forms.IFormPart, org.eclipse.ui.forms.IPartSelectionListener, org.eclipse.ui.IPartListener

public class SampleRuleDetails
extends org.eclipse.tptp.symptom.internal.presentation.BaseDetailsPage
implements org.eclipse.swt.events.ModifyListener, org.eclipse.swt.events.SelectionListener

Constructor Summary

SampleRuleDetails(org.eclipse.tptp.symptom.provisional.presentation.AbstractSymptomEditor editor)

Method Summary

void	modifyText(org.eclipse.swt.events.ModifyEvent e)
void	refresh()
void	selectionChanged(org.eclipse.ui.forms.IFormPart part, org.eclipse.jface.viewers.ISelection selection)
boolean	setFormInput(java.lang.Object input)
void	widgetDefaultSelected(org.eclipse.swt.events.SelectionEvent e)
void	widgetSelected(org.eclipse.swt.events.SelectionEvent e)

Methods inherited from class org.eclipse.tptp.symptom.internal.presentation.BaseDetailsPage

commit, createContents, dispose, initialize, isDirty, isEditable, isStale, partActivated, partBroughtToTop, partClosed, partDeactivated, partOpened, setEditable, setFocus

Methods inherited from class java.lang.Object

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

Constructor Detail

SampleRuleDetails

public SampleRuleDetails(org.eclipse.tptp.symptom.provisional.presentation.AbstractSymptomEditor editor)

Method Detail

refresh

public void refresh()

Specified by:

refresh in interface org.eclipse.ui.forms.IFormPart

Overrides:

refresh in class org.eclipse.tptp.symptom.internal.presentation.BaseDetailsPage

selectionChanged

public void selectionChanged(org.eclipse.ui.forms.IFormPart part,
                             org.eclipse.jface.viewers.ISelection selection)

Specified by:

selectionChanged in interface org.eclipse.ui.forms.IPartSelectionListener

Overrides:

selectionChanged in class org.eclipse.tptp.symptom.internal.presentation.BaseDetailsPage

modifyText

public void modifyText(org.eclipse.swt.events.ModifyEvent e)

Specified by:

modifyText in interface org.eclipse.swt.events.ModifyListener

widgetSelected

public void widgetSelected(org.eclipse.swt.events.SelectionEvent e)

Specified by:

widgetSelected in interface org.eclipse.swt.events.SelectionListener

widgetDefaultSelected

public void widgetDefaultSelected(org.eclipse.swt.events.SelectionEvent e)

Specified by:

widgetDefaultSelected in interface org.eclipse.swt.events.SelectionListener

setFormInput

public boolean setFormInput(java.lang.Object input)

Specified by:

setFormInput in interface org.eclipse.ui.forms.IFormPart

Overrides:

setFormInput in class org.eclipse.tptp.symptom.internal.presentation.BaseDetailsPage