org.kahina.core.visual.tree
Class KahinaTreeViewPanel

java.lang.Object
  extended by java.awt.Component
      extended by java.awt.Container
          extended by javax.swing.JComponent
              extended by javax.swing.JPanel
                  extended by org.kahina.core.visual.KahinaViewPanel<KahinaTreeView>
                      extended by org.kahina.core.visual.tree.KahinaTreeViewPanel
All Implemented Interfaces:
ImageObserver, MenuContainer, Serializable, Accessible, KahinaListener
Direct Known Subclasses:
FormulaTreeViewPanel

public class KahinaTreeViewPanel
extends KahinaViewPanel<KahinaTreeView>

See Also:
Serialized Form

Nested Class Summary
 
Nested classes/interfaces inherited from class javax.swing.JPanel
JPanel.AccessibleJPanel
 
Nested classes/interfaces inherited from class javax.swing.JComponent
JComponent.AccessibleJComponent
 
Nested classes/interfaces inherited from class java.awt.Container
Container.AccessibleAWTContainer
 
Nested classes/interfaces inherited from class java.awt.Component
Component.AccessibleAWTComponent, Component.BaselineResizeBehavior, Component.BltBufferStrategy, Component.FlipBufferStrategy
 
Field Summary
 
Fields inherited from class org.kahina.core.visual.KahinaViewPanel
progressBar, view
 
Fields inherited from class javax.swing.JComponent
accessibleContext, listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
 
Fields inherited from class java.awt.Component
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT
 
Fields inherited from interface java.awt.image.ImageObserver
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH
 
Constructor Summary
KahinaTreeViewPanel(KahinaInstance<?,?,?> kahina)
           
KahinaTreeViewPanel(KahinaTreeViewMarker marker, KahinaInstance<?,?,?> kahina)
           
 
Method Summary
 void clearCanvas(Graphics canvas)
           
static void drawDottedLine(Graphics g, int x0, int y0, int x1, int y1, Color color, int dashLen, int spaceLen)
           
static void drawLineAccordingToType(Graphics g, int type, int x0, int y0, int x1, int y1)
           
 void paintComponent(Graphics cnv)
           
 void printBoxAroundNodeTag(Graphics2D canvas, int nodeID)
           
 void printEdgeTag(Graphics canvas, Point center, String tag)
           
 void printNodeTag(Graphics2D canvas, int nodeID)
           
 void printOvalAroundNodeTag(Graphics2D canvas, int nodeID)
           
protected  void printSecondaryTreeEdgeForNode(int node, Graphics canvas)
           
 void printSecondaryTreeEdges(Graphics canvas)
           
 void printTreeEdges(Graphics canvas)
           
 void printTreeNodes(Graphics2D cnv)
           
 void scrollToNode(int nodeID)
           
 void updateDisplay()
          This method must be called from the Swing event dispatch thread.
 
Methods inherited from class org.kahina.core.visual.KahinaViewPanel
hideProgressBar, processEvent, setProgressBar, setView, showProgressBar, updateDisplayAndRepaintFromEventDispatchThread
 
Methods inherited from class javax.swing.JPanel
getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI
 
Methods inherited from class javax.swing.JComponent
addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBaseline, getBaselineResizeBehavior, getBorder, getBounds, getClientProperty, getComponentGraphics, getComponentPopupMenu, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getFontMetrics, getGraphics, getHeight, getInheritsPopupMenu, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPopupLocation, getPreferredSize, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setComponentPopupMenu, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFocusTraversalKeys, setFont, setForeground, setInheritsPopupMenu, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update
 
Methods inherited from class java.awt.Container
add, add, add, add, add, addContainerListener, addImpl, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, transferFocusBackward, transferFocusDownCycle, validate, validateTree
 
Methods inherited from class java.awt.Component
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, hide, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusUpCycle
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

KahinaTreeViewPanel

public KahinaTreeViewPanel(KahinaInstance<?,?,?> kahina)

KahinaTreeViewPanel

public KahinaTreeViewPanel(KahinaTreeViewMarker marker,
                           KahinaInstance<?,?,?> kahina)
Method Detail

paintComponent

public void paintComponent(Graphics cnv)
Overrides:
paintComponent in class JComponent

updateDisplay

public void updateDisplay()
Description copied from class: KahinaViewPanel
This method must be called from the Swing event dispatch thread.

Specified by:
updateDisplay in class KahinaViewPanel<KahinaTreeView>

clearCanvas

public void clearCanvas(Graphics canvas)

printTreeNodes

public void printTreeNodes(Graphics2D cnv)

printBoxAroundNodeTag

public void printBoxAroundNodeTag(Graphics2D canvas,
                                  int nodeID)

printOvalAroundNodeTag

public void printOvalAroundNodeTag(Graphics2D canvas,
                                   int nodeID)

printNodeTag

public void printNodeTag(Graphics2D canvas,
                         int nodeID)

printTreeEdges

public void printTreeEdges(Graphics canvas)

printEdgeTag

public void printEdgeTag(Graphics canvas,
                         Point center,
                         String tag)

printSecondaryTreeEdges

public void printSecondaryTreeEdges(Graphics canvas)

printSecondaryTreeEdgeForNode

protected void printSecondaryTreeEdgeForNode(int node,
                                             Graphics canvas)

drawLineAccordingToType

public static void drawLineAccordingToType(Graphics g,
                                           int type,
                                           int x0,
                                           int y0,
                                           int x1,
                                           int y1)

drawDottedLine

public static void drawDottedLine(Graphics g,
                                  int x0,
                                  int y0,
                                  int x1,
                                  int y1,
                                  Color color,
                                  int dashLen,
                                  int spaceLen)

scrollToNode

public void scrollToNode(int nodeID)