|
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.JScrollPane
com.jgraph.editor.factory.JGraphEditorDiagramPane
Wrapper panel for a diagram/JGraph-pair that implements automatic sizing, backgrounds, printing and undo support. When wrapped in a scrollpane this panel adds rulers to the enclosing scrollpane. Furthermore, it automatically sets the minimum size and scale of the graph based on its settings.
| Nested Class Summary | |
class |
JGraphEditorDiagramPane.Viewport
Viewport for diagram panes that is in charge of painting the background image or page. |
| Nested classes inherited from class javax.swing.JScrollPane |
JScrollPane.AccessibleJScrollPane, JScrollPane.ScrollBar |
| 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 | |
static int |
AUTOSCALE_POLICY_NONE
Defines the no autoscaling policy. |
static int |
AUTOSCALE_POLICY_PAGE
Defines the page autoscaling policy. |
static int |
AUTOSCALE_POLICY_PAGEWIDTH
Defines the pagewidth autoscaling policy. |
static int |
AUTOSCALE_POLICY_WINDOW
Defines the window-size autoscaling policy. |
protected int |
autoScalePolicy
Specified the autoscaling policy. |
protected PropertyChangeListener |
autoScaleResetListener
Holds the autoscale reset listener to be used with the graph. |
protected ImageIcon |
backgroundImage
Holds the background image. |
static int |
DEFAULT_HISTORYSIZE
Specifies the size of the undo history. |
static boolean |
DEFAULT_ISMETRIC
Specifies the default unit system. |
static double |
DEFAULT_PAGESCALE
Specifies the default page scale. |
protected JGraphEditorDiagram |
diagram
References the diagram this pane represents. |
protected org.jgraph.JGraph |
graph
References the inner graph. |
protected JGraphEditorRuler |
horizontalRuler
Holds the rulers to be used in a parent scrollpane. |
protected boolean |
isMetric
Specifies if the rulers should use metric units. |
protected boolean |
isPageVisible
Specifies if the background page is visible. |
protected boolean |
isRulersVisible
Specifies if the rules should be visible. |
protected PageFormat |
pageFormat
Background page format. |
protected double |
pageScale
Defines the scaling for the background page metrics. |
static String |
PROPERTY_AUTOSCALEPOLICY
Bound property names for the respective properties. |
static String |
PROPERTY_BACKGROUNDIMAGE
Bound property names for the respective properties. |
static String |
PROPERTY_METRIC
Bound property names for the respective properties. |
static String |
PROPERTY_PAGEFORMAT
Bound property names for the respective properties. |
static String |
PROPERTY_PAGESCALE
Bound property names for the respective properties. |
static String |
PROPERTY_PAGEVISIBLE
Bound property names for the respective properties. |
static String |
PROPERTY_RULERSVISIBLE
Bound property names for the respective properties. |
protected org.jgraph.graph.GraphUndoManager |
undoManager
Holds the undo manager for the graph. |
protected JGraphEditorRuler |
verticalRuler
Holds the rulers to be used in a parent scrollpane. |
| Fields inherited from class javax.swing.JScrollPane |
columnHeader, horizontalScrollBar, horizontalScrollBarPolicy, lowerLeft, lowerRight, rowHeader, upperLeft, upperRight, verticalScrollBar, verticalScrollBarPolicy, viewport |
| 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.print.Printable |
NO_SUCH_PAGE, PAGE_EXISTS |
| Fields inherited from interface java.awt.image.ImageObserver |
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH |
| Constructor Summary | |
JGraphEditorDiagramPane(JGraphEditorDiagram diagram,
org.jgraph.JGraph graph)
Constructs a new graph pane for the specified diagram and graph. |
|
| Method Summary | |
protected double |
computePageScale()
Computes the scale for the page autoscale policy. |
protected double |
computePageWidthScale(int border)
Computes the scale for the pagewidth autoscale policy. |
protected double |
computeWindowScale(int border)
Computes the scale for the window autoscale policy. |
PropertyChangeListener |
createAutoScaleResetListener()
Hook for subclassers to create the autoscale reset listener. |
protected void |
createRulers()
Hook for subclassers to create the rulers. |
protected JViewport |
createViewport()
Hook for subclassers to create the viewport. |
int |
getAutoScalePolicy()
Returns the autoscale policy. |
ImageIcon |
getBackgroundImage()
Returns the background image. |
JGraphEditorDiagram |
getDiagram()
Returns the diagram. |
org.jgraph.JGraph |
getGraph()
Returns the inner graph. |
org.jgraph.graph.GraphUndoManager |
getGraphUndoManager()
Returns the graph undo manager. |
JGraphEditorRuler |
getHorizontalRuler()
Returns the horizontal ruler. |
BufferedImage |
getImage(Color bg,
int inset)
Returns a BufferedImage for the graph using inset as an empty
border around the cells of the graph. |
PageFormat |
getPageFormat()
Returns the page format of the background page. |
double |
getPageScale()
Returns the scale of the page metrics. |
static JGraphEditorDiagramPane |
getParentDiagramPane(Component component)
Returns the parent diagram pane of the specified component, or the component itself if it is a editor diagram pane. |
JGraphEditorRuler |
getVerticalRuler()
Returns the vertical ruler. |
boolean |
isMetric()
Returns true if the rulers use metric units. |
boolean |
isPageVisible()
Returns true if the background page is visible. |
boolean |
isRulersVisible()
Returns true if the rulers are to be displayed. |
int |
print(Graphics g,
PageFormat printFormat,
int page)
Prints the specified page on the specified graphics using pageForm for the page format. |
void |
setAutoScalePolicy(int autoScalePolicy)
Sets the autoscale policy. |
void |
setBackgroundImage(ImageIcon backgroundImage)
Sets the background image. |
void |
setGraphUndoManager(org.jgraph.graph.GraphUndoManager undoManager)
Sets the graph undo manager. |
void |
setMetric(boolean isMetric)
Specifies if the rulers should use metric units. |
void |
setPageFormat(PageFormat pageFormat)
Sets the page format of the background page.Fires a property change event for PROPERTY_PAGEFORMAT. |
void |
setPageScale(double pageScale)
Sets the scale of the page metrics.Fires a property change event for PROPERTY_PAGESCALE. |
void |
setPageVisible(boolean isPageVisible)
Sets if the background page should be visible.Fires a property change event for PROPERTY_PAGEVISIBLE. |
void |
setRulersVisible(boolean isRulersVisible)
Sets if the rulers are to be displayed. |
protected void |
updateMinimumSize()
Updates the minimum size of the graph according to the current state of the background page: if the page is not visible then the minimum size is set to null, otherwise the minimum size is set to the
smallest area of pages containing the graph. |
protected void |
updateScale()
Updates the scale based on the autoscale policy. |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Field Detail |
public static final double DEFAULT_PAGESCALE
public static final int DEFAULT_HISTORYSIZE
public static final boolean DEFAULT_ISMETRIC
public static final int AUTOSCALE_POLICY_NONE
public static final int AUTOSCALE_POLICY_WINDOW
public static final int AUTOSCALE_POLICY_PAGE
public static final int AUTOSCALE_POLICY_PAGEWIDTH
protected JGraphEditorDiagram diagram
protected PageFormat pageFormat
protected double pageScale
DEFAULT_PAGESCALE.
protected JGraphEditorRuler verticalRuler
protected JGraphEditorRuler horizontalRuler
protected boolean isRulersVisible
protected boolean isMetric
protected boolean isPageVisible
protected int autoScalePolicy
AUTOSCALE_POLICY_NONE.
protected ImageIcon backgroundImage
protected transient org.jgraph.graph.GraphUndoManager undoManager
protected org.jgraph.JGraph graph
protected PropertyChangeListener autoScaleResetListener
public static String PROPERTY_METRIC
public static String PROPERTY_PAGEVISIBLE
public static String PROPERTY_BACKGROUNDIMAGE
public static String PROPERTY_RULERSVISIBLE
public static String PROPERTY_PAGEFORMAT
public static String PROPERTY_AUTOSCALEPOLICY
public static String PROPERTY_PAGESCALE
| Constructor Detail |
public JGraphEditorDiagramPane(JGraphEditorDiagram diagram,
org.jgraph.JGraph graph)
| Method Detail |
public PropertyChangeListener createAutoScaleResetListener()
protected JViewport createViewport()
protected void createRulers()
horizontalRuler and verticalRuler.
public BufferedImage getImage(Color bg,
int inset)
BufferedImage for the graph using inset as an empty
border around the cells of the graph. If bg is null then a transparent
background is applied to the image, else the background is filled with
the bg color. Therefore, one should only use a null background if the
fileformat support transparency, eg. GIF and PNG. For JPG, you can use
Color.WHITE for example. This implementation also takes
into account potential background images.
public org.jgraph.graph.GraphUndoManager getGraphUndoManager()
public void setGraphUndoManager(org.jgraph.graph.GraphUndoManager undoManager)
undoManager - The graphUndoManager to set.public org.jgraph.JGraph getGraph()
public JGraphEditorDiagram getDiagram()
public boolean isMetric()
public void setMetric(boolean isMetric)
PROPERTY_METRIC.
isMetric - The isMetric to set.public boolean isRulersVisible()
public void setRulersVisible(boolean isRulersVisible)