pipe.modules.matrixes
Class Matrixes

java.lang.Object
  extended bypipe.modules.matrixes.Matrixes
All Implemented Interfaces:
Module

public class Matrixes
extends java.lang.Object
implements Module


Field Summary
(package private)  java.awt.event.ActionListener calculateButtonClick
          Calculate button click handler
private static java.lang.String MODULE_NAME
           
private  ResultsHTMLPane results
           
private  PetriNetChooserPanel sourceFilePanel
           
 
Constructor Summary
Matrixes()
           
 
Method Summary
 java.lang.String getName()
           
private  java.lang.String renderIncidenceMatrix(DataLayer data, int[][] matrix)
           
private  java.lang.String renderMarkingMatrices(DataLayer data)
           
private  java.lang.String renderTransitionStates(DataLayer data)
           
 void run(DataLayer pnmlData)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

MODULE_NAME

private static final java.lang.String MODULE_NAME
See Also:
Constant Field Values

sourceFilePanel

private PetriNetChooserPanel sourceFilePanel

results

private ResultsHTMLPane results

calculateButtonClick

java.awt.event.ActionListener calculateButtonClick
Calculate button click handler

Constructor Detail

Matrixes

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

renderIncidenceMatrix

private java.lang.String renderIncidenceMatrix(DataLayer data,
                                               int[][] matrix)

renderMarkingMatrices

private java.lang.String renderMarkingMatrices(DataLayer data)

renderTransitionStates

private java.lang.String renderTransitionStates(DataLayer data)