| Modifier and type | Field and description |
|---|---|
| public static val java.lang.String | EXTENSION_POINT_LAUNCH_CONFIGURATION_PANEL_FACTORY
Name of the extension points for the launch configuration panels. |
| Modifier and type | Action and description |
|---|---|
| static java.util.List<E> | getPanelFactoriesFromExtension
Replies the fragments that are defined as extensions in the given Eclipse plugin. |
| static java.util.stream.Stream<T> | getPanelFactoryStreamFromExtension
Replies the fragments that are defined as extensions in the given Eclipse plugin. |
public static val EXTENSION_POINT_LAUNCH_CONFIGURATION_PANEL_FACTORY : java.lang.String = "sarlLaunchConfigurationPanels"
def getPanelFactoriesFromExtension : java.util.List<E>
def getPanelFactoryStreamFromExtension : java.util.stream.Stream<T>