Class Activator

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.lang.String EXTENSION  
      static java.lang.String PLUGIN_ID  
      • Fields inherited from class de.uni_hildesheim.sse.ui.internal.IvmlActivator

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

        PLUGIN_PREFERENCE_SCOPE, PREFERENCES_DEFAULT_OVERRIDE_BASE_NAME, PREFERENCES_DEFAULT_OVERRIDE_FILE_NAME
    • Constructor Summary

      Constructors 
      Constructor Description
      Activator()  
    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      ModelEditorConfigurer.IHeader createHeader​(org.eclipse.swt.widgets.Composite parent, Configuration config, java.io.File base, ModelInfo<?> info)
      Creates the actual header.
      IEmbeddedEditor embedEditor​(java.net.URI resourceURI, org.eclipse.swt.widgets.Composite composite)
      Embeds an editor handling the given resourceURI.
      java.lang.String getEditorTitle​(boolean editable)
      Returns the editor title.
      java.lang.String getExtension()
      Returns the file extension to configure fore.
      static org.eclipse.jface.resource.ImageDescriptor getImageDescriptor​(java.lang.String path)
      Returns an image descriptor for the image file at the given plug-in relative path
      AbstractModelChangeListener getModelChangeListener()
      Returns the model change listener, e.g., to rebuild the related model on save.
      int getOrdinal()
      Returns an ordinal for sorting model configurers for displying them.
      java.lang.String getPageTitle​(boolean editable)
      Returns the page title.
      boolean hasHeader()
      Returns whether the described editor shall have a header.
      void start​(org.osgi.framework.BundleContext context)  
      void stop​(org.osgi.framework.BundleContext context)  
      • Methods inherited from class de.uni_hildesheim.sse.ui.internal.IvmlActivator

        createInjector, getInjector, getInstance, getRuntimeModule, getSharedStateModule, getUiModule
      • 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