dk.brics.bisim.controller
Class SimulatorController

java.lang.Object
  extended by att.grappa.GrappaAdapter
      extended by dk.brics.bisim.controller.SimulatorController
All Implemented Interfaces:
att.grappa.GrappaConstants, att.grappa.GrappaListener, java.awt.event.ActionListener, java.util.EventListener

public class SimulatorController
extends att.grappa.GrappaAdapter

A controller for the CCS Simulator view and model.

Author:
Martin Mosegaard martinm@daimi.au.dk

Nested Class Summary
(package private)  class SimulatorController.SimulatorActionListener
           
(package private)  class SimulatorController.SimulatorMouseListener
           
 
Field Summary
private  SimulatorController.SimulatorActionListener actionListener
           
private  java.lang.String dotPath
           
private  SimulatorModel model
           
private  SimulatorController.SimulatorMouseListener mouseListener
           
private  SimulatorView view
           
 
Fields inherited from interface att.grappa.GrappaConstants
_NO_TYPE, ANONYMOUS_PREFIX, BBOX_ATTR, BBOX_HASH, BOX_SHAPE, BOX_TYPE, CLUSTERRANK_ATTR, COLOR_ATTR, COLOR_HASH, COLOR_TYPE, CUSTOM_ATTR, CUSTOM_HASH, CUSTOM_SHAPE, DELETION_MASK, DIAMOND_SHAPE, DIR_ATTR, DIR_HASH, DIR_TYPE, DISTORTION_ATTR, DISTORTION_HASH, DOUBLE_TYPE, DOUBLECIRCLE_SHAPE, DOUBLEOCTAGON_SHAPE, EDGE, EGG_SHAPE, FILLCOLOR_ATTR, FILLCOLOR_HASH, FONTCOLOR_ATTR, FONTCOLOR_HASH, FONTNAME_ATTR, FONTNAME_HASH, FONTSIZE_ATTR, FONTSIZE_HASH, FONTSTYLE_ATTR, FONTSTYLE_HASH, FONTSTYLE_TYPE, GRAPPA_BACKGROUND_COLOR_ATTR, GRAPPA_BACKGROUND_COLOR_HASH, GRAPPA_DELETION_STYLE_ATTR, GRAPPA_DELETION_STYLE_HASH, GRAPPA_FONTSIZE_ADJUSTMENT_ATTR, GRAPPA_FONTSIZE_ADJUSTMENT_HASH, GRAPPA_SELECTION_STYLE_ATTR, GRAPPA_SELECTION_STYLE_HASH, GRAPPA_SHAPE, HASHLIST_TYPE, HEADLABEL_ATTR, HEADLABEL_HASH, HEADLP_ATTR, HEADLP_HASH, HEIGHT_ATTR, HEIGHT_HASH, HEXAGON_SHAPE, HIGHLIGHT_MASK, HIGHLIGHT_OFF, HIGHLIGHT_ON, HIGHLIGHT_TOGGLE, HOUSE_SHAPE, IDENTXFRM, IMAGE_ATTR, IMAGE_HASH, INTEGER_TYPE, INVERTEDHOUSE_SHAPE, INVERTEDTRAPEZIUM_SHAPE, INVERTEDTRIANGLE_SHAPE, LABEL_ATTR, LABEL_HASH, LINE_SHAPE, LINE_TYPE, LOG10, LP_ATTR, LP_HASH, MARGIN_ATTR, MARGIN_HASH, MCIRCLE_SHAPE, MCLIMIT_ATTR, MCLIMIT_HASH, MDIAMOND_SHAPE, MINBOX_ATTR, MINBOX_HASH, MINLEN_ATTR, MINLEN_HASH, MINSIZE_ATTR, MINSIZE_HASH, MRECORD_SHAPE, MSQUARE_SHAPE, NBSP, NEW_LINE, NO_SHAPE, NODE, NODESEP_ATTR, NODESEP_HASH, OCTAGON_SHAPE, ORIENTATION_ATTR, ORIENTATION_HASH, OVAL_SHAPE, PACKAGE_PREFIX, PARALLELOGRAM_SHAPE, PATCH_ATTR, PATCH_HASH, PENTAGON_SHAPE, PERIPHERIES_ATTR, PERIPHERIES_HASH, PERIPHERY_GAP, PKG_LOWER, PKG_UPLOW, PKG_UPPER, PLAINTEXT_SHAPE, POINT_SHAPE, POINT_TYPE, PointsPerInch, POLYGON_SHAPE, POS_ATTR, POS_HASH, PRINTLIST_ATTR, PRINTLIST_HASH, RANKDIR_ATTR, RANKDIR_HASH, RANKSEP_ATTR, RANKSEP_HASH, RECORD_SHAPE, RECTS_ATTR, RECTS_HASH, ROTATION_ATTR, ROTATION_HASH, ROUNDEDBOX_SHAPE, SELECTION_MASK, SHAPE_ATTR, SHAPE_HASH, SHAPE_MASK, SHAPE_TYPE, SIDES_ATTR, SIDES_HASH, SIZE_ATTR, SIZE_HASH, SIZE_TYPE, SKEW_ATTR, SKEW_HASH, STRING_TYPE, STYLE_ATTR, STYLE_HASH, STYLE_TYPE, SUBGRAPH, SYSTEM, TAG_ATTR, TAG_HASH, TAILLABEL_ATTR, TAILLABEL_HASH, TAILLP_ATTR, TAILLP_HASH, TIP_ATTR, TIP_HASH, TRAPEZIUM_SHAPE, TRIANGLE_SHAPE, TRIPLEOCTAGON_SHAPE, TYPES_SHIFT, WEIGHT_ATTR, WEIGHT_HASH, WIDTH_ATTR, WIDTH_HASH
 
Constructor Summary
SimulatorController(SimulatorView view, SimulatorModel model, java.lang.String dotPath)
           
 
Method Summary
 void grappaClicked(att.grappa.Subgraph subg, att.grappa.Element elem, att.grappa.GrappaPoint pt, int modifiers, int clickCount, att.grappa.GrappaPanel panel)
          GrappaAdapter methods for handling mouse events on the graph
 void grappaDragged(att.grappa.Subgraph subg, att.grappa.GrappaPoint currentPt, int currentModifiers, att.grappa.Element pressedElem, att.grappa.GrappaPoint pressedPt, int pressedModifiers, att.grappa.GrappaBox outline, att.grappa.GrappaPanel panel)
           
 void grappaPressed(att.grappa.Subgraph subg, att.grappa.Element elem, att.grappa.GrappaPoint pt, int modifiers, att.grappa.GrappaPanel panel)
           
 void grappaReleased(att.grappa.Subgraph subg, att.grappa.Element elem, att.grappa.GrappaPoint pt, int modifiers, att.grappa.Element pressedElem, att.grappa.GrappaPoint pressedPt, int pressedModifiers, att.grappa.GrappaBox outline, att.grappa.GrappaPanel panel)
           
private  void openFile()
           
private  void reset()
           
private  void setupListeners()
           
private  void showActions()
           
private  void showActions(java.lang.String performedAction)
           
 
Methods inherited from class att.grappa.GrappaAdapter
actionPerformed, drillDown, grappaTip
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

view

private SimulatorView view

model

private SimulatorModel model

actionListener

private SimulatorController.SimulatorActionListener actionListener

mouseListener

private SimulatorController.SimulatorMouseListener mouseListener

dotPath

private java.lang.String dotPath
Constructor Detail

SimulatorController

public SimulatorController(SimulatorView view,
                           SimulatorModel model,
                           java.lang.String dotPath)
Method Detail

setupListeners

private void setupListeners()

showActions

private void showActions()

showActions

private void showActions(java.lang.String performedAction)

openFile

private void openFile()

reset

private void reset()

grappaClicked

public void grappaClicked(att.grappa.Subgraph subg,
                          att.grappa.Element elem,
                          att.grappa.GrappaPoint pt,
                          int modifiers,
                          int clickCount,
                          att.grappa.GrappaPanel panel)
GrappaAdapter methods for handling mouse events on the graph

Specified by:
grappaClicked in interface att.grappa.GrappaListener
Overrides:
grappaClicked in class att.grappa.GrappaAdapter

grappaDragged

public void grappaDragged(att.grappa.Subgraph subg,
                          att.grappa.GrappaPoint currentPt,
                          int currentModifiers,
                          att.grappa.Element pressedElem,
                          att.grappa.GrappaPoint pressedPt,
                          int pressedModifiers,
                          att.grappa.GrappaBox outline,
                          att.grappa.GrappaPanel panel)
Specified by:
grappaDragged in interface att.grappa.GrappaListener
Overrides:
grappaDragged in class att.grappa.GrappaAdapter

grappaPressed

public void grappaPressed(att.grappa.Subgraph subg,
                          att.grappa.Element elem,
                          att.grappa.GrappaPoint pt,
                          int modifiers,
                          att.grappa.GrappaPanel panel)
Specified by:
grappaPressed in interface att.grappa.GrappaListener
Overrides:
grappaPressed in class att.grappa.GrappaAdapter

grappaReleased

public void grappaReleased(att.grappa.Subgraph subg,
                           att.grappa.Element elem,
                           att.grappa.GrappaPoint pt,
                           int modifiers,
                           att.grappa.Element pressedElem,
                           att.grappa.GrappaPoint pressedPt,
                           int pressedModifiers,
                           att.grappa.GrappaBox outline,
                           att.grappa.GrappaPanel panel)
Specified by:
grappaReleased in interface att.grappa.GrappaListener
Overrides:
grappaReleased in class att.grappa.GrappaAdapter