Designed for use with JDepend and Ant.
Summary | [summary] [packages] [cycles] [explanations] |
Packages | [summary] [packages] [cycles] [explanations] |
Afferent Couplings: 15 | Efferent Couplings: 2 | Abstractness: 0.11 | Instability: 0.12 | Distance: 0.77 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
org.qedeq.base.io.AbstractOutput
|
org.qedeq.base.io.IoUtility
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.kernel.bo
org.qedeq.kernel.bo.log 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 |
Afferent Couplings: 19 | Efferent Couplings: 0 | Abstractness: 0 | Instability: 0 | Distance: 1 |
Afferent Couplings: 18 | 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.log org.qedeq.kernel.bo.logic.common org.qedeq.kernel.bo.logic.model org.qedeq.kernel.bo.logic.proof.basic 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 |
Afferent Couplings: 5 | Efferent Couplings: 7 | Abstractness: 0 | Instability: 0.58 | Distance: 0.42 |
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.KernelContext$LazyHolderTimeoutMethods | 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 |
Afferent Couplings: 9 | Efferent Couplings: 6 | Abstractness: 1 | Instability: 0.4 | Distance: 0.4 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
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 | None | org.qedeq.kernel.bo
org.qedeq.kernel.bo.log 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.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: 6 | Efferent Couplings: 5 | Abstractness: 0.25 | Instability: 0.45 | Distance: 0.3 |
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.DefaultModuleEventListener
org.qedeq.kernel.bo.log.LogListenerImpl org.qedeq.kernel.bo.log.ModuleEventListenerLog org.qedeq.kernel.bo.log.ModuleEventLog org.qedeq.kernel.bo.log.QedeqLog org.qedeq.kernel.bo.log.TraceListener | org.qedeq.kernel.bo
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.io
org.qedeq.base.trace org.qedeq.base.utility org.qedeq.kernel.bo.common org.qedeq.kernel.se.common |
Afferent Couplings: 1 | Efferent Couplings: 4 | Abstractness: 0 | Instability: 0.8 | Distance: 0.2 |
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.kernel.bo.logic.common
org.qedeq.kernel.bo.logic.proof.basic org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.logic.wf |
Afferent Couplings: 8 | Efferent Couplings: 6 | Abstractness: 0.62 | Instability: 0.43 | Distance: 0.05 |
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.ProofChecker org.qedeq.kernel.bo.logic.common.ProofCheckerFactory org.qedeq.kernel.bo.logic.common.ProofFinder org.qedeq.kernel.bo.logic.common.ProofFinderFactory org.qedeq.kernel.bo.logic.common.ProofFoundListener org.qedeq.kernel.bo.logic.common.ReferenceResolver |
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.basic 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.base.module org.qedeq.kernel.se.common org.qedeq.kernel.se.dto.list org.qedeq.kernel.se.visitor |
Afferent Couplings: 1 | Efferent Couplings: 8 | Abstractness: 0.15 | Instability: 0.89 | Distance: 0.04 |
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.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 |
Afferent Couplings: 2 | Efferent Couplings: 6 | Abstractness: 0.33 | Instability: 0.75 | Distance: 0.08 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
org.qedeq.kernel.bo.logic.proof.basic.BasicProofErrors
|
org.qedeq.kernel.bo.logic.proof.basic.ProofCheckException
org.qedeq.kernel.bo.logic.proof.basic.ProofCheckerImpl | org.qedeq.kernel.bo.logic
org.qedeq.kernel.bo.service.logic | org.qedeq.base.utility
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.list |
Afferent Couplings: 1 | Efferent Couplings: 10 | Abstractness: 0 | Instability: 0.91 | Distance: 0.09 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
None |
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$ProofFoundException org.qedeq.kernel.bo.logic.proof.finder.ProofFinderUtility org.qedeq.kernel.bo.logic.proof.finder.SubstPredBo | org.qedeq.kernel.bo.logic
| org.qedeq.base.utility
org.qedeq.kernel.bo.logic.common org.qedeq.kernel.bo.module org.qedeq.kernel.bo.service 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.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 |
Afferent Couplings: 0 | Efferent Couplings: 3 | Abstractness: 0 | Instability: 1 | Distance: 0 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
None |
org.qedeq.kernel.bo.logic.work.EqualFormula
org.qedeq.kernel.bo.logic.work.EqualFormulaSet org.qedeq.kernel.bo.logic.work.LogicalEquivalence | None | org.qedeq.kernel.bo.logic.common
org.qedeq.kernel.bo.logic.wf org.qedeq.kernel.se.base.list |
Afferent Couplings: 9 | Efferent Couplings: 10 | Abstractness: 0.56 | Instability: 0.53 | Distance: 0.08 |
Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
---|---|---|---|
org.qedeq.kernel.bo.module.ControlVisitor
org.qedeq.kernel.bo.module.Element2Latex org.qedeq.kernel.bo.module.Element2Utf8 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.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.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 |
Afferent Couplings: 2 | Efferent Couplings: 3 | Abstractness: 0.13 | Instability: 0.6 | Distance: 0.27 |
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.bo.service.unicode
org.qedeq.kernel.xml.handler.parser | org.qedeq.base.io
org.qedeq.base.trace org.qedeq.base.utility |
Afferent Couplings: 2 | Efferent Couplings: 15 | Abstractness: 0.06 | Instability: 0.88 | Distance: 0.06 |
Abstract Classes | Concrete Classes | Used by Packages | Uses 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.kernel.bo.logic.proof.finder | 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 |
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.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 |
Afferent Couplings: 0 | Efferent Couplings: 11 | Abstractness: 0.17 | Instability: 1 | Distance: 0.17 |
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.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 |
Afferent Couplings: 1 | Efferent Couplings: 14 | Abstractness: 0.1 | Instability: 0.93 | Distance: 0.03 |
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.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.basic 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 |
Afferent Couplings: 2 | Efferent Couplings: 13 | Abstractness: 0.17 | Instability: 0.87 | Distance: 0.03 |
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.LatexTextParser 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 |
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.basic 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 |
Afferent Couplings: 16 | 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.Chapter org.qedeq.kernel.se.base.module.ChapterList 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.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.ReasonType 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 | None | org.qedeq.kernel.bo.common
org.qedeq.kernel.bo.logic.common org.qedeq.kernel.bo.logic.proof.basic 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
|
Afferent Couplings: 22 | Efferent Couplings: 4 | Abstractness: 0.58 | Instability: 0.15 | Distance: 0.27 |
Abstract Classes | Concrete Classes | Used by Packages | Uses 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.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.basic 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 |
Afferent Couplings: 5 | Efferent Couplings: 2 | Abstractness: 0 | Instability: 0.29 | Distance: 0.71 |
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.service org.qedeq.kernel.bo.service.latex org.qedeq.kernel.bo.service.unicode | org.qedeq.base.io
org.qedeq.kernel.se.common |
Afferent Couplings: 7 | Efferent Couplings: 1 | Abstractness: 0 | Instability: 0.12 | Distance: 0.88 |
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.basic org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.logic.wf org.qedeq.kernel.bo.service 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.ChapterListVo org.qedeq.kernel.se.dto.module.ChapterVo 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.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.ReasonTypeVo 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 |
Afferent Couplings: 6 | Efferent Couplings: 4 | Abstractness: 0.5 | Instability: 0.4 | Distance: 0.1 |
Abstract Classes | Concrete Classes | Used by Packages | Uses 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.common org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.module 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 |
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: 14 | 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.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 |
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.ChapterHandler 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.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.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] |
org.qedeq.kernel.bo.logic.proof.finder
org.qedeq.kernel.bo.service
org.qedeq.kernel.bo.service.logic
org.qedeq.kernel.bo.logic
org.qedeq.kernel.bo.service
org.qedeq.kernel.bo.service.logic
org.qedeq.kernel.bo.logic
org.qedeq.kernel.bo.logic.proof.finder
org.qedeq.kernel.bo.service
org.qedeq.kernel.bo.service
org.qedeq.kernel.bo.service.logic
org.qedeq.kernel.bo.logic
org.qedeq.kernel.bo.logic.proof.finder
org.qedeq.kernel.bo.service.logic
org.qedeq.kernel.bo.logic
org.qedeq.kernel.bo.logic.proof.finder
org.qedeq.kernel.bo.service
org.qedeq.kernel.bo.logic.model
org.qedeq.kernel.bo.service
org.qedeq.kernel.bo.service.logic
org.qedeq.kernel.bo.logic
org.qedeq.kernel.bo.logic.proof.finder
org.qedeq.kernel.bo.service
org.qedeq.kernel.bo.logic
org.qedeq.kernel.bo.logic.proof.finder
org.qedeq.kernel.bo.service
org.qedeq.kernel.bo.service.logic
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.