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
FieldsFields inherited from class org.protege.editor.core.plugin.AbstractProtegePlugin
extension -
Constructor Summary
ConstructorsConstructorDescriptionJustificationPreferencesPanelPlugin(org.protege.editor.core.editorkit.EditorKit kit, org.eclipse.core.runtime.IExtension extension) -
Method Summary
Modifier and TypeMethodDescriptiongetLabel()org.protege.editor.core.ui.preferences.PreferencesPanelMethods inherited from class org.protege.editor.core.plugin.AbstractProtegePlugin
getDocumentation, getId, getIExtension, getPluginProperty, getPluginPropertyMethods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitMethods inherited from interface org.protege.editor.core.plugin.ProtegePlugin
getDocumentation, getId
-
Field Details
-
LABEL_PARAM
- See Also:
-
-
Constructor Details
-
JustificationPreferencesPanelPlugin
public JustificationPreferencesPanelPlugin(org.protege.editor.core.editorkit.EditorKit kit, org.eclipse.core.runtime.IExtension extension)
-
-
Method Details
-
getLabel
- Specified by:
getLabelin interfaceorg.protege.editor.core.ui.preferences.PreferencesPanelPlugin- Overrides:
getLabelin classorg.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:
newInstancein interfaceorg.protege.editor.core.plugin.ProtegePlugin<org.protege.editor.core.ui.preferences.PreferencesPanel>- Overrides:
newInstancein classorg.protege.editor.core.plugin.AbstractProtegePlugin<org.protege.editor.core.ui.preferences.PreferencesPanel>- Throws:
ClassNotFoundExceptionIllegalAccessExceptionInstantiationException
-