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