private int showTupleResultInTablePanel() throws OWLException { OWLResultSetTableModel currentTableModel = getTableModel(); if (currentTableModel != null) { SwingUtilities.invokeLater(new TableModelSetter(currentTableModel)); return currentTableModel.getRowCount(); } else { return 0; } }
private synchronized void createTableModelFromResultSet(QuestOWLResultSet result) throws OWLException { if (result == null) throw new NullPointerException( "An error occured. createTableModelFromResultSet cannot use a null QuestOWLResultSet"); if (result != null) { tableModel = new OWLResultSetTableModel( result, prefixManager, queryEditorPanel.isShortURISelect(), queryEditorPanel.isFetchAllSelect(), queryEditorPanel.getFetchSize()); tableModel.addTableModelListener(queryEditorPanel); } }
/** * removes the result table. Could be called at data query execution, or at cancelling Not * necessary when replacing with a new result, just to remove old results that are outdated */ private synchronized void removeResultTable() { OWLResultSetTableModel tm = getTableModel(); if (tm != null) { tm.close(); } }