comparison.java

Petri网分析工具PIPE is open-source

/**
 * Comparison Module
 * @author James D Bloom 2003-03-12
 * @author Maxim 2004 (better UI and code cleanup)
 */

package pipe.modules.comparison;

import java.awt.Container;
import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
import java.util.ArrayList;

import javax.swing.BoxLayout;
import javax.swing.JCheckBox;
import javax.swing.JDialog;
import javax.swing.JPanel;
import javax.swing.border.EtchedBorder;
import javax.swing.border.TitledBorder;

import pipe.dataLayer.Arc;
import pipe.dataLayer.DataLayer;
import pipe.dataLayer.Place;
import pipe.dataLayer.Transition;
import pipe.gui.CreateGui;
import pipe.gui.widgets.ButtonBar;
import pipe.gui.widgets.PetriNetChooserPanel;
import pipe.gui.widgets.ResultsHTMLPane;
import pipe.modules.Module;

public class Comparison implements Module {

  // Main Frame
  private static final String MODULE_NAME = "Comparison";

  private PetriNetChooserPanel sourceFilePanel;
  private PetriNetChooserPanel comparisonFilePanel;
  private ResultsHTMLPane results;
  
  private JCheckBox comparePlaceID;
  private JCheckBox comparePlaceName;
  private JCheckBox comparePlaceMarking;
  private JCheckBox compareTransitionID;
  private JCheckBox compareTransitionName;
  private JCheckBox compareTransitionRate;
  private JCheckBox compareArcID;
  private JCheckBox compareArcName;
  private JCheckBox compareArcWeighting;

  public void run(DataLayer pnmlData) {
    JDialog guiDialog = new JDialog(CreateGui.getApp(),MODULE_NAME,true);
    
    // 1 Set layout
    Container contentPane=guiDialog.getContentPane();
    contentPane.setLayout(new BoxLayout(contentPane,BoxLayout.PAGE_AXIS));
    
    // 2 Add file browser
    contentPane.add(sourceFilePanel    =new PetriNetChooserPanel("Source net",pnmlData));
    contentPane.add(comparisonFilePanel=new PetriNetChooserPanel("Comparison net",null));
    
    // 2.5 Add check boxes
    JPanel placePanel=new JPanel();
    placePanel.setLayout(new BoxLayout(placePanel,BoxLayout.LINE_AXIS));
    placePanel.setBorder(new TitledBorder(new EtchedBorder(),"Places"));
    placePanel.add(comparePlaceID       =new JCheckBox("ID",true));
    placePanel.add(comparePlaceName     =new JCheckBox("Name",true));
    placePanel.add(comparePlaceMarking  =new JCheckBox("Marking",true));
    JPanel transPanel=new JPanel();
    transPanel.setLayout(new BoxLayout(transPanel,BoxLayout.LINE_AXIS));
    transPanel.setBorder(new TitledBorder(new EtchedBorder(),"Transitions"));
    transPanel.add(compareTransitionID  =new JCheckBox("ID",true));
    transPanel.add(compareTransitionName=new JCheckBox("Name",true));
    transPanel.add(compareTransitionRate=new JCheckBox("Rate",true));
    JPanel arcPanel=new JPanel();
    arcPanel.setLayout(new BoxLayout(arcPanel,BoxLayout.LINE_AXIS));
    arcPanel.setBorder(new TitledBorder(new EtchedBorder(),"Arcs"));
    arcPanel.add(compareArcID         =new JCheckBox("ID",true));
    arcPanel.add(compareArcName       =new JCheckBox("Name",true));
    arcPanel.add(compareArcWeighting  =new JCheckBox("Weighting",true));
    JPanel options=new JPanel();
    options.setBorder(new TitledBorder(new EtchedBorder(),"Comparison options"));
    options.setLayout(new BoxLayout(options,BoxLayout.LINE_AXIS));
    options.add(placePanel);
    options.add(transPanel);
    options.add(arcPanel);
    contentPane.add(options);
    
    // 3 Add results pane
    contentPane.add(results=new ResultsHTMLPane());
    
    // 4 Add button
    contentPane.add(new ButtonBar("Compare",compareButtonClick));

    // 5 Make window fit contents' preferred size
    guiDialog.pack();
    
    // 6 Move window to the middle of the screen
    guiDialog.setLocationRelativeTo(null);
    
    guiDialog.setVisible(true);
  }

  public String getName() {
    return MODULE_NAME;
  }

  /**
   * Compare button click handler
   */
  ActionListener compareButtonClick=new ActionListener() {
    public void actionPerformed(ActionEvent arg0) {
      DataLayer sourceDataLayer=sourceFilePanel.getDataLayer();
      DataLayer comparisonDataLayer=comparisonFilePanel.getDataLayer();
      String s="<h2>Petri net comparison results</h2>";
      if(sourceDataLayer==null || comparisonDataLayer==null) return;
      if(!sourceDataLayer.getPetriNetObjects().hasNext()) s+="No Petri net objects defined!";
      else
        if(comparePlaceID.isSelected()||comparePlaceName.isSelected()||comparePlaceMarking.isSelected())
          s+=comparePlaces(sourceDataLayer.getPlaces(),comparisonDataLayer.getPlaces(),comparePlaceID.isSelected(),comparePlaceName.isSelected(),comparePlaceMarking.isSelected());
        if(compareTransitionID.isSelected()||compareTransitionName.isSelected()||compareTransitionRate.isSelected())
          s+=compareTransitions(sourceDataLayer.getTransitions(),comparisonDataLayer.getTransitions(),compareTransitionID.isSelected(),compareTransitionName.isSelected(),compareTransitionRate.isSelected());
        if(compareArcID.isSelected()||compareArcName.isSelected()||compareArcWeighting.isSelected())
          s+=compareArcs(sourceDataLayer.getArcs(),comparisonDataLayer.getArcs(),compareArcID.isSelected(),compareArcName.isSelected(),compareArcWeighting.isSelected());
      results.setText(s);
    }
  };

  private String comparePlaces(Place[] source, Place[] comparison, boolean compareID, boolean compareName, boolean compareMarking) {
    int i = 0, j = 0, k = -1;
    String s;
    ArrayList results=new ArrayList(); // arraylist for creating the table 
    
    results.add("Source place name");
    results.add("Comparison place name");
    results.add("Comparison");
    
    for(i = 0 ; i < source.length ; i++) {
      k = -1;
      // Find matching Place with a match for either id or name
      for(j = 0 ; j < comparison.length; j++) {
        if(comparison[j] != null && source[i] != null && source[i].getId() != null && comparison[j].getId() != null && source[i].getName() != null && comparison[j].getName() != null)
          if(source[i].getId().equals(comparison[j].getId()) || source[i].getName().equals(comparison[j].getName()))
            k = j;
      }
      j = k;

      if(j != -1 && source[i] != null && comparison[j] != null) {
        results.add(source[i].getName());
        results.add(comparison[j].getName());
        if((!compareID     || source[i].getId().equals(comparison[j].getId())) &&
           (!compareName   || source[i].getName().equals(comparison[j].getName())) &&
           (!compareMarking || source[i].getCurrentMarking() == comparison[j].getCurrentMarking())) {
          s="Identical";
        } else {
          s="";
          if(compareID) {
            s+="Id";
            if(source[i].getId().equals(comparison[j].getId())) s+=" (match)";
            s+=": Source = \"" + source[i].getId() + "\"  Comparison  = \"" + comparison[j].getId() + "\"<br>";
          }
          if(compareName) {
            s+="Name";
            if(source[i].getName().equals(comparison[j].getName())) s+=" (match)";
            s+=": Source = \"" + source[i].getName() + "\"  Comparison  = \"" + comparison[j].getName() + "\"<br>";
          }
          if(compareMarking) {
            s+="Marking";
            if(source[i].getCurrentMarking()==comparison[j].getCurrentMarking()) s+=" (match)";
            s+=": Source = \"" + source[i].getCurrentMarking() + "\"  Comparison  = \"" + comparison[j].getCurrentMarking() + "\"";
          }
        }
        source[i]=null;       // null ones that have been done
        comparison[j]=null;
        results.add(s);
      }
    }
    
    // Fill in unmatched source places
    for(i=0;i<source.length;i++) if(source[i]!= null) {
      results.add(source[i].getName());
      results.add("");
      s="Not found in comparison Petri net";
      if(compareID)     s+="<br>Id = \"" + source[i].getId() + "\"";