pipe.modules.matrixes
Class PNMLMatrixes

java.lang.Object
  |
  +--pipe.modules.matrixes.PNMLMatrixes
All Implemented Interfaces:
Module

public class PNMLMatrixes
extends java.lang.Object
implements Module


Inner Class Summary
 class PNMLMatrixes.HandleControl
           
 class PNMLMatrixes.Matrix
           
 class PNMLMatrixes.MouseHandler
           
 class PNMLMatrixes.PrintableHTMLEditor
           
 
Field Summary
private  javax.swing.JToolBar buttonBar
           
private  java.awt.Point center
           
(package private) static int CURRENT_NET
           
private  java.awt.Font defaultLabel
           
private  PNMLMatrixes.PrintableHTMLEditor editorPane
           
private  int fontScale
           
private  java.awt.GridBagLayout gridbag
           
private  java.awt.GridBagConstraints gridbagConstraints
           
private  javax.swing.JFrame guiFrame
           
private  javax.swing.JPanel guiResultsPanel
           
private  java.awt.Toolkit mainToolKit
           
private static java.lang.String MODULE_NAME
           
(package private) static int NO_ACTION
           
private  java.io.File outputHTML
           
private  java.io.FileWriter outputWriter
           
private  DataLayer refdataLayer
           
private  javax.swing.JScrollPane scrollPane
           
(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.JPanel sourcePanel
           
private  javax.swing.JTextField sourceTextField
           
private  java.awt.Insets spacing
           
private  int TEXT_FIELD_SIZE
           
private  int windowHeight
           
private  java.awt.Dimension windowSize
           
private  int windowTopLeftCornerX
           
private  int windowTopLeftCornerY
           
private  int windowWidth
           
 
Constructor Summary
PNMLMatrixes()
           
PNMLMatrixes(DataLayer pnmlData)
           
 
Method Summary
 java.lang.String getName()
           
private  void initGuiFrame()
           
 void load()
           
private  void refreshResultsPanel(java.lang.String fileName)
           
 void run(DataLayer pnmlData)
           
 void saveas(java.lang.String text)
           
private  void setUpButtonBar()
           
private  void setUpPetriNetPanel(javax.swing.JPanel panel)
           
private  void setUpResultsPanel()
           
private  void warnUser(java.lang.String message, javax.swing.JFrame frame)
           
private  void writeHTML(java.lang.String fileName)
           
 
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

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

scrollPane

private javax.swing.JScrollPane scrollPane

editorPane

private PNMLMatrixes.PrintableHTMLEditor editorPane

guiResultsPanel

private javax.swing.JPanel guiResultsPanel

gridbag

private java.awt.GridBagLayout gridbag

gridbagConstraints

private java.awt.GridBagConstraints gridbagConstraints

sourcePanel

private javax.swing.JPanel sourcePanel

TEXT_FIELD_SIZE

private final int TEXT_FIELD_SIZE

sourceTextField

private javax.swing.JTextField sourceTextField

sourceLabel

private javax.swing.JLabel sourceLabel

sourceButton

private javax.swing.JButton sourceButton

buttonBar

private javax.swing.JToolBar buttonBar

defaultLabel

private final java.awt.Font defaultLabel

sourcedataLayer

private DataLayer sourcedataLayer

refdataLayer

private DataLayer refdataLayer

outputHTML

private java.io.File outputHTML

outputWriter

private java.io.FileWriter outputWriter

spacing

private java.awt.Insets spacing

fontScale

private int fontScale

sourceCheckBox

private javax.swing.JCheckBox sourceCheckBox

NO_ACTION

static final int NO_ACTION

CURRENT_NET

static final int CURRENT_NET

SOURCE_BROWSE

static final int SOURCE_BROWSE
Constructor Detail

PNMLMatrixes

public PNMLMatrixes(DataLayer pnmlData)

PNMLMatrixes

public PNMLMatrixes()
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

setUpButtonBar

private void setUpButtonBar()

setUpPetriNetPanel

private void setUpPetriNetPanel(javax.swing.JPanel panel)

setUpResultsPanel

private void setUpResultsPanel()

writeHTML

private void writeHTML(java.lang.String fileName)

refreshResultsPanel

private void refreshResultsPanel(java.lang.String fileName)

warnUser

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

load

public void load()

saveas

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