|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use XMLDumpParser.XMLDumpHandler | |
---|---|
de.tudarmstadt.ukp.jwktl.parser |
Uses of XMLDumpParser.XMLDumpHandler in de.tudarmstadt.ukp.jwktl.parser |
---|
Methods in de.tudarmstadt.ukp.jwktl.parser with parameters of type XMLDumpParser.XMLDumpHandler | |
---|---|
protected void |
WiktionaryDumpParser.onElementEnd(String name,
XMLDumpParser.XMLDumpHandler handler)
|
protected abstract void |
XMLDumpParser.onElementEnd(String name,
XMLDumpParser.XMLDumpHandler handler)
Hotspot that is invoked for each closing XML element. |
protected void |
WiktionaryDumpParser.onElementStart(String name,
XMLDumpParser.XMLDumpHandler handler)
|
protected abstract void |
XMLDumpParser.onElementStart(String name,
XMLDumpParser.XMLDumpHandler handler)
Hotspot that is invoked for each opening XML element. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |