JDepend Analysis

Designed for use with JDepend and Ant.


Summary

[summary] [packages] [cycles] [explanations]
PackageTotal ClassesAbstract ClassesConcrete ClassesAfferent CouplingsEfferent CouplingsAbstractnessInstabilityDistance
org.qedeq.base.io121111920.080.10.82
org.qedeq.base.trace101190001
org.qedeq.base.utility6151800.1700.83
org.qedeq.kernel.bo6065700.580.42
org.qedeq.kernel.bo.common1111012710.370.37
org.qedeq.kernel.bo.log1037840.30.330.37
org.qedeq.kernel.bo.logic3031600.860.14
org.qedeq.kernel.bo.logic.common20119940.550.310.14
org.qedeq.kernel.bo.logic.model40634190.150.90.05
org.qedeq.kernel.bo.logic.proof.checker615290.170.820.02
org.qedeq.kernel.bo.logic.proof.common972480.780.670.44
org.qedeq.kernel.bo.logic.proof.finder143111120.210.920.14
org.qedeq.kernel.bo.logic.wf615350.170.620.21
org.qedeq.kernel.bo.logic.work30303010
org.qedeq.kernel.bo.module16888100.50.560.06
org.qedeq.kernel.bo.parser15213230.130.60.27
org.qedeq.kernel.bo.service332311150.060.940
org.qedeq.kernel.bo.service.heuristic202010010
org.qedeq.kernel.bo.service.latex6150120.1710.17
org.qedeq.kernel.bo.service.logic111101150.090.940.03
org.qedeq.kernel.bo.service.unicode132112130.150.870.02
org.qedeq.kernel.se.base.list330230100
org.qedeq.kernel.se.base.module5454016110.060.06
org.qedeq.kernel.se.common201192340.550.150.3
org.qedeq.kernel.se.config2025200.290.71
org.qedeq.kernel.se.dto.list3038100.110.89
org.qedeq.kernel.se.dto.module500508300.270.73
org.qedeq.kernel.se.visitor844740.50.360.14
org.qedeq.kernel.xml.common1015100.170.83
org.qedeq.kernel.xml.dao4130140.2510.25
org.qedeq.kernel.xml.handler.common413640.250.40.35
org.qedeq.kernel.xml.handler.list2022400.670.33
org.qedeq.kernel.xml.handler.module400401600.860.14
org.qedeq.kernel.xml.handler.parser312070.3310.33
org.qedeq.kernel.xml.mapper3031700.880.12
org.qedeq.kernel.xml.parser5052800.80.2
org.qedeq.kernel.xml.tracker4042500.710.29

Packages

[summary] [packages] [cycles] [explanations]

org.qedeq.base.io

Afferent Couplings: 19Efferent Couplings: 2Abstractness: 0.08Instability: 0.1Distance: 0.82
Abstract ClassesConcrete ClassesUsed by PackagesUses Packages
org.qedeq.base.io.AbstractOutput
org.qedeq.base.io.IoUtility
org.qedeq.base.io.Parameters
org.qedeq.base.io.ResourceLoaderUtility
org.qedeq.base.io.SourceArea
org.qedeq.base.io.SourcePosition
org.qedeq.base.io.StringOutput
org.qedeq.base.io.SubTextInput
org.qedeq.base.io.TextInput
org.qedeq.base.io.TextOutput
org.qedeq.base.io.Version
org.qedeq.base.io.VersionSet
org.qedeq.kernel.bo
org.qedeq.kernel.bo.common
org.qedeq.kernel.bo.logic
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.parser
org.qedeq.kernel.bo.service
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.config
org.qedeq.kernel.xml.dao
org.qedeq.kernel.xml.handler.common
org.qedeq.kernel.xml.parser
org.qedeq.kernel.xml.tracker
org.qedeq.base.trace
org.qedeq.base.utility

org.qedeq.base.trace

Afferent Couplings: 19Efferent Couplings: 0Abstractness: 0Instability: 0Distance: 1
Abstract ClassesConcrete ClassesUsed by PackagesUses Packages
None org.qedeq.base.trace.Trace
org.qedeq.base.io
org.qedeq.kernel.bo
org.qedeq.kernel.bo.log
org.qedeq.kernel.bo.logic.model
org.qedeq.kernel.bo.logic.wf
org.qedeq.kernel.bo.module
org.qedeq.kernel.bo.parser
org.qedeq.kernel.bo.service
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.xml.dao
org.qedeq.kernel.xml.handler.common
org.qedeq.kernel.xml.handler.parser
org.qedeq.kernel.xml.mapper
org.qedeq.kernel.xml.parser
org.qedeq.kernel.xml.tracker
None

org.qedeq.base.utility

Afferent Couplings: 18Efferent Couplings: 0Abstractness: 0.17Instability: 0Distance: 0.83
Abstract ClassesConcrete ClassesUsed by PackagesUses 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.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
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.xml.dao
org.qedeq.kernel.xml.mapper
org.qedeq.kernel.xml.tracker
None

org.qedeq.kernel.bo

Afferent Couplings: 5Efferent Couplings: 7Abstractness: 0Instability: 0.58Distance: 0.42
Abstract ClassesConcrete ClassesUsed by PackagesUses Packages
None org.qedeq.kernel.bo.BasicKernel
org.qedeq.kernel.bo.BasicKernel$LazyHolderTimeoutMethods
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
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.bo.common

Afferent Couplings: 12Efferent Couplings: 7Abstractness: 1Instability: 0.37Distance: 0.37
Abstract ClassesConcrete ClassesUsed by PackagesUses 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.PluginExecutor
org.qedeq.kernel.bo.common.QedeqBo
org.qedeq.kernel.bo.common.ServiceModule
org.qedeq.kernel.bo.common.ServiceProcess
Noneorg.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
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.base.io
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

org.qedeq.kernel.bo.log

Afferent Couplings: 8Efferent Couplings: 4Abstractness: 0.3Instability: 0.33Distance: 0.37
Abstract ClassesConcrete ClassesUsed by PackagesUses 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
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

org.qedeq.kernel.bo.logic

Afferent Couplings: 1Efferent Couplings: 6Abstractness: 0Instability: 0.86Distance: 0.14
Abstract ClassesConcrete ClassesUsed by PackagesUses 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

org.qedeq.kernel.bo.logic.common

Afferent Couplings: 9Efferent Couplings: 4Abstractness: 0.55Instability: 0.31Distance: 0.14
Abstract ClassesConcrete ClassesUsed by PackagesUses 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.logic.work
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

org.qedeq.kernel.bo.logic.model

Afferent Couplings: 1Efferent Couplings: 9Abstractness: 0.15Instability: 0.9Distance: 0.05
Abstract ClassesConcrete ClassesUsed by PackagesUses 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
org.qedeq.kernel.bo.service.unicode
org.qedeq.kernel.se.base.list
org.qedeq.kernel.se.common

org.qedeq.kernel.bo.logic.proof.checker

Afferent Couplings: 2Efferent Couplings: 9Abstractness: 0.17Instability: 0.82Distance: 0.02
Abstract ClassesConcrete ClassesUsed by PackagesUses 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

org.qedeq.kernel.bo.logic.proof.common

Afferent Couplings: 4Efferent Couplings: 8Abstractness: 0.78Instability: 0.67Distance: 0.44
Abstract ClassesConcrete ClassesUsed by PackagesUses 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

org.qedeq.kernel.bo.logic.proof.finder

Afferent Couplings: 1Efferent Couplings: 12Abstractness: 0.21Instability: 0.92Distance: 0.14
Abstract ClassesConcrete ClassesUsed by PackagesUses 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

org.qedeq.kernel.bo.logic.wf

Afferent Couplings: 3Efferent Couplings: 5Abstractness: 0.17Instability: 0.62Distance: 0.21
Abstract ClassesConcrete ClassesUsed by PackagesUses 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.kernel.bo.logic.work
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

org.qedeq.kernel.bo.logic.work

Afferent Couplings: 0Efferent Couplings: 3Abstractness: 0Instability: 1Distance: 0
Abstract ClassesConcrete ClassesUsed by PackagesUses Packages
None org.qedeq.kernel.bo.logic.work.EqualFormula
org.qedeq.kernel.bo.logic.work.EqualFormulaSet
org.qedeq.kernel.bo.logic.work.LogicalEquivalence
Noneorg.qedeq.kernel.bo.logic.common
org.qedeq.kernel.bo.logic.wf
org.qedeq.kernel.se.base.list

org.qedeq.kernel.bo.module

Afferent Couplings: 8Efferent Couplings: 10Abstractness: 0.5Instability: 0.56Distance: 0.06
Abstract ClassesConcrete ClassesUsed by PackagesUses Packages
org.qedeq.kernel.bo.module.ControlVisitor
org.qedeq.kernel.bo.module.InternalKernelServices
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.QedeqFileDao
org.qedeq.kernel.bo.module.Reference
org.qedeq.kernel.bo.module.DefaultReference
org.qedeq.kernel.bo.module.KernelModuleReferenceList
org.qedeq.kernel.bo.module.KernelNodeBo
org.qedeq.kernel.bo.module.ModuleLabels
org.qedeq.kernel.bo.module.PluginResults
org.qedeq.kernel.bo.module.PluginState
org.qedeq.kernel.bo.module.ReferenceLinkException
org.qedeq.kernel.bo.module.RuntimeVisitorException
org.qedeq.kernel.bo.logic.model
org.qedeq.kernel.bo.service
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.dto.module
org.qedeq.kernel.se.visitor

org.qedeq.kernel.bo.parser

Afferent Couplings: 2Efferent Couplings: 3Abstractness: 0.13Instability: 0.6Distance: 0.27
Abstract ClassesConcrete ClassesUsed by PackagesUses 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.bo.service.unicode
org.qedeq.kernel.xml.handler.parser
org.qedeq.base.io
org.qedeq.base.trace
org.qedeq.base.utility

org.qedeq.kernel.bo.service

Afferent Couplings: 1Efferent Couplings: 15Abstractness: 0.06Instability: 0.94Distance: 0
Abstract ClassesConcrete ClassesUsed by PackagesUses Packages
org.qedeq.kernel.bo.service.Element2LatexImpl$ListType
org.qedeq.kernel.bo.service.ServiceErrors
org.qedeq.kernel.bo.service.DefaultInternalKernelServices
org.qedeq.kernel.bo.service.DefaultInternalKernelServices$1
org.qedeq.kernel.bo.service.DefaultInternalKernelServices$2
org.qedeq.kernel.bo.service.DefaultKernelQedeqBo
org.qedeq.kernel.bo.service.Element2LatexImpl
org.qedeq.kernel.bo.service.Element2LatexImpl$BinaryLogical
org.qedeq.kernel.bo.service.Element2LatexImpl$Class
org.qedeq.kernel.bo.service.Element2LatexImpl$Classlist
org.qedeq.kernel.bo.service.Element2LatexImpl$Funcon
org.qedeq.kernel.bo.service.Element2LatexImpl$Funvar
org.qedeq.kernel.bo.service.Element2LatexImpl$Not
org.qedeq.kernel.bo.service.Element2LatexImpl$Predcon
org.qedeq.kernel.bo.service.Element2LatexImpl$Predvar
org.qedeq.kernel.bo.service.Element2LatexImpl$Quantifier
org.qedeq.kernel.bo.service.Element2LatexImpl$QuantorIntersection
org.qedeq.kernel.bo.service.Element2LatexImpl$QuantorUnion
org.qedeq.kernel.bo.service.Element2LatexImpl$Unknown
org.qedeq.kernel.bo.service.Element2LatexImpl$Var
org.qedeq.kernel.bo.service.Element2Utf8Impl
org.qedeq.kernel.bo.service.KernelQedeqBoStorage
org.qedeq.kernel.bo.service.LoadDirectlyRequiredModules
org.qedeq.kernel.bo.service.LoadRequiredModuleException
org.qedeq.kernel.bo.service.LoadRequiredModules
org.qedeq.kernel.bo.service.ModuleFileNotFoundException
org.qedeq.kernel.bo.service.ModuleLabelsCreator
org.qedeq.kernel.bo.service.PluginManager
org.qedeq.kernel.bo.service.PluginResultManager
org.qedeq.kernel.bo.service.QedeqVoBuilder
org.qedeq.kernel.bo.service.ServiceProcessImpl
org.qedeq.kernel.bo.service.ServiceProcessManager
org.qedeq.kernel.bo.service.StateManager
org.qedeq.kernel.bo.logic.model
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.logic
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.bo.service.heuristic

Afferent Couplings: 0Efferent Couplings: 10Abstractness: 0Instability: 1Distance: 0
Abstract ClassesConcrete ClassesUsed by PackagesUses Packages
None org.qedeq.kernel.bo.service.heuristic.DynamicHeuristicCheckerExecutor
org.qedeq.kernel.bo.service.heuristic.DynamicHeuristicCheckerPlugin
Noneorg.qedeq.base.io
org.qedeq.base.trace
org.qedeq.kernel.bo.common
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

org.qedeq.kernel.bo.service.latex

Afferent Couplings: 0Efferent Couplings: 12Abstractness: 0.17Instability: 1Distance: 0.17
Abstract ClassesConcrete ClassesUsed by PackagesUses 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.Qedeq2LatexPlugin
org.qedeq.kernel.bo.service.latex.QedeqBoDuplicateLanguageChecker
Noneorg.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

org.qedeq.kernel.bo.service.logic

Afferent Couplings: 1Efferent Couplings: 15Abstractness: 0.09Instability: 0.94Distance: 0.03
Abstract ClassesConcrete ClassesUsed by PackagesUses 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
org.qedeq.kernel.bo.service
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.bo.service.unicode

Afferent Couplings: 2Efferent Couplings: 13Abstractness: 0.15Instability: 0.87Distance: 0.02
Abstract ClassesConcrete ClassesUsed by PackagesUses 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.LatexTextParser
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
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.parser
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

org.qedeq.kernel.se.base.list

Afferent Couplings: 23Efferent Couplings: 0Abstractness: 1Instability: 0Distance: 0
Abstract ClassesConcrete ClassesUsed by PackagesUses Packages
org.qedeq.kernel.se.base.list.Atom
org.qedeq.kernel.se.base.list.Element
org.qedeq.kernel.se.base.list.ElementList
Noneorg.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.logic.work
org.qedeq.kernel.bo.module
org.qedeq.kernel.bo.service
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

org.qedeq.kernel.se.base.module

Afferent Couplings: 16Efferent Couplings: 1Abstractness: 1Instability: 0.06Distance: 0.06
Abstract ClassesConcrete ClassesUsed by PackagesUses 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
org.qedeq.kernel.se.base.module.VariableList
Noneorg.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
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

org.qedeq.kernel.se.common

Afferent Couplings: 23Efferent Couplings: 4Abstractness: 0.55Instability: 0.15Distance: 0.3
Abstract ClassesConcrete ClassesUsed by PackagesUses Packages
org.qedeq.kernel.se.common.CheckLevel
org.qedeq.kernel.se.common.DependencyStateDescriptions
org.qedeq.kernel.se.common.ErrorCodes
org.qedeq.kernel.se.common.LoadingStateDescriptions
org.qedeq.kernel.se.common.LogicalModuleStateDescriptions
org.qedeq.kernel.se.common.ModuleAddress
org.qedeq.kernel.se.common.ModuleDataException
org.qedeq.kernel.se.common.Plugin
org.qedeq.kernel.se.common.QedeqException
org.qedeq.kernel.se.common.SourceFileExceptionList
org.qedeq.kernel.se.common.State
org.qedeq.kernel.se.common.DefaultModuleAddress
org.qedeq.kernel.se.common.DefaultSourceFileExceptionList
org.qedeq.kernel.se.common.DependencyState
org.qedeq.kernel.se.common.IllegalModuleDataException
org.qedeq.kernel.se.common.LoadingState
org.qedeq.kernel.se.common.LogicalModuleState
org.qedeq.kernel.se.common.ModuleContext
org.qedeq.kernel.se.common.RuleKey
org.qedeq.kernel.se.common.SourceFileException
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.common
org.qedeq.kernel.bo.logic.proof.finder
org.qedeq.kernel.bo.logic.wf
org.qedeq.kernel.bo.module
org.qedeq.kernel.bo.service
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.config
org.qedeq.kernel.se.visitor
org.qedeq.kernel.xml.common
org.qedeq.kernel.xml.dao
org.qedeq.kernel.xml.handler.common
org.qedeq.kernel.xml.handler.parser
org.qedeq.kernel.xml.mapper
org.qedeq.kernel.xml.parser
org.qedeq.base.io
org.qedeq.base.trace
org.qedeq.base.utility
org.qedeq.kernel.se.base.module

org.qedeq.kernel.se.config

Afferent Couplings: 5Efferent Couplings: 2Abstractness: 0Instability: 0.29Distance: 0.71
Abstract ClassesConcrete ClassesUsed by PackagesUses 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.service
org.qedeq.kernel.bo.service.latex
org.qedeq.kernel.bo.service.unicode
org.qedeq.base.io
org.qedeq.kernel.se.common

org.qedeq.kernel.se.dto.list

Afferent Couplings: 8Efferent Couplings: 1Abstractness: 0Instability: 0.11Distance: 0.89
Abstract ClassesConcrete ClassesUsed by PackagesUses 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
org.qedeq.kernel.bo.service.heuristic
org.qedeq.kernel.bo.service.logic
org.qedeq.kernel.xml.handler.list
org.qedeq.kernel.se.base.list

org.qedeq.kernel.se.dto.module

Afferent Couplings: 8Efferent Couplings: 3Abstractness: 0Instability: 0.27Distance: 0.73
Abstract ClassesConcrete ClassesUsed by PackagesUses 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
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

org.qedeq.kernel.se.visitor

Afferent Couplings: 7Efferent Couplings: 4Abstractness: 0.5Instability: 0.36Distance: 0.14
Abstract ClassesConcrete ClassesUsed by PackagesUses Packages
org.qedeq.kernel.se.visitor.AbstractModuleVisitor
org.qedeq.kernel.se.visitor.ListVisitor
org.qedeq.kernel.se.visitor.QedeqTraverser
org.qedeq.kernel.se.visitor.QedeqVisitor
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.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.latex
org.qedeq.kernel.bo.service.unicode
org.qedeq.kernel.xml.mapper
org.qedeq.kernel.se.base.list
org.qedeq.kernel.se.base.module
org.qedeq.kernel.se.common
org.qedeq.kernel.se.dto.module

org.qedeq.kernel.xml.common

Afferent Couplings: 5Efferent Couplings: 1Abstractness: 0Instability: 0.17Distance: 0.83
Abstract ClassesConcrete ClassesUsed by PackagesUses 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

org.qedeq.kernel.xml.dao

Afferent Couplings: 0Efferent Couplings: 14Abstractness: 0.25Instability: 1Distance: 0.25
Abstract ClassesConcrete ClassesUsed by PackagesUses 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
Noneorg.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.se.base.list
org.qedeq.kernel.se.base.module
org.qedeq.kernel.se.common
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

org.qedeq.kernel.xml.handler.common

Afferent Couplings: 6Efferent Couplings: 4Abstractness: 0.25Instability: 0.4Distance: 0.35
Abstract ClassesConcrete ClassesUsed by PackagesUses 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

org.qedeq.kernel.xml.handler.list

Afferent Couplings: 2Efferent Couplings: 4Abstractness: 0Instability: 0.67Distance: 0.33
Abstract ClassesConcrete ClassesUsed by PackagesUses 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

org.qedeq.kernel.xml.handler.module

Afferent Couplings: 1Efferent Couplings: 6Abstractness: 0Instability: 0.86Distance: 0.14
Abstract ClassesConcrete ClassesUsed by PackagesUses 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

org.qedeq.kernel.xml.handler.parser

Afferent Couplings: 0Efferent Couplings: 7Abstractness: 0.33Instability: 1Distance: 0.33
Abstract ClassesConcrete ClassesUsed by PackagesUses Packages
org.qedeq.kernel.xml.handler.parser.ParserErrors
org.qedeq.kernel.xml.handler.parser.LoadXmlOperatorListUtility
org.qedeq.kernel.xml.handler.parser.ParserHandler
Noneorg.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

org.qedeq.kernel.xml.mapper

Afferent Couplings: 1Efferent Couplings: 7Abstractness: 0Instability: 0.88Distance: 0.12
Abstract ClassesConcrete ClassesUsed by PackagesUses 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

org.qedeq.kernel.xml.parser

Afferent Couplings: 2Efferent Couplings: 8Abstractness: 0Instability: 0.8Distance: 0.2
Abstract ClassesConcrete ClassesUsed by PackagesUses 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

org.qedeq.kernel.xml.tracker

Afferent Couplings: 2Efferent Couplings: 5Abstractness: 0Instability: 0.71Distance: 0.29
Abstract ClassesConcrete ClassesUsed by PackagesUses Packages
None org.qedeq.kernel.xml.tracker.LocationFoundException
org.qedeq.kernel.xml.tracker.SimpleXPath
org.qedeq.kernel.xml.tracker.XPathLocationFinder
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.

Number of Classes

The number of concrete and abstract classes (and interfaces) in the package is an indicator of the extensibility of the package.

Afferent Couplings

The number of other packages that depend upon classes within the package is an indicator of the package's responsibility.

Efferent Couplings

The number of other packages that the classes in the package depend upon is an indicator of the package's independence.

Abstractness

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.

Instability

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.

Distance

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.