equal
deleted
inserted
replaced
56 |
56 |
57 /** |
57 /** |
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 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.getCharInfo(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(); |
1367 |
1367 |
1368 // System.out.println("SPECIALSSIZE: "+SPECIALSSIZE); |
1368 // System.out.println("SPECIALSSIZE: "+SPECIALSSIZE); |
1369 // System.out.println("ch: "+(int)ch); |
1369 // System.out.println("ch: "+(int)ch); |
1370 // System.out.println("m_maxCharacter: "+(int)m_maxCharacter); |
1370 // System.out.println("m_maxCharacter: "+(int)m_maxCharacter); |
1371 // System.out.println("m_attrCharsMap[ch]: "+(int)m_attrCharsMap[ch]); |
1371 // System.out.println("m_attrCharsMap[ch]: "+(int)m_attrCharsMap[ch]); |
1372 if (escapingNotNeeded(ch) && (!m_charInfo.shouldMapAttrChar(ch))) |
1372 if (escapingNotNeeded(ch) && (!m_charInfo.isSpecialAttrChar(ch))) |
1373 { |
1373 { |
1374 cleanLength++; |
1374 cleanLength++; |
1375 } |
1375 } |
1376 else if ('<' == ch || '>' == ch) |
1376 else if ('<' == ch || '>' == ch) |
1377 { |
1377 { |