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 FPMethodReturnValuesAnalysisDomain(project: SomeProject, fieldValueInformation: FieldValueInformation, methodReturnValueInformation: MethodReturnValueInformation, cache: CallGraphCache[MethodSignature, Set[Method]], ai: InterruptableAI[_], method: Method) type ReturnedValue = ValueBaseMethodReturnValuesAnalysisDomain → RecordReturnedValuesInfrastructure def abstractInterpretationEnded(aiResult: AIResult { val domain: FPMethodReturnValuesAnalysisDomain.this.type }): Unit val ai: InterruptableAI[_]FPMethodReturnValuesAnalysisDomain → Callees def doRecordReturnedValue(pc: PC, value: DomainValue): UnitBaseMethodReturnValuesAnalysisDomain → RefinedTypeLevelFieldAccessInstructionsBaseMethodReturnValuesAnalysisDomain → TheMethodFPMethodReturnValuesAnalysisDomain → RefinedTypeLevelInvokeInstructionsBaseMethodReturnValuesAnalysisDomain → TheProject def returnedValue: Option[DomainValue]A method that always throws an exception or returns "void" will never return a value.BaseMethodReturnValuesAnalysisDomain → RecordReturnedValueInfrastructureInherited from BaseMethodReturnValuesAnalysisDomainInherited from RecordReturnedValueInfrastructure
