websphinx.util
Class GraphLayout

java.lang.Object
  |
  +--java.awt.Component
        |
        +--java.awt.Canvas
              |
              +--websphinx.util.GraphLayout

All Implemented Interfaces:

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

Direct Known Subclasses:

WebGraph

public class GraphLayout

extends java.awt.Canvas

implements java.lang.Runnable, java.awt.image.ImageObserver

See Also:

Serialized Form

Inner classes inherited from class java.awt.Canvas

java.awt.Canvas.AccessibleAWTCanvas

Inner classes inherited from class java.awt.Component

java.awt.Component.AccessibleAWTComponent, java.awt.Component.AWTTreeLock

Field Summary

(package private) gd.GDAlgorithm	algorithm
(package private) boolean	automaticLayout
(package private) GraphLayoutControlPanel	controlPanel
(package private) boolean	dirty
(package private) RenderedNode	dragNode
(package private) int	dragOffsetX
(package private) int	dragOffsetY
(package private) java.awt.Color	edgeColor
(package private) java.awt.FontMetrics	fm
(package private) graph.Graph	graph
(package private) int	interval
(package private) int	iterations
(package private) java.lang.Thread	iterator
(package private) static int	MULTIPLIER The body of the background thread.
(package private) double	nodeCharge
(package private) java.awt.Color	nodeColor
(package private) java.awt.Graphics	offg
(package private) java.awt.Image	offscreen
(package private) java.awt.Dimension	offSize
(package private) double	originX
(package private) double	originY
(package private) boolean	quiescent
(package private) double	restLength
(package private) boolean	running
(package private) double	scaleX
(package private) double	scaleY
(package private) double	springConstant
(package private) double	threshold
(package private) MultiLineString	tip
(package private) java.awt.Color	tipColor
(package private) int	tipHeight
(package private) java.lang.Object	tipObject
(package private) int	tipWidth
(package private) int	tipX
(package private) int	tipY

Fields inherited from class java.awt.Canvas

base, nameCounter, serialVersionUID

Fields inherited from class java.awt.Component

accessibleContext, actionListenerK, adjustmentListenerK, appContext, background, BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, changeSupport, componentListener, componentListenerK, componentOrientation, componentSerializedDataVersion, containerListenerK, cursor, dbg, dropTarget, enabled, eventMask, focusListener, focusListenerK, font, foreground, graphicsConfig, hasFocus, height, hierarchyBoundsListener, hierarchyBoundsListenerK, hierarchyListener, hierarchyListenerK, incRate, inputMethodListener, inputMethodListenerK, isInc, isPacked, itemListenerK, keyListener, keyListenerK, LEFT_ALIGNMENT, locale, LOCK, metrics, minSize, mouseListener, mouseListenerK, mouseMotionListener, mouseMotionListenerK, name, nameExplicitlySet, newEventsOnly, ownedWindowK, parent, peer, peerFont, popups, prefSize, privateKey, RIGHT_ALIGNMENT, textListenerK, TOP_ALIGNMENT, valid, visible, width, windowClosingException, windowListenerK, x, y

Fields inherited from interface java.awt.image.ImageObserver

ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

Constructor Summary

GraphLayout()
Make a GraphLayout.

Method Summary

void	addEdge(RenderedEdge edge) Add an edge.
void	addNode(RenderedNode node) Add a node.
void	changedGraph() Notify background thread that the graph has changed.
void	clear() Erase the graph.
(package private) void	click(int x, int y, boolean rightClick)
(package private) void	createOffscreenArea(java.awt.Dimension d)
(package private) void	drag(int x, int y)
(package private) void	drawArrowToBox(java.awt.Graphics g, int x1, int y1, int x2, int y2, int wHalfBox, int hHalfBox, int head_length, int head_width, boolean thick)
(package private) void	drop(int x, int y)
protected void	finalize()
gd.GDAlgorithm	getAlgorithm() Get the graph-drawing algorithm in use.
boolean	getAutomaticLayout() Test whether the graph is laid out automatically.
java.awt.Color	getEdgeColor() Get the edge color.
java.awt.FontMetrics	getFontMetrics()
graph.Graph	getGraph() Get the graph.
int	getInterval() Get the refresh interval (measured in seconds).
int	getIterations() Get the layout algorithm iterations per refresh.
double	getNodeCharge() Get the node charge.
java.awt.Color	getNodeColor() Get the node background color.
boolean	getQuiescent() Test whether the graph is quiescent (not changing in the background).
double	getRestLength() Get the default rest length for new edges.
boolean	getRunning() Test whether the graph layout thread is running in the background
RenderedEdge	getSelectedEdge() Get edge currently under the mouse pointer, or null if no edge is under the mouse.
RenderedNode	getSelectedNode() Get node currently under the mouse pointer, or null if no node is under the mouse.
double	getSpringConstant() Get the spring constant.
double	getThreshold() Get the threshold.
java.awt.Color	getTipColor() Get the popup tip color.
boolean	handleEvent(java.awt.Event event)
boolean	imageUpdate(java.awt.Image img, int infoflags, int x, int y, int width, int height) Handle a loaded image.
(package private) boolean	inLineSegment(int x, int y, int x1, int y1, int x2, int y2, int threshold)
(package private) void	leave()
void	paint(java.awt.Graphics g)
java.lang.Object	pick(int x, int y) Find the object (Node or Edge) at position (x,y) relative to the window.
void	placeNodeOnGraph(RenderedNode n, double x, double y)
void	placeNodeOnScreen(RenderedNode n, int x, int y)
(package private) void	point(int x, int y)
void	removeEdge(RenderedEdge edge) Remove an edge.
void	removeNode(RenderedNode node) Remove a node.
void	repaint() Notify background thread that the view has changed.
(package private) void	resetAlgorithm()
void	run()
private void	scaleGraph()
void	setAlgorithm(gd.GDAlgorithm algorithm) Set the graph-drawing algorithm.
void	setAutomaticLayout(boolean f) Set whether the graph is laid out automatically.
void	setEdgeColor(java.awt.Color edgeColor) Set the edge color.
void	setFont(java.awt.Font f)
void	setGraph(graph.Graph graph) Set the graph.
void	setInterval(int interval) Set the refresh interval (in seconds).
void	setIterations(int iterations) Set the layout algorithm iterations per refresh.
void	setNodeCharge(double nodeCharge) Set the node charge.
void	setNodeColor(java.awt.Color nodeColor) Set the node background color.
void	setRestLength(double restLength) Set the default rest length for new edges.
void	setSpringConstant(double springConstant) Set the spring constant.
void	setThreshold(double threshold) Set the threshold.
void	setTipColor(java.awt.Color tipColor) Set the popup tip color.
void	showControlPanel() Show control panel for changing graph layout parameters.
void	start() Start automatic graph layout (in the background).
void	stop() Stop automatic graph layout.
void	update(java.awt.Graphics g)

Methods inherited from class java.awt.Canvas

, addNotify, constructComponentName, getAccessibleContext, postsOldMouseEvents

Methods inherited from class java.awt.Component

action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addPropertyChangeListener, addPropertyChangeListener, areInputMethodsEnabled, bounds, checkGD, checkImage, checkImage, checkWindowClosingException, coalesceEvents, contains, contains, createChildHierarchyEvents, createHierarchyEvents, createImage, createImage, deliverEvent, disable, disableEvents, dispatchEvent, dispatchEventImpl, doLayout, enable, enable, enableEvents, enableInputMethods, eventEnabled, firePropertyChange, getAccessibleIndexInParent, getAccessibleStateSet, getAlignmentX, getAlignmentY, getBackground, getBounds, getBounds, getColorModel, getComponentAt, getComponentAt, getComponentOrientation, getCursor, getDropTarget, getFont_NoClientCode, getFont, getFontMetrics, getForeground, getGraphics, getGraphicsConfiguration, getHeight, getInputContext, getInputMethodRequests, getListeners, getLocale, getLocation, getLocation, getLocationOnScreen_NoTreeLock, getLocationOnScreen, getMaximumSize, getMinimumSize, getName, getNativeContainer, getParent_NoClientCode, getParent, getPeer, getPreferredSize, getSize, getSize, getToolkit, getToolkitImpl, getTreeLock, getWidth, getWindowForObject, getX, getY, gotFocus, hasFocus, hide, initIDs, inside, invalidate, isDisplayable, isDoubleBuffered, isEnabled, isEnabledImpl, isFocusTraversable, isLightweight, isOpaque, isRecursivelyVisible, isShowing, isValid, isVisible, keyDown, keyUp, layout, lightweightPaint, lightweightPrint, list, list, list, list, list, locate, location, lostFocus, minimumSize, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, numListening, paintAll, paintHeavyweightComponents, paramString, postEvent, preferredSize, prepareImage, prepareImage, print, printAll, printHeavyweightComponents, processComponentEvent, processEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processKeyEvent, processMouseEvent, processMouseMotionEvent, readObject, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeNotify, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, requestFocus, resetGC, reshape, resize, resize, setBackground, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setEnabled, setForeground, setLocale, setLocation, setLocation, setName, setSize, setSize, setVisible, show, show, size, toString, transferFocus, validate, writeObject

Methods inherited from class java.lang.Object

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

Field Detail

graph

graph.Graph graph

restLength

double restLength

springConstant

double springConstant

nodeCharge

double nodeCharge

algorithm

gd.GDAlgorithm algorithm

running

boolean running

automaticLayout

boolean automaticLayout

threshold

double threshold

quiescent

boolean quiescent

dirty

boolean dirty

interval

int interval

iterations

int iterations

nodeColor

java.awt.Color nodeColor

edgeColor

java.awt.Color edgeColor

tipColor

java.awt.Color tipColor

tipObject

java.lang.Object tipObject

tip

MultiLineString tip

tipX

int tipX

tipY

int tipY

tipWidth

int tipWidth

tipHeight

int tipHeight

controlPanel

GraphLayoutControlPanel controlPanel

iterator

java.lang.Thread iterator

MULTIPLIER

static final int MULTIPLIER

The body of the background thread. Clients should not call this method.

originX

double originX

originY

double originY

scaleX

double scaleX

scaleY

double scaleY

offscreen

java.awt.Image offscreen

offSize

java.awt.Dimension offSize

offg

java.awt.Graphics offg

fm

java.awt.FontMetrics fm

dragNode

RenderedNode dragNode

dragOffsetX

int dragOffsetX

dragOffsetY

int dragOffsetY

Constructor Detail

GraphLayout

public GraphLayout()

Make a GraphLayout.

Method Detail

clear

public void clear()

Erase the graph.

getGraph

public graph.Graph getGraph()

Get the graph.

setGraph

public void setGraph(graph.Graph graph)

Set the graph.

getAlgorithm

public gd.GDAlgorithm getAlgorithm()

Get the graph-drawing algorithm in use.

setAlgorithm

public void setAlgorithm(gd.GDAlgorithm algorithm)

Set the graph-drawing algorithm.

resetAlgorithm

void resetAlgorithm()

getRestLength

public double getRestLength()

Get the default rest length for new edges.

setRestLength

public void setRestLength(double restLength)

Set the default rest length for new edges.

getSpringConstant

public double getSpringConstant()

Get the spring constant.

setSpringConstant

public void setSpringConstant(double springConstant)

Set the spring constant.

getNodeCharge

public double getNodeCharge()

Get the node charge.

setNodeCharge

public void setNodeCharge(double nodeCharge)

Set the node charge.

getInterval

public int getInterval()

Get the refresh interval (measured in seconds).

setInterval

public void setInterval(int interval)

Set the refresh interval (in seconds).

getIterations

public int getIterations()

Get the layout algorithm iterations per refresh.

setIterations

public void setIterations(int iterations)

Set the layout algorithm iterations per refresh.

getAutomaticLayout

public boolean getAutomaticLayout()

Test whether the graph is laid out automatically.

setAutomaticLayout

public void setAutomaticLayout(boolean f)

Set whether the graph is laid out automatically.

getQuiescent

public boolean getQuiescent()

Test whether the graph is quiescent (not changing in the background).

getRunning

public boolean getRunning()

Test whether the graph layout thread is running in the background

getThreshold

public double getThreshold()

Get the threshold.

setThreshold

public void setThreshold(double threshold)

Set the threshold.

getNodeColor

public java.awt.Color getNodeColor()

Get the node background color.

setNodeColor

public void setNodeColor(java.awt.Color nodeColor)

Set the node background color.

getEdgeColor

public java.awt.Color getEdgeColor()

Get the edge color.

setEdgeColor

public void setEdgeColor(java.awt.Color edgeColor)

Set the edge color.

getTipColor

public java.awt.Color getTipColor()

Get the popup tip color.

setTipColor

public void setTipColor(java.awt.Color tipColor)

Set the popup tip color.

getSelectedNode

public RenderedNode getSelectedNode()

Get node currently under the mouse pointer, or null if no node is under the mouse.

getSelectedEdge

public RenderedEdge getSelectedEdge()

Get edge currently under the mouse pointer, or null if no edge is under the mouse.

addNode

public void addNode(RenderedNode node)

Add a node.

addEdge

public void addEdge(RenderedEdge edge)

Add an edge.

removeNode

public void removeNode(RenderedNode node)

Remove a node.

removeEdge

public void removeEdge(RenderedEdge edge)

Remove an edge.

imageUpdate

public boolean imageUpdate(java.awt.Image img,
                           int infoflags,
                           int x,
                           int y,
                           int width,
                           int height)

Handle a loaded image.

Specified by:

imageUpdate in interface java.awt.image.ImageObserver

Overrides:

imageUpdate in class java.awt.Component

start

public void start()

Start automatic graph layout (in the background).

stop

public void stop()

Stop automatic graph layout.

run

public void run()

Specified by:

run in interface java.lang.Runnable

changedGraph

public void changedGraph()

Notify background thread that the graph has changed.

repaint

public void repaint()

Notify background thread that the view has changed.

Overrides:

repaint in class java.awt.Component

showControlPanel

public void showControlPanel()

Show control panel for changing graph layout parameters.

finalize

protected void finalize()
                 throws java.lang.Throwable

Overrides:

finalize in class java.lang.Object

scaleGraph

private void scaleGraph()

placeNodeOnScreen

public void placeNodeOnScreen(RenderedNode n,
                              int x,
                              int y)

placeNodeOnGraph

public void placeNodeOnGraph(RenderedNode n,
                             double x,
                             double y)

update

public void update(java.awt.Graphics g)

Overrides:

update in class java.awt.Component

createOffscreenArea

void createOffscreenArea(java.awt.Dimension d)

paint

public void paint(java.awt.Graphics g)

Overrides:

paint in class java.awt.Canvas

drawArrowToBox

void drawArrowToBox(java.awt.Graphics g,
                    int x1,
                    int y1,
                    int x2,
                    int y2,
                    int wHalfBox,
                    int hHalfBox,
                    int head_length,
                    int head_width,
                    boolean thick)

getFontMetrics

public java.awt.FontMetrics getFontMetrics()

setFont

public void setFont(java.awt.Font f)

Overrides:

setFont in class java.awt.Component

point

void point(int x,
           int y)

leave

void leave()

click

void click(int x,
           int y,
           boolean rightClick)

drag

void drag(int x,
          int y)

drop

void drop(int x,
          int y)

handleEvent

public boolean handleEvent(java.awt.Event event)

Overrides:

handleEvent in class java.awt.Component

pick

public java.lang.Object pick(int x,
                             int y)

Find the object (Node or Edge) at position (x,y) relative to the window.

Parameters:

x - X position

y - Y position

Returns:

topmost object under (x,y), or null if none

inLineSegment

boolean inLineSegment(int x,
                      int y,
                      int x1,
                      int y1,
                      int x2,
                      int y2,
                      int threshold)