jack.plugin.perspective
Class CaseExplorer

java.lang.Object
  org.eclipse.ui.part.WorkbenchPart
      org.eclipse.ui.part.ViewPart
          jack.plugin.perspective.CaseExplorer

All Implemented Interfaces:

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

public class CaseExplorer

extends org.eclipse.ui.part.ViewPart

implements ICaseExplorer

View containing the cases explorer.

Author:

L. Burdy

Field Summary

Fields inherited from interface jack.plugin.perspective.ICaseExplorer

FLAT, HIERARCHY

Fields inherited from interface org.eclipse.ui.IWorkbenchPart

PROP_TITLE

Constructor Summary

CaseExplorer()

Method Summary

void	clearViewedFile(org.eclipse.jdt.core.ICompilationUnit javaSource) Clear the viewed file.
void	createPartControl(org.eclipse.swt.widgets.Composite parent)
void	displayStatus() Updates the view
void	errorMessage(java.lang.String message) Display the following error message using the appropriate title window.
TreeItemSelection	getEhl()
JpoFile	getJpoFile()
int	getLayout() Returns the current layout
org.eclipse.jface.viewers.TreeViewer	getTree()
java.lang.Object[]	getTreeSelection() Returns the selected items
void	save()
void	setFocus()
void	setGoalMenu()
void	setLemmaMenu()
void	setMultipleGoalMenu()
boolean	setViewedFile(org.eclipse.jdt.core.ICompilationUnit compilation_unit, SourceCaseViewer ce) Sets the currently viewed file.
boolean	setViewedFile(org.eclipse.core.resources.IFile jpo_file, SourceCaseViewer ce)
void	updateLeftComp() Updates the view from a new jpo file

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

getViewSite, init, init, saveState, setInitializationData

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

addPropertyListener, dispose, 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, dispose, getSite, getTitle, getTitleImage, getTitleToolTip, removePropertyListener

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

getAdapter

Constructor Detail

CaseExplorer

public CaseExplorer()

Method Detail

createPartControl

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

Specified by:

createPartControl in interface org.eclipse.ui.IWorkbenchPart

getJpoFile

public JpoFile getJpoFile()

setFocus

public void setFocus()

Specified by:

setFocus in interface org.eclipse.ui.IWorkbenchPart

errorMessage

public void errorMessage(java.lang.String message)

Display the following error message using the appropriate title window.

clearViewedFile

public void clearViewedFile(org.eclipse.jdt.core.ICompilationUnit javaSource)

Clear the viewed file.

setViewedFile

public boolean setViewedFile(org.eclipse.jdt.core.ICompilationUnit compilation_unit,
                             SourceCaseViewer ce)

Sets the currently viewed file. This method returns true on success and false otherwise..

setViewedFile

public boolean setViewedFile(org.eclipse.core.resources.IFile jpo_file,
                             SourceCaseViewer ce)

updateLeftComp

public void updateLeftComp()

Updates the view from a new jpo file

displayStatus

public void displayStatus()

Updates the view

Specified by:

displayStatus in interface ICaseExplorer

getEhl

public TreeItemSelection getEhl()

Returns:

getTree

public org.eclipse.jface.viewers.TreeViewer getTree()

Specified by:

getTree in interface ICaseExplorer

Returns:

getTreeSelection

public java.lang.Object[] getTreeSelection()

Returns the selected items

Specified by:

getTreeSelection in interface ICaseExplorer

save

public void save()
          throws java.io.IOException

Specified by:

save in interface ICaseExplorer

Throws:

java.io.IOException

getLayout

public int getLayout()

Description copied from interface: ICaseExplorer

Returns the current layout

Specified by:

getLayout in interface ICaseExplorer

Returns:

FLAT or HIERARCHY

setGoalMenu

public void setGoalMenu()

Specified by:

setGoalMenu in interface ICaseExplorer

setLemmaMenu

public void setLemmaMenu()

Specified by:

setLemmaMenu in interface ICaseExplorer

setMultipleGoalMenu

public void setMultipleGoalMenu()

Specified by:

setMultipleGoalMenu in interface ICaseExplorer