1/*************************************************************************** 2 Title: GraphBrowser/AWTFontMetrics.java 3 Author: Gerwin Klein, TU Muenchen 4 5 AbstractFontMetrics avoids dependency on java.awt.FontMetrics in 6 batch mode. 7 8***************************************************************************/ 9 10package GraphBrowser; 11 12public interface AbstractFontMetrics { 13 public int stringWidth(String str); 14 public int getAscent(); 15 public int getDescent(); 16} 17