org.kahina.core.visual.tree

Class KahinaTreeViewPanel

java.lang.Object

java.awt.Component

java.awt.Container

javax.swing.JComponent

javax.swing.JPanel

org.kahina.core.visual.KahinaViewPanel<KahinaTreeView>

org.kahina.core.visual.tree.KahinaTreeViewPanel

All Implemented Interfaces:

java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible, KahinaListener

Direct Known Subclasses:

FormulaTreeViewPanel, RecursiveBlockViewPanel

public class KahinaTreeViewPanel
extends KahinaViewPanel<KahinaTreeView>

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class javax.swing.JPanel

javax.swing.JPanel.AccessibleJPanel

Nested classes/interfaces inherited from class javax.swing.JComponent

javax.swing.JComponent.AccessibleJComponent

Nested classes/interfaces inherited from class java.awt.Container

java.awt.Container.AccessibleAWTContainer

Nested classes/interfaces inherited from class java.awt.Component

java.awt.Component.AccessibleAWTComponent, java.awt.Component.BaselineResizeBehavior, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy

Field Summary

Fields

Modifier and Type	Field and Description
protected java.awt.image.BufferedImage	image

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

Constructors

Constructor and Description
KahinaTreeViewPanel(KahinaInstance<?,?,?,?> kahina)
KahinaTreeViewPanel(KahinaTreeViewMarker marker, KahinaInstance<?,?,?,?> kahina)

Method Summary

Methods

Modifier and Type	Method and Description
void	clearCanvas(java.awt.Graphics canvas)
static void	drawDottedLine(java.awt.Graphics g, int x0, int y0, int x1, int y1, java.awt.Color color, int dashLen, int spaceLen)
static void	drawLineAccordingToType(java.awt.Graphics g, int type, int x0, int y0, int x1, int y1)
void	paintComponent(java.awt.Graphics cnv)
void	printBoxAroundNodeTag(java.awt.Graphics2D canvas, int nodeID)
void	printEdgeTag(java.awt.Graphics canvas, java.awt.Point center, java.lang.String tag)
void	printNodePoint(java.awt.Graphics2D canvas, int vertex)
void	printNodeTag(java.awt.Graphics2D canvas, int nodeID)
void	printOvalAroundNodeTag(java.awt.Graphics2D canvas, int nodeID)
protected void	printSecondaryTreeEdgeForNode(int node, java.awt.Graphics canvas)
void	printSecondaryTreeEdges(java.awt.Graphics canvas)
void	printTreeEdges(java.awt.Graphics canvas)
void	printTreeNodes(java.awt.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, hide, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingOrigin, 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, 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, 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, transferFocusBackward, transferFocusUpCycle

Methods inherited from class java.lang.Object

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

Field Detail

image

protected java.awt.image.BufferedImage image

Constructor Detail

KahinaTreeViewPanel

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

KahinaTreeViewPanel

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

Method Detail

paintComponent

public void paintComponent(java.awt.Graphics cnv)

Overrides:

paintComponent in class javax.swing.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(java.awt.Graphics canvas)

printTreeNodes

public void printTreeNodes(java.awt.Graphics2D cnv)

printBoxAroundNodeTag

public void printBoxAroundNodeTag(java.awt.Graphics2D canvas,
                         int nodeID)

printOvalAroundNodeTag

public void printOvalAroundNodeTag(java.awt.Graphics2D canvas,
                          int nodeID)

printNodeTag

public void printNodeTag(java.awt.Graphics2D canvas,
                int nodeID)

printNodePoint

public void printNodePoint(java.awt.Graphics2D canvas,
                  int vertex)

printTreeEdges

public void printTreeEdges(java.awt.Graphics canvas)

printEdgeTag

public void printEdgeTag(java.awt.Graphics canvas,
                java.awt.Point center,
                java.lang.String tag)

printSecondaryTreeEdges

public void printSecondaryTreeEdges(java.awt.Graphics canvas)

printSecondaryTreeEdgeForNode

protected void printSecondaryTreeEdgeForNode(int node,
                                 java.awt.Graphics canvas)

drawLineAccordingToType

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

drawDottedLine

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

scrollToNode

public void scrollToNode(int nodeID)