org::uppaal::port::ui::Activator Class Reference

List of all members.

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"

---

Detailed Description

The activator class controls the plug-in life cycle

---

Constructor & Destructor Documentation

org::uppaal::port::ui::Activator::Activator

(

)

[inline]

The constructor

---

Member Function Documentation

static Activator org::uppaal::port::ui::Activator::getDefault

(

)

[inline, static]

Returns the shared instance

Returns:

the shared instance

---

The documentation for this class was generated from the following file:

• save_port/org.uppaal.port.ui/src/org/uppaal/port/ui/Activator.java