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.CoreException
public static String getSimulatorNameForId(String simulatorId) throws org.eclipse.core.runtime.CoreException
org.eclipse.core.runtime.CoreException