public MetricsPanel(OWLEditorKit editorKit) { this.owlEditorKit = editorKit; setBackground(Color.WHITE); setOpaque(true); initialiseOWLView(); createPopupMenu(); }
public MetricsPanel(OWLEditorKit editorKit) { this.owlEditorKit = editorKit; initialiseOWLView(); createPopupMenu(); }
protected void initialiseOntologyView() throws Exception { metricsPanel = new MetricsPanel(getOWLEditorKit()); setLayout(new BorderLayout()); add(metricsPanel); }
private void setName() { DLExpressivityChecker checker = new DLExpressivityChecker(getOWLModelManager().getActiveOntologies()); namePanel.setConstructs(checker.getConstructs()); }
protected void updateView(OWLOntology activeOntology) throws Exception { metricsPanel.updateView(activeOntology); } }
protected void disposeOntologyView() { try { metricsPanel.dispose(); } catch (Exception e) { logger.error("An error occurred whilst disposing of the metrics panel", e); } }
protected void initialiseOntologyView() throws Exception { metricsPanel = new MetricsPanel(getOWLEditorKit()); setLayout(new BorderLayout()); add(metricsPanel); }
public MetricsPanel(OWLEditorKit editorKit) { this.owlEditorKit = editorKit; initialiseOWLView(); createPopupMenu(); }
protected void updateView(OWLOntology activeOntology) throws Exception { metricsPanel.updateView(activeOntology); } }
protected void initialiseOntologyView() throws Exception { metricsPanel = new MetricsPanel(getOWLEditorKit()); setLayout(new BorderLayout()); add(metricsPanel); }
protected void updateView(OWLOntology activeOntology) throws Exception { metricsPanel.updateView(activeOntology); } }
protected void initialiseOntologyView() throws Exception { metricsPanel = new MetricsPanel(getOWLEditorKit()); setLayout(new BorderLayout()); add(metricsPanel); }
protected void updateView(OWLOntology activeOntology) throws Exception { metricsPanel.updateView(activeOntology); } }