| 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 |