Clover Coverage Cloud Report
Coverage timestamp: Sat Sep 18 2010 04:09:52 UTC
App    Test   Results   Clouds
Overview   Package   File
    FRAMES   NO FRAMES     
9,178   39,075   4,318   4.54
3,890   19,695   0.47   7.77
2,021   245   2.14   9.29
260   28  
 
Clover database Sat Sep 18 2010 03:02:58 UTC
AbstractModuleVisitor AbstractSimpleHandler AsciiMathParser AuthorHandler AuthorListHandler AxiomHandler AxiomVo ChapterHandler ClassOperatorAlreadyExistsException ClosingBracketMissingException ConfigAccess Context2SimpleXPath ControlVisitor DateUtility DefaultAtom DefaultElementList DefaultExistenceChecker DefaultInternalKernelServices DefaultKernelQedeqBo DefaultModuleAddress DefaultModuleEventListener DefaultSourceFileExceptionList DependencyState Element2Latex Element2Latex.Classlist Element2Latex.Funcon Element2Latex.Funvar Element2Latex.Predcon Element2Latex.QuantorIntersection Element2Latex.QuantorUnion Element2Latex.Unknown Element2Latex.Var ElementCheckException ElementHandler ElementSet EndSymbolNotFoundException EqualFormula EqualFormulaSet EqualsUtility EverythingExists FormulaCheckException FormulaChecker FormulaHandler Function FunctionDefinitionHandler FunctionDefinitionVo HeaderHandler IdentityOperatorAlreadyExistsException IllegalModuleDataException ImportListHandler IoUtility KernelContext KernelContext.LazyHolderTimeoutMethods KernelModuleReferenceList KernelNodeBo KernelNodeNumbers KernelQedeqBoStorage LatexHandler LatexListDataException LatexListHandler LatexMathParser LatexTextParser LiteratureItemHandler LiteratureItemListHandler LoadRequiredModuleException LoadRequiredModules LoadXmlOperatorListUtility LoadingState LocationNotFoundException LogListenerImpl LogicalCheckException LogicalCheckExceptionList LogicalEquivalence LogicalState MathParser MementoTextInput ModuleContext ModuleDataException ModuleEventListenerLog ModuleEventLog ModuleLabels ModuleLabelsCreator NodeHandler Operator ParserException ParserHandler PluginManager PluginResultManager PluginResults PluginState Predicate PredicateDefinitionHandler PredicateDefinitionVo ProofHandler PropositionHandler PropositionVo Qedeq2Latex Qedeq2LatexPlugin Qedeq2Wiki Qedeq2Xml QedeqBoDuplicateLanguageChecker QedeqBoFormalLogicChecker QedeqConfig QedeqHandler QedeqLog QedeqNotNullTraverser QedeqVoBuilder ResourceLoaderUtility RuleHandler RuleVo SaxDefaultHandler SaxEntityResolver SaxErrorHandler SaxParser SectionHandler SeparatorNotFoundException SimpleAttributes SimpleHandler SimpleMathParser SimpleXPath SourceArea SourceFileException SourcePosition SpecificationHandler StateManager StringUtility SubsectionHandler SubsectionListHandler Term TermCheckException TermHandler TextInput TextOutput TooFewArgumentsException TooMuchArgumentsException Trace TraceListener UnexpectedOperatorException UsedByListHandler VariableListHandler XPathLocationFinder XPathLocationParser Xml2Xml XmlQedeqFileDao XmlReader XmlSyntaxException YodaUtility
 
 
CloverReport generated by Clover Code Coverage v2.3.1
Sat Sep 18 2010 04:09:52 UTC.		   Clover: Open Source License registered to qedeq.org .