Class JustificationPreferencesPanelPlugin

java.lang.Object
org.protege.editor.core.plugin.AbstractProtegePlugin<org.protege.editor.core.ui.preferences.PreferencesPanel>
org.liveontologies.protege.explanation.justification.preferences.JustificationPreferencesPanelPlugin
All Implemented Interfaces:
org.protege.editor.core.plugin.ProtegePlugin<org.protege.editor.core.ui.preferences.PreferencesPanel>, org.protege.editor.core.ui.preferences.PreferencesPanelPlugin

public class JustificationPreferencesPanelPlugin extends org.protege.editor.core.plugin.AbstractProtegePlugin<org.protege.editor.core.ui.preferences.PreferencesPanel> implements org.protege.editor.core.ui.preferences.PreferencesPanelPlugin
  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final String
     

    Fields inherited from class org.protege.editor.core.plugin.AbstractProtegePlugin

    extension
  • Constructor Summary

    Constructors
    Constructor
    Description
    JustificationPreferencesPanelPlugin(org.protege.editor.core.editorkit.EditorKit kit, org.eclipse.core.runtime.IExtension extension)
     
  • Method Summary

    Modifier and Type
    Method
    Description
     
    org.protege.editor.core.ui.preferences.PreferencesPanel
     

    Methods inherited from class org.protege.editor.core.plugin.AbstractProtegePlugin

    getDocumentation, getId, getIExtension, getPluginProperty, getPluginProperty

    Methods inherited from class java.lang.Object

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

    Methods inherited from interface org.protege.editor.core.plugin.ProtegePlugin

    getDocumentation, getId
  • Field Details

  • Constructor Details

    • JustificationPreferencesPanelPlugin

      public JustificationPreferencesPanelPlugin(org.protege.editor.core.editorkit.EditorKit kit, org.eclipse.core.runtime.IExtension extension)
  • Method Details

    • getLabel

      public String getLabel()
      Specified by:
      getLabel in interface org.protege.editor.core.ui.preferences.PreferencesPanelPlugin
      Overrides:
      getLabel in class org.protege.editor.core.plugin.AbstractProtegePlugin<org.protege.editor.core.ui.preferences.PreferencesPanel>
    • newInstance

      public org.protege.editor.core.ui.preferences.PreferencesPanel newInstance() throws ClassNotFoundException, IllegalAccessException, InstantiationException
      Specified by:
      newInstance in interface org.protege.editor.core.plugin.ProtegePlugin<org.protege.editor.core.ui.preferences.PreferencesPanel>
      Overrides:
      newInstance in class org.protege.editor.core.plugin.AbstractProtegePlugin<org.protege.editor.core.ui.preferences.PreferencesPanel>
      Throws:
      ClassNotFoundException
      IllegalAccessException
      InstantiationException