EMMA Coverage Report (generated Fri Feb 14 08:28:31 UTC 2014) |
---|
[all classes] |
name | class, % | method, % | block, % | line, % |
---|---|---|---|---|
org.qedeq.kernel.xml.handler.module | 100% (40/40) | 100% (206/206) | 91% (4267/4710) | 89% (902.8/1010) |
name | class, % | method, % | block, % | line, % |
---|---|---|---|---|
AxiomHandler.java | 100% (1/1) | 100% (5/5) | 70% (76/108) | 74% (17/23) |
InitialFunctionDefinitionHandler.java | 100% (1/1) | 100% (6/6) | 70% (105/149) | 78% (25/32) |
InitialPredicateDefinitionHandler.java | 100% (1/1) | 100% (6/6) | 70% (105/149) | 78% (25/32) |
FunctionDefinitionHandler.java | 100% (1/1) | 100% (6/6) | 71% (109/153) | 78% (25/32) |
PredicateDefinitionHandler.java | 100% (1/1) | 100% (6/6) | 71% (109/153) | 78% (25/32) |
LatexListHandler.java | 100% (1/1) | 100% (6/6) | 78% (65/83) | 85% (17/20) |
AddHandler.java | 100% (1/1) | 100% (5/5) | 85% (34/40) | 83% (10/12) |
LatexHandler.java | 100% (1/1) | 100% (6/6) | 86% (67/78) | 85% (17.8/21) |
ModusPonensHandler.java | 100% (1/1) | 100% (5/5) | 86% (37/43) | 83% (10/12) |
ChangedRuleHandler.java | 100% (1/1) | 100% (5/5) | 89% (68/76) | 90% (18/20) |
FormulaHandler.java | 100% (1/1) | 100% (5/5) | 90% (55/61) | 88% (14/16) |
TermHandler.java | 100% (1/1) | 100% (5/5) | 90% (55/61) | 88% (14/16) |
LiteratureItemHandler.java | 100% (1/1) | 100% (5/5) | 90% (56/62) | 88% (14/16) |
RuleHandler.java | 100% (1/1) | 100% (5/5) | 91% (172/190) | 87% (33/38) |
AuthorListHandler.java | 100% (1/1) | 100% (5/5) | 91% (60/66) | 88% (14/16) |
LiteratureItemListHandler.java | 100% (1/1) | 100% (5/5) | 91% (60/66) | 88% (14/16) |
UsedByListHandler.java | 100% (1/1) | 100% (5/5) | 91% (60/66) | 88% (14/16) |
ProofHandler.java | 100% (1/1) | 100% (5/5) | 91% (62/68) | 88% (15/17) |
FormalProofHandler.java | 100% (1/1) | 100% (5/5) | 91% (63/69) | 88% (15/17) |
ConclusionHandler.java | 100% (1/1) | 100% (5/5) | 92% (69/75) | 89% (16/18) |
HypothesisHandler.java | 100% (1/1) | 100% (5/5) | 92% (69/75) | 89% (16/18) |
AuthorHandler.java | 100% (1/1) | 100% (5/5) | 92% (71/77) | 89% (16/18) |
ExistentialHandler.java | 100% (1/1) | 100% (5/5) | 92% (73/79) | 90% (18/20) |
UniversalHandler.java | 100% (1/1) | 100% (5/5) | 92% (73/79) | 90% (18/20) |
ImportListHandler.java | 100% (1/1) | 100% (5/5) | 93% (83/89) | 90% (18/20) |
SpecificationHandler.java | 100% (1/1) | 100% (5/5) | 94% (90/96) | 91% (21/23) |
SubsectionListHandler.java | 100% (1/1) | 100% (5/5) | 94% (92/98) | 90% (19/21) |
RenameHandler.java | 100% (1/1) | 100% (5/5) | 94% (97/103) | 92% (24/26) |
SubsectionHandler.java | 100% (1/1) | 100% (5/5) | 95% (114/120) | 92% (23/25) |
SubstFreevarHandler.java | 100% (1/1) | 100% (5/5) | 95% (115/121) | 92% (24/26) |
SubstFuncvarHandler.java | 100% (1/1) | 100% (5/5) | 95% (115/121) | 92% (24/26) |
SubstPredvarHandler.java | 100% (1/1) | 100% (5/5) | 95% (115/121) | 92% (24/26) |
ConditionalProofHandler.java | 100% (1/1) | 100% (5/5) | 95% (118/124) | 92% (22/24) |
SectionHandler.java | 100% (1/1) | 100% (5/5) | 95% (123/129) | 93% (26/28) |
ChapterHandler.java | 100% (1/1) | 100% (5/5) | 96% (135/141) | 93% (26/28) |
PropositionHandler.java | 100% (1/1) | 100% (5/5) | 96% (160/166) | 94% (30/32) |
HeaderHandler.java | 100% (1/1) | 100% (5/5) | 97% (231/237) | 95% (41/43) |
FormalProofLineListHandler.java | 100% (1/1) | 100% (5/5) | 98% (374/380) | 97% (66/68) |
NodeHandler.java | 100% (1/1) | 100% (5/5) | 99% (399/405) | 97% (67/69) |
QedeqHandler.java | 100% (1/1) | 100% (5/5) | 100% (133/133) | 100% (27/27) |
[all classes] |
EMMA 2.1.5320 (stable) (C) Vladimir Roubtsov |