public class BehaviorMasterPage
extends org.eclipse.ui.forms.MasterDetailsBlock
implements org.eclipse.jface.viewers.ISelectionChangedListener, org.eclipse.swt.events.KeyListener
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ADD_CHILD |
static java.lang.String |
ADD_CHOICE |
static java.lang.String |
ADD_ELSE |
static java.lang.String |
ADD_THEN |
Constructor and Description |
---|
BehaviorMasterPage(ScenarioManager scenario,
IsacEditor editor,
java.lang.String behaviorId,
int behaviorPos,
LoadProfile profile)
Constructor
|
Modifier and Type | Method and Description |
---|---|
protected void |
createMasterPart(org.eclipse.ui.forms.IManagedForm managedForm,
org.eclipse.swt.widgets.Composite parent) |
protected void |
createToolBarActions(org.eclipse.ui.forms.IManagedForm managedForm) |
void |
keyPressed(org.eclipse.swt.events.KeyEvent e) |
void |
keyReleased(org.eclipse.swt.events.KeyEvent e) |
void |
refresh()
Refresh details part and tree
|
protected void |
registerPages(org.eclipse.ui.forms.DetailsPart detailsPart) |
void |
selectionChanged(org.eclipse.jface.viewers.SelectionChangedEvent event) |
void |
setBehaviorId(java.lang.String behaviorId)
Set behavior Id
|
void |
setBehaviorPos(int behaviorPos)
Set behavior position
|
void |
setBehaviorProfile(LoadProfile behaviorProfile)
Set behavior profile
|
void |
setDocument(org.eclipse.jface.text.IDocument doc)
Set document
|
public static final java.lang.String ADD_THEN
public static final java.lang.String ADD_ELSE
public static final java.lang.String ADD_CHOICE
public static final java.lang.String ADD_CHILD
public BehaviorMasterPage(ScenarioManager scenario, IsacEditor editor, java.lang.String behaviorId, int behaviorPos, LoadProfile profile)
scenario
- Instance of the scenario managereditor
- Instance of the isac editorbehaviorId
- id of the behaviour pagebehaviorPos
- Position of the behaviour pageprofile
- protected void createMasterPart(org.eclipse.ui.forms.IManagedForm managedForm, org.eclipse.swt.widgets.Composite parent)
createMasterPart
in class org.eclipse.ui.forms.MasterDetailsBlock
protected void registerPages(org.eclipse.ui.forms.DetailsPart detailsPart)
registerPages
in class org.eclipse.ui.forms.MasterDetailsBlock
protected void createToolBarActions(org.eclipse.ui.forms.IManagedForm managedForm)
createToolBarActions
in class org.eclipse.ui.forms.MasterDetailsBlock
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 setBehaviorProfile(LoadProfile behaviorProfile)
behaviorProfile
- public void refresh()
public void selectionChanged(org.eclipse.jface.viewers.SelectionChangedEvent event)
selectionChanged
in interface org.eclipse.jface.viewers.ISelectionChangedListener
public void keyPressed(org.eclipse.swt.events.KeyEvent e)
keyPressed
in interface org.eclipse.swt.events.KeyListener
public void keyReleased(org.eclipse.swt.events.KeyEvent e)
keyReleased
in interface org.eclipse.swt.events.KeyListener