VisualizeSize.java

Go to the documentation of this file.

package VisuBDD;

//import javax.swing.*;
//import javax.swing.event.*;
import java.awt.*;
//import java.awt.event.*;
import java.util.*; // Import utilities.
import VisuBDD.VisualizeFrame;        // import class for visualization
import VisuBDD.FileInput;             // import class for file input
import VisuBDD.FilenameDialog;
import VisuBDD.ControlDialog;

public class VisualizeSize {

  public static double maxVal(java.util.List localList) {
    java.util.List numberList;
    double maxVal = 0.0;

    for (int i = 0; i < localList.size(); i++) {
      numberList = (java.util.List) localList.get(i);

      for (int j = 0; j < numberList.size(); j++) {
        if ( ((Double) numberList.get(j)).doubleValue() > maxVal) {
          maxVal = ((Double) numberList.get(j)).doubleValue();
        } // if
      } // for
    } // for

    return maxVal;
  } // max



  public static void main(String[] args) {
    VisualizeFrame mainWindow;
    FilenameDialog filenameWindow;
    ControlDialog controlWindow;
    FileInput fileIn;
    java.util.List visualizeList, filenames;

    if (args.length > 0) {
      visualizeList = new Vector();
      filenames = new Vector();
      fileIn = new FileInput();

      // read inputFiles
      for (int i = 0; i < args.length; i++) {
        visualizeList = fileIn.readFile(visualizeList, filenames, args[i]);
      } // for

      // Call visualization frame with visualizeList and filename.
      mainWindow = new VisualizeFrame(visualizeList);
      mainWindow.setMaxBddWidth(maxVal(visualizeList));
      mainWindow.setDistance(2); // initial val equal to control val.

      controlWindow = new ControlDialog(mainWindow);
      controlWindow.setMaxBDDWidth(maxVal(visualizeList));

      filenameWindow = new FilenameDialog(filenames, mainWindow);
      mainWindow.setVisible(true);
      filenameWindow.show();
      controlWindow.show();

    } else {
      System.out.println("BDD width visualizer");
      System.out.println("\nusage: java VisualizeSize inputfilename1 "
                         + "[inputfilename2] ...");
      System.exit(1);
    } // if
  } // main

} // class TimeDisplays

---