org.eclipse.tptp.platform.agentcontroller.internal.impl
Class AgentControllerPlugin

java.lang.Object
  org.eclipse.core.runtime.Plugin
      org.eclipse.ui.plugin.AbstractUIPlugin
          org.eclipse.tptp.platform.agentcontroller.internal.impl.ExecutionPlugin
              org.eclipse.tptp.platform.agentcontroller.internal.impl.AgentControllerPlugin

All Implemented Interfaces:

org.osgi.framework.BundleActivator

Deprecated. This is a deprecated class Please see ExecutionPlugin

public class AgentControllerPlugin

extends ExecutionPlugin

Field Summary

Fields inherited from class org.eclipse.tptp.platform.agentcontroller.internal.impl.ExecutionPlugin

AC_CONFIG_EXTENTION_POINT, 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

AgentControllerPlugin()
Deprecated.

Methods inherited from class org.eclipse.tptp.platform.agentcontroller.internal.impl.ExecutionPlugin

getBoolean, getDefaultBoolean, getDefaultInt, getDefaultString, getInstance, getInt, getString, isErrorOccurred, resolveAlias, resolveVariable, setBoolean, setErrorOccurred, setInt, setString, start, stop

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

createImageRegistry, getDialogSettings, getImageRegistry, getPreferenceStore, getWorkbench, imageDescriptorFromPlugin, initializeDefaultPluginPreferences, initializeDefaultPreferences, 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, wait, wait, wait

Constructor Detail

AgentControllerPlugin

public AgentControllerPlugin()

Deprecated.