histcanvas.java

MPICH是MPI的重要研究,提供了一系列的接口函数,为并行计算的实现提供了编程环境.

import java.awt.*;
import java.util.Vector;
import java.util.Enumeration;
import java.awt.event.*;
import javax.swing.JMenuItem;
import javax.swing.JSlider;
import javax.swing.JRadioButtonMenuItem;
import javax.swing.JComponent;
import javax.swing.event.ChangeEvent;
import javax.swing.event.ChangeListener;

/**
  On this canvas all drawing of the histograms takes place. An offscreen image
  is used as a double buffer. the bins and time scale are drawn onto this
  offscreen image which is then placed onto this canvas. The size of the image
  is that of this canvas.
  */
public class HistCanvas extends JComponent
implements ComponentListener, AdjustmentListener, ActionListener, ChangeListener {
  public Histwin parent;
  RecDef stateDef;
  Vector stateVector;

  double xDensity;        //horizontal pixels / second
  double yDensity;        //vertical pixels / state count
  double leastT;          //length of the shortest state
  double maxT;            //length of the largest state
  double begT;            //current starting length in the canvas
  double endT;            //current ending length in the canvas  
  int _xPix;              //width of the offscreen image
  int _yPix;              //height of the offscreen image
  int widthCan;           //width of the canvas
  int heightCan;          //height of the canvas 
  Color canBColor = Color.black; //Background color for the canvas
  public HistImage view;         //object containing the offscreen image
  
  boolean setupComplete = false;

  public int lineSize, dpi, fDescent;
  public FontMetrics fm;
  int numBins, maxNumBins;
  Font imgFont; 
  
  //Used for resizing the bars
  private int ty;                 //previous vertical position when the mouse was pressed
  private int eff_yPix;           
  public int topGap;      //gap to be subtracted from heightCan to get the appropriate
  //bin height when the command Resize to Fit is given Histwin
  
  private double zoomFac = 2.0;
  
  //parent.hbar values
  private int hbarMax, hbarVal, hbarVis;
  
  private int hPixMax;  
  private int regionsCt = 0;
  
  public HistCanvas (Histwin p) {super (); parent = p;}
  
  void init () {
    waitCursor ();
    setupData ();
    adjustCanvasStuff ();
    ResizeCanvas ();
    normalCursor ();
  }
  
  //setup methods---------------------------------------------------------------
  private void setupData () {
    stateDef = parent.stateDef; 
    stateVector = stateDef.stateVector;
    sortLen ();
    leastT = ((Info)stateVector.elementAt (0)).lenT;
    maxT = ((Info)stateVector.elementAt (stateVector.size () - 1)).lenT;
    
    if (leastT == maxT) maxT += (1.0 / 200); 
    begT = leastT; endT = maxT;
    numBins = 100; 
    maxNumBins = 200;
    this.addComponentListener (this);
    
    //Set Histwin's fields
    parent.cursorField.setText ("0.0");
    parent.stateNameLabel.setText ("State: " + stateDef.description);
    parent.numInstField.setText (Integer.toString (stateVector.size ()));
    parent.leastLenField.setText ((new Float (leastT)).toString ());
    parent.maxLenField.setText ((new Float (maxT)).toString ());
    parent.numBinsField.setText (Integer.toString (numBins));
    parent.maxNumBinsField.setText (Integer.toString (maxNumBins));
    parent.binSlider.setOrientation (JSlider.HORIZONTAL); 
    parent.binSlider.setMaximum (maxNumBins); parent.binSlider.setMinimum (1);
    parent.binSlider.setValue (numBins);
  }
 
  private void adjustCanvasStuff () {
    imgFont = new Font ("Serif", Font.PLAIN, 10);
    setFont (imgFont);
    fm = getToolkit ().getFontMetrics (imgFont);
    lineSize = fm.getHeight (); fDescent = fm.getDescent ();
    dpi = getToolkit ().getScreenResolution ();
    setBackground (canBColor);
    this.enableEvents (AWTEvent.MOUSE_MOTION_EVENT_MASK | 
                       AWTEvent.MOUSE_EVENT_MASK );
  }
  //end of setup methods----------------------------------------------------------
  
  public void paintComponent (Graphics g) {g.drawImage (view.img, 0, 0, this);}

  /**
   * Allocate memory for the offscreen image
   */
  private void setupImg () {
    if (view != null) view.kill ();
    Image im = createImage (_xPix, _yPix);
    view = new HistImage (im, _xPix, _yPix, this);
  }
  
  int getEvtXCord (double t) {
    double d = t * xDensity;
    return (int)(Math.rint (d));
  }

  double getTime (int pos) {
    double time = (1 / xDensity) * pos;
    return time;
  }
  
  int getW (double t1, double t2) {
    double d = (t2 - t1) * xDensity;
    return  (int)(Math.rint (d));
  }
  
  //Return the height in pixels of the given number of state count
  int getHistHeight(int ct) {return (int)Math.rint (yDensity * ct);}

  /**
   * This functions sorts the states in the vector in the order of their time lengths
   */
  private void sortLen () {
    ROUTINES.QuickSort (stateVector, 0, stateVector.size () - 1);
  }
  
  /**
   * reset the heights of the bins in display proportionately
   */
  private void reFit () {
    waitCursor ();
    yDensity = (_yPix - 3 * lineSize - topGap) / (double)view.highestCt;
    eff_yPix = (int)Math.rint (yDensity * stateVector.size ());
    view.drawRegion (begT, endT); repaint ();
    normalCursor ();
  }
   
  /**
   * change the number of bins in display
   */
  private void changeNumBins (int x) {
    numBins = x;
    view.drawStuff ();
    repaint ();
  }
  
  /**
   * Mark states of interest in Histogram display so that they blink
   */
  private void markBlink () {
    Enumeration enum = stateVector.elements ();
    
    while (enum.hasMoreElements ()) {
      Info currState = (Info)enum.nextElement ();
      
      if (currState.lenT >= begT && currState.lenT <= endT)
	currState.blink = true;
    }
  }
  
  /**
   * unmark previously marked states so that they do not blink
   */
  private void unmarkBlink (double b, double e) {
    Enumeration enum = stateVector.elements ();
    
    while (enum.hasMoreElements ()) {
      Info currState = (Info)enum.nextElement ();
      
      if (currState.lenT >= begT && currState.lenT <= endT)
	currState.blink = false;
    }
  }
  
  /**
   * unmark previously marked states so that they do not blink
   */
  void unmarkBlinkAll () {
    Enumeration enum = stateVector.elements ();
    
    while (enum.hasMoreElements ()) ((Info)enum.nextElement ()).blink = false;
  }
  
  //Event Handler methiods--------------------------------------------------------
   
  public void actionPerformed (ActionEvent evt) {
    String command = evt.getActionCommand ();
    
    if (command.equals ("Change numBins")) {
      int x;
      
      try {x = Integer.parseInt (parent.numBinsField.getText ());}
      catch (NumberFormatException e) {
	new ErrorDialog (this, "Valid integer required"); 
	parent.numBinsField.setText (Integer.toString (parent.binSlider.getValue ()));
	return;
      }
      
      if (x < 1 || x > maxNumBins) {
	new ErrorDialog (null, "Value must be >= 1 and =< " + maxNumBins); 
	parent.numBinsField.setText (Integer.toString (parent.binSlider.getValue ()));
	return;
      }
      parent.binSlider.setValue (x); changeNumBins (x);
    }
    else if (command.equals ("Change maxNumBins")) {
      int x;
      
      try {x = Integer.parseInt (parent.maxNumBinsField.getText ());}
      catch (NumberFormatException e) {
	new ErrorDialog (this, "Valid integer required"); 
	parent.maxNumBinsField.setText (Integer.toString (maxNumBins));
	return;
      }
      
      if (x < 1) {
	new ErrorDialog (this, "Value must be >= 1"); 
	parent.maxNumBinsField.setText (Integer.toString (maxNumBins));
	return;
      }
      maxNumBins = x; parent.binSlider.setMaximum (x); 
      int y = parent.binSlider.getValue (); if (y > x) y = x; parent.binSlider.setValue (y);
    }
    if (command.equals ("Change Start Len")) {
      double d;
      
      try {d = (Double.valueOf (parent.startLenField.getText ())).doubleValue ();}
      catch (NumberFormatException e) {
	new ErrorDialog (this, "Valid floating point value required"); 
	parent.startLenField.setText ((new Float (begT)).toString ());
	return;
      }
      
      if (d < leastT || d >= endT) {
	new ErrorDialog (this, "Value must be >= " + (new Float (leastT)).toString () + 
		       " and < " + (new Float (endT)).toString ());
	parent.startLenField.setText ((new Float (begT)).toString ());
	return;
      }
      begT = d;
      
      xDensity = _xPix / (endT - begT);
      
      view.drawRegion (begT, endT); repaint ();
      
      calcHPixMax ();
      calcHbarMax ();
      calcHbarVal ();
      setHbarValues ();
    }
    else if (command.equals ("Change End Len")) {
      double d;
      try {d = (Double.valueOf (parent.endLenField.getText ())).doubleValue ();}
      catch (NumberFormatException e) {
	new ErrorDialog (this, "Valid floating point value required"); 
	parent.endLenField.setText ((new Float (endT)).toString ());
	return;
      }
      
      if (d <= begT || d > maxT) {
	new ErrorDialog (this, "Value must be > " + (new Float (begT)).toString () + 
		       " and =< " + (new Float (maxT)).toString ());
	parent.endLenField.setText ((new Float (endT)).toString ());
	return;
      }
      endT = d;
      
      xDensity = _xPix / (endT - begT);
      
      view.drawRegion (begT, endT); repaint ();
      
      calcHPixMax ();
      calcHbarMax ();
      calcHbarVal ();
      setHbarValues ();
    }
    else if (command.equals ("Change Zoom Fac")) {
      double d;
      
      try {d = (Double.valueOf (parent.zFacField.getText ())).doubleValue ();}
      catch (NumberFormatException e) {
	new ErrorDialog (this, "Valid floating point value required"); 
	parent.zFacField.setText (Double.toString (zoomFac));
	return;
      }
      
      if (d < 1) {
	new ErrorDialog (this, "Value must be >= 1"); 
	parent.zFacField.setText (Double.toString (zoomFac));
	return;
      }
      zoomFac = d;
    }
    else if (command.equals ("In")) zoomInH ();
    else if (command.equals ("Out")) zoomOutH ();
    else if (command.equals ("Reset")) resetView ();
    else if (command.equals ("Resize to fit")) reFit ();
    else if (command.equals ("Blink states")) {
      regionsCt++;
      JRadioButtonMenuItem rb = new JRadioButtonMenuItem (begT + " to " + endT);
      rb.setSelected (true); rb.addActionListener (this); parent.regionsMenu.add (rb);
      markBlink (); parent.parent.canvas.Refresh ();
    }
    else if (evt.getSource () instanceof JRadioButtonMenuItem) {
      parent.regionsMenu.remove ((JMenuItem)evt.getSource ());
      String b = command.substring (0, command.indexOf (' '));
      String e = command.substring (command.lastIndexOf (' ') + 1, command.length ());
      
      unmarkBlink ((new Double (b)).doubleValue (), (new Double (e)).doubleValue ());
      parent.parent.canvas.Refresh ();
    }
  }