org.eclipse.tptp.platform.analysis.metrics
Class TPTPAnalysisMetricsPlugin

java.lang.Object
  org.eclipse.core.runtime.Plugin
      org.eclipse.tptp.platform.analysis.util.AbstractTPTPStaticAnalysisPlugin
          org.eclipse.tptp.platform.analysis.metrics.TPTPAnalysisMetricsPlugin

All Implemented Interfaces:

org.osgi.framework.BundleActivator, ILogger, IStringBundle

public class TPTPAnalysisMetricsPlugin

extends AbstractTPTPStaticAnalysisPlugin

TPTPAnalysisMetricsPlugin is the plugin responsible for providing implementation of metrics in TPTP

Field Summary

Fields inherited from class org.eclipse.tptp.platform.analysis.util.AbstractTPTPStaticAnalysisPlugin

ICONS, MISSING_RESOURCE_ERROR, PLUGIN_STARTED_MESSAGE, SEPARATOR, TOKEN_FOR_BUNDLE_STRING_PREFIX

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

PLUGIN_PREFERENCE_SCOPE, PREFERENCES_DEFAULT_OVERRIDE_BASE_NAME, PREFERENCES_DEFAULT_OVERRIDE_FILE_NAME

Constructor Summary

TPTPAnalysisMetricsPlugin()

Method Summary

static TPTPAnalysisMetricsPlugin

getDefault()

Methods inherited from class org.eclipse.tptp.platform.analysis.util.AbstractTPTPStaticAnalysisPlugin

error, error, error, getIStringBundle, getString, getString, getString, getString, getString, getString, hasResourceBundle, isBundleInTheRightLocale, registerIStringBundle, start, warning, write

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

find, find, getBundle, getDescriptor, getLog, getPluginPreferences, getStateLocation, initializeDefaultPluginPreferences, internalInitializeDefaultPluginPreferences, isDebugging, openStream, openStream, savePluginPreferences, setDebugging, shutdown, startup, stop, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

TPTPAnalysisMetricsPlugin

public TPTPAnalysisMetricsPlugin()

Method Detail

getDefault

public static TPTPAnalysisMetricsPlugin getDefault()