| 1 | |
|
| 2 | |
|
| 3 | |
|
| 4 | |
|
| 5 | |
|
| 6 | |
|
| 7 | |
|
| 8 | |
|
| 9 | |
|
| 10 | |
|
| 11 | |
|
| 12 | |
|
| 13 | |
|
| 14 | |
|
| 15 | |
|
| 16 | |
|
| 17 | |
|
| 18 | |
|
| 19 | |
package net.sourceforge.jeuclid.elements.support.attributes; |
| 20 | |
|
| 21 | |
import java.awt.Font; |
| 22 | |
import java.io.Serializable; |
| 23 | |
import java.util.HashMap; |
| 24 | |
import java.util.HashSet; |
| 25 | |
import java.util.List; |
| 26 | |
import java.util.Locale; |
| 27 | |
import java.util.Map; |
| 28 | |
import java.util.Set; |
| 29 | |
|
| 30 | |
import net.sourceforge.jeuclid.LayoutContext; |
| 31 | |
import net.sourceforge.jeuclid.context.Parameter; |
| 32 | |
import net.sourceforge.jeuclid.elements.support.text.CharacterMapping; |
| 33 | |
import net.sourceforge.jeuclid.font.FontFactory; |
| 34 | |
|
| 35 | |
import org.apache.commons.logging.Log; |
| 36 | |
import org.apache.commons.logging.LogFactory; |
| 37 | |
|
| 38 | |
|
| 39 | |
|
| 40 | |
|
| 41 | |
|
| 42 | |
|
| 43 | |
public final class MathVariant implements Serializable { |
| 44 | |
|
| 45 | |
|
| 46 | |
|
| 47 | |
|
| 48 | 209 | public static final MathVariant BOLD = new MathVariant(Font.BOLD, |
| 49 | |
FontFamily.SERIF); |
| 50 | |
|
| 51 | |
|
| 52 | |
|
| 53 | |
|
| 54 | 209 | public static final MathVariant BOLD_FRAKTUR = new MathVariant(Font.BOLD, |
| 55 | |
FontFamily.FRAKTUR); |
| 56 | |
|
| 57 | |
|
| 58 | |
|
| 59 | |
|
| 60 | 209 | public static final MathVariant BOLD_ITALIC = new MathVariant(Font.BOLD |
| 61 | |
| Font.ITALIC, FontFamily.SERIF); |
| 62 | |
|
| 63 | |
|
| 64 | |
|
| 65 | |
|
| 66 | 209 | public static final MathVariant BOLD_SANS_SERIF = new MathVariant( |
| 67 | |
Font.BOLD, FontFamily.SANSSERIF); |
| 68 | |
|
| 69 | |
|
| 70 | |
|
| 71 | |
|
| 72 | 209 | public static final MathVariant BOLD_SCRIPT = new MathVariant(Font.BOLD, |
| 73 | |
FontFamily.SCRIPT); |
| 74 | |
|
| 75 | |
|
| 76 | |
|
| 77 | |
|
| 78 | 209 | public static final MathVariant DOUBLE_STRUCK = new MathVariant( |
| 79 | |
Font.PLAIN, FontFamily.DOUBLE_STRUCK); |
| 80 | |
|
| 81 | |
|
| 82 | |
|
| 83 | |
|
| 84 | 209 | public static final MathVariant FRAKTUR = new MathVariant(Font.PLAIN, |
| 85 | |
FontFamily.FRAKTUR); |
| 86 | |
|
| 87 | |
|
| 88 | |
|
| 89 | |
|
| 90 | 209 | public static final MathVariant ITALIC = new MathVariant(Font.ITALIC, |
| 91 | |
FontFamily.SERIF); |
| 92 | |
|
| 93 | |
|
| 94 | |
|
| 95 | |
|
| 96 | 209 | public static final MathVariant MONOSPACE = new MathVariant(Font.PLAIN, |
| 97 | |
FontFamily.MONOSPACED); |
| 98 | |
|
| 99 | |
|
| 100 | |
|
| 101 | |
|
| 102 | 209 | public static final MathVariant NORMAL = new MathVariant(Font.PLAIN, |
| 103 | |
FontFamily.SERIF); |
| 104 | |
|
| 105 | |
|
| 106 | |
|
| 107 | |
|
| 108 | 209 | public static final MathVariant SANS_SERIF = new MathVariant(Font.PLAIN, |
| 109 | |
FontFamily.SANSSERIF); |
| 110 | |
|
| 111 | |
|
| 112 | |
|
| 113 | |
|
| 114 | 209 | public static final MathVariant SANS_SERIF_BOLD_ITALIC = new MathVariant( |
| 115 | |
Font.BOLD | Font.ITALIC, FontFamily.SANSSERIF); |
| 116 | |
|
| 117 | |
|
| 118 | |
|
| 119 | |
|
| 120 | 209 | public static final MathVariant SANS_SERIF_ITALIC = new MathVariant( |
| 121 | |
Font.ITALIC, FontFamily.SANSSERIF); |
| 122 | |
|
| 123 | |
|
| 124 | |
|
| 125 | |
|
| 126 | 209 | public static final MathVariant SCRIPT = new MathVariant(Font.PLAIN, |
| 127 | |
FontFamily.SCRIPT); |
| 128 | |
|
| 129 | 209 | private static final Map<String, MathVariant> ATTRIBUTEMAP = new HashMap<String, MathVariant>(); |
| 130 | |
|
| 131 | 209 | private static final Map<FontFamily, Parameter> PARAMFORFONT = new HashMap<FontFamily, Parameter>(); |
| 132 | |
|
| 133 | |
|
| 134 | |
|
| 135 | |
|
| 136 | |
private static final long serialVersionUID = 1L; |
| 137 | |
|
| 138 | |
|
| 139 | |
|
| 140 | |
|
| 141 | 209 | private static final Log LOGGER = LogFactory |
| 142 | |
.getLog(CharacterMapping.class); |
| 143 | |
|
| 144 | 209 | private static final Set<Integer> WARNED = new HashSet<Integer>(); |
| 145 | |
|
| 146 | |
private final int awtStyle; |
| 147 | |
|
| 148 | |
private final FontFamily fontFamily; |
| 149 | |
|
| 150 | |
|
| 151 | |
|
| 152 | |
|
| 153 | |
|
| 154 | |
|
| 155 | |
|
| 156 | |
|
| 157 | |
|
| 158 | 4598 | public MathVariant(final int awtstyle, final FontFamily family) { |
| 159 | 4598 | this.awtStyle = awtstyle; |
| 160 | 4598 | this.fontFamily = family; |
| 161 | 4598 | }; |
| 162 | |
|
| 163 | |
|
| 164 | |
|
| 165 | |
|
| 166 | |
|
| 167 | |
|
| 168 | |
|
| 169 | |
|
| 170 | |
public static MathVariant stringToMathVariant(final String variant) { |
| 171 | 17982 | synchronized (MathVariant.ATTRIBUTEMAP) { |
| 172 | |
|
| 173 | 17982 | if (MathVariant.ATTRIBUTEMAP.isEmpty()) { |
| 174 | 209 | MathVariant.ATTRIBUTEMAP.put("normal", MathVariant.NORMAL); |
| 175 | 209 | MathVariant.ATTRIBUTEMAP.put("bold", MathVariant.BOLD); |
| 176 | 209 | MathVariant.ATTRIBUTEMAP.put("italic", MathVariant.ITALIC); |
| 177 | 209 | MathVariant.ATTRIBUTEMAP.put("bold-italic", |
| 178 | |
MathVariant.BOLD_ITALIC); |
| 179 | 209 | MathVariant.ATTRIBUTEMAP.put("double-struck", |
| 180 | |
MathVariant.DOUBLE_STRUCK); |
| 181 | 209 | MathVariant.ATTRIBUTEMAP.put("bold-fraktur", |
| 182 | |
MathVariant.BOLD_FRAKTUR); |
| 183 | 209 | MathVariant.ATTRIBUTEMAP.put("script", MathVariant.SCRIPT); |
| 184 | 209 | MathVariant.ATTRIBUTEMAP.put("bold-script", |
| 185 | |
MathVariant.BOLD_SCRIPT); |
| 186 | 209 | MathVariant.ATTRIBUTEMAP.put("fraktur", MathVariant.FRAKTUR); |
| 187 | 209 | MathVariant.ATTRIBUTEMAP.put("sans-serif", |
| 188 | |
MathVariant.SANS_SERIF); |
| 189 | 209 | MathVariant.ATTRIBUTEMAP.put("bold-sans-serif", |
| 190 | |
MathVariant.BOLD_SANS_SERIF); |
| 191 | 209 | MathVariant.ATTRIBUTEMAP.put("sans-serif-italic", |
| 192 | |
MathVariant.SANS_SERIF_ITALIC); |
| 193 | 209 | MathVariant.ATTRIBUTEMAP.put("sans-serif-bold-italic", |
| 194 | |
MathVariant.SANS_SERIF_BOLD_ITALIC); |
| 195 | 209 | MathVariant.ATTRIBUTEMAP.put("monospace", |
| 196 | |
MathVariant.MONOSPACE); |
| 197 | |
} |
| 198 | 17982 | return MathVariant.ATTRIBUTEMAP.get(variant |
| 199 | |
.toLowerCase(Locale.ENGLISH)); |
| 200 | 0 | } |
| 201 | |
} |
| 202 | |
|
| 203 | |
|
| 204 | |
|
| 205 | |
|
| 206 | |
|
| 207 | |
|
| 208 | |
|
| 209 | |
|
| 210 | |
|
| 211 | |
|
| 212 | |
|
| 213 | |
|
| 214 | |
|
| 215 | |
|
| 216 | |
|
| 217 | |
@SuppressWarnings("unchecked") |
| 218 | |
public Font createFont(final float size, final int codepoint, |
| 219 | |
final LayoutContext context, final boolean force) { |
| 220 | |
|
| 221 | 81108 | final Parameter theParam = MathVariant.PARAMFORFONT |
| 222 | |
.get(this.fontFamily); |
| 223 | 81108 | final Font font = FontFactory.getInstance().getFont( |
| 224 | |
(List<String>) context.getParameter(theParam), codepoint, |
| 225 | |
this.awtStyle, size); |
| 226 | 81108 | if (force && font == null) { |
| 227 | 0 | if (!MathVariant.WARNED.contains(codepoint)) { |
| 228 | 0 | MathVariant.WARNED.add(codepoint); |
| 229 | 0 | final String hexString = Integer.toHexString(codepoint); |
| 230 | 0 | MathVariant.LOGGER |
| 231 | |
.warn("No font available to display character " |
| 232 | |
+ hexString); |
| 233 | 0 | MathVariant.LOGGER |
| 234 | |
.info("Find a font at http://www.fileformat.info/info/unicode/char/" |
| 235 | |
+ hexString |
| 236 | |
+ "/fontsupport.htm or " |
| 237 | |
+ "http://www.alanwood.net/unicode/search.html"); |
| 238 | |
} |
| 239 | 0 | return FontFactory.getInstance().getFont(FontFactory.SANSSERIF, |
| 240 | |
this.awtStyle, size); |
| 241 | |
} |
| 242 | 81108 | return font; |
| 243 | |
} |
| 244 | |
|
| 245 | |
|
| 246 | |
|
| 247 | |
|
| 248 | |
public int getAwtStyle() { |
| 249 | 13168 | return this.awtStyle; |
| 250 | |
} |
| 251 | |
|
| 252 | |
|
| 253 | |
|
| 254 | |
|
| 255 | |
public FontFamily getFontFamily() { |
| 256 | 19562 | return this.fontFamily; |
| 257 | |
} |
| 258 | |
|
| 259 | |
static { |
| 260 | 209 | MathVariant.PARAMFORFONT.put(FontFamily.SERIF, Parameter.FONTS_SERIF); |
| 261 | 209 | MathVariant.PARAMFORFONT.put(FontFamily.SANSSERIF, |
| 262 | |
Parameter.FONTS_SANSSERIF); |
| 263 | 209 | MathVariant.PARAMFORFONT.put(FontFamily.MONOSPACED, |
| 264 | |
Parameter.FONTS_MONOSPACED); |
| 265 | 209 | MathVariant.PARAMFORFONT.put(FontFamily.SCRIPT, |
| 266 | |
Parameter.FONTS_SCRIPT); |
| 267 | 209 | MathVariant.PARAMFORFONT.put(FontFamily.FRAKTUR, |
| 268 | |
Parameter.FONTS_FRAKTUR); |
| 269 | 209 | MathVariant.PARAMFORFONT.put(FontFamily.DOUBLE_STRUCK, |
| 270 | |
Parameter.FONTS_DOUBLESTRUCK); |
| 271 | 209 | } |
| 272 | |
|
| 273 | |
|
| 274 | |
@Override |
| 275 | |
public int hashCode() { |
| 276 | |
final int prime = 31; |
| 277 | |
int result; |
| 278 | 85511 | if (this.fontFamily == null) { |
| 279 | 0 | result = 0; |
| 280 | |
} else { |
| 281 | 85511 | result = this.fontFamily.hashCode(); |
| 282 | |
} |
| 283 | 85511 | result = prime * result + this.awtStyle; |
| 284 | 85511 | return result; |
| 285 | |
} |
| 286 | |
|
| 287 | |
|
| 288 | |
@Override |
| 289 | |
public boolean equals(final Object obj) { |
| 290 | 58115 | if (this == obj) { |
| 291 | 57279 | return true; |
| 292 | |
} |
| 293 | 836 | if (obj == null) { |
| 294 | 0 | return false; |
| 295 | |
} |
| 296 | 836 | if (this.getClass() != obj.getClass()) { |
| 297 | 0 | return false; |
| 298 | |
} |
| 299 | 836 | final MathVariant other = (MathVariant) obj; |
| 300 | 836 | if (this.awtStyle != other.awtStyle) { |
| 301 | 0 | return false; |
| 302 | |
} |
| 303 | 836 | if (this.fontFamily == null) { |
| 304 | 0 | if (other.fontFamily != null) { |
| 305 | 0 | return false; |
| 306 | |
} |
| 307 | 836 | } else if (!this.fontFamily.equals(other.fontFamily)) { |
| 308 | 0 | return false; |
| 309 | |
} |
| 310 | 836 | return true; |
| 311 | |
} |
| 312 | |
|
| 313 | |
|
| 314 | |
@Override |
| 315 | |
public String toString() { |
| 316 | 0 | final StringBuilder b = new StringBuilder(); |
| 317 | 0 | b.append('['); |
| 318 | 0 | b.append(this.fontFamily); |
| 319 | 0 | if (this.awtStyle > 0) { |
| 320 | 0 | b.append(' '); |
| 321 | |
} |
| 322 | 0 | if ((this.awtStyle & Font.BOLD) > 0) { |
| 323 | 0 | b.append('B'); |
| 324 | |
} |
| 325 | 0 | if ((this.awtStyle & Font.ITALIC) > 0) { |
| 326 | 0 | b.append('I'); |
| 327 | |
} |
| 328 | 0 | b.append(']'); |
| 329 | 0 | return b.toString(); |
| 330 | |
} |
| 331 | |
} |