Clover

Clover Coverage Cloud Report

Coverage timestamp: Fri May 24 2013 13:47:27 UTC

FRAMES NO FRAMES SHOW HELP

Statistics for package org.qedeq.kernel.xml.handler.module:
Stmts:	839		LOC:	3,910		Total cmp:	484		Stmts/Method:	4.07
Branches:	554		NCLOC:	1,948		Cmp density:	0.58		Methods/Class:	5.15
Methods:	206		Files:	40		Avg method cmp:	2.35
Classes:	40

Package Risks
Quick Wins

org.qedeq.kernel.xml.handler.module

AddHandler AuthorHandler AuthorListHandler AxiomHandler ChangedRuleHandler ChapterHandler ConclusionHandler ConditionalProofHandler ExistentialHandler FormalProofHandler FormalProofLineListHandler FormulaHandler FunctionDefinitionHandler HeaderHandler HypothesisHandler ImportListHandler InitialFunctionDefinitionHandler InitialPredicateDefinitionHandler LatexHandler LatexListHandler LiteratureItemHandler LiteratureItemListHandler ModusPonensHandler NodeHandler PredicateDefinitionHandler ProofHandler PropositionHandler RenameHandler RuleHandler SectionHandler SpecificationHandler SubsectionHandler SubsectionListHandler SubstFreevarHandler SubstFuncvarHandler SubstPredvarHandler TermHandler UniversalHandler UsedByListHandler