|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.eclipse.core.runtime.Plugin
org.eclipse.ui.plugin.AbstractUIPlugin
org.eclipse.palamedes.ui.PalamedesUI
public class PalamedesUI
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 |
---|
public static final java.lang.String PLUGIN_ID
public static final java.lang.String GDL_PARTITIONING
public static final int INTERNAL_ERROR
public static final java.lang.String ICON_AND
public static final java.lang.String ICON_OR
public static final java.lang.String ICON_NOT
public static final java.lang.String ICON_IMP
public static final java.lang.String ICON_REL
public static final java.lang.String ICON_FUN
public static final java.lang.String ICON_OBJ
public static final java.lang.String ICON_VAR
public static final java.lang.String ICON_OP
public static final java.lang.String ICON_GDL
public static final java.lang.String ICON_FACT
public static final java.lang.String ICON_COUNTER
public static final java.lang.String ICON_STEP
public static final java.lang.String ICON_TOGGLE
public static final java.lang.String ICON_CONTROL
public static final java.lang.String ICON_ORDER_S
public static final java.lang.String ICON_MOVE
public static final java.lang.String ICON_STATE
public static final java.lang.String ENDLINE
Constructor Detail |
---|
public PalamedesUI()
Method Detail |
---|
public static PalamedesUI getDefault()
public PartitionScanner getGDLPartitionScanner()
public StylesheetStore getStylesheetStore()
public org.eclipse.jface.text.rules.RuleBasedScanner getGDLCodeScanner()
public ColorProvider getGDLColorProvider()
protected void initializeImageRegistry(org.eclipse.jface.resource.ImageRegistry registry)
initializeImageRegistry
in class org.eclipse.ui.plugin.AbstractUIPlugin
public void start(org.osgi.framework.BundleContext context) throws java.lang.Exception
start
in interface org.osgi.framework.BundleActivator
start
in class org.eclipse.ui.plugin.AbstractUIPlugin
java.lang.Exception
public void stop(org.osgi.framework.BundleContext context) throws java.lang.Exception
stop
in interface org.osgi.framework.BundleActivator
stop
in class org.eclipse.ui.plugin.AbstractUIPlugin
java.lang.Exception
public static java.lang.String getPluginId()
public static void log(org.eclipse.core.runtime.IStatus status)
public static void logErrorMessage(java.lang.String message)
public static void logErrorStatus(java.lang.String message, org.eclipse.core.runtime.IStatus status)
public static void log(java.lang.Throwable e)
public static void logRepeatedMessage(java.lang.String message, java.lang.String detail)
Only intended for use in debug statements.
message
- the (generic) messagedetail
- the detail messagepublic static java.lang.String getReasonerType()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |