Exemplo n.º 1
0
 /**
  * Release Results
  *
  * @param resultIDs stored query identifier provided by client
  */
 public void disposeWindow(ArrayList<Integer> resultIDs) {
   // System.out.println("before cached id:" + m_results.keySet());
   for (Integer queryResultID : resultIDs) m_results.remove(queryResultID);
   // System.out.println("after cached id:" + m_results.keySet());
   m_context.removeAllWindows();
 } // releaseResults