|
Hilbert II - Version 0.03.04 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use SyntaxException | |
org.qedeq.kernel.common | Common classes. |
org.qedeq.kernel.xml.handler.module | Handler to parse qedeq XML modules. |
org.qedeq.kernel.xml.handler.parser | Functionality to parse XML operator lists. |
org.qedeq.kernel.xml.parser | Connection to SAX XML parsers. |
Uses of SyntaxException in org.qedeq.kernel.common |
Methods in org.qedeq.kernel.common that return SyntaxException | |
SyntaxException |
SyntaxExceptionList.get(int i)
Get i -th exception. |
SyntaxException[] |
SyntaxExceptionList.toArray()
Get all exceptions. |
static SyntaxException |
SyntaxException.createUnexpectedTagException(String name)
Create exception for unexpected tag. |
static SyntaxException |
SyntaxException.createUnexpectedTextDataException(String name,
String value)
Create exception for unexpected text data within a tag. |
static SyntaxException |
SyntaxException.createMissingAttributeException(String name,
String attribute)
Create exception for missing attribute within a tag. |
static SyntaxException |
SyntaxException.createEmptyAttributeException(String name,
String attribute)
Create exception for empty attribute within a tag. |
static SyntaxException |
SyntaxException.createBySAXParseException(SAXParseException e,
URL url)
Create exception for SAXException . |
static SyntaxException |
SyntaxException.createByRuntimeException(RuntimeException e)
Create exception for a programming error. |
Methods in org.qedeq.kernel.common with parameters of type SyntaxException | |
void |
SyntaxExceptionList.add(SyntaxException e)
Add Exception. |
Constructors in org.qedeq.kernel.common with parameters of type SyntaxException | |
XmlFileException(SyntaxException exception)
Constructor. |
Uses of SyntaxException in org.qedeq.kernel.xml.handler.module |
Methods in org.qedeq.kernel.xml.handler.module that throw SyntaxException | |
void |
VariableListHandler.startElement(String name,
SimpleAttributes attributes)
|
void |
VariableListHandler.endElement(String name)
|
void |
UsedByListHandler.startElement(String name,
SimpleAttributes attributes)
|
void |
UsedByListHandler.endElement(String name)
|
void |
TermHandler.startElement(String name,
SimpleAttributes attributes)
|
void |
TermHandler.endElement(String name)
|
void |
SubsectionListHandler.startElement(String name,
SimpleAttributes attributes)
|
void |
SubsectionListHandler.endElement(String name)
|
void |
SubsectionHandler.startElement(String name,
SimpleAttributes attributes)
|
void |
SubsectionHandler.endElement(String name)
|
void |
SpecificationHandler.startElement(String name,
SimpleAttributes attributes)
|
void |
SpecificationHandler.endElement(String name)
|
void |
SectionHandler.startElement(String name,
SimpleAttributes attributes)
|
void |
SectionHandler.endElement(String name)
|
void |
RuleHandler.startElement(String name,
SimpleAttributes attributes)
|
void |
RuleHandler.endElement(String name)
|
void |
QedeqHandler.startElement(String name,
SimpleAttributes attributes)
|
void |
QedeqHandler.endElement(String name)
|
void |
PropositionHandler.startElement(String name,
SimpleAttributes attributes)
|
void |
PropositionHandler.endElement(String name)
|
void |
ProofHandler.startElement(String name,
SimpleAttributes attributes)
|
void |
ProofHandler.endElement(String name)
|
void |
PredicateDefinitionHandler.startElement(String name,
SimpleAttributes attributes)
|
void |
PredicateDefinitionHandler.endElement(String name)
|
void |
NodeHandler.startElement(String name,
SimpleAttributes attributes)
|
void |
NodeHandler.endElement(String name)
|
void |
LiteratureItemListHandler.startElement(String name,
SimpleAttributes attributes)
|
void |
LiteratureItemListHandler.endElement(String name)
|
void |
LiteratureItemHandler.startElement(String name,
SimpleAttributes attributes)
|
void |
LiteratureItemHandler.endElement(String name)
|
void |
LatexListHandler.startElement(String name,
SimpleAttributes attributes)
|
void |
LatexListHandler.endElement(String name)
|
void |
LatexHandler.startElement(String name,
SimpleAttributes attributes)
|
void |
LatexHandler.endElement(String name)
|
void |
LatexHandler.characters(String name,
String data)
|
void |
ImportListHandler.startElement(String name,
SimpleAttributes attributes)
|
void |
ImportListHandler.endElement(String name)
|
void |
HeaderHandler.startElement(String name,
SimpleAttributes attributes)
|
void |
HeaderHandler.endElement(String name)
|
void |
FunctionDefinitionHandler.startElement(String name,
SimpleAttributes attributes)
|
void |
FunctionDefinitionHandler.endElement(String name)
|
void |
FormulaHandler.startElement(String name,
SimpleAttributes attributes)
|
void |
FormulaHandler.endElement(String name)
|
void |
ChapterHandler.startElement(String name,
SimpleAttributes attributes)
|
void |
ChapterHandler.endElement(String name)
|
void |
AxiomHandler.startElement(String name,
SimpleAttributes attributes)
|
void |
AxiomHandler.endElement(String name)
|
void |
AuthorListHandler.startElement(String name,
SimpleAttributes attributes)
|
void |
AuthorListHandler.endElement(String name)
|
void |
AuthorHandler.startElement(String name,
SimpleAttributes attributes)
|
void |
AuthorHandler.endElement(String name)
|
Uses of SyntaxException in org.qedeq.kernel.xml.handler.parser |
Methods in org.qedeq.kernel.xml.handler.parser that throw SyntaxException | |
void |
ParserHandler.startElement(String name,
SimpleAttributes attributes)
|
void |
ParserHandler.endElement(String name)
|
Uses of SyntaxException in org.qedeq.kernel.xml.parser |
Methods in org.qedeq.kernel.xml.parser with parameters of type SyntaxException | |
void |
DefaultXmlFileExceptionList.add(SyntaxException e)
Add exception. |
Methods in org.qedeq.kernel.xml.parser that throw SyntaxException | |
void |
SaxDefaultHandler.changeHandler(AbstractSimpleHandler newHandler,
String elementName,
SimpleAttributes attributes)
Change current handler to new one. |
abstract void |
AbstractSimpleHandler.startElement(String elementName,
SimpleAttributes attributes)
Called at begin of element elementName . |
abstract void |
AbstractSimpleHandler.endElement(String elementName)
Called at end of element elementName . |
void |
AbstractSimpleHandler.characters(String elementName,
String value)
Called at end of element elementName . |
void |
AbstractSimpleHandler.changeHandler(AbstractSimpleHandler newHandler,
String elementName,
SimpleAttributes attributes)
Change current handler to new one. |
|
Hilbert II - Version 0.03.04 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |