1/*************************************************************************** 2 Title: GraphBrowser/AWTFontMetrics.java 3 Author: Gerwin Klein, TU Muenchen 4 5 AbstractFontMetrics from the AWT for graphics mode. 6 7***************************************************************************/ 8 9package GraphBrowser; 10 11import java.awt.FontMetrics; 12 13public class AWTFontMetrics implements AbstractFontMetrics { 14 private FontMetrics fontMetrics; 15 16 public AWTFontMetrics(FontMetrics m) { 17 fontMetrics = m; 18 } 19 20 public int stringWidth(String str) { 21 return fontMetrics.stringWidth(str); 22 } 23 24 public int getAscent() { 25 return fontMetrics.getAscent(); 26 } 27 28 public int getDescent() { 29 return fontMetrics.getDescent(); 30 } 31} 32