#
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
(trait)
AI
(class)
AIAborted
(object)
(class)
AICompleted
(class)
AIException
(class)
AIResult
(object)
AIResultBuilder
(trait)
AITracer
(object)
(class)
BaseAI
(class)
BoundedInterruptableAI
(trait)
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
(object)
CTC1
(object)
CTC2
(trait)
CustomInitialization
(trait)
Domain
(case class)
DomainException
(trait)
DoubleValuesDomain
(trait)
DoubleValuesFactory
(trait)
ExceptionsFactory
(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)
TheAI
(trait)
TheCodeStructure
(trait)
TheMemoryLayout
(case class)
ThrowsException
(class)
TimeBoundedAI
(trait)
TypedValuesFactory
(trait)
TypeInformation
(object)
TypeUnknown
(trait)
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
(trait)
Callees
(class)
CallGraphCache
(trait)
MethodCallsDomainWithMethodLockup
org.opalj.ai.common
(object)
DomainRegistry
(object)
XHTML
org.opalj.ai.domain
(trait)
AsDomainValue
(trait)
AsJavaObject
(trait)
ClassHierarchy
(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
(object)
(trait)
Origin
(object)
Origins
(trait)
PerInstructionPostProcessing
(trait)
PostEvaluationMemoryManagement
(object)
(trait)
PredefinedClassHierarchy
(trait)
ProjectBasedClassHierarchy
(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
(object)
(trait)
SpecialMethodsHandling
(trait)
TheClassFile
(trait)
TheCode
(trait)
TheMethod
(trait)
TheProject
(trait)
ThrowAllPotentialExceptionsConfiguration
(trait)
ThrowNoPotentialExceptionsConfiguration
(trait)
ValuesCoordinatingDomain
org.opalj.ai.domain.l0
(class)
BaseConfigurableDomain
(class)
BaseDomain
(trait)
DefaultReferenceValuesBinding
(trait)
DefaultTypeLevelDoubleValues
(trait)
DefaultTypeLevelFloatValues
(trait)
DefaultTypeLevelIntegerValues
(trait)
DefaultTypeLevelLongValues
(trait)
DefaultTypeLevelReferenceValues
(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
(trait)
ArrayValues
(trait)
ClassValues
(trait)
ConcretePrimitiveValuesConversions
(trait)
ConstraintsBetweenIntegerValues
(trait)
DefaultArrayValuesBinding
(trait)
DefaultClassValuesBinding
(class)
DefaultConfigurableDomain
(class)
DefaultConfigurableIntervalValuesDomain
(class)
DefaultConfigurableLongSetValuesDomain
(class)
DefaultConfigurableReferenceValuesDomain
(class)
DefaultDomain
(class)
DefaultDomainWithCFG
(class)
DefaultDomainWithCFGAndDefUse
(trait)
DefaultIntegerRangeValues
(trait)
DefaultIntegerSetValues
(class)
DefaultIntervalValuesDomain
(trait)
DefaultJavaObjectToDomainValueConversion
(trait)
DefaultLongSetValues
(class)
DefaultLongSetValuesDomain
(class)
DefaultLongSetValuesDomainWithCFG
(trait)
DefaultLongValues
(trait)
DefaultReferenceValuesBinding
(class)
DefaultReferenceValuesDomain
(class)
DefaultSetValuesDomain
(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.project
(trait)
AIProject
(trait)
OptionalReport
org.opalj.ai.util
(object)
XHTML
org.opalj.issues
(trait)
ClassComprehension
(class)
ClassLocation
(trait)
CodeComprehension
(class)
FieldLocation
(class)
FieldValues
(class)
InstructionLocation
(case class)
Issue
(object)
IssueCategory
(trait)
IssueDetails
(object)
IssueKind
(trait)
IssueLocation
(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
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
(trait)
Const
(case class)
DomainValueBasedVar
(case class)
DoubleConst
(trait)
Expr
(case class)
FloatConst
(trait)
FunctionCall
(case class)
GetField
(case class)
GetStatic
(case class)
Goto
(trait)
IdBasedVar
(case class)
If
(trait)
InstanceFunctionCall
(object)
(trait)
InstanceMethodCall
(case class)
InstanceOf
(case class)
IntConst
(case class)
Invokedynamic
(case class)
JumpToSubroutine
(case class)
LongConst
(trait)
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
(trait)
SimpleStmt
(case class)
SimpleVar
(case class)
StaticFunctionCall
(case class)
StaticMethodCall
(trait)
Stmt
(case class)
StringConst
(case class)
Switch
(object)
TAC
(object)
TempVar
(case class)
Throw
(object)
ToJavaLike
(object)
(trait)
Var
(case class)
VirtualFunctionCall
(case class)
VirtualMethodCall