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 Details

    • JustificationFrame

      public JustificationFrame(org.protege.editor.owl.OWLEditorKit editorKit, Explanation explanation, PartialListVisualizer justificationPanel)
  • Method Details

    • addSection

      public void addSection(int index, String caption)
    • clear

      public void clear()
    • setAddJustificationsSectionVisibility

      public void setAddJustificationsSectionVisibility(boolean isVisible)
    • getAddJustificationsSectionVisibility

      public boolean getAddJustificationsSectionVisibility()
    • setStatusString

      public void setStatusString(String value)
    • dispose

      public void dispose()
      Specified by:
      dispose in interface org.protege.editor.owl.ui.frame.OWLFrame<Explanation>
      Overrides:
      dispose in class org.protege.editor.owl.ui.frame.AbstractOWLFrame<Explanation>