Loading...
Class Coverage    
AbstractModuleVisitor AbstractModuleVisitor 1.0 (100%)
AbstractOutput AbstractOutput 0.9230769 (92.3%)
AbstractSimpleHandler AbstractSimpleHandler 0.65384614 (65.4%)
AbstractState AbstractState 1.0 (100%)
AddHandler AddHandler 0.7647059 (76.5%)
AddVo AddVo 1.0 (100%)
AsciiMathParser AsciiMathParser 0.9493671 (94.9%)
AuthorHandler AuthorHandler 0.8518519 (85.2%)
AuthorListHandler AuthorListHandler 0.84 (84%)
AuthorListVo AuthorListVo 1.0 (100%)
AuthorVo AuthorVo 1.0 (100%)
AxiomHandler AxiomHandler 0.6666667 (66.7%)
AxiomVo AxiomVo 1.0 (100%)
BasicHandler BasicHandler 0.73333335 (73.3%)
BasicKernel BasicKernel 0.96428573 (96.4%)
BasicKernel.LazyHolderTimeoutMethods BasicKernel.LazyHolderTimeoutMethods 0.0 (0%)
BasicParser BasicParser 0.7457627 (74.6%)
ChangedRuleHandler ChangedRuleHandler 0.86206895 (86.2%)
ChangedRuleListVo ChangedRuleListVo 1.0 (100%)
ChangedRuleVo ChangedRuleVo 1.0 (100%)
ChapterHandler ChapterHandler 0.9111111 (91.1%)
ChapterListVo ChapterListVo 1.0 (100%)
ChapterVo ChapterVo 1.0 (100%)
CheckRequiredModuleException CheckRequiredModuleException 1.0 (100%)
ClassOperatorAlreadyExistsException ClassOperatorAlreadyExistsException 0.0 (0%)
ClosingBracketMissingException ClosingBracketMissingException 1.0 (100%)
ConclusionHandler ConclusionHandler 0.8518519 (85.2%)
ConclusionVo ConclusionVo 1.0 (100%)
ConditionalProofHandler ConditionalProofHandler 0.902439 (90.2%)
ConditionalProofVo ConditionalProofVo 1.0 (100%)
ConfigAccess ConfigAccess 0.9807692 (98.1%)
Context2SimpleXPath Context2SimpleXPath 0.92413795 (92.4%)
ControlVisitor ControlVisitor 0.7818182 (78.2%)
DateUtility DateUtility 0.82539684 (82.5%)
DefaultAtom DefaultAtom 1.0 (100%)
DefaultContextChecker DefaultContextChecker 1.0 (100%)
DefaultElementList DefaultElementList 1.0 (100%)
DefaultExistenceChecker DefaultExistenceChecker 0.81914896 (81.9%)
DefaultInternalKernelServices DefaultInternalKernelServices 0.53637904 (53.6%)
DefaultKernelQedeqBo DefaultKernelQedeqBo 0.7477064 (74.8%)
DefaultModuleAddress DefaultModuleAddress 0.9346405 (93.5%)
DefaultModuleEventListener DefaultModuleEventListener 1.0 (100%)
DefaultReference DefaultReference 1.0 (100%)
DependencyState DependencyState 1.0 (100%)
DynamicDirectInterpreter DynamicDirectInterpreter 0.76617956 (76.6%)
DynamicHeuristicCheckerExecutor DynamicHeuristicCheckerExecutor 0.4008097 (40.1%)
DynamicHeuristicCheckerPlugin DynamicHeuristicCheckerPlugin 0.8181818 (81.8%)
DynamicModel DynamicModel 0.8727273 (87.3%)
Element2LatexImpl Element2LatexImpl 0.9756098 (97.6%)
Element2LatexImpl.BinaryLogical Element2LatexImpl.BinaryLogical 1.0 (100%)
Element2LatexImpl.Class Element2LatexImpl.Class 1.0 (100%)
Element2LatexImpl.Classlist Element2LatexImpl.Classlist 1.0 (100%)
Element2LatexImpl.Funcon Element2LatexImpl.Funcon 0.6037736 (60.4%)
Element2LatexImpl.Funvar Element2LatexImpl.Funvar 1.0 (100%)
Element2LatexImpl.Not Element2LatexImpl.Not 1.0 (100%)
Element2LatexImpl.Predcon Element2LatexImpl.Predcon 0.8301887 (83%)
Element2LatexImpl.Predvar Element2LatexImpl.Predvar 1.0 (100%)
Element2LatexImpl.Quantifier Element2LatexImpl.Quantifier 1.0 (100%)
Element2LatexImpl.QuantorIntersection Element2LatexImpl.QuantorIntersection 0.0 (0%)
Element2LatexImpl.QuantorUnion Element2LatexImpl.QuantorUnion 0.0 (0%)
Element2LatexImpl.Unknown Element2LatexImpl.Unknown 1.0 (100%)
Element2LatexImpl.Var Element2LatexImpl.Var 0.92 (92%)
Element2Utf8Impl Element2Utf8Impl 1.0 (100%)
ElementCheckException ElementCheckException 0.5 (50%)
ElementHandler ElementHandler 0.8 (80%)
ElementSet ElementSet 1.0 (100%)
EndSymbolNotFoundException EndSymbolNotFoundException 1.0 (100%)
Entity Entity 0.6 (60%)
Enumerator Enumerator 1.0 (100%)
EqualsUtility EqualsUtility 0.9756098 (97.6%)
EverythingExists EverythingExists 0.5652174 (56.5%)
ExistentialHandler ExistentialHandler 0.86206895 (86.2%)
ExistentialVo ExistentialVo 1.0 (100%)
FormalProofCheckerExecutor FormalProofCheckerExecutor 0.5764331 (57.6%)
FormalProofCheckerPlugin FormalProofCheckerPlugin 0.8 (80%)
FormalProofHandler FormalProofHandler 0.84615386 (84.6%)
FormalProofLineListHandler FormalProofLineListHandler 0.96581197 (96.6%)
FormalProofLineListVo FormalProofLineListVo 1.0 (100%)
FormalProofLineVo FormalProofLineVo 1.0 (100%)
FormalProofListVo FormalProofListVo 1.0 (100%)
FormalProofVo FormalProofVo 1.0 (100%)
FormallyProvedState FormallyProvedState 1.0 (100%)
FormulaCheckException FormulaCheckException 0.5 (50%)
FormulaCheckerFactoryImpl FormulaCheckerFactoryImpl 1.0 (100%)
FormulaCheckerImpl FormulaCheckerImpl 0.9453552 (94.5%)
FormulaHandler FormulaHandler 0.84 (84%)
FormulaUtility FormulaUtility 0.7270408 (72.7%)
FormulaVo FormulaVo 1.0 (100%)
FourDynamicModel FourDynamicModel 0.852459 (85.2%)
Function Function 0.4117647 (41.2%)
FunctionConstant FunctionConstant 0.60465115 (60.5%)
FunctionDefinitionHandler FunctionDefinitionHandler 0.7254902 (72.5%)
FunctionDefinitionVo FunctionDefinitionVo 1.0 (100%)
FunctionKey FunctionKey 0.72727275 (72.7%)
FunctionVariable FunctionVariable 1.0 (100%)
FunctionVariableInterpreter FunctionVariableInterpreter 0.6909091 (69.1%)
HeaderHandler HeaderHandler 0.9444444 (94.4%)
HeaderVo HeaderVo 1.0 (100%)
HeuristicException HeuristicException 0.5 (50%)
HypothesisHandler HypothesisHandler 0.8518519 (85.2%)
HypothesisVo HypothesisVo 1.0 (100%)
IdentityOperatorAlreadyExistsException IdentityOperatorAlreadyExistsException 0.5 (50%)
IllegalModuleDataException IllegalModuleDataException 1.0 (100%)
ImportListHandler ImportListHandler 0.8787879 (87.9%)
ImportListVo ImportListVo 1.0 (100%)
ImportVo ImportVo 1.0 (100%)
InitialFunctionDefinitionHandler InitialFunctionDefinitionHandler 0.0 (0%)
InitialFunctionDefinitionVo InitialFunctionDefinitionVo 1.0 (100%)
InitialPredicateDefinitionHandler InitialPredicateDefinitionHandler 0.7254902 (72.5%)
InitialPredicateDefinitionVo InitialPredicateDefinitionVo 1.0 (100%)
InterruptException InterruptException 1.0 (100%)
IoUtility IoUtility 0.9146758 (91.5%)
KernelContext KernelContext 0.91463417 (91.5%)
KernelModuleReferenceList KernelModuleReferenceList 0.5675676 (56.8%)
KernelNodeBo KernelNodeBo 0.76229507 (76.2%)
KernelQedeqBoSet KernelQedeqBoSet 0.0 (0%)
KernelQedeqBoStorage KernelQedeqBoStorage 0.6893204 (68.9%)
Latex2UnicodeParser Latex2UnicodeParser 0.84108526 (84.1%)
Latex2UnicodeSpecials Latex2UnicodeSpecials 0.5131086 (51.3%)
LatexContentException LatexContentException 1.0 (100%)
LatexHandler LatexHandler 0.7941176 (79.4%)
LatexList2Text LatexList2Text 0.9830508 (98.3%)
LatexListDataException LatexListDataException 0.5 (50%)
LatexListHandler LatexListHandler 0.8064516 (80.6%)
LatexListVo LatexListVo 1.0 (100%)
LatexMathParser LatexMathParser 0.7916667 (79.2%)
LatexVo LatexVo 1.0 (100%)
LinkListVo LinkListVo 1.0 (100%)
LiteratureItemHandler LiteratureItemHandler 0.8095238 (81%)
LiteratureItemListHandler LiteratureItemListHandler 0.84 (84%)
LiteratureItemListVo LiteratureItemListVo 1.0 (100%)
LiteratureItemVo LiteratureItemVo 1.0 (100%)
LoadDirectlyRequiredModulesExecutor LoadDirectlyRequiredModulesExecutor 1.0 (100%)
LoadDirectlyRequiredModulesPlugin LoadDirectlyRequiredModulesPlugin 0.5555556 (55.6%)
LoadRequiredModuleException LoadRequiredModuleException 0.5 (50%)
LoadRequiredModulesExecutor LoadRequiredModulesExecutor 0.84745765 (84.7%)
LoadRequiredModulesPlugin LoadRequiredModulesPlugin 0.7777778 (77.8%)
LoadXmlOperatorListUtility LoadXmlOperatorListUtility 0.46666667 (46.7%)
LoadingImportsState LoadingImportsState 1.0 (100%)
LoadingState LoadingState 1.0 (100%)
LocationFoundException LocationFoundException 1.0 (100%)
LocationListVo LocationListVo 1.0 (100%)
LocationNotFoundException LocationNotFoundException 1.0 (100%)
LocationVo LocationVo 1.0 (100%)
LogListenerImpl LogListenerImpl 0.9047619 (90.5%)
LogicalCheckException LogicalCheckException 0.6 (60%)
LogicalCheckExceptionList LogicalCheckExceptionList 0.45833334 (45.8%)
MathParser MathParser 0.83547556 (83.5%)
MementoTextInput MementoTextInput 0.71428573 (71.4%)
ModelFunctionConstant ModelFunctionConstant 1.0 (100%)
ModelPredicateConstant ModelPredicateConstant 1.0 (100%)
ModuleArbiter ModuleArbiter 0.51960784 (52%)
ModuleConstantsExistenceCheckerImpl ModuleConstantsExistenceCheckerImpl 0.8727273 (87.3%)
ModuleContext ModuleContext 1.0 (100%)
ModuleDataException ModuleDataException 0.9756098 (97.6%)
ModuleEventListenerLog ModuleEventListenerLog 1.0 (100%)
ModuleEventLog ModuleEventLog 0.7096774 (71%)
ModuleFileNotFoundException ModuleFileNotFoundException 1.0 (100%)
ModuleLabels ModuleLabels 0.7457627 (74.6%)
ModuleLabelsCreator ModuleLabelsCreator 0.9423077 (94.2%)
ModuleLogListenerImpl ModuleLogListenerImpl 0.6 (60%)
ModusPonensBo ModusPonensBo 0.52 (52%)
ModusPonensHandler ModusPonensHandler 0.7647059 (76.5%)
ModusPonensVo ModusPonensVo 1.0 (100%)
NodeHandler NodeHandler 0.96330273 (96.3%)
NodeVo NodeVo 1.0 (100%)
Operator Operator 1.0 (100%)
Operator Operator 0.9347826 (93.5%)
Parameters Parameters 1.0 (100%)
ParserException ParserException 0.6 (60%)
ParserHandler ParserHandler 0.7757009 (77.6%)
Path Path 1.0 (100%)
PluginManager PluginManager 0.4318182 (43.2%)
PluginResultManager PluginResultManager 0.67164177 (67.2%)
PluginResults PluginResults 0.8333333 (83.3%)
Predicate Predicate 0.57831323 (57.8%)
PredicateConstant PredicateConstant 0.4651163 (46.5%)
PredicateDefinitionHandler PredicateDefinitionHandler 0.7254902 (72.5%)
PredicateDefinitionVo PredicateDefinitionVo 1.0 (100%)
PredicateKey PredicateKey 0.72727275 (72.7%)
PredicateVariable PredicateVariable 1.0 (100%)
PredicateVariableInterpreter PredicateVariableInterpreter 0.6909091 (69.1%)
ProofCheckException ProofCheckException 0.6666667 (66.7%)
ProofChecker0Impl ProofChecker0Impl 0.7 (70%)
ProofChecker1Impl ProofChecker1Impl 0.7009174 (70.1%)
ProofChecker2Impl ProofChecker2Impl 0.4456929 (44.6%)
ProofCheckerFactoryImpl ProofCheckerFactoryImpl 0.6451613 (64.5%)
ProofException ProofException 1.0 (100%)
ProofFinderFactoryImpl ProofFinderFactoryImpl 1.0 (100%)
ProofFinderImpl ProofFinderImpl 0.7147651 (71.5%)
ProofFinderImpl.SubstituteBase ProofFinderImpl.SubstituteBase 0.8518519 (85.2%)
ProofFinderUtility ProofFinderUtility 0.9266055 (92.7%)
ProofFoundException ProofFoundException 1.0 (100%)
ProofHandler ProofHandler 0.8181818 (81.8%)
ProofLineData ProofLineData 0.6875 (68.8%)
ProofListVo ProofListVo 1.0 (100%)
ProofNotFoundException ProofNotFoundException 1.0 (100%)
ProofVo ProofVo 1.0 (100%)
PropositionHandler PropositionHandler 0.9245283 (92.5%)
PropositionVo PropositionVo 1.0 (100%)
Qedeq2LatexExecutor Qedeq2LatexExecutor 0.802075 (80.2%)
Qedeq2LatexPlugin Qedeq2LatexPlugin 0.8333333 (83.3%)
Qedeq2UnicodeTextExecutor Qedeq2UnicodeTextExecutor 0.0 (0%)
Qedeq2UnicodeTextPlugin Qedeq2UnicodeTextPlugin 0.5714286 (57.1%)
Qedeq2UnicodeVisitor Qedeq2UnicodeVisitor 0.7777778 (77.8%)
Qedeq2Utf8Executor Qedeq2Utf8Executor 0.3809524 (38.1%)
Qedeq2Utf8Plugin Qedeq2Utf8Plugin 0.5714286 (57.1%)
Qedeq2Xml Qedeq2Xml 0.8988764 (89.9%)
QedeqBoDuplicateLanguageChecker QedeqBoDuplicateLanguageChecker 0.8666667 (86.7%)
QedeqConfig QedeqConfig 0.97590363 (97.6%)
QedeqException QedeqException 0.8 (80%)
QedeqHandler QedeqHandler 1.0 (100%)
QedeqLog QedeqLog 0.9692308 (96.9%)
QedeqNotNullTraverser QedeqNotNullTraverser 0.9769292 (97.7%)
QedeqNumbers QedeqNumbers 1.0 (100%)
QedeqVo QedeqVo 1.0 (100%)
QedeqVoBuilder QedeqVoBuilder 0.77715355 (77.7%)
ReferenceLinkException ReferenceLinkException 0.5 (50%)
RenameHandler RenameHandler 0.88372093 (88.4%)
RenameVo RenameVo 1.0 (100%)
ResourceLoaderUtility ResourceLoaderUtility 0.5 (50%)
RuleHandler RuleHandler 0.84615386 (84.6%)
RuleKey RuleKey 1.0 (100%)
RuleVo RuleVo 1.0 (100%)
RuntimeVisitorException RuntimeVisitorException 0.0 (0%)
SaxDefaultHandler SaxDefaultHandler 0.8153846 (81.5%)
SaxEntityResolver SaxEntityResolver 0.7297297 (73%)
SaxErrorHandler SaxErrorHandler 0.7619048 (76.2%)
SaxParser SaxParser 0.7446808 (74.5%)
SectionHandler SectionHandler 0.9111111 (91.1%)
SectionListVo SectionListVo 1.0 (100%)
SectionVo SectionVo 1.0 (100%)
SeparatorNotFoundException SeparatorNotFoundException 0.0 (0%)
ServiceCallImpl ServiceCallImpl 0.4172662 (41.7%)
ServiceProcessImpl ServiceProcessImpl 0.38235295 (38.2%)
ServiceProcessManager ServiceProcessManager 0.57894737 (57.9%)
ServiceResultImpl ServiceResultImpl 0.5 (50%)
SimpleAttributes SimpleAttributes 0.54385966 (54.4%)
SimpleHandler SimpleHandler 0.875 (87.5%)
SimpleMathParser SimpleMathParser 0.9315069 (93.2%)
SimpleProofFinderExecutor SimpleProofFinderExecutor 0.48920864 (48.9%)
SimpleProofFinderPlugin SimpleProofFinderPlugin 0.9285714 (92.9%)
SimpleXPath SimpleXPath 0.7256637 (72.6%)
SixDynamicModel SixDynamicModel 0.51754385 (51.8%)
SourceArea SourceArea 0.86206895 (86.2%)
SourceFileException SourceFileException 0.9130435 (91.3%)
SourceFileExceptionList SourceFileExceptionList 0.9896907 (99%)
SourcePosition SourcePosition 1.0 (100%)
SpecificationHandler SpecificationHandler 0.8888889 (88.9%)
SpecificationVo SpecificationVo 1.0 (100%)
Splitter Splitter 0.87234044 (87.2%)
StateManager StateManager 0.70178926 (70.2%)
StringOutput StringOutput 1.0 (100%)
StringUtility StringUtility 0.93654823 (93.7%)
SubTextInput SubTextInput 1.0 (100%)
SubjectVariable SubjectVariable 0.46666667 (46.7%)
SubjectVariableAllocation SubjectVariableAllocation 0.78571427 (78.6%)
SubjectVariableInterpreter SubjectVariableInterpreter 0.72527474 (72.5%)
SubsectionHandler SubsectionHandler 0.8947368 (89.5%)
SubsectionListHandler SubsectionListHandler 0.88235295 (88.2%)
SubsectionListVo SubsectionListVo 1.0 (100%)
SubsectionVo SubsectionVo 1.0 (100%)
SubstFreeVo SubstFreeVo 1.0 (100%)
SubstFreevarHandler SubstFreevarHandler 0.902439 (90.2%)
SubstFuncVo SubstFuncVo 1.0 (100%)
SubstFuncvarHandler SubstFuncvarHandler 0.902439 (90.2%)
SubstPredBo SubstPredBo 0.26086956 (26.1%)
SubstPredVo SubstPredVo 1.0 (100%)
SubstPredvarHandler SubstPredvarHandler 0.902439 (90.2%)
Term Term 0.41666666 (41.7%)
TermAtom TermAtom 1.0 (100%)
TermCheckException TermCheckException 0.5 (50%)
TermHandler TermHandler 0.84 (84%)
TermVo TermVo 1.0 (100%)
TextInput TextInput 0.84504133 (84.5%)
TextOutput TextOutput 1.0 (100%)
ThreeDynamicModel ThreeDynamicModel 0.90140843 (90.1%)
TooFewArgumentsException TooFewArgumentsException 1.0 (100%)
TooMuchArgumentsException TooMuchArgumentsException 1.0 (100%)
Trace Trace 0.92673993 (92.7%)
TraceListener TraceListener 0.8947368 (89.5%)
UnaryDynamicModel UnaryDynamicModel 0.75 (75%)
UnexpectedOperatorException UnexpectedOperatorException 1.0 (100%)
UnicodeException UnicodeException 1.0 (100%)
UniversalHandler UniversalHandler 0.86206895 (86.2%)
UniversalVo UniversalVo 1.0 (100%)
UrlUtility UrlUtility 0.5192308 (51.9%)
UsedByListHandler UsedByListHandler 0.84 (84%)
UsedByListVo UsedByListVo 1.0 (100%)
Version Version 1.0 (100%)
VersionSet VersionSet 1.0 (100%)
WellFormedCheckerExecutor WellFormedCheckerExecutor 0.7147059 (71.5%)
WellFormedCheckerPlugin WellFormedCheckerPlugin 0.8 (80%)
WellFormedState WellFormedState 1.0 (100%)
XPathLocationFinder XPathLocationFinder 0.9120879 (91.2%)
XPathLocationFoundException XPathLocationFoundException 1.0 (100%)
XPathLocationParser XPathLocationParser 0.8229665 (82.3%)
Xml2Xml Xml2Xml 0.71929824 (71.9%)
XmlQedeqFileDao XmlQedeqFileDao 0.54385966 (54.4%)
XmlReader XmlReader 0.37777779 (37.8%)
XmlReaderException XmlReaderException 1.0 (100%)
XmlSyntaxException XmlSyntaxException 0.7777778 (77.8%)
YodaUtility YodaUtility 0.8426966 (84.3%)