Uses of Class
org.qedeq.kernel.xml.common.XmlSyntaxException

Packages that use XmlSyntaxException

org.qedeq.kernel.xml.common	Common classes for XML stuff.
org.qedeq.kernel.xml.handler.common	Common handlers for parsing XML.
org.qedeq.kernel.xml.handler.list	Handler to parse formulas and terms.
org.qedeq.kernel.xml.handler.module	Handler to parse qedeq XML modules.
org.qedeq.kernel.xml.handler.parser	Functionality to parse XML operator lists.

Uses of XmlSyntaxException in org.qedeq.kernel.xml.common

Methods in org.qedeq.kernel.xml.common that return XmlSyntaxException

static XmlSyntaxException	XmlSyntaxException.createByIOException(java.io.IOException e) Create exception for a IO error.
static XmlSyntaxException	XmlSyntaxException.createByRuntimeException(java.lang.RuntimeException e) Create exception for a programming error.
static XmlSyntaxException	XmlSyntaxException.createBySAXException(org.xml.sax.SAXException e) Create exception for a SAX parsing error.
static XmlSyntaxException	XmlSyntaxException.createEmptyAttributeException(java.lang.String name, java.lang.String attribute) Create exception for empty attribute within a tag.
static XmlSyntaxException	XmlSyntaxException.createMissingAttributeException(java.lang.String name, java.lang.String attribute) Create exception for missing attribute within a tag.
static XmlSyntaxException	XmlSyntaxException.createUnexpectedTagException(java.lang.String name) Create exception for unexpected tag.
static XmlSyntaxException	XmlSyntaxException.createUnexpectedTextDataException(java.lang.String name, java.lang.String value) Create exception for unexpected text data within a tag.

Uses of XmlSyntaxException in org.qedeq.kernel.xml.handler.common

Methods in org.qedeq.kernel.xml.handler.common that throw XmlSyntaxException

void	AbstractSimpleHandler.changeHandler(AbstractSimpleHandler newHandler, java.lang.String elementName, SimpleAttributes attributes) Change current handler to new one.
void	SaxDefaultHandler.changeHandler(AbstractSimpleHandler newHandler, java.lang.String elementName, SimpleAttributes attributes) Change current handler to new one.
void	AbstractSimpleHandler.characters(java.lang.String elementName, java.lang.String value) Called at end of element elementName.
abstract void	AbstractSimpleHandler.endElement(java.lang.String elementName) Called at end of element elementName.
abstract void	AbstractSimpleHandler.startElement(java.lang.String elementName, SimpleAttributes attributes) Called at begin of element elementName.

Uses of XmlSyntaxException in org.qedeq.kernel.xml.handler.list

Methods in org.qedeq.kernel.xml.handler.list that throw XmlSyntaxException

void	BasicHandler.endElement(java.lang.String name)
void	BasicHandler.startElement(java.lang.String name, SimpleAttributes attributes)

Uses of XmlSyntaxException in org.qedeq.kernel.xml.handler.module

Methods in org.qedeq.kernel.xml.handler.module that throw XmlSyntaxException

void	LatexHandler.characters(java.lang.String name, java.lang.String data)
void	LatexHandler.endElement(java.lang.String name)
void	ConditionalProofHandler.endElement(java.lang.String name)
void	SubstFuncvarHandler.endElement(java.lang.String name)
void	UniversalHandler.endElement(java.lang.String name)
void	AddHandler.endElement(java.lang.String name)
void	RenameHandler.endElement(java.lang.String name)
void	SubsectionListHandler.endElement(java.lang.String name)
void	ChapterHandler.endElement(java.lang.String name)
void	LatexListHandler.endElement(java.lang.String name)
void	HeaderHandler.endElement(java.lang.String name)
void	ChangedRuleHandler.endElement(java.lang.String name)
void	SubstFreevarHandler.endElement(java.lang.String name)
void	NodeHandler.endElement(java.lang.String name)
void	PropositionHandler.endElement(java.lang.String name)
void	HypothesisHandler.endElement(java.lang.String name)
void	SubstPredvarHandler.endElement(java.lang.String name)
void	PredicateDefinitionHandler.endElement(java.lang.String name)
void	FormulaHandler.endElement(java.lang.String name)
void	LiteratureItemHandler.endElement(java.lang.String name)
void	FormalProofLineListHandler.endElement(java.lang.String name)
void	QedeqHandler.endElement(java.lang.String name)
void	InitialPredicateDefinitionHandler.endElement(java.lang.String name)
void	ConclusionHandler.endElement(java.lang.String name)
void	AxiomHandler.endElement(java.lang.String name)
void	AuthorListHandler.endElement(java.lang.String name)
void	TermHandler.endElement(java.lang.String name)
void	ExistentialHandler.endElement(java.lang.String name)
void	InitialFunctionDefinitionHandler.endElement(java.lang.String name)
void	UsedByListHandler.endElement(java.lang.String name)
void	ProofHandler.endElement(java.lang.String name)
void	ImportListHandler.endElement(java.lang.String name)
void	SubsectionHandler.endElement(java.lang.String name)
void	SpecificationHandler.endElement(java.lang.String name)
void	ModusPonensHandler.endElement(java.lang.String name)
void	AuthorHandler.endElement(java.lang.String name)
void	RuleHandler.endElement(java.lang.String name)
void	FormalProofHandler.endElement(java.lang.String name)
void	SectionHandler.endElement(java.lang.String name)
void	FunctionDefinitionHandler.endElement(java.lang.String name)
void	LiteratureItemListHandler.endElement(java.lang.String name)
void	LatexHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	ConditionalProofHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	SubstFuncvarHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	UniversalHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	AddHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	RenameHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	SubsectionListHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	ChapterHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	LatexListHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	HeaderHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	ChangedRuleHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	SubstFreevarHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	NodeHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	PropositionHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	HypothesisHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	SubstPredvarHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	PredicateDefinitionHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	FormulaHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	LiteratureItemHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	FormalProofLineListHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	QedeqHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	InitialPredicateDefinitionHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	ConclusionHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	AxiomHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	AuthorListHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	TermHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	ExistentialHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	InitialFunctionDefinitionHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	UsedByListHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	ProofHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	ImportListHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	SubsectionHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	SpecificationHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	ModusPonensHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	AuthorHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	RuleHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	FormalProofHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	SectionHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	FunctionDefinitionHandler.startElement(java.lang.String name, SimpleAttributes attributes)
void	LiteratureItemListHandler.startElement(java.lang.String name, SimpleAttributes attributes)

Uses of XmlSyntaxException in org.qedeq.kernel.xml.handler.parser

Methods in org.qedeq.kernel.xml.handler.parser that throw XmlSyntaxException

void	ParserHandler.endElement(java.lang.String name)
void	ParserHandler.startElement(java.lang.String name, SimpleAttributes attributes)