Public Member Functions | |
Activator () | |
void | start (BundleContext context) throws Exception |
void | stop (BundleContext context) throws Exception |
Static Public Member Functions | |
static Activator | getDefault () |
static void | showErrorMessageWithNote (Throwable t, String note) |
Public Attributes | |
GridData | grabAndFill |
GridData | hFill |
Static Public Attributes | |
static final String | PLUGIN_ID = "org.uppaal.port.ui" |
org::uppaal::port::ui::Activator::Activator | ( | ) | [inline] |
The constructor
static Activator org::uppaal::port::ui::Activator::getDefault | ( | ) | [inline, static] |
Returns the shared instance