Searched defs:charAttrStack (Results 1 - 1 of 1) sorted by relevance

/openjdk7/jdk/src/share/classes/javax/swing/text/html/
H A DHTMLDocument.java3492 charAttrStack.push(charAttr.copyAttributes());
3500 if (!charAttrStack.empty()) {
3501 charAttr = (MutableAttributeSet) charAttrStack.peek();
3502 charAttrStack.pop();
4048 Stack<AttributeSet> charAttrStack = new Stack<AttributeSet>(); field in class:HTMLDocument.HTMLReader

Completed in 87 milliseconds