ptolemy.backtrack.eclipse.plugin.editor

Class MultiPageCompilationUnitEditor

java.lang.Object

CompilationUnitEditor

ptolemy.backtrack.eclipse.plugin.editor.PtolemyEditor

ptolemy.backtrack.eclipse.plugin.editor.MultiPageCompilationUnitEditor

public class MultiPageCompilationUnitEditor
extends PtolemyEditor

Multi-page editor with Ptolemy semantic highlighting and transformation tab. This editor is the main user interface in the Eclipse plugin. It extends Eclipse's Java editor, with Ptolemy semantic highlighting added. It also creates two tabs in the editor: the "Raw" tab provides an ordinary Java editing environment to the user; the "Preview" tab shows the preview of backtracking transformation.

Since:

Ptolemy II 5.1

Version:

$Id$

Author:

Thomas Feng

Pt.AcceptedRating:

Red (tfeng)

Pt.ProposedRating:

Red (tfeng)

Constructor Summary

Constructors

Constructor and Description
MultiPageCompilationUnitEditor()

Method Summary

Modifier and Type	Method and Description
protected void	_update() Update the "Preview" tab if the source code is changed in the "Raw" tab.
void	createPartControl(org.eclipse.swt.widgets.Composite parent) Create the controls for this editor.
void	dispose() Dispose the two views in this editor.
void	setActivePage(int pageIndex) Set the active tab of the editor.
protected void	setTitleImage(org.eclipse.swt.graphics.Image titleImage) Override the title image so that the Ptolemy icon is always used as the editor's title image.
void	test() Set the preview tab so it is not editable.

Methods inherited from class ptolemy.backtrack.eclipse.plugin.editor.PtolemyEditor

_installSemanticHighlighting, aboutToBeReconciled, addJavaReconcileListener, reconciled, removeJavaReconcileListener

Methods inherited from class java.lang.Object

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

Constructor Detail

MultiPageCompilationUnitEditor

public MultiPageCompilationUnitEditor()

Method Detail

createPartControl

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

Create the controls for this editor.

Overrides:

createPartControl in class PtolemyEditor

Parameters:

parent - The parent of the editor.

dispose

public void dispose()

Dispose the two views in this editor.

setActivePage

public void setActivePage(int pageIndex)

Set the active tab of the editor.

Parameters:

pageIndex - The index of the tab to change to. 0 for "Raw" tab; 1 for "Preview" tab.

test

public void test()

Set the preview tab so it is not editable.

_update

protected void _update()

Update the "Preview" tab if the source code is changed in the "Raw" tab.

setTitleImage

protected void setTitleImage(org.eclipse.swt.graphics.Image titleImage)

Override the title image so that the Ptolemy icon is always used as the editor's title image.

Parameters:

titleImage - The new title image to be set, which is always ignored.