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.bo.logic:
Stmts:	19		LOC:	134		Total cmp:	11		Stmts/Method:	4.75
Branches:	12		NCLOC:	52		Cmp density:	0.58		Methods/Class:	1.33
Methods:	4		Files:	3		Avg method cmp:	2.75
Classes:	3

Package Risks
Quick Wins

org.qedeq.kernel.bo.logic

ClassOperatorAlreadyExistsException DynamicDirectInterpreter DynamicModel ElementCheckException Entity EverythingExists FormulaCheckException FormulaCheckerImpl FormulaUtility FourDynamicModel Function FunctionConstant FunctionKey FunctionVariableInterpreter HeuristicException IdentityOperatorAlreadyExistsException LogicalCheckException LogicalCheckExceptionList ModusPonensBo Predicate PredicateConstant PredicateKey PredicateVariableInterpreter ProofCheckException ProofChecker0Impl ProofChecker1Impl ProofChecker2Impl ProofCheckerFactoryImpl ProofFinderImpl ProofFinderImpl.SubstituteBase ProofFinderUtility SixDynamicModel SubjectVariable SubjectVariableAllocation SubjectVariableInterpreter SubstPredBo TermCheckException ThreeDynamicModel UnaryDynamicModel