Clover Coverage Cloud Report
Coverage timestamp: Fri Feb 14 2014 07:28:57 UTC
17,517   69,694   8,276   4.96
7,610   37,099   0.47   8.15
3,530   417   2.34   10.56
433   41  
 
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