public class SimulatorExtensionHelper
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
EXTENSION_POINT_ID
the id for the "Palladio Simulator" extension point
|
Constructor and Description |
---|
SimulatorExtensionHelper() |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
getSimulatorIdForName(java.lang.String simulatorName) |
static java.lang.String |
getSimulatorNameForId(java.lang.String simulatorId) |
static java.lang.String[] |
getSimulatorNames() |
public static final java.lang.String EXTENSION_POINT_ID
public static java.lang.String[] getSimulatorNames() throws CoreException
CoreException
public static java.lang.String getSimulatorNameForId(java.lang.String simulatorId) throws CoreException
CoreException
public static java.lang.String getSimulatorIdForName(java.lang.String simulatorName) throws CoreException
CoreException