|
JGraphpad Pro
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectjava.awt.Component
java.awt.Container
javax.swing.JComponent
javax.swing.JPanel
com.jgraph.editor.factory.JGraphEditorNavigator
Birds-eye view on a graph. The displayed graph may be changed at runtime. The
class provides the JGraphEditorNavigator.FactoryMethod to be added to an editor factory.
| Nested Class Summary | |
static class |
JGraphEditorNavigator.FactoryMethod
Factory method to construct a new navigator. |
class |
JGraphEditorNavigator.NavigatorPane
Scrollpane that implements special painting used for the navigator preview. |
| Nested classes inherited from class javax.swing.JPanel |
JPanel.AccessibleJPanel |
| Nested classes inherited from class javax.swing.JComponent |
JComponent.AccessibleJComponent |
| Nested classes inherited from class java.awt.Container |
Container.AccessibleAWTContainer |
| Nested classes inherited from class java.awt.Component |
Component.AccessibleAWTComponent, Component.BltBufferStrategy, Component.FlipBufferStrategy |
| Field Summary | |
protected org.jgraph.JGraph |
backingGraph
Holds the backing graph and references the displayed (current) graph. |
protected ComponentListener |
componentListener
Component listener to udpate the scale. |
protected WeakReference |
currentGraph
Weak reference to the current graph. |
protected static Cursor |
CURSOR_DEFAULT
Shared cursor objects to avoid expensive constructor calls. |
protected static Cursor |
CURSOR_HAND
Shared cursor objects to avoid expensive constructor calls. |
static Color |
DEFAULT_BACKGROUND
Shared cursor objects to avoid expensive constructor calls. |
protected org.jgraph.graph.GraphLayoutCache |
initialLayoutCache
References the inital layout cache of the backing graph. |
protected boolean |
isBackgroundImageVisible
Specifies whether the background image of the enclosing diagram pane should be visible. |
protected double |
maximumScale
Specifies the maximum scale for the navigator view. |
protected JGraphEditorNavigator.NavigatorPane |
navigatorPane
Holds the navigator pane the displays the backing graph. |
| 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 | |
JGraphEditorNavigator(org.jgraph.JGraph backingGraph)
Constructs a new graph navigator using backingGraph to
display the graph in currentGraph. |
|
| Method Summary | |
void |
adjustmentValueChanged(AdjustmentEvent e)
|
org.jgraph.JGraph |
getBackingGraph()
Returns the backing graph that is used to display currentGraph. |
org.jgraph.JGraph |
getCurrentGraph()
Returns the graph that is currently displayed. |
double |
getMaximumScale()
Returns the maximum scale to be used for the backing graph. |
static org.jgraph.JGraph |
getParentGraph(Component component)
Helper method that returns the parent JGraph for the specified component in the component hierarchy. |
static JScrollPane |
getParentScrollPane(Component component)
Helper method that returns the parent scrollpane for the specified component in the component hierarchy. |
JGraphEditorNavigator.NavigatorPane |
getScrollPane()
Returns the navigator pane that contains the backing graph. |
void |
graphChanged(org.jgraph.event.GraphModelEvent e)
|
void |
graphLayoutCacheChanged(org.jgraph.event.GraphLayoutCacheEvent e)
|
boolean |
isBackgroundImageVisible()
|
void |
propertyChange(PropertyChangeEvent event)
|
void |
setBackgroundImageVisible(boolean isBackgroundImageVisible)
|
void |
setBackingGraph(org.jgraph.JGraph backingGraph)
Sets the backing graph that is used to display currentGraph. |
void |
setCurrentGraph(org.jgraph.JGraph sourceGraph)
Sets the graph that is currently displayed. |
void |
setMaximumScale(double maximumScale)
Sets the maximum scale to be used for the backing graph. |
protected void |
updateScale()
Updates the scale of the backing graph. |
| Methods inherited from class javax.swing.JPanel |
getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Field Detail |
protected static final Cursor CURSOR_DEFAULT
protected static final Cursor CURSOR_HAND
public static Color DEFAULT_BACKGROUND
protected ComponentListener componentListener
protected transient org.jgraph.graph.GraphLayoutCache initialLayoutCache
protected org.jgraph.JGraph backingGraph
protected WeakReference currentGraph
protected JGraphEditorNavigator.NavigatorPane navigatorPane
protected double maximumScale
protected boolean isBackgroundImageVisible
| Constructor Detail |
public JGraphEditorNavigator(org.jgraph.JGraph backingGraph)
backingGraph to
display the graph in currentGraph.
backingGraph - The backing graph to render the display.| Method Detail |
public JGraphEditorNavigator.NavigatorPane getScrollPane()
public double getMaximumScale()
public void setMaximumScale(double maximumScale)
maximumScale - The maximumScale to set.public org.jgraph.JGraph getBackingGraph()
currentGraph.
public void setBackingGraph(org.jgraph.JGraph backingGraph)
currentGraph.
backingGraph - The backing graph to set.public org.jgraph.JGraph getCurrentGraph()
public boolean isBackgroundImageVisible()
public void setBackgroundImageVisible(boolean isBackgroundImageVisible)
isBackgroundImageVisible - The isBackgroundImageVisible to set.public void setCurrentGraph(org.jgraph.JGraph sourceGraph)
sourceGraph - The current graph to set.protected void updateScale()
public void graphLayoutCacheChanged(org.jgraph.event.GraphLayoutCacheEvent e)
graphLayoutCacheChanged in interface org.jgraph.event.GraphLayoutCacheListenerpublic void graphChanged(org.jgraph.event.GraphModelEvent e)
graphChanged in interface org.jgraph.event.GraphModelListenerpublic void propertyChange(PropertyChangeEvent event)
propertyChange in interface PropertyChangeListenerpublic void adjustmentValueChanged(AdjustmentEvent e)
adjustmentValueChanged in interface AdjustmentListenerpublic static JScrollPane getParentScrollPane(Component component)
public static org.jgraph.JGraph getParentGraph(Component component)
|
JGraphpad Pro
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||