Clover Coverage Report
Coverage timestamp: Fri Feb 14 2014 01:49:02 UTC
844   3,918   486   4.1
558   1,954   0.58   5.15
206   40   2.36  
40    
 
 Package
Cloud icon for org.qedeq.kernel.xml.handler.module org.qedeq.kernel.xml.handler.module org.qedeq.kernel.xml.handler.module 40.0 40 2.3592234 2.36 0.86567163 86.6% 0.86567163
 
 Class
AxiomHandler AxiomHandler 5.0 5 2.2 2.2 0.6666667 66.7% 0.6666667
FunctionDefinitionHandler FunctionDefinitionHandler 6.0 6 2.5 2.5 0.7254902 72.5% 0.7254902
InitialFunctionDefinitionHandler InitialFunctionDefinitionHandler 6.0 6 2.5 2.5 0.7254902 72.5% 0.7254902
InitialPredicateDefinitionHandler InitialPredicateDefinitionHandler 6.0 6 2.5 2.5 0.7254902 72.5% 0.7254902
PredicateDefinitionHandler PredicateDefinitionHandler 6.0 6 2.5 2.5 0.7254902 72.5% 0.7254902
AddHandler AddHandler 5.0 5 1.4 1.4 0.7647059 76.5% 0.7647059
ModusPonensHandler ModusPonensHandler 5.0 5 1.4 1.4 0.7647059 76.5% 0.7647059
LatexHandler LatexHandler 6.0 6 2.0 2 0.7941176 79.4% 0.7941176
LatexListHandler LatexListHandler 6.0 6 1.8333334 1.83 0.8064516 80.6% 0.8064516
LiteratureItemHandler LiteratureItemHandler 5.0 5 1.4 1.4 0.8095238 81% 0.8095238
ProofHandler ProofHandler 5.0 5 1.4 1.4 0.8181818 81.8% 0.8181818
AuthorListHandler AuthorListHandler 5.0 5 1.8 1.8 0.84 84% 0.84
FormulaHandler FormulaHandler 5.0 5 1.8 1.8 0.84 84% 0.84
LiteratureItemListHandler LiteratureItemListHandler 5.0 5 1.8 1.8 0.84 84% 0.84
TermHandler TermHandler 5.0 5 1.8 1.8 0.84 84% 0.84
UsedByListHandler UsedByListHandler 5.0 5 1.8 1.8 0.84 84% 0.84
FormalProofHandler FormalProofHandler 5.0 5 1.8 1.8 0.84615386 84.6% 0.84615386
RuleHandler RuleHandler 5.0 5 3.6 3.6 0.84615386 84.6% 0.84615386
AuthorHandler AuthorHandler 5.0 5 1.8 1.8 0.8518519 85.2% 0.8518519
ConclusionHandler ConclusionHandler 5.0 5 1.8 1.8 0.8518519 85.2% 0.8518519
HypothesisHandler HypothesisHandler 5.0 5 1.8 1.8 0.8518519 85.2% 0.8518519
ChangedRuleHandler ChangedRuleHandler 5.0 5 1.8 1.8 0.86206895 86.2% 0.86206895
ExistentialHandler ExistentialHandler 5.0 5 1.8 1.8 0.86206895 86.2% 0.86206895
UniversalHandler UniversalHandler 5.0 5 1.8 1.8 0.86206895 86.2% 0.86206895
ImportListHandler ImportListHandler 5.0 5 2.2 2.2 0.8787879 87.9% 0.8787879
SubsectionListHandler SubsectionListHandler 5.0 5 2.2 2.2 0.88235295 88.2% 0.88235295
RenameHandler RenameHandler 5.0 5 2.8 2.8 0.88372093 88.4% 0.88372093
SpecificationHandler SpecificationHandler 5.0 5 2.2 2.2 0.8888889 88.9% 0.8888889
SubsectionHandler SubsectionHandler 5.0 5 2.2 2.2 0.8947368 89.5% 0.8947368
ConditionalProofHandler ConditionalProofHandler 5.0 5 2.6 2.6 0.902439 90.2% 0.902439
SubstFreevarHandler SubstFreevarHandler 5.0 5 2.4 2.4 0.902439 90.2% 0.902439
SubstFuncvarHandler SubstFuncvarHandler 5.0 5 2.4 2.4 0.902439 90.2% 0.902439
SubstPredvarHandler SubstPredvarHandler 5.0 5 2.4 2.4 0.902439 90.2% 0.902439
ChapterHandler ChapterHandler 5.0 5 2.6 2.6 0.9111111 91.1% 0.9111111
SectionHandler SectionHandler 5.0 5 2.6 2.6 0.9111111 91.1% 0.9111111
PropositionHandler PropositionHandler 5.0 5 3.0 3 0.9245283 92.5% 0.9245283
HeaderHandler HeaderHandler 5.0 5 3.8 3.8 0.9444444 94.4% 0.9444444
FormalProofLineListHandler FormalProofLineListHandler 5.0 5 5.8 5.8 0.96581197 96.6% 0.96581197
NodeHandler NodeHandler 5.0 5 5.8 5.8 0.9661017 96.6% 0.9661017
QedeqHandler QedeqHandler 5.0 5 2.6 2.6 1.0 100% 1.0