Package org.liveontologies.protege.explanation.justification

Class JustificationStatusSection

java.lang.Object
org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
org.protege.editor.owl.ui.frame.AbstractOWLFrameSection<Explanation,org.semanticweb.owlapi.model.OWLAxiom,org.semanticweb.owlapi.model.OWLAxiom>
org.liveontologies.protege.explanation.justification.JustificationStatusSection
All Implemented Interfaces:
org.protege.editor.core.ui.list.MListSectionHeader, org.protege.editor.owl.ui.editor.OWLObjectEditorHandler<org.semanticweb.owlapi.model.OWLAxiom>, org.protege.editor.owl.ui.frame.OWLFrameObject<Explanation,org.semanticweb.owlapi.model.OWLAxiom,org.semanticweb.owlapi.model.OWLAxiom>, org.protege.editor.owl.ui.frame.OWLFrameSection<Explanation,org.semanticweb.owlapi.model.OWLAxiom,org.semanticweb.owlapi.model.OWLAxiom>, org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor, org.semanticweb.owlapi.model.OWLAxiomVisitor, org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor
public class JustificationStatusSection extends org.protege.editor.owl.ui.frame.AbstractOWLFrameSection<Explanation,org.semanticweb.owlapi.model.OWLAxiom,org.semanticweb.owlapi.model.OWLAxiom>

  • Constructor Summary

    Constructors
    Modifier
    Constructor
    Description
    protected
    JustificationStatusSection(org.protege.editor.owl.OWLEditorKit editorKit, org.protege.editor.owl.ui.frame.OWLFrame<? extends Explanation> frame, PartialListVisualizer justificationPanel)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    protected void
    clear()
     
    protected org.semanticweb.owlapi.model.OWLAxiom
    createAxiom(org.semanticweb.owlapi.model.OWLAxiom object)
     
    MListReloadButton
    getButton()
     
    org.protege.editor.owl.ui.editor.OWLObjectEditor<org.semanticweb.owlapi.model.OWLAxiom>
    getObjectEditor()
     
    Comparator<org.protege.editor.owl.ui.frame.OWLFrameSectionRow<Explanation,org.semanticweb.owlapi.model.OWLAxiom,org.semanticweb.owlapi.model.OWLAxiom>>
    getRowComparator()
     
    protected void
    refill(org.semanticweb.owlapi.model.OWLOntology ontology)
     
    void
    setStatusString(String value)
     

    Methods inherited from class org.protege.editor.owl.ui.frame.AbstractOWLFrameSection

    addInferredRowIfNontrivial, addRow, canAcceptDrop, canAdd, checkEditorResults, dispose, disposeOfSection, dropObjects, getAdditionalButtons, getAxioms, getCurrentReasoner, getEditor, getFrame, getLabel, getName, getOntologies, getOWLDataFactory, getOWLEditorKit, getOWLModelManager, getOWLOntologyManager, getReasoner, getRendering, getRootObject, getRowIndex, getRowLabel, getRows, handleChanges, handleEditingFinished, handleOntologyChanges, isResettingChange, refillInferred, reset, setCacheEditor, setLabel, setRootObject, toString, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

    Methods inherited from class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

    handleDefault, visit, visit, visit, visit

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • JustificationStatusSection

      protected JustificationStatusSection(org.protege.editor.owl.OWLEditorKit editorKit, org.protege.editor.owl.ui.frame.OWLFrame<? extends Explanation> frame, PartialListVisualizer justificationPanel)

  • Method Details

    • getRowComparator

      public Comparator<org.protege.editor.owl.ui.frame.OWLFrameSectionRow<Explanation,org.semanticweb.owlapi.model.OWLAxiom,org.semanticweb.owlapi.model.OWLAxiom>> getRowComparator()

    • createAxiom

      protected org.semanticweb.owlapi.model.OWLAxiom createAxiom(org.semanticweb.owlapi.model.OWLAxiom object)
      Specified by:
      createAxiom in class org.protege.editor.owl.ui.frame.AbstractOWLFrameSection<Explanation,org.semanticweb.owlapi.model.OWLAxiom,org.semanticweb.owlapi.model.OWLAxiom>

    • getObjectEditor

      public org.protege.editor.owl.ui.editor.OWLObjectEditor<org.semanticweb.owlapi.model.OWLAxiom> getObjectEditor()
      Specified by:
      getObjectEditor in class org.protege.editor.owl.ui.frame.AbstractOWLFrameSection<Explanation,org.semanticweb.owlapi.model.OWLAxiom,org.semanticweb.owlapi.model.OWLAxiom>

    • refill

      protected void refill(org.semanticweb.owlapi.model.OWLOntology ontology)
      Specified by:
      refill in class org.protege.editor.owl.ui.frame.AbstractOWLFrameSection<Explanation,org.semanticweb.owlapi.model.OWLAxiom,org.semanticweb.owlapi.model.OWLAxiom>

    • clear

      protected void clear()
      Specified by:
      clear in class org.protege.editor.owl.ui.frame.AbstractOWLFrameSection<Explanation,org.semanticweb.owlapi.model.OWLAxiom,org.semanticweb.owlapi.model.OWLAxiom>

    • getButton

      public MListReloadButton getButton()

    • setStatusString

      public void setStatusString(String value)