Index of reverse engineered Java class diagrams for

package edu.umd.cs.findbugs.ba.vna

in project findbugs

Java classes and interfaces which make an appearance in the reverse engineered class diagrams.

  edu.umd.cs.findbugs.ba.vna.AvailableLoad
  edu.umd.cs.findbugs.ba.vna.LoadedFieldSet
  edu.umd.cs.findbugs.ba.vna.MergeTree
  edu.umd.cs.findbugs.ba.vna.ValueNumber
  edu.umd.cs.findbugs.ba.vna.ValueNumberAnalysis
  edu.umd.cs.findbugs.ba.vna.ValueNumberAnalysisFeatures
  edu.umd.cs.findbugs.ba.vna.ValueNumberCache
  edu.umd.cs.findbugs.ba.vna.ValueNumberDataflow
  edu.umd.cs.findbugs.ba.vna.ValueNumberFactory
  edu.umd.cs.findbugs.ba.vna.ValueNumberSourceInfo

 

Class diagrams in which each of the above makes an appearance

 

  edu.umd.cs.findbugs.ba.vna.AvailableLoad
Java class diagram containing AvailableLoad

ByDependency

shows types and dependency lines only

seeded by IsNullValueAnalysis

Java class diagram containing AvailableLoad

ByDependency

shows types and dependency lines only

seeded by IsNullValueFrameModelingVisitor

Java class diagram containing AvailableLoad

ByDependency

shows types and dependency lines only

seeded by this type (AvailableLoad)

Java class diagram containing AvailableLoad

ByDependency

shows types and dependency lines only

seeded by ValueNumberAnalysis

Java class diagram containing AvailableLoad

ByDependency

shows types and dependency lines only

seeded by ValueNumberSourceInfo

Java class diagram containing AvailableLoad

ByPackage

highlights get methods

seeded by (package)

Java class diagram containing AvailableLoad

ByPackage

shows only constructors

seeded by (package)

  edu.umd.cs.findbugs.ba.vna.LoadedFieldSet
Java class diagram containing LoadedFieldSet

ByDependency

shows types and dependency lines only

seeded by this type (LoadedFieldSet)

Java class diagram containing LoadedFieldSet

ByDependency

shows types and dependency lines only

seeded by ValueNumberAnalysis

Java class diagram containing LoadedFieldSet

ByPackage

highlights get methods

seeded by (package)

Java class diagram containing LoadedFieldSet

ByPackage

shows only constructors

seeded by (package)

Java class diagram containing LoadedFieldSet

ByDependency

shows types and dependency lines only

seeded by AnalysisFactory

Java class diagram containing LoadedFieldSet

ByDependency

shows types and dependency lines only

seeded by LoadedFieldSetFactory

Java class diagram containing LoadedFieldSet

ByDependency

shows types and dependency lines only

seeded by ValueNumberDataflowFactory

  edu.umd.cs.findbugs.ba.vna.MergeTree
Java class diagram containing MergeTree

ByDependency

shows types and dependency lines only

seeded by UsagesRequiringNonNullValues

Java class diagram containing MergeTree

ByDependency

shows types and dependency lines only

seeded by this type (MergeTree)

Java class diagram containing MergeTree

ByDependency

shows types and dependency lines only

seeded by ValueNumberAnalysis

Java class diagram containing MergeTree

ByDependency

shows types and dependency lines only

seeded by ValueNumberFactory

Java class diagram containing MergeTree

ByPackage

highlights get methods

seeded by (package)

Java class diagram containing MergeTree

ByPackage

shows only constructors

seeded by (package)

Java class diagram containing MergeTree

ByDependency

shows types and dependency lines only

seeded by ValueNumberDataflowFactory

  edu.umd.cs.findbugs.ba.vna.ValueNumber
Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by LockAnalysis

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by LockChecker

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by LockSet

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by FieldAccess

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by FieldVariable

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by Load

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by LocalVariable

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by LongOrDoubleLocalVariable

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by Store

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by UnconditionalValueDerefSet

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by BackwardTypeQualifierDataflowAnalysis

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by BackwardTypeQualifierDataflowFactory

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by ForwardTypeQualifierDataflowAnalysis

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by ForwardTypeQualifierDataflowFactory

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by SourceSinkInfo

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by TypeQualifierDataflowAnalysis

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by DerefFinder

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by IsNullConditionDecision

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by IsNullValueAnalysis

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by IsNullValueFrameModelingVisitor

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by IsNullValueFrame

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by LocationWhereValueBecomesNull

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by NullDerefAndRedundantComparisonCollector

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by NullDerefAndRedundantComparisonFinder

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by UsagesRequiringNonNullValues

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by AcmpCondition

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by Condition

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by DefinitelyNullSetAnalysis

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by DefinitelyNullSet

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by IfNullCondition

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by AvailableLoad

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by MergeTree

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by ValueNumberAnalysis

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by ValueNumberCache

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by ValueNumberDataflow

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by ValueNumberFactory

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by ValueNumberSourceInfo

Java class diagram containing ValueNumber

ByPackage

highlights get methods

seeded by (package)

Java class diagram containing ValueNumber

ByPackage

shows only constructors

seeded by (package)

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by BuildUnconditionalParamDerefDatabase

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by CheckTypeQualifiers

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by DontIgnoreResultOfPutIfAbsent

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by FindBadCast2

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by FindInconsistentSync2

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by FindMismatchedWaitOrNotify

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by FindNullDerefsInvolvingNonShortCircuitEvaluation

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by FindSelfComparison2

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by FindUnreleasedLock

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by InfiniteRecursiveLoop2

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by Lock

Java class diagram containing ValueNumber

ByDependency

shows types and dependency lines only

seeded by MapCache

  edu.umd.cs.findbugs.ba.vna.ValueNumberAnalysis
Java class diagram containing ValueNumberAnalysis

ByInheritance

overriding and overridden methods large, no fields

seeded by AbstractDataflowAnalysis

Java class diagram containing ValueNumberAnalysis

ByInheritance

show abstract classes highlighted

seeded by AbstractDataflowAnalysis

Java class diagram containing ValueNumberAnalysis

ByInheritance

highlight interfaces (and inheritance lines involving interfaces)

seeded by AbstractDataflowAnalysis

Java class diagram containing ValueNumberAnalysis

ByInheritance

overriding and overridden methods large, no fields

seeded by BasicAbstractDataflowAnalysis

Java class diagram containing ValueNumberAnalysis

ByInheritance

show abstract classes highlighted

seeded by BasicAbstractDataflowAnalysis

Java class diagram containing ValueNumberAnalysis

ByInheritance

highlight interfaces (and inheritance lines involving interfaces)

seeded by BasicAbstractDataflowAnalysis

Java class diagram containing ValueNumberAnalysis

ByInheritance

overriding and overridden methods large, no fields

seeded by DataflowAnalysis

Java class diagram containing ValueNumberAnalysis

ByInheritance

show abstract classes highlighted

seeded by DataflowAnalysis

Java class diagram containing ValueNumberAnalysis

ByInheritance

highlight interfaces (and inheritance lines involving interfaces)

seeded by DataflowAnalysis

Java class diagram containing ValueNumberAnalysis

ByDependency

shows types and dependency lines only

seeded by Dataflow

Java class diagram containing ValueNumberAnalysis

ByDependency

shows types and dependency lines only

seeded by DepthFirstSearch

Java class diagram containing ValueNumberAnalysis

ByDependency

shows types and dependency lines only

seeded by DominatorsAnalysis

Java class diagram containing ValueNumberAnalysis

ByInheritance

overriding and overridden methods large, no fields

seeded by ForwardDataflowAnalysis

Java class diagram containing ValueNumberAnalysis

ByInheritance

show abstract classes highlighted

seeded by ForwardDataflowAnalysis

Java class diagram containing ValueNumberAnalysis

ByInheritance

highlight interfaces (and inheritance lines involving interfaces)

seeded by ForwardDataflowAnalysis

Java class diagram containing ValueNumberAnalysis

ByInheritance

overriding and overridden methods large, no fields

seeded by FrameDataflowAnalysis

Java class diagram containing ValueNumberAnalysis

ByInheritance

show abstract classes highlighted

seeded by FrameDataflowAnalysis

Java class diagram containing ValueNumberAnalysis

ByInheritance

highlight interfaces (and inheritance lines involving interfaces)

seeded by FrameDataflowAnalysis

Java class diagram containing ValueNumberAnalysis

ByDependency

shows types and dependency lines only

seeded by FrameDataflowAnalysis

Java class diagram containing ValueNumberAnalysis

ByDependency

shows types and dependency lines only

seeded by LockAnalysis

Java class diagram containing ValueNumberAnalysis

ByDependency

shows types and dependency lines only

seeded by RepositoryLookupFailureCallback

Java class diagram containing ValueNumberAnalysis

ByDependency

shows types and dependency lines only

seeded by LoadedFieldSet

Java class diagram containing ValueNumberAnalysis

ByDependency

shows types and dependency lines only

seeded by MergeTree

Java class diagram containing ValueNumberAnalysis

ByInheritance

overriding and overridden methods large, no fields

seeded by this type (ValueNumberAnalysis)

Java class diagram containing ValueNumberAnalysis

ByInheritance

show abstract classes highlighted

seeded by this type (ValueNumberAnalysis)

Java class diagram containing ValueNumberAnalysis

ByInheritance

highlight interfaces (and inheritance lines involving interfaces)

seeded by this type (ValueNumberAnalysis)

Java class diagram containing ValueNumberAnalysis

ByDependency

shows types and dependency lines only

seeded by this type (ValueNumberAnalysis)

Java class diagram containing ValueNumberAnalysis

ByDependency

shows types and dependency lines only

seeded by ValueNumberCache

Java class diagram containing ValueNumberAnalysis

ByDependency

shows types and dependency lines only

seeded by ValueNumberDataflow

Java class diagram containing ValueNumberAnalysis

ByDependency

shows types and dependency lines only

seeded by ValueNumberFactory

Java class diagram containing ValueNumberAnalysis

ByPackage

highlights get methods

seeded by (package)

Java class diagram containing ValueNumberAnalysis

ByPackage

shows only constructors

seeded by (package)

Java class diagram containing ValueNumberAnalysis

ByDependency

shows types and dependency lines only

seeded by ValueNumberDataflowFactory

Java class diagram containing ValueNumberAnalysis

ByDependency

shows types and dependency lines only

seeded by DottedClassName

  edu.umd.cs.findbugs.ba.vna.ValueNumberAnalysisFeatures
Java class diagram containing ValueNumberAnalysisFeatures

ByDependency

shows types and dependency lines only

seeded by IsNullValueFrameModelingVisitor

Java class diagram containing ValueNumberAnalysisFeatures

ByDependency

shows types and dependency lines only

seeded by IsNullValueFrame

Java class diagram containing ValueNumberAnalysisFeatures

ByDependency

shows types and dependency lines only

seeded by this type (ValueNumberAnalysisFeatures)

Java class diagram containing ValueNumberAnalysisFeatures

ByPackage

highlights get methods

seeded by (package)

Java class diagram containing ValueNumberAnalysisFeatures

ByPackage

shows only constructors

seeded by (package)

  edu.umd.cs.findbugs.ba.vna.ValueNumberCache
Java class diagram containing ValueNumberCache

ByDependency

shows types and dependency lines only

seeded by SuppressWarnings

Java class diagram containing ValueNumberCache

ByDependency

shows types and dependency lines only

seeded by ValueNumberAnalysis

Java class diagram containing ValueNumberCache

ByDependency

shows types and dependency lines only

seeded by this type (ValueNumberCache)

Java class diagram containing ValueNumberCache

ByPackage

highlights get methods

seeded by (package)

Java class diagram containing ValueNumberCache

ByPackage

shows only constructors

seeded by (package)

Java class diagram containing ValueNumberCache

ByDependency

shows types and dependency lines only

seeded by Strings

  edu.umd.cs.findbugs.ba.vna.ValueNumberDataflow
Java class diagram containing ValueNumberDataflow

ByInheritance

overriding and overridden methods large, no fields

seeded by AbstractDataflow

Java class diagram containing ValueNumberDataflow

ByInheritance

show abstract classes highlighted

seeded by AbstractDataflow

Java class diagram containing ValueNumberDataflow

ByInheritance

highlight interfaces (and inheritance lines involving interfaces)

seeded by AbstractDataflow

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by AbstractDataflow

Java class diagram containing ValueNumberDataflow

ByInheritance

overriding and overridden methods large, no fields

seeded by Dataflow

Java class diagram containing ValueNumberDataflow

ByInheritance

show abstract classes highlighted

seeded by Dataflow

Java class diagram containing ValueNumberDataflow

ByInheritance

highlight interfaces (and inheritance lines involving interfaces)

seeded by Dataflow

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by LockAnalysis

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by LockChecker

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by SignatureParser

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by PatternMatcher

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by BackwardTypeQualifierDataflowAnalysis

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by BackwardTypeQualifierDataflowFactory

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by ForwardTypeQualifierDataflowAnalysis

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by ForwardTypeQualifierDataflowFactory

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by TypeQualifierDataflowAnalysis

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by TypeQualifierDataflowFactory

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by DerefFinder

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by IsNullValueAnalysis

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by IsNullValueFrameModelingVisitor

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by NullDerefAndRedundantComparisonCollector

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by NullDerefAndRedundantComparisonFinder

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by UsagesRequiringNonNullValues

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by DefinitelyNullSetAnalysis

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by ValueNumberAnalysis

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by this type (ValueNumberDataflow)

Java class diagram containing ValueNumberDataflow

ByPackage

highlights get methods

seeded by (package)

Java class diagram containing ValueNumberDataflow

ByPackage

shows only constructors

seeded by (package)

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by AnalysisFactory

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by DefinitelyNullSetDataflowFactory

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by IsNullValueDataflowFactory

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by LockDataflowFactory

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by UnconditionalValueDerefDataflowFactory

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by ValueNumberDataflowFactory

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by BuildUnconditionalParamDerefDatabase

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by CheckTypeQualifiers

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by DontIgnoreResultOfPutIfAbsent

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by FindBadCast2

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by FindInconsistentSync2

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by FindMismatchedWaitOrNotify

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by FindNullDerefsInvolvingNonShortCircuitEvaluation

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by FindSelfComparison2

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by FindUnreleasedLock

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by InfiniteRecursiveLoop2

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by Lock

Java class diagram containing ValueNumberDataflow

ByDependency

shows types and dependency lines only

seeded by DottedClassName

  edu.umd.cs.findbugs.ba.vna.ValueNumberFactory
Java class diagram containing ValueNumberFactory

ByDependency

shows types and dependency lines only

seeded by LockSet

Java class diagram containing ValueNumberFactory

ByDependency

shows types and dependency lines only

seeded by UnconditionalValueDerefSet

Java class diagram containing ValueNumberFactory

ByDependency

shows types and dependency lines only

seeded by MergeTree

Java class diagram containing ValueNumberFactory

ByDependency

shows types and dependency lines only

seeded by ValueNumberAnalysis

Java class diagram containing ValueNumberFactory

ByDependency

shows types and dependency lines only

seeded by this type (ValueNumberFactory)

Java class diagram containing ValueNumberFactory

ByPackage

highlights get methods

seeded by (package)

Java class diagram containing ValueNumberFactory

ByPackage

shows only constructors

seeded by (package)

Java class diagram containing ValueNumberFactory

ByDependency

shows types and dependency lines only

seeded by DottedClassName

  edu.umd.cs.findbugs.ba.vna.ValueNumberSourceInfo
Java class diagram containing ValueNumberSourceInfo

ByDependency

shows types and dependency lines only

seeded by BugAnnotation

Java class diagram containing ValueNumberSourceInfo

ByDependency

shows types and dependency lines only

seeded by FieldAnnotation

Java class diagram containing ValueNumberSourceInfo

ByDependency

shows types and dependency lines only

seeded by NullDerefAndRedundantComparisonFinder

Java class diagram containing ValueNumberSourceInfo

ByDependency

shows types and dependency lines only

seeded by AvailableLoad

Java class diagram containing ValueNumberSourceInfo

ByDependency

shows types and dependency lines only

seeded by this type (ValueNumberSourceInfo)

Java class diagram containing ValueNumberSourceInfo

ByPackage

highlights get methods

seeded by (package)

Java class diagram containing ValueNumberSourceInfo

ByPackage

shows only constructors

seeded by (package)

Java class diagram containing ValueNumberSourceInfo

ByDependency

shows types and dependency lines only

seeded by CheckTypeQualifiers

Java class diagram containing ValueNumberSourceInfo

ByDependency

shows types and dependency lines only

seeded by DontIgnoreResultOfPutIfAbsent

Java class diagram containing ValueNumberSourceInfo

ByDependency

shows types and dependency lines only

seeded by FindBadCast2

Java class diagram containing ValueNumberSourceInfo

ByDependency

shows types and dependency lines only

seeded by FindNullDerefsInvolvingNonShortCircuitEvaluation

Java class diagram containing ValueNumberSourceInfo

ByDependency

shows types and dependency lines only

seeded by FindSelfComparison2