pipe.modules.stateSpace
Class StateSpace

java.lang.Object
  |
  +--pipe.modules.stateSpace.StateSpace
All Implemented Interfaces:
Module

public class StateSpace
extends java.lang.Object
implements Module


Inner Class Summary
(package private)  class StateSpace.HandleControl
           
(package private)  class StateSpace.MouseHandler
           
 
Field Summary
(package private)  boolean bounded
           
private  java.awt.Point center
           
(package private) static int CLASSIFY
           
private  javax.swing.JScrollPane classScrollPane
           
private  javax.swing.JEditorPane codeEditorPane
           
private  javax.swing.JScrollPane codeScrollPane
           
(package private) static int COMPARISON_BROWSE
           
private  javax.swing.JEditorPane consoleEditorPane
           
private  javax.swing.JScrollPane consoleScrollPane
           
(package private) static int CURRENT_NET
           
(package private)  boolean deadlock
           
private  javax.swing.JPanel deadlockPanel
           
(package private)  int[] deadlockPath
           
private  javax.swing.JScrollPane deadlockScrollPane
           
private  javax.swing.JTextField deadlockTextField
           
private  java.awt.Font defaultLabel
           
private  java.awt.GridBagLayout gridbag
           
private  java.awt.GridBagConstraints gridbagConstraints
           
private  javax.swing.JFrame guiFrame
           
private  javax.swing.JPanel guiResultsPanel
           
private  javax.swing.JPanel mainPanel
           
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  javax.swing.JScrollPane projectScrollPane
           
private  DataLayer refdataLayer
           
(package private)  boolean safe
           
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 windowHeight
           
private  java.awt.Dimension windowSize
           
private  int windowTopLeftCornerX
           
private  int windowTopLeftCornerY
           
private  int windowWidth
           
 
Constructor Summary
StateSpace()
           
StateSpace(DataLayer pnmlData)
           
 
Method Summary
private  void classifyPetriNets()
           
private  void displayResults()
           
 java.lang.String getName()
           
private  void initGuiFrame()
           
 void run(DataLayer pnmlData)
           
private  void setUpDeadlockPanel(javax.swing.JPanel panel)
           
private  void setUpPetriNetPanel(javax.swing.JPanel panel)
           
private  void setUpResultsPanel()
           
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

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

codeEditorPane

private javax.swing.JEditorPane codeEditorPane

codeScrollPane

private javax.swing.JScrollPane codeScrollPane

consoleEditorPane

private javax.swing.JEditorPane consoleEditorPane

consoleScrollPane

private javax.swing.JScrollPane consoleScrollPane

projectScrollPane

private javax.swing.JScrollPane projectScrollPane

classScrollPane

private javax.swing.JScrollPane classScrollPane

guiResultsPanel

private javax.swing.JPanel guiResultsPanel

mainPanel

private javax.swing.JPanel mainPanel

gridbag

private java.awt.GridBagLayout gridbag

gridbagConstraints

private java.awt.GridBagConstraints gridbagConstraints

deadlockScrollPane

private javax.swing.JScrollPane deadlockScrollPane

deadlockPanel

private javax.swing.JPanel deadlockPanel

TEXT_FIELD_SIZE

private final int TEXT_FIELD_SIZE

sourceTextField

private javax.swing.JTextField sourceTextField

deadlockTextField

private javax.swing.JTextField deadlockTextField

sourceButton

private javax.swing.JButton sourceButton

sourceLabel

private javax.swing.JLabel sourceLabel

defaultLabel

private final java.awt.Font defaultLabel

smallDefaultLabel

private final java.awt.Font smallDefaultLabel

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

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

COMPARISON_BROWSE

static final int COMPARISON_BROWSE

CLASSIFY

static final int CLASSIFY

bounded

boolean bounded

safe

boolean safe

deadlock

boolean deadlock

deadlockPath

int[] deadlockPath
Constructor Detail

StateSpace

public StateSpace(DataLayer pnmlData)

StateSpace

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

setUpDeadlockPanel

private void setUpDeadlockPanel(javax.swing.JPanel panel)

setUpResultsPanel

private void setUpResultsPanel()
                        throws java.io.IOException

warnUser

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

classifyPetriNets

private void classifyPetriNets()
                        throws java.io.IOException

displayResults

private void displayResults()
                     throws java.io.IOException