Uses of Class
org.qedeq.kernel.xml.parser.XmlFilePositionException

Packages that use XmlFilePositionException

org.qedeq.kernel.parser	Parse texts with formulas and terms into parse tree and produce QEDEQ output.
org.qedeq.kernel.rel.test.gui	GUI interface to test the kernel.
org.qedeq.kernel.rel.test.text	Test access for the kernel.

Uses of XmlFilePositionException in org.qedeq.kernel.parser

Methods in org.qedeq.kernel.parser that throw XmlFilePositionException

static List

LoadXmlOperatorListUtility.getOperatorList(String from) Get operator list out of XML file.

Uses of XmlFilePositionException in org.qedeq.kernel.rel.test.gui

Constructors in org.qedeq.kernel.rel.test.gui with parameters of type XmlFilePositionException

QedeqPane(XmlFilePositionException errorPosition)
Creates new Panel.

Uses of XmlFilePositionException in org.qedeq.kernel.rel.test.text

Methods in org.qedeq.kernel.rel.test.text that throw XmlFilePositionException

static void	Xml2Wiki.generate(String from, String to, String language, String level) Generate wiki file(s) out of XML file.
static void	Xml2Wiki.generate(File from, File to, String language, String level) Generate LaTeX file out of XML file.
static String	Xml2Latex.generate(String from, String to, String language, String level) Generate LaTeX file out of XML file.
static String	Xml2Latex.generate(File from, File to, String language, String level) Generate LaTeX file out of XML file.