fbench.graph
Class GraphLayout

java.lang.Object
  fbench.graph.GraphLayout

All Implemented Interfaces:

java.awt.LayoutManager

public class GraphLayout
extends java.lang.Object
implements java.awt.LayoutManager

A layout manager for a GraphView panel.

Version:

20050530/JHC

Author:

JHC

Constructor Summary

GraphLayout()

Method Summary

void	addLayoutComponent(java.lang.String name, java.awt.Component comp) Does nothing since GraphView does not use this method.
void	layoutContainer(java.awt.Container parent) Lays out nodes followed by edges, giving each component its desired bounds from getPreferredBounds().
java.awt.Dimension	minimumLayoutSize(java.awt.Container parent) Returns the same answer as preferredLayoutSize().
java.awt.Dimension	preferredLayoutSize(java.awt.Container parent) Returns preferred layout size based on components' getPreferredBounds().
void	removeLayoutComponent(java.awt.Component comp) Does nothing since GraphView does not use this method.

Methods inherited from class java.lang.Object

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

Constructor Detail

GraphLayout

public GraphLayout()

Method Detail

addLayoutComponent

public void addLayoutComponent(java.lang.String name,
                               java.awt.Component comp)

Does nothing since GraphView does not use this method.

Specified by:

addLayoutComponent in interface java.awt.LayoutManager

See Also:

LayoutManager.addLayoutComponent(java.lang.String, java.awt.Component)

removeLayoutComponent

public void removeLayoutComponent(java.awt.Component comp)

Does nothing since GraphView does not use this method.

Specified by:

removeLayoutComponent in interface java.awt.LayoutManager

See Also:

LayoutManager.removeLayoutComponent(java.awt.Component)

preferredLayoutSize

public java.awt.Dimension preferredLayoutSize(java.awt.Container parent)

Returns preferred layout size based on components' getPreferredBounds().

Specified by:

preferredLayoutSize in interface java.awt.LayoutManager

See Also:

LayoutManager.preferredLayoutSize(java.awt.Container)

minimumLayoutSize

public java.awt.Dimension minimumLayoutSize(java.awt.Container parent)

Returns the same answer as preferredLayoutSize().

Specified by:

minimumLayoutSize in interface java.awt.LayoutManager

See Also:

LayoutManager.minimumLayoutSize(java.awt.Container)

layoutContainer

public void layoutContainer(java.awt.Container parent)

Lays out nodes followed by edges, giving each component its desired bounds from getPreferredBounds().

Specified by:

layoutContainer in interface java.awt.LayoutManager

See Also:

LayoutManager.layoutContainer(java.awt.Container)