Clover Coverage Cloud Report
Coverage timestamp:
Fri Feb 14 2014 01:49:02 UTC
App
Test
Results
Clouds
Overview
Package File
FRAMES
NO FRAMES
SHOW HELP
Statistics for project Clover database Fri Feb 14 2014 01:48:16 UTC:
Stmts:
2,830
LOC:
10,454
Total cmp:
1,279
Stmts/Method:
4.78
Branches:
1,148
NCLOC:
5,829
Cmp density:
0.45
Methods/Class:
8.97
Methods:
592
Files:
66
Avg method cmp:
2.16
Classes/Pkg:
6.6
Classes:
66
Packages:
10
Statistics for project Clover database Fri Feb 14 2014 01:48:16 UTC:
Stmts:
2,830
LOC:
10,454
Total cmp:
1,279
Stmts/Method:
4.78
Branches:
1,148
NCLOC:
5,829
Cmp density:
0.45
Methods/Class:
8.97
Methods:
592
Files:
66
Avg method cmp:
2.16
Classes/Pkg:
6.6
Classes:
66
Packages:
10
Project Risks
Quick Wins
Clover database Fri Feb 14 2014 01:48:16 UTC
AbstractSimpleHandler
AddHandler
AuthorHandler
AuthorListHandler
AxiomHandler
BasicHandler
BasicParser
ChangedRuleHandler
ChapterHandler
ConclusionHandler
ConditionalProofHandler
Context2SimpleXPath
ElementHandler
ExistentialHandler
FormalProofHandler
FormalProofLineListHandler
FormulaHandler
FunctionDefinitionHandler
HeaderHandler
HypothesisHandler
ImportListHandler
InitialFunctionDefinitionHandler
InitialPredicateDefinitionHandler
LatexHandler
LatexListHandler
LiteratureItemHandler
LiteratureItemListHandler
LoadXmlOperatorListUtility
ModusPonensHandler
NodeHandler
ParserHandler
PredicateDefinitionHandler
ProofHandler
PropositionHandler
Qedeq2Xml
RenameHandler
RuleHandler
SaxDefaultHandler
SaxEntityResolver
SaxErrorHandler
SaxParser
SectionHandler
SimpleAttributes
SimpleHandler
SimpleXPath
SpecificationHandler
SubsectionHandler
SubsectionListHandler
SubstFreevarHandler
SubstFuncvarHandler
SubstPredvarHandler
TermHandler
UniversalHandler
UsedByListHandler
XPathLocationFinder
XPathLocationParser
XmlQedeqFileDao
XmlReader
XmlSyntaxException
Report generated by
Clover
Code Coverage
v3.1.10
Fri Feb 14 2014 01:49:03 UTC
.
Clover: Open Source License registered to qedeq.org .