pipe.modules.comparison
Class Comparison

java.lang.Object
  |
  +--pipe.modules.comparison.Comparison

All Implemented Interfaces:

Module

public class Comparison

extends java.lang.Object

implements Module

Inner Class Summary

(package private) class	Comparison.HandleControl
class	Comparison.PrintableHTMLEditor

Field Summary

private javax.swing.JCheckBox	arcCheckBox
(package private) static int	ARCCHECKBOX
private javax.swing.JCheckBox	arcEndCheckBox
private javax.swing.JPanel	arcSettingsOuterPanel
private javax.swing.JPanel	arcSettingsPanel
private javax.swing.JCheckBox	arcSourceCheckBox
private javax.swing.JCheckBox	arcStartCheckBox
private javax.swing.JCheckBox	arcTargetCheckBox
private javax.swing.JToolBar	buttonBar
private java.awt.Point	center
(package private) static int	COMPARE
(package private) static int	COMPARISON_BROWSE
private javax.swing.JButton	comparisonButton
private DataLayer	comparisondataLayer
private javax.swing.JTextField	comparisonTextField
(package private) static int	CURRENT_NET
private java.awt.Font	defaultLabel
private Comparison.PrintableHTMLEditor	editorPane
private int	fontScale
private java.awt.GridBagLayout	gridbag
private java.awt.GridBagConstraints	gridbagConstraints
private javax.swing.JFrame	guiFrame
private javax.swing.JButton	load
private javax.swing.JPanel	mainPanel
private java.awt.Toolkit	mainToolKit
private static java.lang.String	MODULE_NAME
(package private) static int	NO_ACTION
private javax.swing.JFrame	outputFrame
private java.io.File	outputHTML
private java.io.FileWriter	outputWriter
private javax.swing.JCheckBox	placeCheckBox
(package private) static int	PLACECHECKBOX
private javax.swing.JCheckBox	placeIdCheckBox
private javax.swing.JCheckBox	placeMarkupCheckBox
private javax.swing.JCheckBox	placeNameCheckBox
private javax.swing.JCheckBox	placePositionCheckBox
private javax.swing.JPanel	placeSettingsOuterPanel
private javax.swing.JPanel	placeSettingsPanel
private javax.swing.JButton	print
private DataLayer	refdataLayer
private javax.swing.JButton	save
private javax.swing.JScrollPane	scrollPane
private java.awt.Font	smallDefaultLabel
(package private) static int	SOURCE_BROWSE
private javax.swing.JButton	sourceButton
private javax.swing.JCheckBox	sourceCheckBox
private DataLayer	sourcedataLayer
private javax.swing.JLabel	sourceLabel
private javax.swing.JTextField	sourceTextField
private java.awt.Insets	spacing
private int	TEXT_FIELD_SIZE
private int	tolerance
private javax.swing.JCheckBox	transitionCheckBox
(package private) static int	TRANSITIONCHECKBOX
private javax.swing.JCheckBox	transitionIdCheckBox
private javax.swing.JCheckBox	transitionNameCheckBox
private javax.swing.JCheckBox	transitionPositionCheckBox
private javax.swing.JPanel	transitionSettingsOuterPanel
private javax.swing.JPanel	transitionSettingsPanel
private int	windowHeight
private java.awt.Dimension	windowSize
private int	windowTopLeftCornerX
private int	windowTopLeftCornerY
private int	windowWidth

Constructor Summary

Comparison()

Comparison(DataLayer pnmlData)

Method Summary

private void	compareArcs(Arc[] source, Arc[] comparison, java.io.FileWriter output)
private void	comparePetriNets()
private void	comparePlaces(Place[] source, Place[] comparison, java.io.FileWriter output)
private void	compareTransitions(Transition[] source, Transition[] comparison, java.io.FileWriter output)
private void	displayResults()
java.lang.String	getName()
private void	initGuiFrame()
void	load()
void	run(DataLayer pnmlData)
void	saveas(java.lang.String text)
private void	setUpButtonBar()
private void	setUpPetriNetPanel(javax.swing.JPanel panel)
private void	setupResults()
private void	setUpSettingsPanel(javax.swing.JPanel panel)
private void	warnUser(java.lang.String message, javax.swing.JFrame frame)

Methods inherited from class java.lang.Object

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

Field Detail

MODULE_NAME

private static final java.lang.String MODULE_NAME

guiFrame

private javax.swing.JFrame guiFrame

outputFrame

private javax.swing.JFrame outputFrame

mainToolKit

private final java.awt.Toolkit mainToolKit

windowSize

private final java.awt.Dimension windowSize

center

private final java.awt.Point center

windowWidth

private final int windowWidth

windowHeight

private final int windowHeight

windowTopLeftCornerX

private final int windowTopLeftCornerX

windowTopLeftCornerY

private final int windowTopLeftCornerY

fontScale

private int fontScale

tolerance

private int tolerance

mainPanel

private javax.swing.JPanel mainPanel

gridbag

private java.awt.GridBagLayout gridbag

gridbagConstraints

private java.awt.GridBagConstraints gridbagConstraints

arcSettingsPanel

private javax.swing.JPanel arcSettingsPanel

placeSettingsPanel

private javax.swing.JPanel placeSettingsPanel

transitionSettingsPanel

private javax.swing.JPanel transitionSettingsPanel

placeSettingsOuterPanel

private javax.swing.JPanel placeSettingsOuterPanel

transitionSettingsOuterPanel

private javax.swing.JPanel transitionSettingsOuterPanel

arcSettingsOuterPanel

private javax.swing.JPanel arcSettingsOuterPanel

scrollPane

private javax.swing.JScrollPane scrollPane

editorPane

private Comparison.PrintableHTMLEditor editorPane

TEXT_FIELD_SIZE

private final int TEXT_FIELD_SIZE

sourceTextField

private javax.swing.JTextField sourceTextField

comparisonTextField

private javax.swing.JTextField comparisonTextField

defaultLabel

private java.awt.Font defaultLabel

smallDefaultLabel

private java.awt.Font smallDefaultLabel

load

private javax.swing.JButton load

print

private javax.swing.JButton print

save

private javax.swing.JButton save

sourceButton

private javax.swing.JButton sourceButton

comparisonButton

private javax.swing.JButton comparisonButton

sourceLabel

private javax.swing.JLabel sourceLabel

buttonBar

private javax.swing.JToolBar buttonBar

sourcedataLayer

private DataLayer sourcedataLayer

comparisondataLayer

private DataLayer comparisondataLayer

outputHTML

private java.io.File outputHTML

outputWriter

private java.io.FileWriter outputWriter

spacing

private java.awt.Insets spacing

refdataLayer

private DataLayer refdataLayer

sourceCheckBox

private javax.swing.JCheckBox sourceCheckBox

placeCheckBox

private javax.swing.JCheckBox placeCheckBox

placeIdCheckBox

private javax.swing.JCheckBox placeIdCheckBox

placeNameCheckBox

private javax.swing.JCheckBox placeNameCheckBox

placeMarkupCheckBox

private javax.swing.JCheckBox placeMarkupCheckBox

placePositionCheckBox

private javax.swing.JCheckBox placePositionCheckBox

transitionCheckBox

private javax.swing.JCheckBox transitionCheckBox

transitionIdCheckBox

private javax.swing.JCheckBox transitionIdCheckBox

transitionNameCheckBox

private javax.swing.JCheckBox transitionNameCheckBox

transitionPositionCheckBox

private javax.swing.JCheckBox transitionPositionCheckBox

arcCheckBox

private javax.swing.JCheckBox arcCheckBox

arcSourceCheckBox

private javax.swing.JCheckBox arcSourceCheckBox

arcTargetCheckBox

private javax.swing.JCheckBox arcTargetCheckBox

arcStartCheckBox

private javax.swing.JCheckBox arcStartCheckBox

arcEndCheckBox

private javax.swing.JCheckBox arcEndCheckBox

NO_ACTION

static final int NO_ACTION

CURRENT_NET

static final int CURRENT_NET

SOURCE_BROWSE

static final int SOURCE_BROWSE

COMPARISON_BROWSE

static final int COMPARISON_BROWSE

COMPARE

static final int COMPARE

PLACECHECKBOX

static final int PLACECHECKBOX

ARCCHECKBOX

static final int ARCCHECKBOX

TRANSITIONCHECKBOX

static final int TRANSITIONCHECKBOX

Constructor Detail

Comparison

public Comparison(DataLayer pnmlData)

Comparison

public Comparison()

Method Detail

run

public void run(DataLayer pnmlData)

Specified by:

run in interface Module

getName

public java.lang.String getName()

Specified by:

getName in interface Module

initGuiFrame

private void initGuiFrame()
                   throws java.lang.Exception

setUpPetriNetPanel

private void setUpPetriNetPanel(javax.swing.JPanel panel)

setUpSettingsPanel

private void setUpSettingsPanel(javax.swing.JPanel panel)

warnUser

private void warnUser(java.lang.String message,
                      javax.swing.JFrame frame)

comparePetriNets

private void comparePetriNets()
                       throws java.io.IOException

comparePlaces

private void comparePlaces(Place[] source,
                           Place[] comparison,
                           java.io.FileWriter output)
                    throws java.io.IOException

compareTransitions

private void compareTransitions(Transition[] source,
                                Transition[] comparison,
                                java.io.FileWriter output)
                         throws java.io.IOException

compareArcs

private void compareArcs(Arc[] source,
                         Arc[] comparison,
                         java.io.FileWriter output)
                  throws java.io.IOException

setupResults

private void setupResults()
                   throws java.io.IOException

displayResults

private void displayResults()
                     throws java.io.IOException

setUpButtonBar

private void setUpButtonBar()

load

public void load()

saveas

public void saveas(java.lang.String text)
            throws java.io.IOException