eu.geclipse.batch.ui.editors
Class BatchEditor

java.lang.Object
  GraphicalEditor
      eu.geclipse.batch.ui.editors.BatchEditor

public class BatchEditor
extends GraphicalEditor

A graphical editor that can edit .batch files. The binding between the .batch file extension and this editor is done in plugin.xml

Nested Class Summary

class

BatchEditor.BatchOutlinePage Creates an outline pagebook for this editor.

Field Summary

int	queueByName
int	queueByState
int	sortedN
int	sortedQ
int	workerNodeByName
int	workerNodeByState

Constructor Summary

BatchEditor()
Create a new BatchEditor instance.

Method Summary

void	dispose()
void	doSave(IProgressMonitor monitor)
void	doSaveAs()
java.lang.Object	getAdapter(java.lang.Class type)
boolean	isSaveAsAllowed()
boolean	isSaveOnCloseNeeded()

Methods inherited from class java.lang.Object

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

Field Detail

queueByName

public int queueByName

sortedQ

public int sortedQ

sortedN

public int sortedN

workerNodeByName

public int workerNodeByName

queueByState

public int queueByState

workerNodeByState

public int workerNodeByState

Constructor Detail

BatchEditor

public BatchEditor()

Create a new BatchEditor instance. This is called by the Workspace.

Method Detail

getAdapter

public java.lang.Object getAdapter(java.lang.Class type)

dispose

public void dispose()

isSaveOnCloseNeeded

public boolean isSaveOnCloseNeeded()

isSaveAsAllowed

public boolean isSaveAsAllowed()

doSave

public void doSave(IProgressMonitor monitor)

doSaveAs

public void doSaveAs()