Package org.antlr.v4.gui
Class PostScriptDocument
java.lang.Object
org.antlr.v4.gui.PostScriptDocument
-
Field Summary
FieldsModifier and TypeFieldDescriptionprotected String
protected int
protected int
protected boolean
static final String
protected SystemFontMetrics
protected String
protected int
protected double
protected StringBuilder
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
boundingBox
(int w, int h) void
close()
int
double
getPS()
double
getWidth
(char c) All chars are 600 thousands of an 'em' wide if courierdouble
protected StringBuilder
header()
Compute the header separately because we need to wait for the bounding boxvoid
highlight
(double x, double y, double width, double height) Make red boxvoid
line
(double x1, double y1, double x2, double y2) void
lineto
(double x, double y) void
lineWidth
(double w) void
move
(double x, double y) void
rect
(double x, double y, double width, double height) void
void
stroke()
void
-
Field Details
-
DEFAULT_FONT
- See Also:
-
POSTSCRIPT_FONT_NAMES
-
boundingBoxWidth
protected int boundingBoxWidth -
boundingBoxHeight
protected int boundingBoxHeight -
fontMetrics
-
fontName
-
fontSize
protected int fontSize -
lineWidth
protected double lineWidth -
boundingBox
-
ps
-
closed
protected boolean closed
-
-
Constructor Details
-
PostScriptDocument
public PostScriptDocument() -
PostScriptDocument
-
-
Method Details
-
getPS
-
boundingBox
public void boundingBox(int w, int h) -
close
public void close() -
header
Compute the header separately because we need to wait for the bounding box -
setFont
-
lineWidth
public void lineWidth(double w) -
move
public void move(double x, double y) -
lineto
public void lineto(double x, double y) -
line
public void line(double x1, double y1, double x2, double y2) -
rect
public void rect(double x, double y, double width, double height) -
highlight
public void highlight(double x, double y, double width, double height) Make red box -
stroke
public void stroke() -
text
-
getWidth
public double getWidth(char c) All chars are 600 thousands of an 'em' wide if courier -
getWidth
-
getLineHeight
public double getLineHeight() -
getFontSize
public int getFontSize()
-