pipe.modules.classification
Class Classification

java.lang.Object
  |
  +--pipe.modules.classification.Classification

All Implemented Interfaces:

Module

public class Classification

extends java.lang.Object

implements Module

Inner Class Summary

(package private) class	Classification.HandleControl
(package private) class	Classification.MouseHandler

Field Summary

private javax.swing.JCheckBox	arcCheckBox
private javax.swing.JCheckBox	arcEndCheckBox
private javax.swing.JCheckBox	arcSourceCheckBox
private javax.swing.JCheckBox	arcStartCheckBox
private javax.swing.JCheckBox	arcTargetCheckBox
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
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.JCheckBox	placeCheckBox
private javax.swing.JCheckBox	placeIdCheckBox
private javax.swing.JCheckBox	placeMarkupCheckBox
private javax.swing.JCheckBox	placeNameCheckBox
private javax.swing.JCheckBox	placePositionCheckBox
private javax.swing.JScrollPane	projectScrollPane
private DataLayer	refdataLayer
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 javax.swing.JCheckBox	transitionCheckBox
private javax.swing.JCheckBox	transitionIdCheckBox
private javax.swing.JCheckBox	transitionNameCheckBox
private javax.swing.JCheckBox	transitionPositionCheckBox
private int	windowHeight
private java.awt.Dimension	windowSize
private int	windowTopLeftCornerX
private int	windowTopLeftCornerY
private int	windowWidth

Constructor Summary

Classification()

Classification(DataLayer pnmlData)

Method Summary

private int[]	backwardsPlaceSet(int PlaceNo)
(package private) int	binarySearch(int value, int[] array, int first, int last)
static int	cardinality(int[] X)
private void	classifyPetriNets()
private void	displayResults()
private boolean	extendedFreeChoiceNet(DataLayer pnmlData)
private boolean	extendedSimpleNet(DataLayer pnmlData)
static boolean	findSubset(int[] A, int[] B)
private int[]	forwardsPlaceSet(int PlaceNo)
private boolean	freeChoiceNet(DataLayer pnmlData)
java.lang.String	getName()
private void	initGuiFrame()
static boolean	isSubset(int[] A, int[] B)
private boolean	isSubSetRelationship(int[] setOne, int[] setTwo)
private boolean	markedGraph(DataLayer pnmlData)
(package private) void	quickSort(int[] array, int first, int last)
static int[]	reduce(int[] X)
void	run(DataLayer pnmlData)
(package private) int	search(int value, int[] array)
private void	setUpPetriNetPanel(javax.swing.JPanel panel)
private void	setUpResultsPanel()
private boolean	simpleNet(DataLayer pnmlData)
private boolean	stateMachine(DataLayer pnmlData)
private int	sumPlaceBackwards(int PlaceNo)
private int	sumPlaceForwards(int PlaceNo)
private int	sumTransitionBackwards(int TransitionNo)
private int	sumTransitionForwards(int TransitionNo)
private boolean	unionBetweenSets(int[] setOne, int[] setTwo)
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

TEXT_FIELD_SIZE

private final int TEXT_FIELD_SIZE

sourceTextField

private javax.swing.JTextField sourceTextField

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

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

CLASSIFY

static final int CLASSIFY

Constructor Detail

Classification

public Classification(DataLayer pnmlData)

Classification

public Classification()

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)

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

stateMachine

private boolean stateMachine(DataLayer pnmlData)

markedGraph

private boolean markedGraph(DataLayer pnmlData)

freeChoiceNet

private boolean freeChoiceNet(DataLayer pnmlData)

extendedFreeChoiceNet

private boolean extendedFreeChoiceNet(DataLayer pnmlData)

simpleNet

private boolean simpleNet(DataLayer pnmlData)

extendedSimpleNet

private boolean extendedSimpleNet(DataLayer pnmlData)

sumPlaceBackwards

private int sumPlaceBackwards(int PlaceNo)

sumPlaceForwards

private int sumPlaceForwards(int PlaceNo)

sumTransitionBackwards

private int sumTransitionBackwards(int TransitionNo)

sumTransitionForwards

private int sumTransitionForwards(int TransitionNo)

backwardsPlaceSet

private int[] backwardsPlaceSet(int PlaceNo)

forwardsPlaceSet

private int[] forwardsPlaceSet(int PlaceNo)

unionBetweenSets

private boolean unionBetweenSets(int[] setOne,
                                 int[] setTwo)

isSubset

public static boolean isSubset(int[] A,
                               int[] B)

reduce

public static int[] reduce(int[] X)

cardinality

public static int cardinality(int[] X)

findSubset

public static boolean findSubset(int[] A,
                                 int[] B)

isSubSetRelationship

private boolean isSubSetRelationship(int[] setOne,
                                     int[] setTwo)

search

int search(int value,
           int[] array)

quickSort

void quickSort(int[] array,
               int first,
               int last)

binarySearch

int binarySearch(int value,
                 int[] array,
                 int first,
                 int last)