Class GraphPanel

All Implemented Interfaces:
ImageObserver, MenuContainer, Serializable, Observer, Accessible
Direct Known Subclasses:
WfDefGraphPanel, WfGraphPanel

public class GraphPanel extends JPanel implements Observer
See Also:
  • Field Details

    • mSelection

      protected Selection mSelection
    • mSelectionPaint

      protected final Paint mSelectionPaint
    • mStartPaint

      protected final Paint mStartPaint
    • mResizePadImg

      protected final Image mResizePadImg
    • mDashed

      protected final BasicStroke mDashed
    • mGraphModelManager

      protected GraphModelManager mGraphModelManager
    • mVertexRenderer

      protected VertexRenderer mVertexRenderer
    • mDirectedEdgeRenderer

      protected DirectedEdgeRenderer mDirectedEdgeRenderer
  • Constructor Details

  • Method Details

    • setGraphModelManager

      public void setGraphModelManager(GraphModelManager graphModelManager)
    • update

      public void update(Observable o, Object arg)
      Specified by:
      update in interface Observer
    • deleteSelection

      public void deleteSelection()
    • selectAll

      public void selectAll()
    • selectContentsOfElasticBand

      public void selectContentsOfElasticBand()
    • setSelectedVertexToBeStart

      public void setSelectedVertexToBeStart()
    • getSelection

      public Selection getSelection()
    • setElasticBand

      public void setElasticBand(ElasticBand elasticBand)
    • resizeElasticBand

      public void resizeElasticBand(GraphPoint movingCorner)
    • inSelection

      public boolean inSelection(Vertex v)
    • removeFromSelection

      public void removeFromSelection(Vertex v)
    • addToSelection

      public void addToSelection(Vertex v)
    • moveAbsoluteSelection

      public void moveAbsoluteSelection(int newTopLeftX, int newTopLeftY)
    • getVertex

      public Vertex getVertex(GraphPoint p)
    • getEdge

      public DirectedEdge getEdge(GraphPoint p)
    • setSelection

      public void setSelection(Selection s)
    • paintComponent

      public void paintComponent(Graphics g)
      Overrides:
      paintComponent in class JComponent
    • drawVertexHighlight

      protected void drawVertexHighlight(Graphics2D g2d, Vertex vertex, int dist)
    • drawEdgeHighlight

      protected void drawEdgeHighlight(Graphics2D g2d, DirectedEdge edge)
    • printComponent

      public void printComponent(Graphics g)
      Overrides:
      printComponent in class JComponent
    • superPaint

      protected void superPaint(Graphics g)