public class BehaviorEditor
extends org.eclipse.ui.part.EditorPart
Constructor and Description |
---|
BehaviorEditor(ScenarioManager scenario,
IsacEditor editor,
java.lang.String behaviorId,
int behaviorPos,
LoadProfile profile)
Constructor
|
Modifier and Type | Method and Description |
---|---|
void |
createPartControl(org.eclipse.swt.widgets.Composite parent) |
void |
doSave(org.eclipse.core.runtime.IProgressMonitor monitor) |
void |
doSaveAs() |
java.lang.String |
getBehaviorId()
Behavior id getter
|
int |
getBehaviorPos()
Behavior position getter
|
ScenarioManager |
getScenario() |
void |
init(org.eclipse.ui.IEditorSite site,
org.eclipse.ui.IEditorInput input) |
boolean |
isDirty() |
boolean |
isSaveAsAllowed() |
void |
refresh()
Refresh components in this editor
|
void |
setBehaviorId(java.lang.String behaviorId)
Set the behavior Id
|
void |
setBehaviorPos(int behaviorPos)
Set the position of this behavior in file
|
void |
setDocument(org.eclipse.jface.text.IDocument doc)
Set the edited document
|
void |
setFocus() |
void |
setProfile(LoadProfile profile)
Set a profile for this behavior
|
checkSite, getEditorInput, getEditorSite, getTitleToolTip, isSaveOnCloseNeeded, setContentDescription, setInitializationData, setInput, setInputWithNotify, setPartName
addPartPropertyListener, addPropertyListener, dispose, firePartPropertyChanged, firePropertyChange, getAdapter, getConfigurationElement, getContentDescription, getDefaultImage, getOrientation, getPartName, getPartProperties, getPartProperty, getSite, getTitle, getTitleImage, removePartPropertyListener, removePropertyListener, setPartProperty, setSite, setTitle, setTitleImage, setTitleToolTip, showBusy
addListenerObject, clearListeners, getListeners, isListenerAttached, removeListenerObject
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public BehaviorEditor(ScenarioManager scenario, IsacEditor editor, java.lang.String behaviorId, int behaviorPos, LoadProfile profile)
scenario
- editor
- behaviorId
- behaviorPos
- profile
- public void doSave(org.eclipse.core.runtime.IProgressMonitor monitor)
doSave
in interface org.eclipse.ui.ISaveablePart
doSave
in class org.eclipse.ui.part.EditorPart
public void doSaveAs()
doSaveAs
in interface org.eclipse.ui.ISaveablePart
doSaveAs
in class org.eclipse.ui.part.EditorPart
public void init(org.eclipse.ui.IEditorSite site, org.eclipse.ui.IEditorInput input) throws org.eclipse.ui.PartInitException
init
in interface org.eclipse.ui.IEditorPart
init
in class org.eclipse.ui.part.EditorPart
org.eclipse.ui.PartInitException
public boolean isDirty()
isDirty
in interface org.eclipse.ui.ISaveablePart
isDirty
in class org.eclipse.ui.part.EditorPart
public boolean isSaveAsAllowed()
isSaveAsAllowed
in interface org.eclipse.ui.ISaveablePart
isSaveAsAllowed
in class org.eclipse.ui.part.EditorPart
public void createPartControl(org.eclipse.swt.widgets.Composite parent)
createPartControl
in interface org.eclipse.ui.IWorkbenchPart
createPartControl
in class org.eclipse.ui.part.WorkbenchPart
public void setFocus()
setFocus
in interface org.eclipse.ui.IWorkbenchPart
setFocus
in class org.eclipse.ui.part.WorkbenchPart
public void setDocument(org.eclipse.jface.text.IDocument doc)
doc
- public void setBehaviorId(java.lang.String behaviorId)
behaviorId
- public void setBehaviorPos(int behaviorPos)
behaviorPos
- public void setProfile(LoadProfile profile)
profile
- public ScenarioManager getScenario()
public java.lang.String getBehaviorId()
public int getBehaviorPos()
public void refresh()