T
ReferenceValues
TAC
tac
TACOptimization
tac
TACOptimizationResult
tac
TargetDomain
ai
TechnicalArtifact
Relevance
TempVar
tac
TheAI
ai
TheClassFile
domain
TheClassHierarchy
ai
TheCode
domain
TheCodeStructure
ai
TheIllegalValue
ValuesDomain DefaultDomainValueBinding
TheIntegerValue
DefaultIntegerValues IntegerValues DefaultPreciseIntegerValues
TheLocalsArray
ai
TheLongValue
DefaultLongValues LongValues
TheMemoryLayout
ai
TheMethod
domain
TheNullValue
DefaultReferenceValuesBinding
TheOperandsArray
ai
TheProject
domain
ThePropertyStore
domain
TheRegistry
DomainRegistry
TheReturnAddressValues
ValuesDomain DefaultDomainValueBinding
ThisType
NoUpdate
Throw
tac
ThrowAllPotentialExceptionsConfiguration
domain
ThrowNoPotentialExceptionsConfiguration
domain
Throwable
ExceptionsFactory DefaultExceptionsFactory
ThrownException
RecordAllThrownExceptions RecordJoinedThrownExceptions RecordMethodCallResults RecordThrownExceptions RecordAllThrownExceptions
ThrowsException
ai IssueKind
TimeBoundedAI
ai
Timestamp
ReferenceValues
TimestampUpdate
ReferenceValues
ToJavaLike
tac
TypeInformation
ai
TypeLevelDomain
l0
TypeLevelDoubleValues
l0
TypeLevelFieldAccessInstructions
l0
TypeLevelFloatValues
l0
TypeLevelIntegerValues
l0
TypeLevelInvokeInstructions
l0
TypeLevelLongValues
l0
TypeLevelLongValuesShiftOperators
l0
TypeLevelPrimitiveValuesConversions
l0
TypeLevelReferenceValues
l0
TypeUnknown
ai
TypedValue
TypedValuesFactory
TypedValuesFactory
ai
t
ArrayValue MObjectValue MultipleReferenceValues NullValue ReferenceValue SObjectValue
tac
opalj
targetStmt
Goto If JumpToSubroutine Switch
targetTpe
PrimitiveTypecastExpr
targetVar
Assignment
testAndDoInvoke
PerformInvocations
testOrElseUpdated
CalledMethodsStore
thePackage
PackageLocation
theProject
ProjectLocation
theUpperTypeBound
ArrayValue SObjectValue SReferenceValue NonNullSingleOriginSReferenceValue
thisClassType
BaseFieldValuesAnalysisDomain
throwArithmeticExceptions
Configuration ThrowAllPotentialExceptionsConfiguration ThrowNoPotentialExceptionsConfiguration ValuesCoordinatingDomain
throwArrayIndexOutOfBoundsException
Configuration ThrowAllPotentialExceptionsConfiguration ThrowNoPotentialExceptionsConfiguration ValuesCoordinatingDomain
throwArrayStoreException
Configuration ThrowAllPotentialExceptionsConfiguration ThrowNoPotentialExceptionsConfiguration ValuesCoordinatingDomain
throwClassCastException
Configuration ThrowAllPotentialExceptionsConfiguration ThrowNoPotentialExceptionsConfiguration ValuesCoordinatingDomain
throwClassNotFoundException
Configuration ThrowAllPotentialExceptionsConfiguration ThrowNoPotentialExceptionsConfiguration ValuesCoordinatingDomain
throwExceptionsOnMethodCall
Configuration ThrowAllPotentialExceptionsConfiguration ThrowNoPotentialExceptionsConfiguration ValuesCoordinatingDomain
throwIllegalMonitorStateException
Configuration ThrowAllPotentialExceptionsConfiguration ThrowNoPotentialExceptionsConfiguration ValuesCoordinatingDomain
throwNegativeArraySizeException
Configuration ThrowAllPotentialExceptionsConfiguration ThrowNoPotentialExceptionsConfiguration ValuesCoordinatingDomain
throwNullPointerExceptionOnArrayAccess
Configuration ThrowAllPotentialExceptionsConfiguration ThrowNoPotentialExceptionsConfiguration ValuesCoordinatingDomain
throwNullPointerExceptionOnFieldAccess
Configuration ThrowAllPotentialExceptionsConfiguration ThrowNoPotentialExceptionsConfiguration ValuesCoordinatingDomain
throwNullPointerExceptionOnMethodCall
Configuration ThrowAllPotentialExceptionsConfiguration ThrowNoPotentialExceptionsConfiguration ValuesCoordinatingDomain
throwNullPointerExceptionOnMonitorAccess
Configuration ThrowAllPotentialExceptionsConfiguration ThrowNoPotentialExceptionsConfiguration ValuesCoordinatingDomain
throwNullPointerExceptionOnThrow
Configuration ThrowAllPotentialExceptionsConfiguration ThrowNoPotentialExceptionsConfiguration ValuesCoordinatingDomain
throwableToXHTML
XHTML
thrownExceptions
MethodCallResults RecordMethodCallResults
throws
ReferenceValuesFactory
throwsException
Computation ComputationFailed ComputationWithSideEffectOnly ComputationWithSideEffectOrException ComputedValue ComputedValueOrException ThrowsException
title
MethodReturnValuesAnalysis
toAnsiColoredString
ClassLocation FieldValues InstructionLocation Issue IssueRepresentations LocalVariables MethodReturnValues Operands ProjectLocation Relevance
toCategoryName
Relevance
toConsoleString
IssueRepresentations
toDomainValue
AsDomainValue DefaultJavaObjectToDomainValueConversion StringValues
toEclipseConsoleString
FieldValues InstructionLocation Issue IssueRepresentations LocalVariables MethodReturnValues Operands ProjectLocation Relevance
toFullString
CallGraphConstructionException
toHTMLColor
Relevance
toIDL
FieldValues Issue IssueRepresentations LocalVariables MethodReturnValues Operands PackageLocation Relevance
toJavaLikeExpr
ToJavaLike
toJavaLikeStmt
ToJavaLike
toJavaObject
AsJavaObject TypeLevelReferenceValues ReferenceValues StringValues
toString
IllegalValue ReturnAddressValue ReturnAddressValues CallGraphConstructionException CallGraphDifferenceReport UnresolvedMethodCall MObjectValue NullValue SReferenceValue ConcreteArrayValue InitializedArrayValue ClassValue AnIntegerValue IntegerRange AnIntegerValue BaseTypesBasedSet IntegerSet AnIntegerValue TheIntegerValue ALongValue LongSet TheLongValue ArrayValue MObjectValue MultipleReferenceValues NonNullSingleOriginReferenceValue NullValue SObjectValue StringBuilderValue StringValue SharedDefaultDomain TheIntegerValue LongRange BooleanProperty
toXHTML
FieldValues Issue IssueRepresentations LocalVariables MethodReturnValues Operands PackageLocation
tpe
ClassConst DoubleConst FloatConst IntConst LongConst MethodHandleConst MethodTypeConst New NewArray StringConst
tracer
AI TheAI
tracers
MultiTracer
tracing
domain
transformResult
PerformInvocations
typeOfValue
ValuesDomain
typeToIDL
issues