| author | krauss | 
| Mon, 18 Apr 2011 12:12:42 +0200 | |
| changeset 42393 | c9bf3f8a8930 | 
| parent 33686 | 8e33ca8832b1 | 
| child 50473 | ca4088bf8365 | 
| 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 | Author: Stefan Berghofer, TU Muenchen | 
| 
533a95523f61
Font metrics used for batch mode layout (without X11 connection).
 berghofe parents: diff
changeset | 4 | |
| 
533a95523f61
Font metrics used for batch mode layout (without X11 connection).
 berghofe parents: diff
changeset | 5 | Default font metrics which is used when no graphics context | 
| 13970 | 6 | is available (batch mode). | 
| 11799 
533a95523f61
Font metrics used for batch mode layout (without X11 connection).
 berghofe parents: diff
changeset | 7 | ***************************************************************************/ | 
| 
533a95523f61
Font metrics used for batch mode layout (without X11 connection).
 berghofe parents: diff
changeset | 8 | |
| 
533a95523f61
Font metrics used for batch mode layout (without X11 connection).
 berghofe parents: diff
changeset | 9 | package GraphBrowser; | 
| 
533a95523f61
Font metrics used for batch mode layout (without X11 connection).
 berghofe parents: diff
changeset | 10 | |
| 13968 | 11 | public class DefaultFontMetrics implements AbstractFontMetrics {
 | 
| 11799 
533a95523f61
Font metrics used for batch mode layout (without X11 connection).
 berghofe parents: diff
changeset | 12 | |
| 13968 | 13 | private static int[] chars = | 
| 11810 | 14 | 	{13, 13, 17, 27, 27, 43, 32, 11, 16, 16, 19, 28, 13, 28, 13, 13, 27,
 | 
| 15 | 27, 27, 27, 27, 27, 27, 27, 27, 27, 13, 13, 28, 28, 28, 27, 49, 32, | |
| 16 | 32, 35, 35, 32, 29, 37, 35, 13, 24, 32, 27, 40, 35, 37, 32, 37, 35, | |
| 17 | 32, 29, 35, 32, 45, 32, 32, 29, 13, 13, 13, 22, 27, 11, 27, 27, 24, | |
| 18 | 27, 27, 13, 27, 27, 11, 11, 24, 11, 40, 27, 27, 27, 27, 16, 24, 13, | |
| 19 | 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 | 20 | |
| 13968 | 21 | private int size; | 
| 11799 
533a95523f61
Font metrics used for batch mode layout (without X11 connection).
 berghofe parents: diff
changeset | 22 | |
| 13968 | 23 | public DefaultFontMetrics(int size) | 
| 24 |   { this.size = size; }
 | |
| 11810 | 25 | |
| 13968 | 26 | public int getLeading() | 
| 27 |   { return 1; }
 | |
| 11799 
533a95523f61
Font metrics used for batch mode layout (without X11 connection).
 berghofe parents: diff
changeset | 28 | |
| 13968 | 29 | public int getAscent() | 
| 30 |   { return (int)(Math.round(size * 46.0 / 48.0)); }
 | |
| 31 | ||
| 32 | public int getDescent() | |
| 33 |   { return (int)(Math.round(size * 10.0 / 48.0)); }
 | |
| 34 | ||
| 35 |   public int charWidth(char c) {
 | |
| 36 |     if (c < 32 || c > 126) { return 0; }
 | |
| 37 |     else {
 | |
| 11874 
83c97febc828
Constructor no longer takes font as an argument.
 berghofe parents: 
11810diff
changeset | 38 | return (int)(Math.round(chars[c - 32] * size / 48.0)); | 
| 11810 | 39 | } | 
| 13968 | 40 | } | 
| 41 | ||
| 42 |   public int stringWidth(String s) {
 | |
| 43 | int l=0, i; | |
| 44 |     for (i=0; i < s.length(); i++) { l += charWidth(s.charAt(i)); }
 | |
| 45 | return l; | |
| 46 | } | |
| 11799 
533a95523f61
Font metrics used for batch mode layout (without X11 connection).
 berghofe parents: diff
changeset | 47 | } |