org.qedeq.kernel.xml.handler.module
Loading...
Class Coverage    
AddHandler AddHandler 0.7647059 (76.5%)
AuthorHandler AuthorHandler 0.8518519 (85.2%)
AuthorListHandler AuthorListHandler 0.84 (84%)
AxiomHandler AxiomHandler 0.6666667 (66.7%)
ChangedRuleHandler ChangedRuleHandler 0.86206895 (86.2%)
ChapterHandler ChapterHandler 0.9111111 (91.1%)
ConclusionHandler ConclusionHandler 0.8518519 (85.2%)
ConditionalProofHandler ConditionalProofHandler 0.902439 (90.2%)
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%)
ModusPonensHandler ModusPonensHandler 0.7647059 (76.5%)
NodeHandler NodeHandler 0.9661017 (96.6%)
PredicateDefinitionHandler PredicateDefinitionHandler 0.7254902 (72.5%)
ProofHandler ProofHandler 0.8181818 (81.8%)
PropositionHandler PropositionHandler 0.9245283 (92.5%)
QedeqHandler QedeqHandler 1.0 (100%)
RenameHandler RenameHandler 0.88372093 (88.4%)
RuleHandler RuleHandler 0.84615386 (84.6%)
SectionHandler SectionHandler 0.9111111 (91.1%)
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%)