pipe.modules.comparison
Class PNMLComparison
java.lang.Object
|
+--pipe.modules.comparison.PNMLComparison
- All Implemented Interfaces:
- Module
- public class PNMLComparison
- extends java.lang.Object
- implements Module
Methods inherited from class java.lang.Object |
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait |
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 PNMLComparison.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
PNMLComparison
public PNMLComparison(DataLayer pnmlData)
PNMLComparison
public PNMLComparison()
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