org.eclipse.tptp.platform.common.ui.trace.internal
Class CommonUITracePlugin

java.lang.Object
  org.eclipse.core.runtime.Plugin
      org.eclipse.ui.plugin.AbstractUIPlugin
          org.eclipse.tptp.platform.common.ui.trace.internal.CommonUITracePlugin

All Implemented Interfaces:

java.security.Principal, Application, org.osgi.framework.BundleActivator

public class CommonUITracePlugin
extends org.eclipse.ui.plugin.AbstractUIPlugin
implements Application

The activator class controls the plug-in life cycle

Field Summary

protected static CommonUITracePlugin	plugin
static java.lang.String	PLUGIN_ID

Fields inherited from class org.eclipse.core.runtime.Plugin

PLUGIN_PREFERENCE_SCOPE, PREFERENCES_DEFAULT_OVERRIDE_BASE_NAME, PREFERENCES_DEFAULT_OVERRIDE_FILE_NAME

Constructor Summary

CommonUITracePlugin()
The constructor

Method Summary

static CommonUITracePlugin	getDefault() Returns the shared instance
java.lang.String	getName()
protected void	initializeDefaultPreferences(org.eclipse.jface.preference.IPreferenceStore store) Sets default preference values.
void	log(java.lang.Throwable e)
void	start(org.osgi.framework.BundleContext context)
void	stop(org.osgi.framework.BundleContext context)
protected void	updateHostPreference() /** Update the host preference value to the new format in order /** to support the IPv6 format. /** @Since TPTP 4.5

Methods inherited from class org.eclipse.ui.plugin.AbstractUIPlugin

createImageRegistry, getDialogSettings, getImageRegistry, getPreferenceStore, getWorkbench, imageDescriptorFromPlugin, initializeDefaultPluginPreferences, initializeImageRegistry, loadDialogSettings, loadPreferenceStore, refreshPluginActions, saveDialogSettings, savePreferenceStore, shutdown, startup

Methods inherited from class org.eclipse.core.runtime.Plugin

find, find, getBundle, getDescriptor, getLog, getPluginPreferences, getStateLocation, internalInitializeDefaultPluginPreferences, isDebugging, openStream, openStream, savePluginPreferences, setDebugging, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.security.Principal

equals, hashCode, toString

Field Detail

PLUGIN_ID

public static final java.lang.String PLUGIN_ID

See Also:

Constant Field Values

plugin

protected static CommonUITracePlugin plugin

Constructor Detail

CommonUITracePlugin

public CommonUITracePlugin()

The constructor

Method Detail

start

public void start(org.osgi.framework.BundleContext context)
           throws java.lang.Exception

Specified by:

start in interface org.osgi.framework.BundleActivator

Overrides:

start in class org.eclipse.ui.plugin.AbstractUIPlugin

Throws:

java.lang.Exception

updateHostPreference

protected void updateHostPreference()

/** Update the host preference value to the new format in order /** to support the IPv6 format. /** @Since TPTP 4.5

stop

public void stop(org.osgi.framework.BundleContext context)
          throws java.lang.Exception

Specified by:

stop in interface org.osgi.framework.BundleActivator

Overrides:

stop in class org.eclipse.ui.plugin.AbstractUIPlugin

Throws:

java.lang.Exception

getDefault

public static CommonUITracePlugin getDefault()

Returns the shared instance

Returns:

the shared instance

getName

public java.lang.String getName()

Specified by:

getName in interface java.security.Principal

initializeDefaultPreferences

protected void initializeDefaultPreferences(org.eclipse.jface.preference.IPreferenceStore store)

Sets default preference values. These values will be used until some preferences are actually set using Preference dialog.

Overrides:

initializeDefaultPreferences in class org.eclipse.ui.plugin.AbstractUIPlugin

Parameters:

store - IPreferenceStore, the preference store where the default values are stored.

log

public void log(java.lang.Throwable e)