Esempio n. 1
0
 private int showTupleResultInTablePanel() throws OWLException {
   OWLResultSetTableModel currentTableModel = getTableModel();
   if (currentTableModel != null) {
     SwingUtilities.invokeLater(new TableModelSetter(currentTableModel));
     return currentTableModel.getRowCount();
   } else {
     return 0;
   }
 }
Esempio n. 2
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);
   }
 }
Esempio n. 3
0
 /**
  * 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();
   }
 }