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