equal
deleted
inserted
replaced
58 * Map that tells which XML characters should have special treatment, and it |
58 * Map that tells which XML characters should have special treatment, and it |
59 * provides character to entity name lookup. |
59 * provides character to entity name lookup. |
60 */ |
60 */ |
61 private static final CharInfo m_htmlcharInfo = |
61 private static final CharInfo m_htmlcharInfo = |
62 // new CharInfo(CharInfo.HTML_ENTITIES_RESOURCE); |
62 // new CharInfo(CharInfo.HTML_ENTITIES_RESOURCE); |
63 CharInfo.getCharInfo(CharInfo.HTML_ENTITIES_RESOURCE, Method.HTML); |
63 CharInfo.getCharInfoInternal(CharInfo.HTML_ENTITIES_RESOURCE, Method.HTML); |
64 |
64 |
65 /** A digital search trie for fast, case insensitive lookup of ElemDesc objects. */ |
65 /** A digital search trie for fast, case insensitive lookup of ElemDesc objects. */ |
66 static final Trie m_elementFlags = new Trie(); |
66 static final Trie m_elementFlags = new Trie(); |
67 |
67 |
68 static { |
68 static { |