|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.Visual.GraphicalExporter | +--ConForM.CoopnTools.CoKer.Visual.GraphicalPSExporter
Postscript Graphical Exportation class. This class defines postscript graphical exporters, both for standard postscript and for encapsulated postscript. It intended to be used with graphical visualisations. All interactions with an exporter object are made in the logical coordinate space, where 1 inch corresponds to 81,92 logical units.
Fields inherited from class ConForM.CoopnTools.CoKer.Visual.GraphicalExporter |
bounds, color, dash, dashed, env, EPS, insets, MIF, phase, POSTSCRIPT, RTF, stream, title, translationX, translationY, zoom |
Constructor Summary | |
GraphicalPSExporter(java.io.PrintWriter stream,
java.lang.String title,
java.awt.Rectangle bounds,
java.awt.Insets insets,
int zoom,
boolean encapsulated,
CoopnEnv env)
|
|
GraphicalPSExporter(java.io.PrintWriter stream,
java.lang.String title,
java.awt.Rectangle bounds,
java.awt.Insets insets,
int zoom,
CoopnEnv env)
|
Method Summary | |
void |
drawArc(double x,
double y,
double width,
double height,
int startAngle,
int arcAngle)
Draw an elliptical arc, given by its bounding rectangle. |
void |
drawArrow(java.awt.geom.GeneralPath path,
boolean fill,
int tipAngle,
int baseAngle,
int length,
java.awt.geom.GeneralPath arrowPath)
Draw a path with a plain arrow at its end. |
void |
drawArrow(java.awt.geom.GeneralPath path,
boolean fill,
int tipAngle,
int baseAngle,
int length,
java.awt.geom.GeneralPath sarrowPath,
java.awt.geom.GeneralPath earrowPath)
Draw a path with a plain arrow at both ends. |
void |
drawArrow(java.awt.geom.GeneralPath path,
int tipAngle,
int baseAngle,
int length,
java.awt.geom.GeneralPath arrowPath)
Draw a path with a stick arrow at its end. |
void |
drawArrow(java.awt.geom.GeneralPath path,
int tipAngle,
int baseAngle,
int length,
java.awt.geom.GeneralPath sarrowPath,
java.awt.geom.GeneralPath earrowPath)
Draw a path with a stick arrow at both ends. |
void |
drawLine(double x1,
double y1,
double x2,
double y2)
Draw a line. |
void |
drawPath(java.awt.geom.GeneralPath path)
Draw a path. |
void |
drawPolygon(java.awt.geom.Point2D[] points)
Draw a polygon. |
void |
drawRectangle(double x,
double y,
double width,
double height)
Draw a rectangle. |
void |
drawRectangle(double x,
double y,
double width,
double height,
int angle)
Draw a rotated rectangle. |
void |
drawText(double x,
double y,
java.lang.String text,
java.awt.Font font)
Draw a text. |
void |
endElement()
End an element. |
void |
fillArc(double x,
double y,
double width,
double height,
int startAngle,
int arcAngle)
Fill an elliptical arc, given by its bounding rectangle. |
void |
fillArc(double x,
double y,
double width,
double height,
int startAngle,
int arcAngle,
float grayValue)
Fill an elliptical arc, given by its bounding rectangle. |
void |
fillPolygon(java.awt.geom.Point2D[] points)
Fill a polygon. |
void |
fillPolygon(java.awt.geom.Point2D[] points,
float grayValue)
Fill a polygon. |
void |
fillRectangle(double x,
double y,
double width,
double height)
Fill a rectangle. |
void |
fillRectangle(double x,
double y,
double width,
double height,
float grayValue)
Fill a rectangle. |
void |
fillRectangle(double x,
double y,
double width,
double height,
float grayValue,
int angle)
Fill a rotated rectangle. |
void |
fillRectangle(double x,
double y,
double width,
double height,
int angle)
Fill a rotated rectangle. |
protected void |
header()
|
void |
setColor(java.awt.Color color)
Set the current color. |
void |
startElement(GraphicalVisualElement element)
Start an element. |
protected void |
trailer()
|
void |
translate(int x,
int y)
Translate the current user space. |
Methods inherited from class ConForM.CoopnTools.CoKer.Visual.GraphicalExporter |
dispose, drawArc, drawArc, drawLine, drawPolygon, drawRectangle, drawRectangle, drawRectangle, drawRectangle, drawText, fillArc, fillArc, fillArc, fillArc, fillPolygon, fillPolygon, fillRectangle, fillRectangle, fillRectangle, fillRectangle, fillRectangle, fillRectangle, fillRectangle, fillRectangle, getExporter, setDashed, setPlain, supportedFormats |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public GraphicalPSExporter(java.io.PrintWriter stream, java.lang.String title, java.awt.Rectangle bounds, java.awt.Insets insets, int zoom, CoopnEnv env)
public GraphicalPSExporter(java.io.PrintWriter stream, java.lang.String title, java.awt.Rectangle bounds, java.awt.Insets insets, int zoom, boolean encapsulated, CoopnEnv env)
Method Detail |
protected void header()
header
in class GraphicalExporter
protected void trailer()
trailer
in class GraphicalExporter
public void translate(int x, int y)
translate
in class GraphicalExporter
x
- x-displacementy
- y-displacementpublic void setColor(java.awt.Color color)
setColor
in class GraphicalExporter
color
- the new colorpublic void startElement(GraphicalVisualElement element)
startElement
in class GraphicalExporter
element
- the element to startpublic void endElement()
endElement
in class GraphicalExporter
public void drawText(double x, double y, java.lang.String text, java.awt.Font font)
drawText
in class GraphicalExporter
x
- x-coordinate of starting pointy
- y-coordinate of starting pointtext
- textfont
- fontpublic void drawLine(double x1, double y1, double x2, double y2)
drawLine
in class GraphicalExporter
x1
- x-coordinate of starting pointy1
- y-coordinate of starting pointx2
- x-coordinate of ending pointy2
- y-coordinate of ending pointpublic void drawRectangle(double x, double y, double width, double height, int angle)
drawRectangle
in class GraphicalExporter
x
- x-coordinate of starting pointy
- y-coordinate of starting pointwidth
- widthheight
- heightangle
- the rotation anglepublic void fillRectangle(double x, double y, double width, double height, int angle)
fillRectangle
in class GraphicalExporter
x
- x-coordinate of starting pointy
- y-coordinate of starting pointwidth
- widthheight
- heightangle
- the rotation anglepublic void fillRectangle(double x, double y, double width, double height, float grayValue, int angle)
fillRectangle
in class GraphicalExporter
x
- x-coordinate of starting pointy
- y-coordinate of starting pointwidth
- widthheight
- heightgrayValue
- the gray value. 0 means black while 1 means whiteangle
- the rotation anglepublic void drawRectangle(double x, double y, double width, double height)
drawRectangle
in class GraphicalExporter
x
- x-coordinate of starting pointy
- y-coordinate of starting pointwidth
- widthheight
- heightpublic void fillRectangle(double x, double y, double width, double height)
fillRectangle
in class GraphicalExporter
x
- x-coordinate of starting pointy
- y-coordinate of starting pointwidth
- widthheight
- heightpublic void fillRectangle(double x, double y, double width, double height, float grayValue)
fillRectangle
in class GraphicalExporter
x
- x-coordinate of starting pointy
- y-coordinate of starting pointwidth
- widthheight
- heightgrayValue
- the gray value. 0 means black while 1 means whitepublic void drawArc(double x, double y, double width, double height, int startAngle, int arcAngle)
drawArc
in class GraphicalExporter
x
- x-coordinate of starting pointy
- y-coordinate of starting pointwidth
- widthheight
- heightstartAngle
- the starting angle in degree, trigonometrical sensearcAngle
- the angular extend of the arcpublic void fillArc(double x, double y, double width, double height, int startAngle, int arcAngle)
fillArc
in class GraphicalExporter
x
- x-coordinate of starting pointy
- y-coordinate of starting pointwidth
- widthheight
- heightstartAngle
- the starting angle in degree, trigonometrical sensearcAngle
- the angular extend of the arcpublic void fillArc(double x, double y, double width, double height, int startAngle, int arcAngle, float grayValue)
fillArc
in class GraphicalExporter
x
- x-coordinate of starting pointy
- y-coordinate of starting pointwidth
- widthheight
- heightstartAngle
- the starting angle in degree, trigonometrical sensearcAngle
- the angular extend of the arcgrayValue
- the gray value. 0 means black while 1 means whitepublic void drawPolygon(java.awt.geom.Point2D[] points)
drawPolygon
in class GraphicalExporter
points
- the points of the polygonpublic void fillPolygon(java.awt.geom.Point2D[] points)
fillPolygon
in class GraphicalExporter
points
- the points of the polygonpublic void fillPolygon(java.awt.geom.Point2D[] points, float grayValue)
fillPolygon
in class GraphicalExporter
points
- the points of the polygongrayValue
- the gray value. 0 means black while 1 means whitepublic void drawPath(java.awt.geom.GeneralPath path)
drawPath
in class GraphicalExporter
path
- the path to drawpublic void drawArrow(java.awt.geom.GeneralPath path, boolean fill, int tipAngle, int baseAngle, int length, java.awt.geom.GeneralPath arrowPath)
drawArrow
in class GraphicalExporter
path
- the path to drawfill
- true iff the arrow is filledtipAngle
- the tip anglebaseAngle
- the base anglelength
- the length of the arrowarrowPath
- an already constructed path equivalent to
the parameters tipangle, baseAngle and length;
exporters should use (and draw) this parameter only if
the format does not support structural
structural descriptions of arrows based on
above parameterspublic void drawArrow(java.awt.geom.GeneralPath path, boolean fill, int tipAngle, int baseAngle, int length, java.awt.geom.GeneralPath sarrowPath, java.awt.geom.GeneralPath earrowPath)
drawArrow
in class GraphicalExporter
path
- the path to drawfill
- true iff the start arrow is filledtipAngle
- the tip angle of start arrowbaseAngle
- the base angle of start arrowlength
- the length of the start arrowsarrowPath
- an already constructed path equivalent to
the parameters tipangle, baseAngle and length;
exporters should use (and draw) this parameter only if
the format does not support structural
structural descriptions of arrows based on
above parametersearrowPath
- an already constructed path equivalent to
the parameters tipangle, baseAngle and length;
exporters should use (and draw) this parameter only if
the format does not support structural
structural descriptions of arrows based on
above parameterspublic void drawArrow(java.awt.geom.GeneralPath path, int tipAngle, int baseAngle, int length, java.awt.geom.GeneralPath arrowPath)
drawArrow
in class GraphicalExporter
path
- the path to drawtipAngle
- the tip anglebaseAngle
- the base anglelength
- the length of the arrowarrowPath
- an already constructed path equivalent to
the parameters tipangle, baseAngle and length;
exporters should use (and draw) this parameter only if
the format does not support structural
structural descriptions of arrows based on
above parameterspublic void drawArrow(java.awt.geom.GeneralPath path, int tipAngle, int baseAngle, int length, java.awt.geom.GeneralPath sarrowPath, java.awt.geom.GeneralPath earrowPath)
drawArrow
in class GraphicalExporter
path
- the path to drawtipAngle
- the tip angle of start arrowbaseAngle
- the base angle of start arrowlength
- the length of the start arrowsarrowPath
- an already constructed path equivalent to
the parameters tipangle, baseAngle and length;
exporters should use (and draw) this parameter only if
the format does not support structural
structural descriptions of arrows based on
above parametersearrowPath
- an already constructed path equivalent to
the parameters tipangle, baseAngle and length;
exporters should use (and draw) this parameter only if
the format does not support structural
structural descriptions of arrows based on
above parameters
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |