Class JustificationFrame
java.lang.Object
org.protege.editor.owl.ui.frame.AbstractOWLFrame<Explanation>
org.liveontologies.protege.explanation.justification.JustificationFrame
- All Implemented Interfaces:
org.protege.editor.owl.ui.frame.OWLFrame<Explanation>
public class JustificationFrame
extends org.protege.editor.owl.ui.frame.AbstractOWLFrame<Explanation>
Author: Matthew Horridge Stanford University Bio-Medical Informatics Research
Group Date: 19/03/2012
-
Constructor Summary
ConstructorsConstructorDescriptionJustificationFrame(org.protege.editor.owl.OWLEditorKit editorKit, Explanation explanation, PartialListVisualizer justificationPanel) -
Method Summary
Modifier and TypeMethodDescriptionvoidaddSection(int index, String caption) voidclear()voiddispose()booleanvoidsetAddJustificationsSectionVisibility(boolean isVisible) voidsetStatusString(String value) Methods inherited from class org.protege.editor.owl.ui.frame.AbstractOWLFrame
addFrameListener, addSection, addSection, clearSections, fireContentChanged, getFrameSections, getManager, getRootObject, getSectionCount, refill, removeFrameListener, setRootObject, toString
-
Constructor Details
-
JustificationFrame
public JustificationFrame(org.protege.editor.owl.OWLEditorKit editorKit, Explanation explanation, PartialListVisualizer justificationPanel)
-
-
Method Details
-
addSection
-
clear
public void clear() -
setAddJustificationsSectionVisibility
public void setAddJustificationsSectionVisibility(boolean isVisible) -
getAddJustificationsSectionVisibility
public boolean getAddJustificationsSectionVisibility() -
setStatusString
-
dispose
public void dispose()- Specified by:
disposein interfaceorg.protege.editor.owl.ui.frame.OWLFrame<Explanation>- Overrides:
disposein classorg.protege.editor.owl.ui.frame.AbstractOWLFrame<Explanation>
-