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