org.eclipse.palamedes.ui
Class PalamedesUI

java.lang.Object
  extended by org.eclipse.core.runtime.Plugin
      extended by org.eclipse.ui.plugin.AbstractUIPlugin
          extended by org.eclipse.palamedes.ui.PalamedesUI
All Implemented Interfaces:
org.osgi.framework.BundleActivator

public class PalamedesUI
extends org.eclipse.ui.plugin.AbstractUIPlugin

The activator class controls the plug-in life cycle


Field Summary
static java.lang.String ENDLINE
           
static java.lang.String GDL_PARTITIONING
           
static java.lang.String ICON_AND
           
static java.lang.String ICON_CONTROL
           
static java.lang.String ICON_COUNTER
           
static java.lang.String ICON_FACT
           
static java.lang.String ICON_FUN
           
static java.lang.String ICON_GDL
           
static java.lang.String ICON_IMP
           
static java.lang.String ICON_MOVE
           
static java.lang.String ICON_NOT
           
static java.lang.String ICON_OBJ
           
static java.lang.String ICON_OP
           
static java.lang.String ICON_OR
           
static java.lang.String ICON_ORDER_S
           
static java.lang.String ICON_REL
           
static java.lang.String ICON_STATE
           
static java.lang.String ICON_STEP
           
static java.lang.String ICON_TOGGLE
           
static java.lang.String ICON_VAR
           
static int INTERNAL_ERROR
           
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
PalamedesUI()
           
 
Method Summary
static PalamedesUI getDefault()
          Returns the shared instance
 org.eclipse.jface.text.rules.RuleBasedScanner getGDLCodeScanner()
          Returns the singleton GDL code scanner.
 ColorProvider getGDLColorProvider()
          Returns the singleton GDL color provider.
 PartitionScanner getGDLPartitionScanner()
          Return a scanner for creating GDL partitions.
static java.lang.String getPluginId()
           
static java.lang.String getReasonerType()
           
 StylesheetStore getStylesheetStore()
          Returns the template store for the java editor templates.
protected  void initializeImageRegistry(org.eclipse.jface.resource.ImageRegistry registry)
           
static void log(org.eclipse.core.runtime.IStatus status)
           
static void log(java.lang.Throwable e)
           
static void logErrorMessage(java.lang.String message)
           
static void logErrorStatus(java.lang.String message, org.eclipse.core.runtime.IStatus status)
           
static void logRepeatedMessage(java.lang.String message, java.lang.String detail)
          Log a message that is potentially repeated after a very short time.
 void start(org.osgi.framework.BundleContext context)
           
 void stop(org.osgi.framework.BundleContext context)
           
 
Methods inherited from class org.eclipse.ui.plugin.AbstractUIPlugin
createImageRegistry, getDialogSettings, getImageRegistry, getPreferenceStore, getWorkbench, imageDescriptorFromPlugin, initializeDefaultPluginPreferences, initializeDefaultPreferences, 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
 

Field Detail

PLUGIN_ID

public static final java.lang.String PLUGIN_ID
See Also:
Constant Field Values

GDL_PARTITIONING

public static final java.lang.String GDL_PARTITIONING
See Also:
Constant Field Values

INTERNAL_ERROR

public static final int INTERNAL_ERROR
See Also:
Constant Field Values

ICON_AND

public static final java.lang.String ICON_AND
See Also:
Constant Field Values

ICON_OR

public static final java.lang.String ICON_OR
See Also:
Constant Field Values

ICON_NOT

public static final java.lang.String ICON_NOT
See Also:
Constant Field Values

ICON_IMP

public static final java.lang.String ICON_IMP
See Also:
Constant Field Values

ICON_REL

public static final java.lang.String ICON_REL
See Also:
Constant Field Values

ICON_FUN

public static final java.lang.String ICON_FUN
See Also:
Constant Field Values

ICON_OBJ

public static final java.lang.String ICON_OBJ
See Also:
Constant Field Values

ICON_VAR

public static final java.lang.String ICON_VAR
See Also:
Constant Field Values

ICON_OP

public static final java.lang.String ICON_OP
See Also:
Constant Field Values

ICON_GDL

public static final java.lang.String ICON_GDL
See Also:
Constant Field Values

ICON_FACT

public static final java.lang.String ICON_FACT
See Also:
Constant Field Values

ICON_COUNTER

public static final java.lang.String ICON_COUNTER
See Also:
Constant Field Values

ICON_STEP

public static final java.lang.String ICON_STEP
See Also:
Constant Field Values

ICON_TOGGLE

public static final java.lang.String ICON_TOGGLE
See Also:
Constant Field Values

ICON_CONTROL

public static final java.lang.String ICON_CONTROL
See Also:
Constant Field Values

ICON_ORDER_S

public static final java.lang.String ICON_ORDER_S
See Also:
Constant Field Values

ICON_MOVE

public static final java.lang.String ICON_MOVE
See Also:
Constant Field Values

ICON_STATE

public static final java.lang.String ICON_STATE
See Also:
Constant Field Values

ENDLINE

public static final java.lang.String ENDLINE
Constructor Detail

PalamedesUI

public PalamedesUI()
Method Detail

getDefault

public static PalamedesUI getDefault()
Returns the shared instance

Returns:
the shared instance

getGDLPartitionScanner

public PartitionScanner getGDLPartitionScanner()
Return a scanner for creating GDL partitions.

Returns:
a scanner for creating GDL partitions

getStylesheetStore

public StylesheetStore getStylesheetStore()
Returns the template store for the java editor templates.

Returns:
the template store for the java editor templates
Since:
3.0

getGDLCodeScanner

public org.eclipse.jface.text.rules.RuleBasedScanner getGDLCodeScanner()
Returns the singleton GDL code scanner.

Returns:
the singleton GDL code scanner

getGDLColorProvider

public ColorProvider getGDLColorProvider()
Returns the singleton GDL color provider.

Returns:
the singleton GDL color provider

initializeImageRegistry

protected void initializeImageRegistry(org.eclipse.jface.resource.ImageRegistry registry)
Overrides:
initializeImageRegistry in class org.eclipse.ui.plugin.AbstractUIPlugin

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

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

getPluginId

public static java.lang.String getPluginId()

log

public static void log(org.eclipse.core.runtime.IStatus status)

logErrorMessage

public static void logErrorMessage(java.lang.String message)

logErrorStatus

public static void logErrorStatus(java.lang.String message,
                                  org.eclipse.core.runtime.IStatus status)

log

public static void log(java.lang.Throwable e)

logRepeatedMessage

public static void logRepeatedMessage(java.lang.String message,
                                      java.lang.String detail)
Log a message that is potentially repeated after a very short time. The first time this method is called with a given message, the message is written to the log along with the detail message and a stack trace.

Only intended for use in debug statements.

Parameters:
message - the (generic) message
detail - the detail message

getReasonerType

public static java.lang.String getReasonerType()