author | berghofe |
Tue, 16 Oct 2001 19:53:12 +0200 | |
changeset 11810 | 4768258b29a5 |
parent 11799 | 533a95523f61 |
child 11874 | 83c97febc828 |
permissions | -rw-r--r-- |
11799
533a95523f61
Font metrics used for batch mode layout (without X11 connection).
berghofe
parents:
diff
changeset
|
1 |
/*************************************************************************** |
533a95523f61
Font metrics used for batch mode layout (without X11 connection).
berghofe
parents:
diff
changeset
|
2 |
Title: GraphBrowser/DefaultFontMetrics.java |
533a95523f61
Font metrics used for batch mode layout (without X11 connection).
berghofe
parents:
diff
changeset
|
3 |
ID: $Id$ |
533a95523f61
Font metrics used for batch mode layout (without X11 connection).
berghofe
parents:
diff
changeset
|
4 |
Author: Stefan Berghofer, TU Muenchen |
533a95523f61
Font metrics used for batch mode layout (without X11 connection).
berghofe
parents:
diff
changeset
|
5 |
License: GPL (GNU GENERAL PUBLIC LICENSE) |
533a95523f61
Font metrics used for batch mode layout (without X11 connection).
berghofe
parents:
diff
changeset
|
6 |
|
533a95523f61
Font metrics used for batch mode layout (without X11 connection).
berghofe
parents:
diff
changeset
|
7 |
Default font metrics which is used when no graphics context |
533a95523f61
Font metrics used for batch mode layout (without X11 connection).
berghofe
parents:
diff
changeset
|
8 |
is available. |
533a95523f61
Font metrics used for batch mode layout (without X11 connection).
berghofe
parents:
diff
changeset
|
9 |
***************************************************************************/ |
533a95523f61
Font metrics used for batch mode layout (without X11 connection).
berghofe
parents:
diff
changeset
|
10 |
|
533a95523f61
Font metrics used for batch mode layout (without X11 connection).
berghofe
parents:
diff
changeset
|
11 |
package GraphBrowser; |
533a95523f61
Font metrics used for batch mode layout (without X11 connection).
berghofe
parents:
diff
changeset
|
12 |
|
533a95523f61
Font metrics used for batch mode layout (without X11 connection).
berghofe
parents:
diff
changeset
|
13 |
import java.awt.*; |
533a95523f61
Font metrics used for batch mode layout (without X11 connection).
berghofe
parents:
diff
changeset
|
14 |
|
533a95523f61
Font metrics used for batch mode layout (without X11 connection).
berghofe
parents:
diff
changeset
|
15 |
public class DefaultFontMetrics extends FontMetrics |
533a95523f61
Font metrics used for batch mode layout (without X11 connection).
berghofe
parents:
diff
changeset
|
16 |
{ |
11810 | 17 |
protected static int[] chars = |
18 |
{13, 13, 17, 27, 27, 43, 32, 11, 16, 16, 19, 28, 13, 28, 13, 13, 27, |
|
19 |
27, 27, 27, 27, 27, 27, 27, 27, 27, 13, 13, 28, 28, 28, 27, 49, 32, |
|
20 |
32, 35, 35, 32, 29, 37, 35, 13, 24, 32, 27, 40, 35, 37, 32, 37, 35, |
|
21 |
32, 29, 35, 32, 45, 32, 32, 29, 13, 13, 13, 22, 27, 11, 27, 27, 24, |
|
22 |
27, 27, 13, 27, 27, 11, 11, 24, 11, 40, 27, 27, 27, 27, 16, 24, 13, |
|
23 |
27, 24, 35, 24, 24, 24, 16, 12, 16, 28}; |
|
11799
533a95523f61
Font metrics used for batch mode layout (without X11 connection).
berghofe
parents:
diff
changeset
|
24 |
|
11810 | 25 |
public DefaultFontMetrics(Font f) |
26 |
{ super(f); } |
|
11799
533a95523f61
Font metrics used for batch mode layout (without X11 connection).
berghofe
parents:
diff
changeset
|
27 |
|
11810 | 28 |
public int getLeading() |
29 |
{ return 1; } |
|
30 |
||
31 |
public int getAscent() |
|
32 |
{ return (int)(Math.round(font.getSize() * 46.0 / 48.0)); } |
|
11799
533a95523f61
Font metrics used for batch mode layout (without X11 connection).
berghofe
parents:
diff
changeset
|
33 |
|
11810 | 34 |
public int getDescent() |
35 |
{ return (int)(Math.round(font.getSize() * 10.0 / 48.0)); } |
|
11799
533a95523f61
Font metrics used for batch mode layout (without X11 connection).
berghofe
parents:
diff
changeset
|
36 |
|
11810 | 37 |
public int charWidth(char c) { |
38 |
if (c < 32 || c > 126) { return 0; } |
|
39 |
else { |
|
40 |
return (int)(Math.round(chars[c - 32] * font.getSize() / 48.0)); |
|
41 |
} |
|
42 |
} |
|
11799
533a95523f61
Font metrics used for batch mode layout (without X11 connection).
berghofe
parents:
diff
changeset
|
43 |
|
11810 | 44 |
public int stringWidth(String s) { |
45 |
int l=0, i; |
|
46 |
for (i=0; i < s.length(); i++) { l += charWidth(s.charAt(i)); } |
|
47 |
return l; |
|
48 |
} |
|
11799
533a95523f61
Font metrics used for batch mode layout (without X11 connection).
berghofe
parents:
diff
changeset
|
49 |
} |