Designed for use with JDepend and Ant.
Summary | [summary] [packages] [cycles] [explanations] |
Packages | [summary] [packages] [cycles] [explanations] |
Afferent Couplings: 19 | Efferent Couplings: 2 | Abstractness: 0.12 | Instability: 0.1 | Distance: 0.78 |
Afferent Couplings: 20 | Efferent Couplings: 0 | Abstractness: 0 | Instability: 0 | Distance: 1 |
Afferent Couplings: 21 | Efferent Couplings: 0 | Abstractness: 0.17 | Instability: 0 | Distance: 0.83 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
org.qedeq.base.utility.YodaUtility
|
org.qedeq.base.utility.DateUtility
org.qedeq.base.utility.Enumerator org.qedeq.base.utility.EqualsUtility org.qedeq.base.utility.Splitter org.qedeq.base.utility.StringUtility | org.qedeq.base.io
org.qedeq.kernel.bo org.qedeq.kernel.bo.common org.qedeq.kernel.bo.log org.qedeq.kernel.bo.logic.common org.qedeq.kernel.bo.logic.model org.qedeq.kernel.bo.logic.proof.checker org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.module org.qedeq.kernel.bo.parser org.qedeq.kernel.bo.service.control org.qedeq.kernel.bo.service.dependency org.qedeq.kernel.bo.service.latex org.qedeq.kernel.bo.service.logic org.qedeq.kernel.bo.service.unicode org.qedeq.kernel.se.common org.qedeq.kernel.se.dto.module org.qedeq.kernel.se.visitor org.qedeq.kernel.xml.dao org.qedeq.kernel.xml.mapper org.qedeq.kernel.xml.tracker | None |
Afferent Couplings: 5 | Efferent Couplings: 8 | Abstractness: 0 | Instability: 0.62 | Distance: 0.38 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
None |
org.qedeq.kernel.bo.KernelContext
org.qedeq.kernel.bo.KernelContext$1 org.qedeq.kernel.bo.KernelContext$2 org.qedeq.kernel.bo.KernelContext$3 | org.qedeq.kernel.bo.service.control
org.qedeq.kernel.bo.service.unicode org.qedeq.kernel.xml.dao org.qedeq.kernel.xml.parser org.qedeq.kernel.xml.tracker | org.qedeq.base.io
org.qedeq.base.trace org.qedeq.base.utility org.qedeq.kernel.bo.common org.qedeq.kernel.bo.log org.qedeq.kernel.se.common org.qedeq.kernel.se.config org.qedeq.kernel.se.visitor |
Afferent Couplings: 12 | Efferent Couplings: 8 | Abstractness: 0.88 | Instability: 0.4 | Distance: 0.27 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
org.qedeq.kernel.bo.common.Element2Latex
org.qedeq.kernel.bo.common.Element2Utf8 org.qedeq.kernel.bo.common.KernelProperties org.qedeq.kernel.bo.common.KernelServices org.qedeq.kernel.bo.common.KernelState org.qedeq.kernel.bo.common.ModuleReferenceList org.qedeq.kernel.bo.common.NodeBo org.qedeq.kernel.bo.common.PluginCall org.qedeq.kernel.bo.common.QedeqBo org.qedeq.kernel.bo.common.QedeqBoSet org.qedeq.kernel.bo.common.ServiceCall org.qedeq.kernel.bo.common.ServiceModule org.qedeq.kernel.bo.common.ServiceProcess org.qedeq.kernel.bo.common.ServiceResult |
org.qedeq.kernel.bo.common.BasicKernel
org.qedeq.kernel.bo.common.BasicKernel$LazyHolderTimeoutMethods | org.qedeq.kernel.bo
org.qedeq.kernel.bo.log org.qedeq.kernel.bo.logic.model org.qedeq.kernel.bo.logic.proof.common org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.module org.qedeq.kernel.bo.service.control org.qedeq.kernel.bo.service.dependency org.qedeq.kernel.bo.service.latex org.qedeq.kernel.bo.service.logic org.qedeq.kernel.bo.service.unicode org.qedeq.kernel.xml.dao | org.qedeq.base.utility
org.qedeq.kernel.se.base.list org.qedeq.kernel.se.base.module org.qedeq.kernel.se.common org.qedeq.kernel.se.config org.qedeq.kernel.se.dto.module org.qedeq.kernel.se.state org.qedeq.kernel.se.visitor |
Afferent Couplings: 9 | Efferent Couplings: 4 | Abstractness: 0.3 | Instability: 0.31 | Distance: 0.39 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
org.qedeq.kernel.bo.log.LogListener
org.qedeq.kernel.bo.log.ModuleEventListener org.qedeq.kernel.bo.log.ModuleLogListener |
org.qedeq.kernel.bo.log.DefaultModuleEventListener
org.qedeq.kernel.bo.log.LogListenerImpl org.qedeq.kernel.bo.log.ModuleEventListenerLog org.qedeq.kernel.bo.log.ModuleEventLog org.qedeq.kernel.bo.log.ModuleLogListenerImpl org.qedeq.kernel.bo.log.QedeqLog org.qedeq.kernel.bo.log.TraceListener | org.qedeq.kernel.bo
org.qedeq.kernel.bo.logic.proof.common org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.service.control org.qedeq.kernel.bo.service.dependency org.qedeq.kernel.bo.service.heuristic org.qedeq.kernel.bo.service.latex org.qedeq.kernel.bo.service.logic org.qedeq.kernel.bo.service.unicode | org.qedeq.base.trace
org.qedeq.base.utility org.qedeq.kernel.bo.common org.qedeq.kernel.se.common |
Afferent Couplings: 1 | Efferent Couplings: 6 | Abstractness: 0 | Instability: 0.86 | Distance: 0.14 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
None |
org.qedeq.kernel.bo.logic.FormulaCheckerFactoryImpl
org.qedeq.kernel.bo.logic.ProofCheckerFactoryImpl org.qedeq.kernel.bo.logic.ProofFinderFactoryImpl | org.qedeq.kernel.bo.service.logic
| org.qedeq.base.io
org.qedeq.kernel.bo.logic.common org.qedeq.kernel.bo.logic.proof.checker org.qedeq.kernel.bo.logic.proof.common org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.logic.wf |
Afferent Couplings: 8 | Efferent Couplings: 4 | Abstractness: 0.55 | Instability: 0.33 | Distance: 0.12 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
org.qedeq.kernel.bo.logic.common.ClassOperatorExistenceChecker
org.qedeq.kernel.bo.logic.common.ExistenceChecker org.qedeq.kernel.bo.logic.common.FormulaChecker org.qedeq.kernel.bo.logic.common.FormulaCheckerFactory org.qedeq.kernel.bo.logic.common.FunctionExistenceChecker org.qedeq.kernel.bo.logic.common.IdentityOperatorExistenceChecker org.qedeq.kernel.bo.logic.common.LogicalCheckException org.qedeq.kernel.bo.logic.common.Operators org.qedeq.kernel.bo.logic.common.PredicateExistenceChecker org.qedeq.kernel.bo.logic.common.ReferenceResolver org.qedeq.kernel.bo.logic.common.RuleExistenceChecker |
org.qedeq.kernel.bo.logic.common.ClassOperatorAlreadyExistsException
org.qedeq.kernel.bo.logic.common.FormulaUtility org.qedeq.kernel.bo.logic.common.FunctionConstant org.qedeq.kernel.bo.logic.common.FunctionKey org.qedeq.kernel.bo.logic.common.IdentityOperatorAlreadyExistsException org.qedeq.kernel.bo.logic.common.LogicalCheckExceptionList org.qedeq.kernel.bo.logic.common.PredicateConstant org.qedeq.kernel.bo.logic.common.PredicateKey org.qedeq.kernel.bo.logic.common.SubjectVariable | org.qedeq.kernel.bo.logic
org.qedeq.kernel.bo.logic.model org.qedeq.kernel.bo.logic.proof.checker org.qedeq.kernel.bo.logic.proof.common org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.logic.wf org.qedeq.kernel.bo.module org.qedeq.kernel.bo.service.logic | org.qedeq.base.utility
org.qedeq.kernel.se.base.list org.qedeq.kernel.se.common org.qedeq.kernel.se.dto.list |
Afferent Couplings: 1 | Efferent Couplings: 9 | Abstractness: 0.15 | Instability: 0.9 | Distance: 0.05 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
org.qedeq.kernel.bo.logic.model.DynamicModel
org.qedeq.kernel.bo.logic.model.Function org.qedeq.kernel.bo.logic.model.HeuristicErrorCodes org.qedeq.kernel.bo.logic.model.Model org.qedeq.kernel.bo.logic.model.Operator org.qedeq.kernel.bo.logic.model.Predicate |
org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreter
org.qedeq.kernel.bo.logic.model.DynamicModel$1 org.qedeq.kernel.bo.logic.model.DynamicModel$2 org.qedeq.kernel.bo.logic.model.DynamicModel$3 org.qedeq.kernel.bo.logic.model.DynamicModel$4 org.qedeq.kernel.bo.logic.model.DynamicModel$5 org.qedeq.kernel.bo.logic.model.Entity org.qedeq.kernel.bo.logic.model.FourDynamicModel org.qedeq.kernel.bo.logic.model.FourDynamicModel$1 org.qedeq.kernel.bo.logic.model.FourDynamicModel$2 org.qedeq.kernel.bo.logic.model.FourDynamicModel$3 org.qedeq.kernel.bo.logic.model.Function$1 org.qedeq.kernel.bo.logic.model.FunctionVariable org.qedeq.kernel.bo.logic.model.FunctionVariableInterpreter org.qedeq.kernel.bo.logic.model.HeuristicException org.qedeq.kernel.bo.logic.model.ModelFunctionConstant org.qedeq.kernel.bo.logic.model.ModelPredicateConstant org.qedeq.kernel.bo.logic.model.Predicate$1 org.qedeq.kernel.bo.logic.model.Predicate$2 org.qedeq.kernel.bo.logic.model.Predicate$3 org.qedeq.kernel.bo.logic.model.Predicate$4 org.qedeq.kernel.bo.logic.model.PredicateVariable org.qedeq.kernel.bo.logic.model.PredicateVariableInterpreter org.qedeq.kernel.bo.logic.model.SixDynamicModel org.qedeq.kernel.bo.logic.model.SixDynamicModel$1 org.qedeq.kernel.bo.logic.model.SixDynamicModel$2 org.qedeq.kernel.bo.logic.model.SixDynamicModel$3 org.qedeq.kernel.bo.logic.model.SubjectVariableAllocation org.qedeq.kernel.bo.logic.model.SubjectVariableInterpreter org.qedeq.kernel.bo.logic.model.ThreeDynamicModel org.qedeq.kernel.bo.logic.model.ThreeDynamicModel$1 org.qedeq.kernel.bo.logic.model.ThreeDynamicModel$2 org.qedeq.kernel.bo.logic.model.UnaryDynamicModel org.qedeq.kernel.bo.logic.model.UnaryDynamicModel$1 | org.qedeq.kernel.bo.service.heuristic
| org.qedeq.base.trace
org.qedeq.base.utility org.qedeq.kernel.bo.common org.qedeq.kernel.bo.logic.common org.qedeq.kernel.bo.module org.qedeq.kernel.bo.service.control org.qedeq.kernel.bo.service.unicode org.qedeq.kernel.se.base.list org.qedeq.kernel.se.common |
Afferent Couplings: 2 | Efferent Couplings: 9 | Abstractness: 0.17 | Instability: 0.82 | Distance: 0.02 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
org.qedeq.kernel.bo.logic.proof.checker.BasicProofErrors
|
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckException
org.qedeq.kernel.bo.logic.proof.checker.ProofChecker0Impl org.qedeq.kernel.bo.logic.proof.checker.ProofChecker1Impl org.qedeq.kernel.bo.logic.proof.checker.ProofChecker2Impl org.qedeq.kernel.bo.logic.proof.checker.ProofChecker2Impl$1 | org.qedeq.kernel.bo.logic
org.qedeq.kernel.bo.service.logic | org.qedeq.base.io
org.qedeq.base.utility org.qedeq.kernel.bo.logic.common org.qedeq.kernel.bo.logic.proof.common org.qedeq.kernel.bo.logic.wf org.qedeq.kernel.se.base.list org.qedeq.kernel.se.base.module org.qedeq.kernel.se.common org.qedeq.kernel.se.dto.list |
Afferent Couplings: 4 | Efferent Couplings: 8 | Abstractness: 0.78 | Instability: 0.67 | Distance: 0.44 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
org.qedeq.kernel.bo.logic.proof.common.ProofChecker
org.qedeq.kernel.bo.logic.proof.common.ProofCheckerFactory org.qedeq.kernel.bo.logic.proof.common.ProofException org.qedeq.kernel.bo.logic.proof.common.ProofFinder org.qedeq.kernel.bo.logic.proof.common.ProofFinderFactory org.qedeq.kernel.bo.logic.proof.common.ProofFoundListener org.qedeq.kernel.bo.logic.proof.common.RuleChecker |
org.qedeq.kernel.bo.logic.proof.common.ProofFoundException
org.qedeq.kernel.bo.logic.proof.common.ProofNotFoundException | org.qedeq.kernel.bo.logic
org.qedeq.kernel.bo.logic.proof.checker org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.service.logic | org.qedeq.base.io
org.qedeq.kernel.bo.common org.qedeq.kernel.bo.log org.qedeq.kernel.bo.logic.common org.qedeq.kernel.se.base.list org.qedeq.kernel.se.base.module org.qedeq.kernel.se.common org.qedeq.kernel.se.visitor |
Afferent Couplings: 1 | Efferent Couplings: 12 | Abstractness: 0.21 | Instability: 0.92 | Distance: 0.14 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
org.qedeq.kernel.bo.logic.proof.finder.FinderErrors
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImpl$Substitute org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImpl$SubstituteBase |
org.qedeq.kernel.bo.logic.proof.finder.ModusPonensBo
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImpl org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImpl$1 org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImpl$2 org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImpl$3 org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImpl$4 org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImpl$5 org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImpl$6 org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImpl$7 org.qedeq.kernel.bo.logic.proof.finder.ProofFinderUtility org.qedeq.kernel.bo.logic.proof.finder.SubstPredBo | org.qedeq.kernel.bo.logic
| org.qedeq.base.io
org.qedeq.base.utility org.qedeq.kernel.bo.common org.qedeq.kernel.bo.log org.qedeq.kernel.bo.logic.common org.qedeq.kernel.bo.logic.proof.common org.qedeq.kernel.se.base.list org.qedeq.kernel.se.base.module org.qedeq.kernel.se.common org.qedeq.kernel.se.dto.list org.qedeq.kernel.se.dto.module org.qedeq.kernel.se.visitor |
Afferent Couplings: 2 | Efferent Couplings: 5 | Abstractness: 0.17 | Instability: 0.71 | Distance: 0.12 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
org.qedeq.kernel.bo.logic.wf.FormulaBasicErrors
|
org.qedeq.kernel.bo.logic.wf.ElementCheckException
org.qedeq.kernel.bo.logic.wf.EverythingExists org.qedeq.kernel.bo.logic.wf.FormulaCheckException org.qedeq.kernel.bo.logic.wf.FormulaCheckerImpl org.qedeq.kernel.bo.logic.wf.TermCheckException | org.qedeq.kernel.bo.logic
org.qedeq.kernel.bo.logic.proof.checker | org.qedeq.base.trace
org.qedeq.kernel.bo.logic.common org.qedeq.kernel.se.base.list org.qedeq.kernel.se.common org.qedeq.kernel.se.dto.list |
Afferent Couplings: 9 | Efferent Couplings: 12 | Abstractness: 0.62 | Instability: 0.57 | Distance: 0.19 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
org.qedeq.kernel.bo.module.ControlVisitor
org.qedeq.kernel.bo.module.InternalKernelServices org.qedeq.kernel.bo.module.InternalPluginBo org.qedeq.kernel.bo.module.InternalServiceCall org.qedeq.kernel.bo.module.InternalServiceProcess org.qedeq.kernel.bo.module.KernelQedeqBo org.qedeq.kernel.bo.module.ModuleConstantsExistenceChecker org.qedeq.kernel.bo.module.ModuleErrors org.qedeq.kernel.bo.module.PluginBo org.qedeq.kernel.bo.module.PluginExecutor org.qedeq.kernel.bo.module.QedeqFileDao org.qedeq.kernel.bo.module.Reference org.qedeq.kernel.bo.module.ServiceExecutor |
org.qedeq.kernel.bo.module.DefaultReference
org.qedeq.kernel.bo.module.KernelModuleReferenceList org.qedeq.kernel.bo.module.KernelNodeBo org.qedeq.kernel.bo.module.KernelQedeqBoSet org.qedeq.kernel.bo.module.ModuleLabels org.qedeq.kernel.bo.module.PluginResults org.qedeq.kernel.bo.module.ReferenceLinkException org.qedeq.kernel.bo.module.RuntimeVisitorException | org.qedeq.kernel.bo.logic.model
org.qedeq.kernel.bo.service.control org.qedeq.kernel.bo.service.dependency org.qedeq.kernel.bo.service.heuristic org.qedeq.kernel.bo.service.latex org.qedeq.kernel.bo.service.logic org.qedeq.kernel.bo.service.unicode org.qedeq.kernel.xml.dao org.qedeq.kernel.xml.handler.parser | org.qedeq.base.io
org.qedeq.base.trace org.qedeq.base.utility org.qedeq.kernel.bo.common org.qedeq.kernel.bo.logic.common org.qedeq.kernel.se.base.list org.qedeq.kernel.se.base.module org.qedeq.kernel.se.common org.qedeq.kernel.se.config org.qedeq.kernel.se.dto.module org.qedeq.kernel.se.state org.qedeq.kernel.se.visitor |
Afferent Couplings: 1 | Efferent Couplings: 3 | Abstractness: 0.13 | Instability: 0.75 | Distance: 0.12 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
org.qedeq.kernel.bo.parser.MathParser
org.qedeq.kernel.bo.parser.ParserException |
org.qedeq.kernel.bo.parser.AsciiMathParser
org.qedeq.kernel.bo.parser.ClosingBracketMissingException org.qedeq.kernel.bo.parser.EndSymbolNotFoundException org.qedeq.kernel.bo.parser.LatexMathParser org.qedeq.kernel.bo.parser.MementoTextInput org.qedeq.kernel.bo.parser.Operator org.qedeq.kernel.bo.parser.SeparatorNotFoundException org.qedeq.kernel.bo.parser.SimpleMathParser org.qedeq.kernel.bo.parser.Term org.qedeq.kernel.bo.parser.TermAtom org.qedeq.kernel.bo.parser.TooFewArgumentsException org.qedeq.kernel.bo.parser.TooMuchArgumentsException org.qedeq.kernel.bo.parser.UnexpectedOperatorException | org.qedeq.kernel.xml.handler.parser
| org.qedeq.base.io
org.qedeq.base.trace org.qedeq.base.utility |
Afferent Couplings: 2 | Efferent Couplings: 16 | Abstractness: 0.05 | Instability: 0.89 | Distance: 0.06 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
org.qedeq.kernel.bo.service.control.Element2LatexImpl$ListType
org.qedeq.kernel.bo.service.control.ServiceErrors |
org.qedeq.kernel.bo.service.control.DefaultInternalKernelServices
org.qedeq.kernel.bo.service.control.DefaultInternalKernelServices$1 org.qedeq.kernel.bo.service.control.DefaultInternalKernelServices$2 org.qedeq.kernel.bo.service.control.DefaultInternalKernelServices$3 org.qedeq.kernel.bo.service.control.DefaultInternalKernelServices$4 org.qedeq.kernel.bo.service.control.DefaultInternalKernelServices$5 org.qedeq.kernel.bo.service.control.DefaultInternalKernelServices$5$1 org.qedeq.kernel.bo.service.control.DefaultInternalKernelServices$6 org.qedeq.kernel.bo.service.control.DefaultKernelQedeqBo org.qedeq.kernel.bo.service.control.Element2LatexImpl org.qedeq.kernel.bo.service.control.Element2LatexImpl$BinaryLogical org.qedeq.kernel.bo.service.control.Element2LatexImpl$Class org.qedeq.kernel.bo.service.control.Element2LatexImpl$Classlist org.qedeq.kernel.bo.service.control.Element2LatexImpl$Funcon org.qedeq.kernel.bo.service.control.Element2LatexImpl$Funvar org.qedeq.kernel.bo.service.control.Element2LatexImpl$Not org.qedeq.kernel.bo.service.control.Element2LatexImpl$Predcon org.qedeq.kernel.bo.service.control.Element2LatexImpl$Predvar org.qedeq.kernel.bo.service.control.Element2LatexImpl$Quantifier org.qedeq.kernel.bo.service.control.Element2LatexImpl$QuantorIntersection org.qedeq.kernel.bo.service.control.Element2LatexImpl$QuantorUnion org.qedeq.kernel.bo.service.control.Element2LatexImpl$Unknown org.qedeq.kernel.bo.service.control.Element2LatexImpl$Var org.qedeq.kernel.bo.service.control.Element2Utf8Impl org.qedeq.kernel.bo.service.control.KernelQedeqBoStorage org.qedeq.kernel.bo.service.control.ModuleArbiter org.qedeq.kernel.bo.service.control.ModuleFileNotFoundException org.qedeq.kernel.bo.service.control.ModuleLabelsCreator org.qedeq.kernel.bo.service.control.PluginManager org.qedeq.kernel.bo.service.control.PluginResultManager org.qedeq.kernel.bo.service.control.QedeqVoBuilder org.qedeq.kernel.bo.service.control.ServiceCallImpl org.qedeq.kernel.bo.service.control.ServiceProcessImpl org.qedeq.kernel.bo.service.control.ServiceProcessManager org.qedeq.kernel.bo.service.control.ServiceResultImpl org.qedeq.kernel.bo.service.control.StateManager | org.qedeq.kernel.bo.logic.model
org.qedeq.kernel.xml.dao | org.qedeq.base.io
org.qedeq.base.trace org.qedeq.base.utility org.qedeq.kernel.bo org.qedeq.kernel.bo.common org.qedeq.kernel.bo.log org.qedeq.kernel.bo.module org.qedeq.kernel.bo.service.unicode org.qedeq.kernel.se.base.list org.qedeq.kernel.se.base.module org.qedeq.kernel.se.common org.qedeq.kernel.se.config org.qedeq.kernel.se.dto.list org.qedeq.kernel.se.dto.module org.qedeq.kernel.se.state org.qedeq.kernel.se.visitor |
Afferent Couplings: 0 | Efferent Couplings: 10 | Abstractness: 0.17 | Instability: 1 | Distance: 0.17 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
org.qedeq.kernel.bo.service.dependency.DependencyErrors
|
org.qedeq.kernel.bo.service.dependency.LoadDirectlyRequiredModulesExecutor
org.qedeq.kernel.bo.service.dependency.LoadDirectlyRequiredModulesPlugin org.qedeq.kernel.bo.service.dependency.LoadRequiredModuleException org.qedeq.kernel.bo.service.dependency.LoadRequiredModulesExecutor org.qedeq.kernel.bo.service.dependency.LoadRequiredModulesPlugin | None | org.qedeq.base.io
org.qedeq.base.trace org.qedeq.base.utility org.qedeq.kernel.bo.common org.qedeq.kernel.bo.log org.qedeq.kernel.bo.module org.qedeq.kernel.se.base.module org.qedeq.kernel.se.common org.qedeq.kernel.se.state org.qedeq.kernel.se.visitor |
Afferent Couplings: 0 | Efferent Couplings: 9 | Abstractness: 0 | Instability: 1 | Distance: 0 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
None |
org.qedeq.kernel.bo.service.heuristic.DynamicHeuristicCheckerExecutor
org.qedeq.kernel.bo.service.heuristic.DynamicHeuristicCheckerPlugin | None | org.qedeq.base.io
org.qedeq.base.trace org.qedeq.kernel.bo.log org.qedeq.kernel.bo.logic.model org.qedeq.kernel.bo.module org.qedeq.kernel.se.base.list org.qedeq.kernel.se.base.module org.qedeq.kernel.se.common org.qedeq.kernel.se.dto.list |
Afferent Couplings: 0 | Efferent Couplings: 12 | Abstractness: 0.12 | Instability: 1 | Distance: 0.12 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
org.qedeq.kernel.bo.service.latex.LatexErrorCodes
|
org.qedeq.kernel.bo.service.latex.LatexContentException
org.qedeq.kernel.bo.service.latex.LatexListDataException org.qedeq.kernel.bo.service.latex.Qedeq2LatexExecutor org.qedeq.kernel.bo.service.latex.Qedeq2LatexExecutor$1 org.qedeq.kernel.bo.service.latex.Qedeq2LatexExecutor$2 org.qedeq.kernel.bo.service.latex.Qedeq2LatexPlugin org.qedeq.kernel.bo.service.latex.QedeqBoDuplicateLanguageChecker | None | org.qedeq.base.io
org.qedeq.base.trace org.qedeq.base.utility org.qedeq.kernel.bo.common org.qedeq.kernel.bo.log org.qedeq.kernel.bo.module org.qedeq.kernel.se.base.list org.qedeq.kernel.se.base.module org.qedeq.kernel.se.common org.qedeq.kernel.se.config org.qedeq.kernel.se.dto.module org.qedeq.kernel.se.visitor |
Afferent Couplings: 0 | Efferent Couplings: 17 | Abstractness: 0.09 | Instability: 1 | Distance: 0.09 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
org.qedeq.kernel.bo.service.logic.LogicErrors
|
org.qedeq.kernel.bo.service.logic.CheckRequiredModuleException
org.qedeq.kernel.bo.service.logic.DefaultExistenceChecker org.qedeq.kernel.bo.service.logic.FormalProofCheckerExecutor org.qedeq.kernel.bo.service.logic.FormalProofCheckerPlugin org.qedeq.kernel.bo.service.logic.ModuleConstantsExistenceCheckerImpl org.qedeq.kernel.bo.service.logic.SimpleProofFinderExecutor org.qedeq.kernel.bo.service.logic.SimpleProofFinderExecutor$1 org.qedeq.kernel.bo.service.logic.SimpleProofFinderPlugin org.qedeq.kernel.bo.service.logic.WellFormedCheckerExecutor org.qedeq.kernel.bo.service.logic.WellFormedCheckerPlugin | None | org.qedeq.base.io
org.qedeq.base.trace org.qedeq.base.utility org.qedeq.kernel.bo.common org.qedeq.kernel.bo.log org.qedeq.kernel.bo.logic org.qedeq.kernel.bo.logic.common org.qedeq.kernel.bo.logic.proof.checker org.qedeq.kernel.bo.logic.proof.common org.qedeq.kernel.bo.module org.qedeq.kernel.se.base.list org.qedeq.kernel.se.base.module org.qedeq.kernel.se.common org.qedeq.kernel.se.dto.list org.qedeq.kernel.se.dto.module org.qedeq.kernel.se.state org.qedeq.kernel.se.visitor |
Afferent Couplings: 2 | Efferent Couplings: 12 | Abstractness: 0.17 | Instability: 0.86 | Distance: 0.02 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
org.qedeq.kernel.bo.service.unicode.ReferenceFinder
org.qedeq.kernel.bo.service.unicode.UnicodeErrorCodes |
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParser
org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParser$1 org.qedeq.kernel.bo.service.unicode.Latex2UnicodeSpecials org.qedeq.kernel.bo.service.unicode.ProofLineData org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutor org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextPlugin org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeVisitor org.qedeq.kernel.bo.service.unicode.Qedeq2Utf8Executor org.qedeq.kernel.bo.service.unicode.Qedeq2Utf8Plugin org.qedeq.kernel.bo.service.unicode.UnicodeException | org.qedeq.kernel.bo.logic.model
org.qedeq.kernel.bo.service.control | org.qedeq.base.io
org.qedeq.base.trace org.qedeq.base.utility org.qedeq.kernel.bo org.qedeq.kernel.bo.common org.qedeq.kernel.bo.log org.qedeq.kernel.bo.module org.qedeq.kernel.se.base.list org.qedeq.kernel.se.base.module org.qedeq.kernel.se.common org.qedeq.kernel.se.config org.qedeq.kernel.se.visitor |
Afferent Couplings: 22 | Efferent Couplings: 0 | Abstractness: 1 | Instability: 0 | Distance: 0 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
org.qedeq.kernel.se.base.list.Atom
org.qedeq.kernel.se.base.list.Element org.qedeq.kernel.se.base.list.ElementList | None | org.qedeq.kernel.bo.common
org.qedeq.kernel.bo.logic.common org.qedeq.kernel.bo.logic.model org.qedeq.kernel.bo.logic.proof.checker org.qedeq.kernel.bo.logic.proof.common org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.logic.wf org.qedeq.kernel.bo.module org.qedeq.kernel.bo.service.control org.qedeq.kernel.bo.service.heuristic org.qedeq.kernel.bo.service.latex org.qedeq.kernel.bo.service.logic org.qedeq.kernel.bo.service.unicode org.qedeq.kernel.se.base.module org.qedeq.kernel.se.dto.list org.qedeq.kernel.se.dto.module org.qedeq.kernel.se.visitor org.qedeq.kernel.xml.dao org.qedeq.kernel.xml.handler.list org.qedeq.kernel.xml.handler.module org.qedeq.kernel.xml.mapper org.qedeq.kernel.xml.parser | None |
Afferent Couplings: 17 | Efferent Couplings: 1 | Abstractness: 1 | Instability: 0.06 | Distance: 0.06 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
org.qedeq.kernel.se.base.module.Add
org.qedeq.kernel.se.base.module.Author org.qedeq.kernel.se.base.module.AuthorList org.qedeq.kernel.se.base.module.Axiom org.qedeq.kernel.se.base.module.ChangedRule org.qedeq.kernel.se.base.module.ChangedRuleList org.qedeq.kernel.se.base.module.Chapter org.qedeq.kernel.se.base.module.ChapterList org.qedeq.kernel.se.base.module.Conclusion org.qedeq.kernel.se.base.module.ConditionalProof org.qedeq.kernel.se.base.module.Existential org.qedeq.kernel.se.base.module.FormalProof org.qedeq.kernel.se.base.module.FormalProofLine org.qedeq.kernel.se.base.module.FormalProofLineList org.qedeq.kernel.se.base.module.FormalProofList org.qedeq.kernel.se.base.module.Formula org.qedeq.kernel.se.base.module.FunctionDefinition org.qedeq.kernel.se.base.module.Header org.qedeq.kernel.se.base.module.Hypothesis org.qedeq.kernel.se.base.module.Import org.qedeq.kernel.se.base.module.ImportList org.qedeq.kernel.se.base.module.InitialFunctionDefinition org.qedeq.kernel.se.base.module.InitialPredicateDefinition org.qedeq.kernel.se.base.module.Latex org.qedeq.kernel.se.base.module.LatexList org.qedeq.kernel.se.base.module.LinkList org.qedeq.kernel.se.base.module.LiteratureItem org.qedeq.kernel.se.base.module.LiteratureItemList org.qedeq.kernel.se.base.module.Location org.qedeq.kernel.se.base.module.LocationList org.qedeq.kernel.se.base.module.ModusPonens org.qedeq.kernel.se.base.module.Node org.qedeq.kernel.se.base.module.NodeType org.qedeq.kernel.se.base.module.PredicateDefinition org.qedeq.kernel.se.base.module.Proof org.qedeq.kernel.se.base.module.ProofList org.qedeq.kernel.se.base.module.Proposition org.qedeq.kernel.se.base.module.Qedeq org.qedeq.kernel.se.base.module.Reason org.qedeq.kernel.se.base.module.Rename org.qedeq.kernel.se.base.module.Rule org.qedeq.kernel.se.base.module.Section org.qedeq.kernel.se.base.module.SectionList org.qedeq.kernel.se.base.module.Specification org.qedeq.kernel.se.base.module.Subsection org.qedeq.kernel.se.base.module.SubsectionList org.qedeq.kernel.se.base.module.SubsectionType org.qedeq.kernel.se.base.module.SubstFree org.qedeq.kernel.se.base.module.SubstFunc org.qedeq.kernel.se.base.module.SubstPred org.qedeq.kernel.se.base.module.Term org.qedeq.kernel.se.base.module.Universal org.qedeq.kernel.se.base.module.UsedByList | None | org.qedeq.kernel.bo.common
org.qedeq.kernel.bo.logic.proof.checker org.qedeq.kernel.bo.logic.proof.common org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.module org.qedeq.kernel.bo.service.control org.qedeq.kernel.bo.service.dependency org.qedeq.kernel.bo.service.heuristic org.qedeq.kernel.bo.service.latex org.qedeq.kernel.bo.service.logic org.qedeq.kernel.bo.service.unicode org.qedeq.kernel.se.common org.qedeq.kernel.se.dto.module org.qedeq.kernel.se.visitor org.qedeq.kernel.xml.dao org.qedeq.kernel.xml.handler.module org.qedeq.kernel.xml.mapper | org.qedeq.kernel.se.base.list
|
Afferent Couplings: 25 | Efferent Couplings: 4 | Abstractness: 0.6 | Instability: 0.14 | Distance: 0.26 |
Afferent Couplings: 6 | Efferent Couplings: 2 | Abstractness: 0 | Instability: 0.25 | Distance: 0.75 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
None |
org.qedeq.kernel.se.config.ConfigAccess
org.qedeq.kernel.se.config.QedeqConfig | org.qedeq.kernel.bo
org.qedeq.kernel.bo.common org.qedeq.kernel.bo.module org.qedeq.kernel.bo.service.control org.qedeq.kernel.bo.service.latex org.qedeq.kernel.bo.service.unicode | org.qedeq.base.io
org.qedeq.kernel.se.common |
Afferent Couplings: 8 | Efferent Couplings: 1 | Abstractness: 0 | Instability: 0.11 | Distance: 0.89 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
None |
org.qedeq.kernel.se.dto.list.DefaultAtom
org.qedeq.kernel.se.dto.list.DefaultElementList org.qedeq.kernel.se.dto.list.ElementSet | org.qedeq.kernel.bo.logic.common
org.qedeq.kernel.bo.logic.proof.checker org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.logic.wf org.qedeq.kernel.bo.service.control org.qedeq.kernel.bo.service.heuristic org.qedeq.kernel.bo.service.logic org.qedeq.kernel.xml.handler.list | org.qedeq.kernel.se.base.list
|
Afferent Couplings: 8 | Efferent Couplings: 3 | Abstractness: 0 | Instability: 0.27 | Distance: 0.73 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
None |
org.qedeq.kernel.se.dto.module.AddVo
org.qedeq.kernel.se.dto.module.AuthorListVo org.qedeq.kernel.se.dto.module.AuthorVo org.qedeq.kernel.se.dto.module.AxiomVo org.qedeq.kernel.se.dto.module.ChangedRuleListVo org.qedeq.kernel.se.dto.module.ChangedRuleVo org.qedeq.kernel.se.dto.module.ChapterListVo org.qedeq.kernel.se.dto.module.ChapterVo org.qedeq.kernel.se.dto.module.ConclusionVo org.qedeq.kernel.se.dto.module.ConditionalProofVo org.qedeq.kernel.se.dto.module.ExistentialVo org.qedeq.kernel.se.dto.module.FormalProofLineListVo org.qedeq.kernel.se.dto.module.FormalProofLineVo org.qedeq.kernel.se.dto.module.FormalProofListVo org.qedeq.kernel.se.dto.module.FormalProofVo org.qedeq.kernel.se.dto.module.FormulaVo org.qedeq.kernel.se.dto.module.FunctionDefinitionVo org.qedeq.kernel.se.dto.module.HeaderVo org.qedeq.kernel.se.dto.module.HypothesisVo org.qedeq.kernel.se.dto.module.ImportListVo org.qedeq.kernel.se.dto.module.ImportVo org.qedeq.kernel.se.dto.module.InitialFunctionDefinitionVo org.qedeq.kernel.se.dto.module.InitialPredicateDefinitionVo org.qedeq.kernel.se.dto.module.LatexListVo org.qedeq.kernel.se.dto.module.LatexVo org.qedeq.kernel.se.dto.module.LinkListVo org.qedeq.kernel.se.dto.module.LiteratureItemListVo org.qedeq.kernel.se.dto.module.LiteratureItemVo org.qedeq.kernel.se.dto.module.LocationListVo org.qedeq.kernel.se.dto.module.LocationVo org.qedeq.kernel.se.dto.module.ModusPonensVo org.qedeq.kernel.se.dto.module.NodeVo org.qedeq.kernel.se.dto.module.PredicateDefinitionVo org.qedeq.kernel.se.dto.module.ProofListVo org.qedeq.kernel.se.dto.module.ProofVo org.qedeq.kernel.se.dto.module.PropositionVo org.qedeq.kernel.se.dto.module.QedeqVo org.qedeq.kernel.se.dto.module.RenameVo org.qedeq.kernel.se.dto.module.RuleVo org.qedeq.kernel.se.dto.module.SectionListVo org.qedeq.kernel.se.dto.module.SectionVo org.qedeq.kernel.se.dto.module.SpecificationVo org.qedeq.kernel.se.dto.module.SubsectionListVo org.qedeq.kernel.se.dto.module.SubsectionVo org.qedeq.kernel.se.dto.module.SubstFreeVo org.qedeq.kernel.se.dto.module.SubstFuncVo org.qedeq.kernel.se.dto.module.SubstPredVo org.qedeq.kernel.se.dto.module.TermVo org.qedeq.kernel.se.dto.module.UniversalVo org.qedeq.kernel.se.dto.module.UsedByListVo | org.qedeq.kernel.bo.common
org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.module org.qedeq.kernel.bo.service.control org.qedeq.kernel.bo.service.latex org.qedeq.kernel.bo.service.logic org.qedeq.kernel.se.visitor org.qedeq.kernel.xml.handler.module | org.qedeq.base.utility
org.qedeq.kernel.se.base.list org.qedeq.kernel.se.base.module |
Afferent Couplings: 5 | Efferent Couplings: 1 | Abstractness: 0.55 | Instability: 0.17 | Distance: 0.29 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
org.qedeq.kernel.se.state.AbstractState
org.qedeq.kernel.se.state.DependencyStateDescriptions org.qedeq.kernel.se.state.FormallyProvedStateDescriptions org.qedeq.kernel.se.state.LoadingImportsStateDescriptions org.qedeq.kernel.se.state.LoadingStateDescriptions org.qedeq.kernel.se.state.WellFormedStateDescriptions |
org.qedeq.kernel.se.state.DependencyState
org.qedeq.kernel.se.state.FormallyProvedState org.qedeq.kernel.se.state.LoadingImportsState org.qedeq.kernel.se.state.LoadingState org.qedeq.kernel.se.state.WellFormedState | org.qedeq.kernel.bo.common
org.qedeq.kernel.bo.module org.qedeq.kernel.bo.service.control org.qedeq.kernel.bo.service.dependency org.qedeq.kernel.bo.service.logic | org.qedeq.kernel.se.common
|
Afferent Couplings: 12 | Efferent Couplings: 5 | Abstractness: 0.5 | Instability: 0.29 | Distance: 0.21 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
org.qedeq.kernel.se.visitor.AbstractModuleVisitor
org.qedeq.kernel.se.visitor.ContextChecker org.qedeq.kernel.se.visitor.ListVisitor org.qedeq.kernel.se.visitor.QedeqTraverser org.qedeq.kernel.se.visitor.QedeqVisitor |
org.qedeq.kernel.se.visitor.DefaultContextChecker
org.qedeq.kernel.se.visitor.InterruptException org.qedeq.kernel.se.visitor.LatexList2Text org.qedeq.kernel.se.visitor.QedeqNotNullTraverser org.qedeq.kernel.se.visitor.QedeqNumbers | org.qedeq.kernel.bo
org.qedeq.kernel.bo.common org.qedeq.kernel.bo.logic.proof.common org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.module org.qedeq.kernel.bo.service.control org.qedeq.kernel.bo.service.dependency org.qedeq.kernel.bo.service.latex org.qedeq.kernel.bo.service.logic org.qedeq.kernel.bo.service.unicode org.qedeq.kernel.xml.dao org.qedeq.kernel.xml.mapper | org.qedeq.base.utility
org.qedeq.kernel.se.base.list org.qedeq.kernel.se.base.module org.qedeq.kernel.se.common org.qedeq.kernel.se.dto.module |
Afferent Couplings: 5 | Efferent Couplings: 1 | Abstractness: 0 | Instability: 0.17 | Distance: 0.83 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
None |
org.qedeq.kernel.xml.common.XmlSyntaxException
| org.qedeq.kernel.xml.handler.common
org.qedeq.kernel.xml.handler.list org.qedeq.kernel.xml.handler.module org.qedeq.kernel.xml.handler.parser org.qedeq.kernel.xml.parser | org.qedeq.kernel.se.common
|
Afferent Couplings: 0 | Efferent Couplings: 16 | Abstractness: 0.25 | Instability: 1 | Distance: 0.25 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
org.qedeq.kernel.xml.dao.DaoErrors
|
org.qedeq.kernel.xml.dao.Qedeq2Xml
org.qedeq.kernel.xml.dao.Xml2Xml org.qedeq.kernel.xml.dao.XmlQedeqFileDao | None | org.qedeq.base.io
org.qedeq.base.trace org.qedeq.base.utility org.qedeq.kernel.bo org.qedeq.kernel.bo.common org.qedeq.kernel.bo.module org.qedeq.kernel.bo.service.control org.qedeq.kernel.se.base.list org.qedeq.kernel.se.base.module org.qedeq.kernel.se.common org.qedeq.kernel.se.visitor org.qedeq.kernel.xml.handler.common org.qedeq.kernel.xml.handler.module org.qedeq.kernel.xml.mapper org.qedeq.kernel.xml.parser org.qedeq.kernel.xml.tracker |
Afferent Couplings: 6 | Efferent Couplings: 4 | Abstractness: 0.25 | Instability: 0.4 | Distance: 0.35 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
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.dao
org.qedeq.kernel.xml.handler.list org.qedeq.kernel.xml.handler.module org.qedeq.kernel.xml.handler.parser org.qedeq.kernel.xml.parser org.qedeq.kernel.xml.tracker | org.qedeq.base.io
org.qedeq.base.trace org.qedeq.kernel.se.common org.qedeq.kernel.xml.common |
Afferent Couplings: 2 | Efferent Couplings: 4 | Abstractness: 0 | Instability: 0.67 | Distance: 0.33 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
None |
org.qedeq.kernel.xml.handler.list.BasicHandler
org.qedeq.kernel.xml.handler.list.ElementHandler | org.qedeq.kernel.xml.handler.module
org.qedeq.kernel.xml.parser | org.qedeq.kernel.se.base.list
org.qedeq.kernel.se.dto.list org.qedeq.kernel.xml.common org.qedeq.kernel.xml.handler.common |
Afferent Couplings: 1 | Efferent Couplings: 6 | Abstractness: 0 | Instability: 0.86 | Distance: 0.14 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
None |
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.dao
| org.qedeq.kernel.se.base.list
org.qedeq.kernel.se.base.module org.qedeq.kernel.se.dto.module org.qedeq.kernel.xml.common org.qedeq.kernel.xml.handler.common org.qedeq.kernel.xml.handler.list |
Afferent Couplings: 0 | Efferent Couplings: 7 | Abstractness: 0.33 | Instability: 1 | Distance: 0.33 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
org.qedeq.kernel.xml.handler.parser.ParserErrors
|
org.qedeq.kernel.xml.handler.parser.LoadXmlOperatorListUtility
org.qedeq.kernel.xml.handler.parser.ParserHandler | None | org.qedeq.base.trace
org.qedeq.kernel.bo.module org.qedeq.kernel.bo.parser org.qedeq.kernel.se.common org.qedeq.kernel.xml.common org.qedeq.kernel.xml.handler.common org.qedeq.kernel.xml.parser |
Afferent Couplings: 1 | Efferent Couplings: 7 | Abstractness: 0 | Instability: 0.88 | Distance: 0.12 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
None |
org.qedeq.kernel.xml.mapper.Context2SimpleXPath
org.qedeq.kernel.xml.mapper.LocationFoundException org.qedeq.kernel.xml.mapper.LocationNotFoundException | org.qedeq.kernel.xml.dao
| org.qedeq.base.trace
org.qedeq.base.utility org.qedeq.kernel.se.base.list org.qedeq.kernel.se.base.module org.qedeq.kernel.se.common org.qedeq.kernel.se.visitor org.qedeq.kernel.xml.tracker |
Afferent Couplings: 2 | Efferent Couplings: 8 | Abstractness: 0 | Instability: 0.8 | Distance: 0.2 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
None |
org.qedeq.kernel.xml.parser.BasicParser
org.qedeq.kernel.xml.parser.BasicParser$1 org.qedeq.kernel.xml.parser.SaxEntityResolver org.qedeq.kernel.xml.parser.SaxErrorHandler org.qedeq.kernel.xml.parser.SaxParser | org.qedeq.kernel.xml.dao
org.qedeq.kernel.xml.handler.parser | org.qedeq.base.io
org.qedeq.base.trace org.qedeq.kernel.bo org.qedeq.kernel.se.base.list org.qedeq.kernel.se.common org.qedeq.kernel.xml.common org.qedeq.kernel.xml.handler.common org.qedeq.kernel.xml.handler.list |
Afferent Couplings: 2 | Efferent Couplings: 5 | Abstractness: 0 | Instability: 0.71 | Distance: 0.29 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
None |
org.qedeq.kernel.xml.tracker.SimpleXPath
org.qedeq.kernel.xml.tracker.XPathLocationFinder org.qedeq.kernel.xml.tracker.XPathLocationFoundException org.qedeq.kernel.xml.tracker.XPathLocationParser | org.qedeq.kernel.xml.dao
org.qedeq.kernel.xml.mapper | org.qedeq.base.io
org.qedeq.base.trace org.qedeq.base.utility org.qedeq.kernel.bo org.qedeq.kernel.xml.handler.common |
Cycles | [summary] [packages] [cycles] [explanations] |
There are no cyclic dependancies.
Explanations | [summary] [packages] [cycles] [explanations] |
The following explanations are for quick reference and are lifted directly from the original JDepend documentation.
The number of concrete and abstract classes (and interfaces) in the package is an indicator of the extensibility of the package.
The number of other packages that depend upon classes within the package is an indicator of the package's responsibility.
The number of other packages that the classes in the package depend upon is an indicator of the package's independence.
The ratio of the number of abstract classes (and interfaces) in the analyzed package to the total number of classes in the analyzed package.
The range for this metric is 0 to 1, with A=0 indicating a completely concrete package and A=1 indicating a completely abstract package.
The ratio of efferent coupling (Ce) to total coupling (Ce / (Ce + Ca)). This metric is an indicator of the package's resilience to change.
The range for this metric is 0 to 1, with I=0 indicating a completely stable package and I=1 indicating a completely instable package.
The perpendicular distance of a package from the idealized line A + I = 1. This metric is an indicator of the package's balance between abstractness and stability.
A package squarely on the main sequence is optimally balanced with respect to its abstractness and stability. Ideal packages are either completely abstract and stable (x=0, y=1) or completely concrete and instable (x=1, y=0).
The range for this metric is 0 to 1, with D=0 indicating a package that is coincident with the main sequence and D=1 indicating a package that is as far from the main sequence as possible.