resultsupdatetimer.java

emboss的linux版本的源代码

/********************************************************************
*
*  This library is free software; you can redistribute it and/or
*  modify it under the terms of the GNU Library General Public
*  License as published by the Free Software Foundation; either
*  version 2 of the License, or (at your option) any later version.
*
*  This library is distributed in the hope that it will be useful,
*  but WITHOUT ANY WARRANTY; without even the implied warranty of
*  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
*  Library General Public License for more details.
*
*  You should have received a copy of the GNU Library General Public
*  License along with this library; if not, write to the
*  Free Software Foundation, Inc., 59 Temple Place - Suite 330,
*  Boston, MA  02111-1307, USA.
*
*  @author: Copyright (C) Tim Carver
*
********************************************************************/

package org.emboss.jemboss.programs;

import org.emboss.jemboss.Jemboss;
import org.emboss.jemboss.gui.ShowSavedResults;
import java.util.Timer;
import java.util.TimerTask;
import java.util.Hashtable;
import java.util.Enumeration;
import javax.swing.DefaultListModel;
import javax.swing.JFrame;

/**
*
* Timer for updating saved results window for
* batch jobs submitted
*
*/
public class ResultsUpdateTimer
{

  /** timer */
  private static Timer timer;

  /**
  *
  * @param seconds      	update frequency
  * @param datasets		dataset model to update
  * @param savedResFrame	results window
  *
  */
  public ResultsUpdateTimer(int seconds, DefaultListModel datasets, 
                            JFrame savedResFrame)
  {
    timer = new Timer();
    timer.schedule(new ResultsTask(datasets,savedResFrame), 
                   seconds*1000, seconds*1000);
  }

  /**
  *
  * Timer task to update the results window
  *
  */
  class ResultsTask extends TimerTask
  {
    private DefaultListModel datasets=null;  
    private JFrame savedResFrame;

    public ResultsTask(){}
        
    public ResultsTask(DefaultListModel datasets,JFrame savedResFrame)
    {
      this.datasets = datasets;
      this.savedResFrame = savedResFrame;
    }

    public void run()
    {
      datasets.removeAllElements();
      //get this information from the results manager
      Enumeration enumer = Jemboss.resultsManager.descriptionHash().keys();
      while (enumer.hasMoreElements())
      {
        String image = ShowSavedResults.convertToPretty((String)enumer.nextElement());
        datasets.addElement(image);
      }
      if(!savedResFrame.isVisible())
        timer.cancel();
    }
  }
  
}