it.uniroma3.plasm.views
Class PlasmView

java.lang.Object
  org.eclipse.ui.part.WorkbenchPart
      org.eclipse.ui.part.ViewPart
          it.uniroma3.plasm.views.PlasmView

All Implemented Interfaces:

org.eclipse.core.runtime.IAdaptable, org.eclipse.core.runtime.IExecutableExtension, org.eclipse.ui.IViewPart, org.eclipse.ui.IWorkbenchPart, org.eclipse.ui.IWorkbenchPart2

public class PlasmView

extends org.eclipse.ui.part.ViewPart

The view shows data obtained from the model. The sample creates a dummy model on the fly, but a real implementation would connect to the model available either in this or another plug-in (e.g. the workspace). The view is connected to the model using a content provider.

The view uses a label provider to define how model objects should be presented in the view. Each view can present the same model objects using different labels and icons, if needed. Alternatively, a single label provider can be shared between views in order to ensure that objects of the same type are presented in the same way everywhere.

This view actually shows the exports made from the plasm process, and it's notified from the output poller associated to the process

Version:

$Id: PlasmView.java,v 1.14 2004/07/27 07:03:04 giupo Exp $

Author:

giupo

Nested Class Summary

class

PlasmView.Refresher

Field Summary

static java.lang.String

PART_ID

Fields inherited from interface org.eclipse.ui.IWorkbenchPart

PROP_TITLE

Constructor Summary

PlasmView()
The constructor.

Method Summary

void	addAndUpdate(java.lang.String fileName)
void	createPartControl(org.eclipse.swt.widgets.Composite parent) This is a callback that will allow us to create the viewer and initialize it.
void	dispose()
java.util.List	getModel()
boolean	isDisposed()
void	refresh() delegate for the Viewer refresh
void	setFocus()
void	setModel(java.util.List model)

Methods inherited from class org.eclipse.ui.part.ViewPart

getViewSite, init, init, saveState, setInitializationData

Methods inherited from class org.eclipse.ui.part.WorkbenchPart

addPropertyListener, getAdapter, getContentDescription, getPartName, getSite, getTitle, getTitleImage, getTitleToolTip, removePropertyListener, showBusy

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.eclipse.ui.IWorkbenchPart

addPropertyListener, getSite, getTitle, getTitleImage, getTitleToolTip, removePropertyListener

Methods inherited from interface org.eclipse.core.runtime.IAdaptable

getAdapter

Field Detail

PART_ID

public static final java.lang.String PART_ID

See Also:

Constant Field Values

Constructor Detail

PlasmView

public PlasmView()

The constructor.

Method Detail

createPartControl

public void createPartControl(org.eclipse.swt.widgets.Composite parent)

This is a callback that will allow us to create the viewer and initialize it.

setFocus

public void setFocus()

getModel

public java.util.List getModel()

Returns:

Returns the model.

setModel

public void setModel(java.util.List model)

Parameters:

model - The model to set.

dispose

public void dispose()

isDisposed

public boolean isDisposed()

addAndUpdate

public void addAndUpdate(java.lang.String fileName)

refresh

public void refresh()

delegate for the Viewer refresh

See Also:

org.eclipse.jface.viewers.Viewer.refresh();