org.eclipse.hyades.test.ui.forms.base
Class VerdictEventDetailsPart

java.lang.Object
  org.eclipse.ui.forms.AbstractFormPart
      org.eclipse.hyades.test.ui.forms.base.ExecutionEventDetailsPart
          org.eclipse.hyades.test.ui.forms.base.VerdictEventDetailsPart

All Implemented Interfaces:

java.util.EventListener, org.eclipse.ui.forms.IDetailsPage, org.eclipse.ui.forms.IFormPart, org.eclipse.ui.forms.events.IHyperlinkListener, org.eclipse.jface.util.IOpenEventListener, org.eclipse.ui.forms.IPartSelectionListener, org.eclipse.hyades.test.ui.forms.extensions.provisional.IRepositoryRecordListener, org.eclipse.swt.events.SelectionListener, org.eclipse.swt.internal.SWTEventListener

public class VerdictEventDetailsPart

extends ExecutionEventDetailsPart

implements org.eclipse.jface.util.IOpenEventListener

This is the details page of the page book used for TPFVerdictEvent in the events tree of TPTP Test Log Viewer.

This is a eclipse forms page derived from the original TPTP Test Log viewer

Since:

4.1

Field Summary

Fields inherited from class org.eclipse.hyades.test.ui.forms.base.ExecutionEventDetailsPart

commonPropSection, extendedPropSection, messageText

Constructor Summary

VerdictEventDetailsPart()

VerdictEventDetailsPart(org.eclipse.ui.forms.editor.FormPage page)
Creates an instance of this class with the editor page.

Method Summary

protected void	createDetailsContents(org.eclipse.swt.widgets.Composite parent)
void	handleOpen(org.eclipse.swt.events.SelectionEvent e)
protected void	setInput(java.lang.Object object)
protected void	setMessageText(java.lang.String text)

Methods inherited from class org.eclipse.hyades.test.ui.forms.base.ExecutionEventDetailsPart

commit, createAttachmentTable, createCommonContents, createContents, createDefectSectionFromExtension, createExtendedContents, createPropertiesTable, dispose, disposeContent, getExecutionEvent, getFormPage, initialize, isHTMLString, linkActivated, linkEntered, linkExited, parseHTMLString, recordAdded, recordRemoved, selectionChanged, setAttachmentsInput, setFocus, setFormInput, setFormPage, updateCommonSectionState, updateExtendedSectionState, widgetDefaultSelected, widgetSelected

Methods inherited from class org.eclipse.ui.forms.AbstractFormPart

getManagedForm, isDirty, isStale, markDirty, markStale, refresh

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.forms.IFormPart

isDirty, isStale, refresh

Constructor Detail

VerdictEventDetailsPart

public VerdictEventDetailsPart()

VerdictEventDetailsPart

public VerdictEventDetailsPart(org.eclipse.ui.forms.editor.FormPage page)

Creates an instance of this class with the editor page.

Parameters:

page - forms editor page of this part.

Method Detail

createDetailsContents

protected void createDetailsContents(org.eclipse.swt.widgets.Composite parent)

Overrides:

createDetailsContents in class ExecutionEventDetailsPart

setInput

protected void setInput(java.lang.Object object)

Overrides:

setInput in class ExecutionEventDetailsPart

setMessageText

protected void setMessageText(java.lang.String text)

Overrides:

setMessageText in class ExecutionEventDetailsPart

handleOpen

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

Specified by:

handleOpen in interface org.eclipse.jface.util.IOpenEventListener