org.antlr.v4.gui

Class SystemFontMetrics

java.lang.Object

org.antlr.v4.gui.BasicFontMetrics

org.antlr.v4.gui.SystemFontMetrics

public class SystemFontMetrics
extends BasicFontMetrics

Field Summary

Fields

Modifier and Type	Field and Description
protected java.awt.Font	font

Fields inherited from class org.antlr.v4.gui.BasicFontMetrics

MAX_CHAR, maxCharHeight, widths

Constructor Summary

Constructors

Constructor and Description
SystemFontMetrics(java.lang.String fontName)

Method Summary

Modifier and Type	Method and Description
java.awt.Font	getFont()

Methods inherited from class org.antlr.v4.gui.BasicFontMetrics

getLineHeight, getWidth, getWidth

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

font

protected final java.awt.Font font

Constructor Detail

SystemFontMetrics

public SystemFontMetrics(java.lang.String fontName)

Method Detail

getFont

public java.awt.Font getFont()