public void includeImports(boolean b) { for (OWLMetric metric : metricManager.getMetrics()) { metric.setImportsClosureUsed(b); } fireTableDataChanged(); } }
public Object getValueAt(int rowIndex, int columnIndex) { if(metricsValues.isEmpty()) { rebuild(); } OWLMetric<?> metric = metricManager.getMetrics().get(rowIndex); if (columnIndex == 0) { return metric.getName(); } else { return metricsValues.get(rowIndex); } }
Box box = new Box(BoxLayout.Y_AXIS); for (String metricsSet : metricManagerMap.keySet()) { MetricsTableModel tableModel = new MetricsTableModel(metricManagerMap.get(metricsSet)); tableModelMap.put(metricManagerMap.get(metricsSet), tableModel); final JTable table = new JTable(tableModel);
Box box = new Box(BoxLayout.Y_AXIS); for (String metricsSet : metricManagerMap.keySet()) { MetricsTableModel tableModel = new MetricsTableModel(metricManagerMap.get(metricsSet)); tableModelMap.put(metricManagerMap.get(metricsSet), tableModel); final JTable table = new JTable(tableModel);
public void includeImports(boolean b) { for (OWLMetric metric : metricManager.getMetrics()) { metric.setImportsClosureUsed(b); } fireTableDataChanged(); } }
box.setBackground(Color.WHITE); for (String metricsSet : metricManagerMap.keySet()) { MetricsTableModel tableModel = new MetricsTableModel(metricManagerMap.get(metricsSet)); tableModelMap.put(metricManagerMap.get(metricsSet), tableModel); final JTable table = new JTable(tableModel);
public void includeImports(boolean b) { for (OWLMetric metric : metricManager.getMetrics()) { metric.setImportsClosureUsed(b); } fireTableDataChanged(); } }
box.setBackground(Color.WHITE); for (String metricsSet : metricManagerMap.keySet()) { MetricsTableModel tableModel = new MetricsTableModel(metricManagerMap.get(metricsSet)); tableModelMap.put(metricManagerMap.get(metricsSet), tableModel); final JTable table = new JTable(tableModel);
public void includeImports(boolean b) { for (OWLMetric metric : metricManager.getMetrics()) { metric.setImportsClosureUsed(b); } fireTableDataChanged(); } }