#
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
–
deprecated
org
org.opalj
org.opalj.ai
(class)
AI
(class)
AIAborted
(object)
(class)
AICompleted
(class)
AIException
(class)
AIResult
(object)
AIResultBuilder
(trait)
AITracer
(object)
(class)
BaseAI
(class)
BoundedInterruptableAI
(class)
Computation
(object)
ComputationFailed
(object)
ComputationWithException
(object)
ComputationWithResult
(object)
ComputationWithResultAndException
(object)
ComputationWithSideEffectOnly
(case class)
ComputationWithSideEffectOrException
(case class)
ComputedValue
(case class)
ComputedValueOrException
(trait)
Configuration
(trait)
CoreDomainFunctionality
(trait)
CorrelationalDomain
(trait)
CorrelationalDomainSupport
(class)
CountingAI
(object)
CTC1
(object)
CTC2
(trait)
CustomInitialization
(trait)
Domain
(case class)
DomainException
(trait)
DoubleValuesDomain
(trait)
DoubleValuesFactory
(trait)
ExceptionsFactory
(object)
ExceptionsRaisedByCalledMethods
(trait)
FieldAccessesDomain
(trait)
FloatValuesDomain
(trait)
FloatValuesFactory
(trait)
IdentityBasedCorrelationChangeDetection
(object)
(class)
InstructionCountBoundedAI
(trait)
IntegerRangeValuesFactory
(trait)
IntegerValuesDomain
(trait)
IntegerValuesFactory
(object)
(trait)
InterpretationFailedException
(class)
InterruptableAI
(object)
(trait)
IsAReferenceValue
(trait)
IsBooleanValue
(trait)
IsByteValue
(trait)
IsCharValue
(trait)
IsDoubleValue
(trait)
IsFloatValue
(trait)
IsIntegerValue
(trait)
IsLongValue
(object)
IsNullValue
(object)
(trait)
IsPrimitiveValue
(object)
(trait)
IsReferenceValue
(trait)
IsShortValue
(trait)
JoinStabilization
(trait)
LongValuesDomain
(trait)
LongValuesFactory
(case class)
MetaInformationUpdate
(object)
(trait)
MetaInformationUpdateType
(trait)
MethodCallsDomain
(trait)
MonitorInstructionsDomain
(class)
MultiTracer
(object)
NoUpdate
(object)
NoUpdateType
(trait)
PrimitiveValuesConversionsDomain
(trait)
ReferenceValuesDomain
(trait)
ReferenceValuesFactory
(trait)
ReturnInstructionsDomain
(object)
(class)
SomeUpdate
(case class)
StructuralUpdate
(object)
StructuralUpdateType
(trait)
SubroutinesDomain
(trait)
TheAI
(trait)
TheClassHierarchy
(trait)
TheCodeStructure
(trait)
TheMemoryLayout
(case class)
ThrowsException
(class)
TimeBoundedAI
(trait)
TypedValuesFactory
(trait)
TypeInformation
(object)
TypeUnknown
(class)
Update
(class)
UpdateType
(trait)
ValuesDomain
org.opalj.ai.analyses
(class)
BaseFieldValuesAnalysisDomain
(class)
BaseMethodReturnValuesAnalysisDomain
(object)
FieldValuesAnalysis
(object)
FieldValuesKey
(class)
FPFieldValuesAnalysisDomain
(class)
FPMethodReturnValuesAnalysisDomain
(object)
MethodReturnValuesAnalysis
(object)
MethodReturnValuesKey
org.opalj.ai.analyses.cg
(case class)
AdditionalCallTargets
(class)
BasicVTACallGraphAlgorithmConfiguration
(class)
BasicVTACallGraphDomain
(class)
BasicVTAWithPreAnalysisCallGraphAlgorithmConfiguration
(class)
BasicVTAWithPreAnalysisCallGraphDomain
(trait)
Callees
(class)
CallGraph
(trait)
CallGraphAlgorithmConfiguration
(class)
CallGraphBuilder
(class)
CallGraphCache
(object)
CallGraphComparison
(case class)
CallGraphConstructionException
(trait)
CallGraphDifferenceReport
(object)
(trait)
CallGraphExtractor
(object)
CallGraphFactory
(class)
CFACallGraphAlgorithmConfiguration
(class)
CFACallGraphDomain
(class)
CHACallGraphAlgorithmConfiguration
(class)
CHACallGraphExtractor
(class)
CHACallGraphExtractorWithCBS
(object)
(class)
ComputedCallGraph
(class)
DefaultCallGraphAlgorithmConfiguration
(class)
DefaultCHACallGraphDomain
(class)
DefaultVTACallGraphAlgorithmConfiguration
(class)
DefaultVTACallGraphDomain
(class)
EntryPointInformation
(object)
EntryPointKey
(class)
ExtVTACallGraphAlgorithmConfiguration
(class)
ExtVTACallGraphDomain
(case class)
UnexpectedCallTargets
(case class)
UnresolvedMethodCall
(class)
VTACallGraphAlgorithmConfiguration
(class)
VTACallGraphExtractor
(object)
VTACallGraphKey
(class)
VTAWithPreAnalysisCallGraphAlgorithmConfiguration
org.opalj.ai.cg
(trait)
MethodCallsDomainWithMethodLockup
org.opalj.ai.common
(object)
DomainRegistry
(object)
XHTML
org.opalj.ai.domain
(trait)
AsDomainValue
(trait)
AsJavaObject
(trait)
ConcreteIntegerValues
(trait)
ConcreteLongValues
(trait)
ConstantFieldValuesResolution
(trait)
CurrentCode
(trait)
DefaultDomainValueBinding
(trait)
DefaultExceptionsFactory
(trait)
DefaultHandlingForReturnInstructions
(trait)
DefaultHandlingForThrownExceptions
(trait)
DefaultHandlingOfMethodResults
(trait)
DefaultHandlingOfVoidReturns
(trait)
DefaultRecordMethodCallResults
(trait)
DomainId
(object)
(class)
DomainValues
(trait)
GeneralizedArrayHandling
(trait)
GlobalLogContextProvider
(trait)
IgnoreSynchronization
(case class)
ImpossibleRefinement
(trait)
LogContextProvider
(trait)
MethodCallResults
(trait)
MethodCallsHandling
(trait)
MonitorInstructionsTracker
(object)
(trait)
Origin
(object)
Origins
(object)
PerformAI
(trait)
PerInstructionPostProcessing
(trait)
PostEvaluationMemoryManagement
(object)
(trait)
PredefinedClassHierarchy
(trait)
RecordAllThrownExceptions
(trait)
RecordCFG
(trait)
RecordConstraints
(trait)
RecordDefUse
(trait)
RecordJoinedThrownExceptions
(trait)
RecordLastReturnedValues
(trait)
RecordMethodCallResults
(trait)
RecordReturnedValue
(trait)
RecordReturnedValueInfrastructure
(trait)
RecordReturnedValues
(trait)
RecordReturnedValuesInfrastructure
(trait)
RecordReturnFromMethodInstructions
(trait)
RecordThrownExceptions
(trait)
RecordVoidReturns
(trait)
ReifiedConstraints
(trait)
ReturnInstructionsDomain
(object)
(trait)
SpecialMethodsHandling
(trait)
TheClassFile
(trait)
TheCode
(trait)
TheMethod
(trait)
TheProject
(trait)
ThePropertyStore
(trait)
ThrowAllPotentialExceptionsConfiguration
(trait)
ThrowNoPotentialExceptionsConfiguration
(trait)
ValuesCoordinatingDomain
org.opalj.ai.domain.l0
(class)
BaseConfigurableDomain
(object)
(class)
BaseDomain
(class)
BaseDomainWithDefUse
(trait)
DefaultReferenceValuesBinding
(trait)
DefaultTypeLevelDoubleValues
(trait)
DefaultTypeLevelFloatValues
(trait)
DefaultTypeLevelHandlingForReturnInstructions
(trait)
DefaultTypeLevelHandlingForThrownExceptions
(trait)
DefaultTypeLevelHandlingOfMethodResults
(trait)
DefaultTypeLevelHandlingOfVoidReturns
(trait)
DefaultTypeLevelIntegerValues
(trait)
DefaultTypeLevelLongValues
(trait)
DefaultTypeLevelReferenceValues
(trait)
ReturnInstructionsDomain
(trait)
SimpleTypeLevelInvokeInstructions
(trait)
TypeLevelDomain
(trait)
TypeLevelDoubleValues
(trait)
TypeLevelFieldAccessInstructions
(trait)
TypeLevelFloatValues
(trait)
TypeLevelIntegerValues
(trait)
TypeLevelInvokeInstructions
(trait)
TypeLevelLongValues
(trait)
TypeLevelLongValuesShiftOperators
(trait)
TypeLevelPrimitiveValuesConversions
(trait)
TypeLevelReferenceValues
(trait)
ZeroDomain
org.opalj.ai.domain.l1
(object)
(trait)
ArrayValues
(trait)
ClassValues
(trait)
ConcretePrimitiveValuesConversions
(trait)
ConstraintsBetweenIntegerValues
(trait)
DefaultArrayValuesBinding
(trait)
DefaultClassValuesBinding
(class)
DefaultConfigurableDomain
(class)
DefaultConfigurableIntervalValuesDomain
(class)
DefaultConfigurableReferenceValuesDomain
(class)
DefaultDomain
(class)
DefaultDomainWithCFG
(class)
DefaultDomainWithCFGAndDefUse
(trait)
DefaultIntegerRangeValues
(trait)
DefaultIntegerSetValues
(trait)
DefaultIntegerValues
(class)
DefaultIntervalValuesDomain
(trait)
DefaultJavaObjectToDomainValueConversion
(trait)
DefaultLongSetValues
(trait)
DefaultLongValues
(trait)
DefaultReferenceValuesBinding
(class)
DefaultReferenceValuesDomain
(class)
DefaultSetValuesDomain
(class)
DefaultSingletonValuesDomain
(trait)
DefaultStringValuesBinding
(object)
(trait)
IntegerRangeValues
(trait)
IntegerSetValues
(trait)
IntegerValues
(trait)
LongSetValues
(trait)
LongSetValuesShiftOperators
(trait)
LongValues
(trait)
LongValuesShiftOperators
(trait)
MaxArrayLengthRefinement
(trait)
NullPropertyRefinement
(trait)
RecordAllThrownExceptions
(trait)
ReferenceValues
(trait)
ReflectiveInvoker
(object)
(trait)
StringBuilderValues
(object)
(trait)
StringValues
org.opalj.ai.domain.l2
(object)
(trait)
CalledMethodsStore
(class)
ChildDefaultDomain
(trait)
ChildPerformInvocationsWithRecursionDetection
(class)
CoordinatingValuesDomain
(class)
DefaultDomain
(class)
DefaultPerformInvocationsDomain
(class)
DefaultPerformInvocationsDomainWithCFG
(trait)
PerformInvocations
(trait)
PerformInvocationsWithRecursionDetection
(class)
SharedDefaultDomain
(trait)
SharedValuesDomain
org.opalj.ai.domain.la
(class)
DefaultDomain
(trait)
PerformInvocationsWithBasicVirtualMethodCallResolution
(trait)
RefinedTypeLevelFieldAccessInstructions
(trait)
RefinedTypeLevelInvokeInstructions
org.opalj.ai.domain.li
(class)
DefaultConfigurableDomain
(class)
DefaultDomain
(trait)
DefaultPreciseIntegerValues
(trait)
DefaultPreciseLongValues
(trait)
PreciseIntegerValues
(trait)
PreciseLongValues
org.opalj.ai.domain.tracing
(trait)
PropertyTracing
(trait)
SimpleBooleanPropertyTracing
org.opalj.ai.fpcf
(object)
(case class)
MethodReturnValue
(trait)
MethodReturnValuePropertyMetaInformation
org.opalj.ai.project
(trait)
AIProject
(trait)
OptionalReport
org.opalj.ai.util
(object)
XHTML
org.opalj.fpcf
org.opalj.fpcf.analysis
(object)
(class)
EntryPointsAnalysis
(object)
(class)
JavaEEEntryPointsAnalysis
(class)
LibraryEntryPointsAnalysis
(class)
MethodComplexityAnalysis
org.opalj.fpcf.analysis.cg
org.opalj.fpcf.analysis.cg.cha
(object)
CHACallGraphKey
org.opalj.issues
(trait)
ClassComprehension
(class)
ClassLocation
(trait)
CodeComprehension
(class)
FieldLocation
(class)
FieldValues
(class)
InstructionLocation
(case class)
Issue
(object)
IssueCategory
(trait)
IssueDetails
(object)
IssueDetailsWrites
(object)
IssueKind
(class)
IssueLocation
(object)
IssueLocationWrites
(object)
IssueOrdering
(trait)
IssueRepresentations
(class)
LocalVariables
(trait)
MethodComprehension
(class)
MethodLocation
(class)
MethodReturnValues
(class)
Operands
(class)
PackageLocation
(object)
(trait)
PCLineComprehension
(class)
ProjectLocation
(object)
(case class)
Relevance
(object)
RelevanceWrites
org.opalj.tac
(case class)
ArrayLength
(case class)
ArrayLoad
(case class)
ArrayStore
(object)
AsQuadruples
(case class)
Assignment
(case class)
BinaryExpr
(object)
(trait)
Call
(case class)
Checkcast
(case class)
ClassConst
(case class)
Compare
(class)
Const
(case class)
DomainValueBasedVar
(case class)
DoubleConst
(trait)
Expr
(class)
FieldAccessStmt
(case class)
FloatConst
(class)
FunctionCall
(case class)
GetField
(case class)
GetStatic
(case class)
Goto
(trait)
IdBasedVar
(case class)
If
(class)
InstanceFunctionCall
(object)
(class)
InstanceMethodCall
(case class)
InstanceOf
(case class)
IntConst
(case class)
Invokedynamic
(case class)
JumpToSubroutine
(case class)
LongConst
(class)
MethodCall
(case class)
MethodHandleConst
(case class)
MethodTypeConst
(case class)
MonitorEnter
(case class)
MonitorExit
(case class)
New
(case class)
NewArray
(case class)
NonVirtualFunctionCall
(case class)
NonVirtualMethodCall
(case class)
Nop
(case class)
NullExpr
(object)
OperandVar
(case class)
Param
(case class)
PrefixExpr
(case class)
PrimitiveTypecastExpr
(case class)
PutField
(case class)
PutStatic
(object)
RegisterVar
(case class)
Ret
(case class)
Return
(case class)
ReturnValue
(object)
SimplePropagation
(class)
SimpleStmt
(class)
SimpleValueConst
(case class)
SimpleVar
(case class)
StaticFunctionCall
(case class)
StaticMethodCall
(class)
Stmt
(case class)
StringConst
(case class)
Switch
(class)
SynchronizationStmt
(object)
TAC
(trait)
TACOptimization
(case class)
TACOptimizationResult
(object)
TempVar
(case class)
Throw
(object)
ToJavaLike
(trait)
ValueExpr
(object)
(trait)
Var
(case class)
VirtualFunctionCall
(case class)
VirtualMethodCall