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

Packages that use SimpleAttributes

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.
org.qedeq.kernel.xml.parser	Connection to SAX XML parsers.

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

Methods in org.qedeq.kernel.xml.handler.list with parameters of type SimpleAttributes

void	ElementHandler.startElement(String name, SimpleAttributes attributes)

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

Methods in org.qedeq.kernel.xml.handler.module with parameters of type SimpleAttributes

void	VariableListHandler.startElement(String name, SimpleAttributes attributes)
void	UsedByListHandler.startElement(String name, SimpleAttributes attributes)
void	TermHandler.startElement(String name, SimpleAttributes attributes)
void	SubsectionListHandler.startElement(String name, SimpleAttributes attributes)
void	SubsectionHandler.startElement(String name, SimpleAttributes attributes)
void	SpecificationHandler.startElement(String name, SimpleAttributes attributes)
void	SectionHandler.startElement(String name, SimpleAttributes attributes)
void	RuleHandler.startElement(String name, SimpleAttributes attributes)
void	QedeqHandler.startElement(String name, SimpleAttributes attributes)
void	PropositionHandler.startElement(String name, SimpleAttributes attributes)
void	ProofHandler.startElement(String name, SimpleAttributes attributes)
void	PredicateDefinitionHandler.startElement(String name, SimpleAttributes attributes)
void	NodeHandler.startElement(String name, SimpleAttributes attributes)
void	LiteratureItemListHandler.startElement(String name, SimpleAttributes attributes)
void	LiteratureItemHandler.startElement(String name, SimpleAttributes attributes)
void	LatexListHandler.startElement(String name, SimpleAttributes attributes)
void	LatexHandler.startElement(String name, SimpleAttributes attributes)
void	ImportListHandler.startElement(String name, SimpleAttributes attributes)
void	HeaderHandler.startElement(String name, SimpleAttributes attributes)
void	FunctionDefinitionHandler.startElement(String name, SimpleAttributes attributes)
void	FormulaHandler.startElement(String name, SimpleAttributes attributes)
void	ChapterHandler.startElement(String name, SimpleAttributes attributes)
void	AxiomHandler.startElement(String name, SimpleAttributes attributes)
void	AuthorListHandler.startElement(String name, SimpleAttributes attributes)
void	AuthorHandler.startElement(String name, SimpleAttributes attributes)

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

Methods in org.qedeq.kernel.xml.handler.parser with parameters of type SimpleAttributes

void	ParserHandler.startElement(String name, SimpleAttributes attributes)

Uses of SimpleAttributes in org.qedeq.kernel.xml.parser

Methods in org.qedeq.kernel.xml.parser with parameters of type SimpleAttributes

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.
void	AbstractSimpleHandler.changeHandler(AbstractSimpleHandler newHandler, String elementName, SimpleAttributes attributes) Change current handler to new one.