Lines Matching defs:FORMAT
74 private HashMap<Character,Format> formatStart;
106 this.formatStart = new HashMap<Character,Format>();
474 * - Only a single instance of a particular format character within a block
477 * - If the format is to be turned on, we use the _first_ instance; if it
479 * format.)
498 // and whether we should append a closing format token (if value in
509 addToken(new Format(ch, false));
511 Format start = formatStart.get(key);
519 start = new Format(ch, true);
530 Format end = new Format(key.charValue(), false);
658 FORMAT ("format"), // subtype of HTML
668 //stringreps for HTML and FORMAT don't really matter
1177 public static class Format extends Token {
1182 public Format(char ch, boolean start) {
1183 super(Type.FORMAT, String.valueOf(ch));
1219 default: throw new AssertionError("unknown format '" + ch + "'");
1229 default: throw new AssertionError("unknown format '" + ch + "'");
