pipe.modules.comparison
Class PNMLComparison.HandleControl

java.lang.Object
  |
  +--pipe.modules.comparison.PNMLComparison.HandleControl

All Implemented Interfaces:

java.awt.event.ActionListener, java.util.EventListener

Enclosing class:

PNMLComparison

class PNMLComparison.HandleControl

extends java.lang.Object

implements java.awt.event.ActionListener

Field Summary

private int

buttonID

Constructor Summary

PNMLComparison.HandleControl(int buttonID)

Method Summary

void	actionPerformed(java.awt.event.ActionEvent e)
private java.lang.String	openFile(java.io.File file, java.lang.String title, javax.swing.JTextField textField, boolean pnmlData)

Methods inherited from class java.lang.Object

, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait

Field Detail

buttonID

private int buttonID

Constructor Detail

PNMLComparison.HandleControl

public PNMLComparison.HandleControl(int buttonID)

Method Detail

openFile

private java.lang.String openFile(java.io.File file,
                                  java.lang.String title,
                                  javax.swing.JTextField textField,
                                  boolean pnmlData)

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent e)

Specified by:

actionPerformed in interface java.awt.event.ActionListener