Package de.saar.chorus.ubench

Class DomgraphMarqueeHandler

java.lang.Object
org.jgraph.graph.BasicMarqueeHandler
de.saar.chorus.ubench.DomgraphMarqueeHandler
public class DomgraphMarqueeHandler extends org.jgraph.graph.BasicMarqueeHandler

  • Field Summary

    Fields inherited from class org.jgraph.graph.BasicMarqueeHandler

    currentPoint, marqueeBounds, previousCursor, startPoint

  • Constructor Summary

    Constructors
    Constructor
    Description
    DomgraphMarqueeHandler(de.saar.chorus.ubench.JDomGraphTab tab, DomGraph graph, NodeLabels labels)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    isForceMarqueeEvent(MouseEvent e)
     
    void
    mouseDragged(MouseEvent e)
     
    void
    mouseReleased(MouseEvent arg0)
     

    Methods inherited from class org.jgraph.graph.BasicMarqueeHandler

    getCurrentPoint, getGraphForEvent, getMarqueeBounds, getPreviousCursor, getStartPoint, handleMarqueeEvent, isMarqueeTriggerEvent, mouseMoved, mousePressed, overlay, paint, processMouseDraggedEvent, setCurrentPoint, setMarqueeBounds, setPreviousCursor, setStartPoint

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

  • Constructor Details

    • DomgraphMarqueeHandler

      public DomgraphMarqueeHandler(de.saar.chorus.ubench.JDomGraphTab tab, DomGraph graph, NodeLabels labels)

  • Method Details

    • isForceMarqueeEvent

      public boolean isForceMarqueeEvent(MouseEvent e)
      Overrides:
      isForceMarqueeEvent in class org.jgraph.graph.BasicMarqueeHandler

    • mouseDragged

      public void mouseDragged(MouseEvent e)
      Overrides:
      mouseDragged in class org.jgraph.graph.BasicMarqueeHandler

    • mouseReleased

      public void mouseReleased(MouseEvent arg0)
      Overrides:
      mouseReleased in class org.jgraph.graph.BasicMarqueeHandler