Clover Coverage Cloud Report
Coverage timestamp:
Fri Feb 14 2014 07:28:57 UTC
App
Test
Results
Clouds
Overview
Package File
FRAMES
NO FRAMES
SHOW HELP
Statistics for project Clover database Fri Feb 14 2014 01:49:13 UTC:
Stmts:
17,517
LOC:
69,694
Total cmp:
8,276
Stmts/Method:
4.96
Branches:
7,610
NCLOC:
37,099
Cmp density:
0.47
Methods/Class:
8.15
Methods:
3,530
Files:
417
Avg method cmp:
2.34
Classes/Pkg:
10.56
Classes:
433
Packages:
41
Statistics for project Clover database Fri Feb 14 2014 01:49:13 UTC:
Stmts:
17,517
LOC:
69,694
Total cmp:
8,276
Stmts/Method:
4.96
Branches:
7,610
NCLOC:
37,099
Cmp density:
0.47
Methods/Class:
8.15
Methods:
3,530
Files:
417
Avg method cmp:
2.34
Classes/Pkg:
10.56
Classes:
433
Packages:
41
Project Risks
Quick Wins
Clover database Fri Feb 14 2014 01:49:13 UTC
AbstractOutput
AbstractSimpleHandler
AddHandler
AsciiMathParser
AuthorHandler
AuthorListHandler
AxiomHandler
BasicHandler
BasicKernel
BasicKernel.LazyHolderTimeoutMethods
BasicParser
ChangedRuleHandler
ChapterHandler
ClassOperatorAlreadyExistsException
ConclusionHandler
ConditionalProofHandler
ConfigAccess
Context2SimpleXPath
ControlVisitor
DateUtility
DefaultExistenceChecker
DefaultInternalKernelServices
DefaultKernelQedeqBo
DefaultModuleAddress
DynamicDirectInterpreter
DynamicHeuristicCheckerExecutor
DynamicHeuristicCheckerPlugin
DynamicModel
Element2LatexImpl
Element2LatexImpl.Funcon
Element2LatexImpl.Predcon
Element2LatexImpl.Var
ElementCheckException
ElementHandler
EqualsUtility
EverythingExists
ExistentialHandler
FormalProofCheckerExecutor
FormalProofCheckerPlugin
FormalProofHandler
FormalProofLineListHandler
FormulaCheckException
FormulaCheckerImpl
FormulaHandler
FormulaUtility
FourDynamicModel
Function
FunctionConstant
FunctionDefinitionHandler
FunctionKey
FunctionVariableInterpreter
HeaderHandler
HeuristicException
HypothesisHandler
IdentityOperatorAlreadyExistsException
ImportListHandler
InitialFunctionDefinitionHandler
InitialPredicateDefinitionHandler
InternalModuleServiceCallImpl
InternalServiceJobImpl
IoUtility
KernelContext
KernelModuleReferenceList
KernelNodeBo
KernelQedeqBoStorage
Latex2UnicodeParser
Latex2UnicodeSpecials
LatexHandler
LatexList2Text
LatexListDataException
LatexListHandler
LatexMathParser
LiteratureItemHandler
LiteratureItemListHandler
LoadDirectlyRequiredModulesExecutor
LoadDirectlyRequiredModulesPlugin
LoadRequiredModuleException
LoadRequiredModulesExecutor
LoadRequiredModulesPlugin
LoadXmlOperatorListUtility
LogListenerImpl
LogicalCheckException
LogicalCheckExceptionList
MathParser
MementoTextInput
ModuleArbiterImpl
ModuleConstantsExistenceCheckerImpl
ModuleDataException
ModuleEventLog
ModuleLabels
ModuleLabelsCreator
ModuleLogListenerImpl
ModuleServicePluginResults
ModusPonensBo
ModusPonensHandler
NodeHandler
Operator
ParserException
ParserHandler
PluginManager
PluginResultManager
Predicate
PredicateConstant
PredicateDefinitionHandler
PredicateKey
PredicateVariableInterpreter
ProofCheckException
ProofChecker0Impl
ProofChecker1Impl
ProofChecker2Impl
ProofCheckerFactoryImpl
ProofFinderImpl
ProofFinderImpl.SubstituteBase
ProofFinderUtility
ProofHandler
ProofLineData
PropositionHandler
Qedeq2LatexExecutor
Qedeq2LatexPlugin
Qedeq2UnicodeTextExecutor
Qedeq2UnicodeTextPlugin
Qedeq2UnicodeVisitor
Qedeq2Utf8Executor
Qedeq2Utf8Plugin
Qedeq2Xml
QedeqBoDuplicateLanguageChecker
QedeqBoSet
QedeqConfig
QedeqException
QedeqLog
QedeqNotNullTraverser
QedeqVoBuilder
ReferenceLinkException
RenameHandler
ResourceLoaderUtility
RuleHandler
RuntimeVisitorException
SaxDefaultHandler
SaxEntityResolver
SaxErrorHandler
SaxParser
SectionHandler
SeparatorNotFoundException
ServiceProcessManager
ServiceResultImpl
SimpleAttributes
SimpleHandler
SimpleMathParser
SimpleProofFinderExecutor
SimpleProofFinderPlugin
SimpleXPath
SixDynamicModel
SourceArea
SourceFileException
SourceFileExceptionList
SpecificationHandler
Splitter
StateManager
StringUtility
SubjectVariable
SubjectVariableAllocation
SubjectVariableInterpreter
SubsectionHandler
SubsectionListHandler
SubstFreevarHandler
SubstFuncvarHandler
SubstPredBo
SubstPredvarHandler
Term
TermCheckException
TermHandler
TextInput
ThreeDynamicModel
Trace
TraceListener
UnaryDynamicModel
UniversalHandler
UrlUtility
UrlUtility.LazyHolderTimeoutMethods
UsedByListHandler
WellFormedCheckerExecutor
WellFormedCheckerPlugin
XPathLocationFinder
XPathLocationParser
XmlQedeqFileDao
XmlReader
XmlSyntaxException
YodaUtility
Report generated by
Clover
Code Coverage
v3.1.10
Fri Feb 14 2014 07:29:02 UTC
.
Clover: Open Source License registered to qedeq.org .