 FPMethodReturnValuesAnalysisDomain MethodReturnValuesAnalysisDomain.scalaRefinedTypeLevelInvokeInstructions, MethodCallsDomainWithMethodLockup, Callees, BaseMethodReturnValuesAnalysisDomain, RecordReturnedValueInfrastructure, RecordReturnedValuesInfrastructure, IgnoreSynchronization, DefaultHandlingOfMethodResults, DefaultHandlingForReturnInstructions, DefaultHandlingOfVoidReturns, DefaultHandlingForThrownExceptions, domain.ReturnInstructionsDomain, TypeLevelInvokeInstructions, MethodCallsHandling, RefinedTypeLevelFieldAccessInstructions, TypeLevelFieldAccessInstructions, DefaultReferenceValuesBinding, DefaultExceptionsFactory, ReferenceValues, Origin, DefaultTypeLevelReferenceValues, TypeLevelReferenceValues, AsJavaObject, GeneralizedArrayHandling, DefaultTypeLevelDoubleValues, TypeLevelDoubleValues, DefaultTypeLevelFloatValues, TypeLevelFloatValues, TypeLevelPrimitiveValuesConversions, TypeLevelLongValuesShiftOperators, DefaultTypeLevelLongValues, TypeLevelLongValues, DefaultTypeLevelIntegerValues, TypeLevelIntegerValues, ThrowAllPotentialExceptionsConfiguration, DefaultDomainValueBinding, TheMethod, TheCode, TheProject, ThePropertyStore, LogContextProvider, TheClassHierarchy, CorrelationalDomain, CorrelationalDomainSupport, IdentityBasedCorrelationChangeDetection, JoinStabilization, Domain, Configuration, TypedValuesFactory, PrimitiveValuesConversionsDomain, ReturnInstructionsDomain, MonitorInstructionsDomain, MethodCallsDomain, FieldAccessesDomain, ReferenceValuesDomain, ReferenceValuesFactory, ExceptionsFactory, DoubleValuesDomain, DoubleValuesFactory, FloatValuesDomain, FloatValuesFactory, LongValuesDomain, LongValuesFactory, IntegerValuesDomain, IntegerValuesFactory, CoreDomainFunctionality, SubroutinesDomain, ValuesDomain, AnyRef, Any new FPMethodReturnValuesAnalysisDomainproject: SomeProject, fieldValueInformation: FieldValueInformation, methodReturnValueInformation: MethodReturnValueInformation, cache: CallGraphCacheMethodSignature, SetMethod, ai: InterruptableAI_, method: Method type ReturnedValue ValueBaseMethodReturnValuesAnalysisDomain RecordReturnedValuesInfrastructure def abstractInterpretationEndedaiResult: AIResult val domain: FPMethodReturnValuesAnalysisDomain.this.type : Unit val ai: InterruptableAI_FPMethodReturnValuesAnalysisDomain Callees def doRecordReturnedValuepc: PC, value: DomainValue: UnitBaseMethodReturnValuesAnalysisDomain RefinedTypeLevelFieldAccessInstructionsBaseMethodReturnValuesAnalysisDomain TheMethodFPMethodReturnValuesAnalysisDomain RefinedTypeLevelInvokeInstructionsBaseMethodReturnValuesAnalysisDomain TheProject def returnedValue: OptionDomainValueA method that always throws an exception or returns void will never return a value.BaseMethodReturnValuesAnalysisDomain RecordReturnedValueInfrastructureInherited from BaseMethodReturnValuesAnalysisDomainInherited from RecordReturnedValueInfrastructure 