Loading...
Class Coverage    
AbstractSimpleHandler AbstractSimpleHandler 0.65384614 (65.4%)
AddHandler AddHandler 0.7647059 (76.5%)
AuthorHandler AuthorHandler 0.8518519 (85.2%)
AuthorListHandler AuthorListHandler 0.84 (84%)
AxiomHandler AxiomHandler 0.6666667 (66.7%)
BasicHandler BasicHandler 0.0 (0%)
BasicParser BasicParser 0.0 (0%)
ChangedRuleHandler ChangedRuleHandler 0.86206895 (86.2%)
ChapterHandler ChapterHandler 0.9111111 (91.1%)
ConclusionHandler ConclusionHandler 0.8518519 (85.2%)
ConditionalProofHandler ConditionalProofHandler 0.902439 (90.2%)
Context2SimpleXPath Context2SimpleXPath 0.352 (35.2%)
ElementHandler ElementHandler 0.8 (80%)
ExistentialHandler ExistentialHandler 0.86206895 (86.2%)
FormalProofHandler FormalProofHandler 0.84615386 (84.6%)
FormalProofLineListHandler FormalProofLineListHandler 0.96581197 (96.6%)
FormulaHandler FormulaHandler 0.84 (84%)
FunctionDefinitionHandler FunctionDefinitionHandler 0.7254902 (72.5%)
HeaderHandler HeaderHandler 0.9444444 (94.4%)
HypothesisHandler HypothesisHandler 0.8518519 (85.2%)
ImportListHandler ImportListHandler 0.8787879 (87.9%)
InitialFunctionDefinitionHandler InitialFunctionDefinitionHandler 0.7254902 (72.5%)
InitialPredicateDefinitionHandler InitialPredicateDefinitionHandler 0.7254902 (72.5%)
LatexHandler LatexHandler 0.7941176 (79.4%)
LatexListHandler LatexListHandler 0.8064516 (80.6%)
LiteratureItemHandler LiteratureItemHandler 0.8095238 (81%)
LiteratureItemListHandler LiteratureItemListHandler 0.84 (84%)
LoadXmlOperatorListUtility LoadXmlOperatorListUtility 0.0 (0%)
LocationFoundException LocationFoundException 1.0 (100%)
LocationNotFoundException LocationNotFoundException 1.0 (100%)
ModusPonensHandler ModusPonensHandler 0.7647059 (76.5%)
NodeHandler NodeHandler 0.9661017 (96.6%)
ParserHandler ParserHandler 0.0 (0%)
PredicateDefinitionHandler PredicateDefinitionHandler 0.7254902 (72.5%)
ProofHandler ProofHandler 0.8181818 (81.8%)
PropositionHandler PropositionHandler 0.9245283 (92.5%)
Qedeq2Xml Qedeq2Xml 0.9245586 (92.5%)
QedeqHandler QedeqHandler 1.0 (100%)
RenameHandler RenameHandler 0.88372093 (88.4%)
RuleHandler RuleHandler 0.84615386 (84.6%)
SaxDefaultHandler SaxDefaultHandler 0.8153846 (81.5%)
SaxEntityResolver SaxEntityResolver 0.7297297 (73%)
SaxErrorHandler SaxErrorHandler 0.7619048 (76.2%)
SaxParser SaxParser 0.7234042 (72.3%)
SectionHandler SectionHandler 0.9111111 (91.1%)
SimpleAttributes SimpleAttributes 0.54385966 (54.4%)
SimpleHandler SimpleHandler 0.875 (87.5%)
SimpleXPath SimpleXPath 0.7256637 (72.6%)
SpecificationHandler SpecificationHandler 0.8888889 (88.9%)
SubsectionHandler SubsectionHandler 0.8947368 (89.5%)
SubsectionListHandler SubsectionListHandler 0.88235295 (88.2%)
SubstFreevarHandler SubstFreevarHandler 0.902439 (90.2%)
SubstFuncvarHandler SubstFuncvarHandler 0.902439 (90.2%)
SubstPredvarHandler SubstPredvarHandler 0.902439 (90.2%)
TermHandler TermHandler 0.84 (84%)
UniversalHandler UniversalHandler 0.86206895 (86.2%)
UsedByListHandler UsedByListHandler 0.84 (84%)
XPathLocationFinder XPathLocationFinder 0.9120879 (91.2%)
XPathLocationFoundException XPathLocationFoundException 1.0 (100%)
XPathLocationParser XPathLocationParser 0.7033493 (70.3%)
XmlQedeqFileDao XmlQedeqFileDao 0.54385966 (54.4%)
XmlReader XmlReader 0.37777779 (37.8%)
XmlReaderException XmlReaderException 1.0 (100%)
XmlSyntaxException XmlSyntaxException 0.7777778 (77.8%)