| KernelXmlEachClassHasATest.testIfEveryClassIsTestedKernelXmlEachClassHasATest.testIfEveryClassIsTested |
136940323635524 May 13:47:16 |
3
FAIL
|
8.5568.556 |
the following classes have no test classes: {"org.qedeq.kernel.xml.dao.Qedeq2Xml", "org.qedeq.kernel.xml.dao.Xml2Xml", "org.qedeq.kernel.xml.dao.XmlQedeqFileDao", "org.qedeq.kernel.xml.handler.common.AbstractSimpleHandler", "org.qedeq.kernel.xml.handler.common.SaxDefaultHandler", "org.qedeq.kernel.xml.handler.common.SimpleAttributes", "org.qedeq.kernel.xml.handler.common.SimpleHandler", "org.qedeq.kernel.xml.handler.list.BasicHandler", "org.qedeq.kernel.xml.handler.list.ElementHandler", "org.qedeq.kernel.xml.handler.module.AddHandler", "org.qedeq.kernel.xml.handler.module.AuthorHandler", "org.qedeq.kernel.xml.handler.module.AuthorListHandler", "org.qedeq.kernel.xml.handler.module.AxiomHandler", "org.qedeq.kernel.xml.handler.module.ChangedRuleHandler", "org.qedeq.kernel.xml.handler.module.ChapterHandler", "org.qedeq.kernel.xml.handler.module.ConclusionHandler", "org.qedeq.kernel.xml.handler.module.ConditionalProofHandler", "org.qedeq.kernel.xml.handler.module.ExistentialHandler", "org.qedeq.kernel.xml.handler.module.FormalProofHandler", "org.qedeq.kernel.xml.handler.module.FormalProofLineListHandler", "org.qedeq.kernel.xml.handler.module.FormulaHandler", "org.qedeq.kernel.xml.handler.module.FunctionDefinitionHandler", "org.qedeq.kernel.xml.handler.module.HeaderHandler", "org.qedeq.kernel.xml.handler.module.HypothesisHandler", "org.qedeq.kernel.xml.handler.module.ImportListHandler", "org.qedeq.kernel.xml.handler.module.InitialFunctionDefinitionHandler", "org.qedeq.kernel.xml.handler.module.InitialPredicateDefinitionHandler", "org.qedeq.kernel.xml.handler.module.LatexHandler", "org.qedeq.kernel.xml.handler.module.LatexListHandler", "org.qedeq.kernel.xml.handler.module.LiteratureItemHandler", "org.qedeq.kernel.xml.handler.module.LiteratureItemListHandler", "org.qedeq.kernel.xml.handler.module.ModusPonensHandler", "org.qedeq.kernel.xml.handler.module.NodeHandler", "org.qedeq.kernel.xml.handler.module.PredicateDefinitionHandler", "org.qedeq.kernel.xml.handler.module.ProofHandler", "org.qedeq.kernel.xml.handler.module.PropositionHandler", "org.qedeq.kernel.xml.handler.module.QedeqHandler", "org.qedeq.kernel.xml.handler.module.RenameHandler", "org.qedeq.kernel.xml.handler.module.RuleHandler", "org.qedeq.kernel.xml.handler.module.SectionHandler", "org.qedeq.kernel.xml.handler.module.SpecificationHandler", "org.qedeq.kernel.xml.handler.module.SubsectionHandler", "org.qedeq.kernel.xml.handler.module.SubsectionListHandler", "org.qedeq.kernel.xml.handler.module.SubstFreevarHandler", "org.qedeq.kernel.xml.handler.module.SubstFuncvarHandler", "org.qedeq.kernel.xml.handler.module.SubstPredvarHandler", "org.qedeq.kernel.xml.handler.module.TermHandler", "org.qedeq.kernel.xml.handler.module.UniversalHandler", "org.qedeq.kernel.xml.handler.module.UsedByListHandler", "org.qedeq.kernel.xml.handler.parser.LoadXmlOperatorListUtility", "org.qedeq.kernel.xml.handler.parser.ParserHandler", "org.qedeq.kernel.xml.mapper.Context2XPathOld", "org.qedeq.kernel.xml.mapper.LocationFoundException", "org.qedeq.kernel.xml.mapper.LocationNotFoundException", "org.qedeq.kernel.xml.parser.BasicParser", "org.qedeq.kernel.xml.parser.SaxEntityResolver", "org.qedeq.kernel.xml.parser.SaxErrorHandler", "org.qedeq.kernel.xml.parser.SaxParser", "org.qedeq.kernel.xml.tracker.XPathLocationFoundException"}
the following classes have no test classes: {"org.qedeq.kernel.xml.dao.Qedeq2Xml", "org.qedeq.kernel.xml.dao.Xml2Xml", "org.qedeq.kernel.xml.dao.XmlQedeqFileDao", "org.qedeq.kernel.xml.handler.common.AbstractSimpleHandler", "org.qedeq.kernel.xml.handler.common.SaxDefaultHandler", "org.qedeq.kernel.xml.handler.common.SimpleAttributes", "org.qedeq.kernel.xml.handler.common.SimpleHandler", "org.qedeq.kernel.xml.handler.list.BasicHandler", "org.qedeq.kernel.xml.handler.list.ElementHandler", "org.qedeq.kernel.xml.handler.module.AddHandler", "org.qedeq.kernel.xml.handler.module.AuthorHandler", "org.qedeq.kernel.xml.handler.module.AuthorListHandler", "org.qedeq.kernel.xml.handler.module.AxiomHandler", "org.qedeq.kernel.xml.handler.module.ChangedRuleHandler", "org.qedeq.kernel.xml.handler.module.ChapterHandler", "org.qedeq.kernel.xml.handler.module.ConclusionHandler", "org.qedeq.kernel.xml.handler.module.ConditionalProofHandler", "org.qedeq.kernel.xml.handler.module.ExistentialHandler", "org.qedeq.kernel.xml.handler.module.FormalProofHandler", "org.qedeq.kernel.xml.handler.module.FormalProofLineListHandler", "org.qedeq.kernel.xml.handler.module.FormulaHandler", "org.qedeq.kernel.xml.handler.module.FunctionDefinitionHandler", "org.qedeq.kernel.xml.handler.module.HeaderHandler", "org.qedeq.kernel.xml.handler.module.HypothesisHandler", "org.qedeq.kernel.xml.handler.module.ImportListHandler", "org.qedeq.kernel.xml.handler.module.InitialFunctionDefinitionHandler", "org.qedeq.kernel.xml.handler.module.InitialPredicateDefinitionHandler", "org.qedeq.kernel.xml.handler.module.LatexHandler", "org.qedeq.kernel.xml.handler.module.LatexListHandler", "org.qedeq.kernel.xml.handler.module.LiteratureItemHandler", "org.qedeq.kernel.xml.handler.module.LiteratureItemListHandler", "org.qedeq.kernel.xml.handler.module.ModusPonensHandler", "org.qedeq.kernel.xml.handler.module.NodeHandler", "org.qedeq.kernel.xml.handler.module.PredicateDefinitionHandler", "org.qedeq.kernel.xml.handler.module.ProofHandler", "org.qedeq.kernel.xml.handler.module.PropositionHandler", "org.qedeq.kernel.xml.handler.module.QedeqHandler", "org.qedeq.kernel.xml.handler.module.RenameHandler", "org.qedeq.kernel.xml.handler.module.RuleHandler", "org.qedeq.kernel.xml.handler.module.SectionHandler", "org.qedeq.kernel.xml.handler.module.SpecificationHandler", "org.qedeq.kernel.xml.handler.module.SubsectionHandler", "org.qedeq.kernel.xml.handler.module.SubsectionListHandler", "org.qedeq.kernel.xml.handler.module.SubstFreevarHandler", "org.qedeq.kernel.xml.handler.module.SubstFuncvarHandler", "org.qedeq.kernel.xml.handler.module.SubstPredvarHandler", "org.qedeq.kernel.xml.handler.module.TermHandler", "org.qedeq.kernel.xml.handler.module.UniversalHandler", "org.qedeq.kernel.xml.handler.module.UsedByListHandler", "org.qedeq.kernel.xml.handler.parser.LoadXmlOperatorListUtility", "org.qedeq.kernel.xml.handler.parser.ParserHandler", "org.qedeq.kernel.xml.mapper.Context2XPathOld", "org.qedeq.kernel.xml.mapper.LocationFoundException", "org.qedeq.kernel.xml.mapper.LocationNotFoundException", "org.qedeq.kernel.xml.parser.BasicParser", "org.qedeq.kernel.xml.parser.SaxEntityResolver", "org.qedeq.kernel.xml.parser.SaxErrorHandler", "org.qedeq.kernel.xml.parser.SaxParser", "org.qedeq.kernel.xml.tracker.XPathLocationFoundException"}
junit.framework.AssertionFailedError: the following classes have no test classes: {"org.qedeq.kernel.xml.dao.Qedeq2Xml", "org.qedeq.kernel.xml.dao.Xml2Xml", "org.qedeq.kernel.xml.dao.XmlQedeqFileDao", "org.qedeq.kernel.xml.handler.common.AbstractSimpleHandler", "org.qedeq.kernel.xml.handler.common.SaxDefaultHandler", "org.qedeq.kernel.xml.handler.common.SimpleAttributes", "org.qedeq.kernel.xml.handler.common.SimpleHandler", "org.qedeq.kernel.xml.handler.list.BasicHandler", "org.qedeq.kernel.xml.handler.list.ElementHandler", "org.qedeq.kernel.xml.handler.module.AddHandler", "org.qedeq.kernel.xml.handler.module.AuthorHandler", "org.qedeq.kernel.xml.handler.module.AuthorListHandler", "org.qedeq.kernel.xml.handler.module.AxiomHandler", "org.qedeq.kernel.xml.handler.module.ChangedRuleHandler", "org.qedeq.kernel.xml.handler.module.ChapterHandler", "org.qedeq.kernel.xml.handler.module.ConclusionHandler", "org.qedeq.kernel.xml.handler.module.ConditionalProofHandler", "org.qedeq.kernel.xml.handler.module.ExistentialHandler", "org.qedeq.kernel.xml.handler.module.FormalProofHandler", "org.qedeq.kernel.xml.handler.module.FormalProofLineListHandler", "org.qedeq.kernel.xml.handler.module.FormulaHandler", "org.qedeq.kernel.xml.handler.module.FunctionDefinitionHandler", "org.qedeq.kernel.xml.handler.module.HeaderHandler", "org.qedeq.kernel.xml.handler.module.HypothesisHandler", "org.qedeq.kernel.xml.handler.module.ImportListHandler", "org.qedeq.kernel.xml.handler.module.InitialFunctionDefinitionHandler", "org.qedeq.kernel.xml.handler.module.InitialPredicateDefinitionHandler", "org.qedeq.kernel.xml.handler.module.LatexHandler", "org.qedeq.kernel.xml.handler.module.LatexListHandler", "org.qedeq.kernel.xml.handler.module.LiteratureItemHandler", "org.qedeq.kernel.xml.handler.module.LiteratureItemListHandler", "org.qedeq.kernel.xml.handler.module.ModusPonensHandler", "org.qedeq.kernel.xml.handler.module.NodeHandler", "org.qedeq.kernel.xml.handler.module.PredicateDefinitionHandler", "org.qedeq.kernel.xml.handler.module.ProofHandler", "org.qedeq.kernel.xml.handler.module.PropositionHandler", "org.qedeq.kernel.xml.handler.module.QedeqHandler", "org.qedeq.kernel.xml.handler.module.RenameHandler", "org.qedeq.kernel.xml.handler.module.RuleHandler", "org.qedeq.kernel.xml.handler.module.SectionHandler", "org.qedeq.kernel.xml.handler.module.SpecificationHandler", "org.qedeq.kernel.xml.handler.module.SubsectionHandler", "org.qedeq.kernel.xml.handler.module.SubsectionListHandler", "org.qedeq.kernel.xml.handler.module.SubstFreevarHandler", "org.qedeq.kernel.xml.handler.module.SubstFuncvarHandler", "org.qedeq.kernel.xml.handler.module.SubstPredvarHandler", "org.qedeq.kernel.xml.handler.module.TermHandler", "org.qedeq.kernel.xml.handler.module.UniversalHandler", "org.qedeq.kernel.xml.handler.module.UsedByListHandler", "org.qedeq.kernel.xml.handler.parser.LoadXmlOperatorListUtility", "org.qedeq.kernel.xml.handler.parser.ParserHandler", "org.qedeq.kernel.xml.mapper.Context2XPathOld", "org.qedeq.kernel.xml.mapper.LocationFoundException", "org.qedeq.kernel.xml.mapper.LocationNotFoundException", "org.qedeq.kernel.xml.parser.BasicParser", "org.qedeq.kernel.xml.parser.SaxEntityResolver", "org.qedeq.kernel.xml.parser.SaxErrorHandler", "org.qedeq.kernel.xml.parser.SaxParser", "org.qedeq.kernel.xml.tracker.XPathLocationFoundException"} at junit.framework.Assert.fail(Assert.java:47)
|
