Overview | Package | Class | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## Hierarchy For All Packages

Package Hierarchies:
  pipe.dataLayer, pipe.dataLayer.calculations, pipe.gui, pipe.gui.widgets, pipe.io, pipe.modules, pipe.modules.classification, pipe.modules.comparison, pipe.modules.dnamaca, pipe.modules.gspn, pipe.modules.iai, pipe.modules.invariantAnalysis, pipe.modules.matrixes, pipe.modules.reachability, pipe.modules.simulation, pipe.modules.stateSpace

## Class Hierarchy

- java.lang.Object
  - javax.swing.AbstractAction (implements javax.swing.Action, java.lang.Cloneable, java.io.Serializable)
    - pipe.gui.DeletePetriNetObjectAction
    - pipe.gui.EditAnnotationAction
    - pipe.gui.EditAnnotationBackgroundAction
    - pipe.gui.EditAnnotationBorderAction
    - pipe.gui.EditRateAction
    - pipe.gui.EditTimedAction
    - pipe.gui.EditTokenAction
    - pipe.gui.EditWeightAction
    - pipe.gui.GetIndexAction
    - pipe.gui.GuiAction
      - pipe.gui.HelpBox (implements javax.swing.event.HyperlinkListener)
    - pipe.gui.LabelAction
    - pipe.gui.RotateTransitionAction
    - pipe.gui.SplitArcAction
    - pipe.gui.SplitArcPointAction
    - pipe.gui.ToggleArcPointAction
  - pipe.gui.Animator (implements pipe.gui.Constants)
  - pipe.dataLayer.AnnotationNote.AnnotationKeyUpdateHandler (implements java.awt.event.KeyListener)
  - pipe.gui.ArcKeyboardEventHandler (implements java.awt.event.KeyListener)
  - pipe.dataLayer.ArcPath (implements java.lang.Cloneable, pipe.gui.Constants, java.awt.Shape)
  - pipe.gui.ArrowHead (implements java.lang.Cloneable, java.awt.Shape)
  - pipe.modules.classification.Classification (implements pipe.modules.Module)
    - pipe.modules.gspn.GSPN
      - pipe.modules.gspn.GSPNNew (implements pipe.modules.Module)
  - pipe.modules.comparison.Comparison (implements pipe.modules.Module)
  - java.awt.Component (implements java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable)
    - java.awt.Container
      - javax.swing.JComponent (implements java.io.Serializable)
        - pipe.dataLayer.AnnotationNote.ResizePoint
        - javax.swing.JFileChooser (implements javax.accessibility.Accessible)
          - pipe.gui.widgets.FileBrowser
        - javax.swing.JLabel (implements javax.accessibility.Accessible, javax.swing.SwingConstants)
          - pipe.dataLayer.NameLabel
        - javax.swing.JLayeredPane (implements javax.accessibility.Accessible)
          - pipe.gui.GuiView (implements pipe.gui.Constants, java.util.Observer, java.awt.print.Printable)
        - javax.swing.JPanel (implements javax.accessibility.Accessible)
          - pipe.gui.widgets.ButtonBar
          - pipe.gui.widgets.GraphPanel
          - pipe.gui.widgets.GraphPanelPane
          - pipe.gui.widgets.PetriNetChooserPanel
          - pipe.gui.widgets.ResultsHTMLPane (implements javax.swing.event.HyperlinkListener)
          - pipe.gui.StatusBar (implements pipe.gui.Constants)
        - javax.swing.text.JTextComponent (implements javax.accessibility.Accessible, javax.swing.Scrollable)
          - javax.swing.JEditorPane
            - javax.swing.JTextPane
              - pipe.gui.AnimationHistory
        - pipe.dataLayer.PetriNetObject (implements pipe.gui.Constants)
          - pipe.dataLayer.AnnotationNote (implements pipe.gui.Zoomable)
          - pipe.dataLayer.Arc (implements pipe.gui.Constants)
          - pipe.dataLayer.ArcPathPoint (implements pipe.gui.Constants, pipe.gui.Zoomable)
          - pipe.dataLayer.PlaceTransitionObject (implements pipe.gui.Zoomable)
            - pipe.dataLayer.Place
            - pipe.dataLayer.Token
            - pipe.dataLayer.Transition (implements pipe.gui.Constants)
          - pipe.gui.ViewExpansionComponent (implements pipe.gui.Zoomable)
        - pipe.gui.SelectionObject (implements pipe.gui.Constants, java.awt.event.MouseListener, java.awt.event.MouseMotionListener)
      - java.awt.Window (implements javax.accessibility.Accessible)
        - java.awt.Frame (implements java.awt.MenuContainer)
          - javax.swing.JFrame (implements javax.accessibility.Accessible, javax.swing.RootPaneContainer, javax.swing.WindowConstants)
            - pipe.gui.widgets.GraphFrame (implements att.grappa.GrappaConstants)
            - pipe.gui.GuiFrame (implements java.awt.event.ActionListener, pipe.gui.Constants, java.util.Observer)
  - pipe.dataLayer.calculations.CompressedState
  - pipe.gui.CreateGui (implements pipe.gui.Constants)
  - pipe.dataLayer.DataLayerWriter
  - pipe.modules.dnamaca.Dnamaca (implements pipe.modules.Module)
  - pipe.modules.iai.ExponentialDistribution
  - pipe.gui.Export
  - pipe.gui.ExtFileManager
  - javax.swing.filechooser.FileFilter
    - pipe.gui.ExtensionFilter
  - pipe.gui.Grid (implements pipe.gui.Constants)
  - pipe.modules.invariantAnalysis.InvariantAnalysis (implements pipe.modules.Module)
  - pipe.modules.matrixes.Matrixes (implements pipe.modules.Module)
  - pipe.gui.ModuleClassContainer
  - pipe.gui.ModuleLoader (implements pipe.gui.Constants)
  - pipe.gui.ModuleManager (implements pipe.gui.Constants)
  - pipe.gui.ModuleMethod
  - java.awt.event.MouseAdapter (implements java.awt.event.MouseListener)
    - pipe.gui.ModuleManager.TreeHandler
  - javax.swing.event.MouseInputAdapter (implements javax.swing.event.MouseInputListener)
    - pipe.gui.AnimationHandler
    - pipe.dataLayer.AnnotationNote.ResizePointHandler
    - pipe.gui.PetriNetObjectHandler (implements pipe.gui.Constants)
      - pipe.gui.AnnotationNoteHandler
      - pipe.gui.ArcHandler
      - pipe.gui.ArcPathPointHandler
      - pipe.gui.PlaceTransitionObjectHandler
        - pipe.gui.PlaceHandler
        - pipe.gui.TransitionHandler
  - pipe.dataLayer.calculations.myNode
  - pipe.dataLayer.calculations.myTree
  - java.util.Observable
    - pipe.dataLayer.DataLayer (implements pipe.gui.Constants)
  - pipe.dataLayer.PNMatrix
  - pipe.dataLayer.PNMLTransformer
  - pipe.dataLayer.calculations.Queue
  - pipe.modules.iai.QueueRecord
  - pipe.modules.reachability.ReachabilityGraphGenerator (implements pipe.modules.Module)
  - pipe.io.RGFileHeader
  - pipe.modules.simulation.Simulation (implements pipe.modules.Module)
  - pipe.modules.iai.SimulationClockWatcher (implements pipe.modules.Module)
  - pipe.modules.iai.SimulationClockWatcherDialog
  - pipe.modules.iai.SimulationFiringCounter (implements pipe.modules.Module)
  - pipe.modules.iai.SimulationFiringCounterDialog
  - pipe.modules.iai.SimulationPlaceWatcher (implements pipe.modules.Module)
  - pipe.modules.iai.SimulationPlaceWatcherDialog
  - pipe.dataLayer.calculations.State
    - pipe.dataLayer.calculations.Marking
    - pipe.dataLayer.calculations.VanishingState
  - pipe.dataLayer.calculations.StateList
  - pipe.io.StateRecord
  - pipe.modules.stateSpace.StateSpace (implements pipe.modules.Module)
  - pipe.dataLayer.calculations.StateSpaceGenerator
  - pipe.dataLayer.calculations.SteadyStateSolver
  - pipe.modules.dnamaca.SwingWorker
  - java.lang.Throwable (implements java.io.Serializable)
    - java.lang.Exception
      - pipe.io.AbortDotFileGenerationException
      - pipe.io.ImmediateAbortException
      - java.io.IOException
        - pipe.io.IncorrectFileFormatException
      - pipe.dataLayer.calculations.StateSpaceTooBigException
      - pipe.dataLayer.calculations.TimelessTrapException
      - pipe.dataLayer.calculations.TreeTooBigException
  - pipe.io.TransitionRecord
  - pipe.gui.ZoomController

## Interface Hierarchy

- pipe.gui.Constants
- pipe.modules.Module
- pipe.gui.Zoomable

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES