org.coode.change.diff.AxiomsPanel Maven / Gradle / Ivy
Show all versions of change-tracker Show documentation
package org.coode.change.diff;
import java.awt.BorderLayout;
import java.awt.event.HierarchyEvent;
import java.awt.event.HierarchyListener;
import java.awt.event.ItemEvent;
import java.awt.event.ItemListener;
import java.util.ArrayList;
import java.util.Collections;
import java.util.HashSet;
import java.util.List;
/*
* Copyright (C) 2007, University of Manchester
*
* Modifications to the initial code base are copyright of their
* respective authors, or their employers as appropriate. Authorship
* of the modifications may be determined from the ChangeLog placed at
* the end of this file.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
* License as published by the Free Software Foundation; either
* version 2.1 of the License, or (at your option) any later version.
* This library is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser General Public License for more details.
* You should have received a copy of the GNU Lesser General Public
* License along with this library; if not, write to the Free Software
* Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
*/
import java.util.Set;
import java.util.Vector;
import javax.swing.DefaultComboBoxModel;
import javax.swing.JComboBox;
import javax.swing.JPanel;
import javax.swing.JScrollPane;
import org.protege.editor.core.Disposable;
import org.protege.editor.owl.OWLEditorKit;
import org.protege.editor.owl.model.OWLModelManager;
import org.protege.editor.owl.model.event.EventType;
import org.protege.editor.owl.model.event.OWLModelManagerChangeEvent;
import org.protege.editor.owl.model.event.OWLModelManagerListener;
import org.protege.editor.owl.ui.frame.AbstractOWLFrame;
import org.protege.editor.owl.ui.frame.AxiomListFrameSection;
import org.protege.editor.owl.ui.framelist.OWLFrameList;
import org.protege.editor.owl.ui.renderer.OWLOntologyCellRenderer;
import org.semanticweb.owlapi.model.AxiomType;
import org.semanticweb.owlapi.model.OWLAxiom;
import org.semanticweb.owlapi.model.OWLOntology;
import org.semanticweb.owlapi.model.OWLOntologyChange;
import org.semanticweb.owlapi.model.OWLOntologyChangeListener;
/**
* Author: drummond
* http://www.cs.man.ac.uk/~drummond/
*
* The University Of Manchester
* Bio Health Informatics Group
* Date: Dec 24, 2008
*/
public class AxiomsPanel extends JPanel implements OntologySelector, Disposable {
private static final long serialVersionUID = 1L;
private OWLEditorKit eKit;
protected JComboBox ontologySelector;
private OWLFrameList > list;
protected OWLOntology currentOntology;
private OntologySelector diff;
private List listeners = new ArrayList<>();
private OWLOntologyChangeListener ontChangeListener = new OWLOntologyChangeListener(){
@Override
public void ontologiesChanged(java.util.List changes) {
handleChanges(changes);
}
};
private ItemListener itemSelectorListener = new ItemListener(){
@Override
public void itemStateChanged(ItemEvent event) {
setOntology((OWLOntology)ontologySelector.getSelectedItem());
}
};
private OWLOntologySelectionListener diffListener = new OWLOntologySelectionListener(){
@Override
public void selectionChanged(OWLOntology selectedOntology) {
refresh();
}
};
private OWLModelManagerListener mngrListener = new OWLModelManagerListener(){
@Override
public void handleChange(OWLModelManagerChangeEvent event) {
if (event.getType().equals(EventType.ONTOLOGY_LOADED)){
reloadOntologySelector();
}
else if (event.getType().equals(EventType.ONTOLOGY_CREATED)){
reloadOntologySelector();
}
}
};
protected boolean updateViewRequired = true;
private HierarchyListener componentHierarchyListener = new HierarchyListener() {
@Override
public void hierarchyChanged(HierarchyEvent hierarchyEvent) {
if (isShowing()) {
if (updateViewRequired) {
refresh();
}
}
}
};
private boolean showAnnotations = true;
private boolean showDisjointClasses = true;
AxiomsPanel(OWLEditorKit eKit) {
setLayout(new BorderLayout());
this.eKit = eKit;
setOntology(eKit.getOWLModelManager().getActiveOntology());
ontologySelector = new JComboBox<>();
reloadOntologySelector();
ontologySelector.setRenderer(new OWLOntologyCellRenderer(eKit));
OWLAxiomListFrame frame = new OWLAxiomListFrame(eKit);
list = new OWLFrameList<>(eKit, frame);
add(ontologySelector, BorderLayout.NORTH);
add(new JScrollPane(list), BorderLayout.CENTER);
OWLModelManager mngr = eKit.getOWLModelManager();
mngr.addOntologyChangeListener(ontChangeListener);
mngr.addListener(mngrListener);
ontologySelector.addItemListener(itemSelectorListener);
addHierarchyListener(componentHierarchyListener);
}
void setDiff(OntologySelector diff){
if (this.diff != null && !this.diff.equals(diff)){
this.diff.removeOntologySelectionListener(diffListener);
}
this.diff = diff;
if (this.diff != null){
diff.addOntologySelectionListener(diffListener);
}
refresh();
}
void setOntology(OWLOntology ontology) {
this.currentOntology = ontology;
for (OWLOntologySelectionListener l : listeners){
l.selectionChanged(currentOntology);
}
refresh();
}
protected void reloadOntologySelector() {
Set ontologies = eKit.getOWLModelManager().getOntologies();
ontologySelector.setModel(new DefaultComboBoxModel<>(new Vector<>(ontologies)));
if (ontologies.contains(currentOntology)){
ontologySelector.setSelectedItem(currentOntology);
}
}
protected void refresh() {
if (isShowing()){
final Set axioms = new HashSet<>(isShowAnnotations() ? currentOntology.getAxioms() : currentOntology.getLogicalAxioms());
if (!showDisjointClasses){
axioms.removeAll(currentOntology.getAxioms(AxiomType.DISJOINT_CLASSES));
}
if (diff != null &&
diff.getSelectedOntology() != null &&
!diff.getSelectedOntology().equals(currentOntology)){
final Set diffAxioms = diff.getSelectedOntology().getAxioms();
axioms.removeAll(diffAxioms);
}
list.setRootObject(axioms);
updateViewRequired = false;
}
else{
updateViewRequired = true;
}
}
protected void handleChanges(List changes) {
boolean requiresReload = false;
for (OWLOntologyChange chg : changes){
if (chg.getOntology().equals(currentOntology)){
// would be more efficient if we just add/remove as required
requiresReload = true;
}
}
if (requiresReload){
refresh();
}
}
@Override
public void dispose() {
list.dispose();
eKit.getOWLModelManager().removeOntologyChangeListener(ontChangeListener);
eKit.getOWLModelManager().removeListener(mngrListener);
ontologySelector = null;
}
@Override
public OWLOntology getSelectedOntology() {
return currentOntology;
}
@Override
public void addOntologySelectionListener(OWLOntologySelectionListener l) {
listeners.add(l);
}
@Override
public void removeOntologySelectionListener(OWLOntologySelectionListener l) {
listeners.remove(l);
}
public boolean isShowAnnotations() {
return showAnnotations;
}
public void setShowAnnotations(boolean showAnnotations) {
this.showAnnotations = showAnnotations;
refresh();
}
public void setShowDisjointClasses(boolean showDisjointClasses) {
this.showDisjointClasses = showDisjointClasses;
refresh();
}
class OWLAxiomListFrame extends AbstractOWLFrame> {
public OWLAxiomListFrame(OWLEditorKit owlEditorKit) {
super(owlEditorKit.getModelManager().getOWLOntologyManager());
addSection(new AxiomListFrameSection(owlEditorKit, this){
@Override
protected Set getOntologies() {
return Collections.singleton(currentOntology);
}
});
}
}
}