public class SwitchSourceProvider
extends org.eclipse.ui.AbstractSourceProvider
Modifier and Type | Field and Description |
---|---|
static java.util.List<java.lang.String> |
commandsToRefresh |
static java.lang.String |
DOMAIN |
static java.lang.String |
SWITCH |
Constructor and Description |
---|
SwitchSourceProvider() |
Modifier and Type | Method and Description |
---|---|
void |
dispose() |
java.util.Map |
getCurrentState() |
java.lang.String[] |
getProvidedSourceNames() |
void |
updateStatus(org.eclipse.ui.IEditorPart activeEditor)
Updates the variables used to guide the menu/toolbar population:
- Variable SWITCH (org.polarsys.chess.service.commands.switchState) is used for the change View toggle buttons
- Variable DOMAIN (org.polarsys.chess.service.commands.domain) is used for identifying AVIONICS models to visualize IMA commands
|
public static final java.lang.String SWITCH
public static final java.lang.String DOMAIN
public static java.util.List<java.lang.String> commandsToRefresh
public void dispose()
public java.util.Map getCurrentState()
public java.lang.String[] getProvidedSourceNames()
public void updateStatus(org.eclipse.ui.IEditorPart activeEditor)
activeEditor
-