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

/openjdk7/jdk/src/share/classes/javax/swing/text/html/
H A DHTMLDocument.java343 * @param pushDepth the number of <code>ElementSpec.StartTagTypes</code>
351 int pushDepth,
353 return getReader(pos, popDepth, pushDepth, insertTag, true);
366 * @param pushDepth the number of <code>ElementSpec.StartTagTypes</code>
376 int pushDepth,
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
2281 this.pushDepth
350 getReader(int pos, int popDepth, int pushDepth, HTML.Tag insertTag) argument
375 getReader(int pos, int popDepth, int pushDepth, HTML.Tag insertTag, boolean insertInsertTag) argument
4015 int pushDepth; field in class:HTMLDocument.HTMLReader
[all...]
H A DHTMLEditorKit.java276 * @param pushDepth the number of ElementSpec.StartTagTypes with a direction
284 int popDepth, int pushDepth,
292 ParserCallback receiver = doc.getReader(offset, popDepth, pushDepth,
1633 int pushDepth, HTML.Tag addTag) {
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 260 milliseconds