Top Fields Constructors Methods

org.antlr.v4.gui

public Class PostScriptDocument

Class Inheritance

extends Object

java.lang.Object
org.antlr.v4.gui.PostScriptDocument

Imports

java.awt.*, java.util.HashMap, .Locale, .Map

Field Summary

Modifier and Type	Field and Description
protected String	boundingBox
protected int	boundingBoxHeight
protected int	boundingBoxWidth
protected boolean	closed
public static final String	DEFAULT_FONT
protected SystemFontMetrics	fontMetrics
protected String	fontName
protected int	fontSize
protected double	lineWidth
public static final Map<String, String>	POSTSCRIPT_FONT_NAMES
protected StringBuilder	ps

Constructor Summary

Access	Constructor and Description
public	PostScriptDocument()
public	PostScriptDocument(String fontName, int fontSize)

Method Summary

Modifier and Type	Method and Description
public void	boundingBox(int w, int h)
public void	close()
public int	getFontSize()
public double	getLineHeight()
public String	getPS()
public double	getWidth(char c) All chars are 600 thousands of an 'em' wide if courier
public double	getWidth(String s)
protected StringBuilder	header() Compute the header separately because we need to wait for the bounding box
public void	highlight(double x, double y, double width, double height) Make red box
public void	line(double x1, double y1, double x2, double y2)
public void	lineto(double x, double y)
public void	lineWidth(double w)
public void	move(double x, double y)
public void	rect(double x, double y, double width, double height)
public void	setFont(String fontName, int fontSize)
public void	stroke()
public void	text(String s, double x, double y)

Inherited from java.lang.Object:: clone equals finalize getClass hashCode notify notifyAll toString wait wait wait

Field Detail

boundingBox	back to summary
protected String boundingBox

boundingBoxHeight	back to summary
protected int boundingBoxHeight

boundingBoxWidth	back to summary
protected int boundingBoxWidth

closed	back to summary
protected boolean closed

DEFAULT_FONT	back to summary
public static final String DEFAULT_FONT

fontMetrics	back to summary
protected SystemFontMetrics fontMetrics

fontName	back to summary
protected String fontName

fontSize	back to summary
protected int fontSize

lineWidth	back to summary
protected double lineWidth

POSTSCRIPT_FONT_NAMES	back to summary
public static final Map<String, String> POSTSCRIPT_FONT_NAMES

ps	back to summary
protected StringBuilder ps

Constructor Detail

PostScriptDocument	back to summary
public PostScriptDocument()

PostScriptDocument	back to summary
public PostScriptDocument(String fontName, int fontSize)

Method Detail

boundingBox	back to summary
public void boundingBox(int w, int h)

close	back to summary
public void close()

getFontSize	back to summary
public int getFontSize()

getLineHeight	back to summary
public double getLineHeight()

getPS	back to summary
public String getPS()

getWidth	back to summary
public double getWidth(char c) All chars are 600 thousands of an 'em' wide if courier

getWidth	back to summary
public double getWidth(String s)

highlight	back to summary
public void highlight(double x, double y, double width, double height) Make red box

line	back to summary
public void line(double x1, double y1, double x2, double y2)

lineto	back to summary
public void lineto(double x, double y)

lineWidth	back to summary
public void lineWidth(double w)

move	back to summary
public void move(double x, double y)

rect	back to summary
public void rect(double x, double y, double width, double height)

setFont	back to summary
public void setFont(String fontName, int fontSize)

stroke	back to summary
public void stroke()

text	back to summary
public void text(String s, double x, double y)