Searched refs:popDepth (Results 1 - 2 of 2) sorted by relevance

/openjdk7/jdk/src/share/classes/javax/swing/text/html/
H A DHTMLDocument.java341 * @param popDepth the number of <code>ElementSpec.EndTagTypes</code>
350 public HTMLEditorKit.ParserCallback getReader(int pos, int popDepth, argument
353 return getReader(pos, popDepth, pushDepth, insertTag, true);
364 * @param popDepth the number of <code>ElementSpec.EndTagTypes</code>
375 HTMLEditorKit.ParserCallback getReader(int pos, int popDepth, argument
383 HTMLReader reader = new HTMLReader(pos, popDepth, pushDepth,
2172 public HTMLReader(int offset, int popDepth, int pushDepth, argument
2174 this(offset, popDepth, pushDepth, insertTag, true, false, true);
2185 HTMLReader(int offset, int popDepth, int pushDepth, argument
2280 this.popDepth
4012 int popDepth; field in class:HTMLDocument.HTMLReader
[all...]
H A DHTMLEditorKit.java274 * @param popDepth the number of ElementSpec.EndTagTypes to generate before
284 int popDepth, int pushDepth,
292 ParserCallback receiver = doc.getReader(offset, popDepth, pushDepth,
1632 int offset, String html, int popDepth,
1636 popDepth, pushDepth,
283 insertHTML(HTMLDocument doc, int offset, String html, int popDepth, int pushDepth, HTML.Tag insertTag) argument
1631 insertHTML(JEditorPane editor, HTMLDocument doc, int offset, String html, int popDepth, int pushDepth, HTML.Tag addTag) argument

Completed in 43 milliseconds