#
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
(object)
BaseReferenceValues
(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
(trait)
IsBooleanValue
(trait)
IsByteValue
(trait)
IsCharValue
(trait)
IsDoubleValue
(trait)
IsFloatValue
(trait)
IsIntegerValue
(trait)
IsLongValue
(object)
IsNullValue
(object)
(trait)
IsPrimitiveValue
(trait)
IsReferenceValue
(trait)
IsShortValue
(trait)
JoinStabilization
(trait)
KnownType
(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)
TypeOfReferenceValue
(object)
UnknownType
(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
(case class)
EntryPointContainer
(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
(trait)
AIKey
(object)
DomainRegistry
(object)
SimpleAIKey
(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)
TheCode
(trait)
TheMethod
(trait)
TheProject
(trait)
ThePropertyStore
(trait)
ThrowAllPotentialExceptionsConfiguration
(trait)
ThrowNoPotentialExceptionsConfiguration
(trait)
ValuesCoordinatingDomain
org.opalj.ai.domain.l0
(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
(class)
PrimitiveTACAIDomain
(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)
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)
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.analyses
(object)
(class)
AdvancedFieldMutabilityAnalysis
(object)
(class)
EntryPointsAnalysis
(object)
(class)
JavaEEEntryPointsAnalysis
(class)
LibraryEntryPointsAnalysis
(class)
MethodComplexityAnalysis
org.opalj.fpcf.analyses.cg
org.opalj.fpcf.analyses.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
(trait)
ArrayExpr
(object)
(case class)
ArrayLength
(object)
(case class)
ArrayLoad
(object)
(case class)
ArrayStore
(object)
(case class)
Assignment
(trait)
ASTNode
(object)
(case class)
BinaryExpr
(object)
(trait)
Call
(object)
(case class)
CaughtException
(object)
(case class)
Checkcast
(object)
(case class)
ClassConst
(object)
(case class)
Compare
(class)
Const
(object)
DefaultTACAIKey
(object)
DefSites
(object)
(case class)
DoubleConst
(object)
(class)
DUVar
(object)
(class)
DVar
(trait)
Expr
(object)
(case class)
ExprStmt
(class)
FieldRead
(class)
FieldWriteAccessStmt
(object)
(case class)
FloatConst
(class)
FunctionCall
(object)
(case class)
GetField
(object)
(case class)
GetStatic
(object)
(case class)
Goto
(trait)
IdBasedVar
(object)
(case class)
If
(class)
InstanceFunctionCall
(object)
(class)
InstanceMethodCall
(object)
(case class)
InstanceOf
(object)
(case class)
IntConst
(object)
(case class)
Invokedynamic
(object)
(case class)
JSR
(object)
(case class)
LongConst
(class)
MethodCall
(object)
MethodCallParameters
(object)
(case class)
MethodHandleConst
(object)
(case class)
MethodTypeConst
(object)
(case class)
MonitorEnter
(object)
(case class)
MonitorExit
(object)
(case class)
New
(object)
(case class)
NewArray
(object)
(case class)
NonVirtualFunctionCall
(object)
(case class)
NonVirtualMethodCall
(object)
(case class)
Nop
(object)
(case class)
NullExpr
(object)
OperandVar
(object)
(case class)
Param
(class)
Parameters
(object)
(case class)
PrefixExpr
(object)
(case class)
PrimitiveTypecastExpr
(object)
(case class)
PutField
(object)
(case class)
PutStatic
(object)
RegisterVar
(object)
(case class)
Ret
(object)
(case class)
Return
(object)
(case class)
ReturnValue
(object)
SimplePropagation
(class)
SimpleStmt
(object)
SimpleTACAIKey
(class)
SimpleValueConst
(case class)
SimpleVar
(object)
(case class)
StaticFunctionCall
(object)
(case class)
StaticMethodCall
(class)
Stmt
(object)
(case class)
StringConst
(object)
(case class)
Switch
(class)
SynchronizationStmt
(object)
TAC
(object)
TACAI
(trait)
TACAIKey
(case class)
TACMethodParameter
(object)
TACNaive
(object)
(case class)
TACode
(trait)
TACOptimization
(case class)
TACOptimizationResult
(object)
TempVar
(object)
(case class)
Throw
(object)
ToTxt
(object)
(class)
UVar
(trait)
ValueExpr
(object)
(trait)
Var
(object)
(case class)
VirtualFunctionCall
(object)
(case class)
VirtualMethodCall