|
JGraph |
|||||||||
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.util.JGraphPrintingScrollPane
public class JGraphPrintingScrollPane
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 |
JGraphPrintingScrollPane.Viewport
Viewport for diagram panes that is in charge of painting the background image or page. |
Nested classes/interfaces inherited from class javax.swing.JScrollPane |
---|
JScrollPane.AccessibleJScrollPane, JScrollPane.ScrollBar |
Nested classes/interfaces inherited from class javax.swing.JComponent |
---|
JComponent.AccessibleJComponent |
Nested classes/interfaces inherited from class java.awt.Container |
---|
Container.AccessibleAWTContainer |
Nested classes/interfaces inherited from class java.awt.Component |
---|
Component.AccessibleAWTComponent, Component.BaselineResizeBehavior, Component.BltBufferStrategy, Component.FlipBufferStrategy |
Field Summary | |
---|---|
static double |
DEFAULT_PAGESCALE
Specifies the default page scale. |
protected JGraph |
graph
References the inner graph. |
protected boolean |
isPageVisible
Specifies if the background page is 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. |
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 | |
---|---|
JGraphPrintingScrollPane()
|
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. |
JGraph |
getGraph()
Returns the inner graph. |
PageFormat |
getPageFormat()
Returns the page format of the background page. |
double |
getPageScale()
Returns the scale of the page metrics. |
boolean |
isPageVisible()
Returns true if the background page is visible. |
int |
print(Graphics g,
PageFormat printFormat,
int page)
Prints the specified page on the specified graphics using pageForm for the page format. |
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 . |
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. |
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
protected PageFormat pageFormat
protected boolean isPageVisible
protected double pageScale
DEFAULT_PAGESCALE
.
protected JGraph graph
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 JGraphPrintingScrollPane()
Method Detail |
---|
public JGraph getGraph()
public PageFormat getPageFormat()
public void setPageFormat(PageFormat pageFormat)
PROPERTY_PAGEFORMAT
.
pageFormat
- The pageFormat to set.public double getPageScale()
public void setPageScale(double pageScale)
PROPERTY_PAGESCALE
.
pageScale
- The pageScale to set.protected void updateMinimumSize()
null
, otherwise the minimum size is set to the
smallest area of pages containing the graph.
protected double computeWindowScale(int border)
border
- The border to use.
protected double computePageScale()
protected double computePageWidthScale(int border)
border
- The border to use.
public int print(Graphics g, PageFormat printFormat, int page)
pageForm
for the page format.
print
in interface Printable
g
- The graphics to paint the graph on.printFormat
- The page format to use for printing.page
- The page to print
Printable.PAGE_EXISTS
or
Printable.NO_SUCH_PAGE
.public boolean isPageVisible()
public void setPageVisible(boolean isPageVisible)
PROPERTY_PAGEVISIBLE
.
isPageVisible
- The isPageVisible to set.
|
JGraph |
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |