it.uniroma3.plasm.views
Class PlasmView

java.lang.Object
  extended byorg.eclipse.ui.part.WorkbenchPart
      extended byorg.eclipse.ui.part.ViewPart
          extended byit.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();