com.oracle.graal.pointsto.api

Interface HostVM.MultiMethodAnalysisPolicy

Enclosing class:

HostVM

public static interface HostVM.MultiMethodAnalysisPolicy

Helpers to determine what analysis actions should be taken for a given Multi-Method version.

Method Summary

Modifier and Type	Method and Description
boolean	canComputeReturnedParameterIndex(com.oracle.svm.common.meta.MultiMethod.MultiMethodKey multiMethodKey) Decides whether analysis should compute the returned parameter index.
<T extends AnalysisMethod> Collection<T>	determineCallees(BigBang bb, T implementation, T target, com.oracle.svm.common.meta.MultiMethod.MultiMethodKey callerMultiMethodKey, InvokeTypeFlow invokeFlow) Determines what versions of a method are reachable from the call.
boolean	insertPlaceholderParamAndReturnFlows(com.oracle.svm.common.meta.MultiMethod.MultiMethodKey multiMethodKey) Decides whether placeholder flows should be inserted for missing object parameter and return values.
boolean	performParameterLinking(com.oracle.svm.common.meta.MultiMethod.MultiMethodKey callerMultiMethodKey, com.oracle.svm.common.meta.MultiMethod.MultiMethodKey calleeMultiMethodKey) Decides whether the caller's flows should be linked to callee's parameters flows.
boolean	performReturnLinking(com.oracle.svm.common.meta.MultiMethod.MultiMethodKey callerMultiMethodKey, com.oracle.svm.common.meta.MultiMethod.MultiMethodKey calleeMultiMethodKey) Decides whether the callee's return flow should be linked to caller's flows.

Method Detail

determineCallees

<T extends AnalysisMethod> Collection<T> determineCallees(BigBang bb,
                                                          T implementation,
                                                          T target,
                                                          com.oracle.svm.common.meta.MultiMethod.MultiMethodKey callerMultiMethodKey,
                                                          InvokeTypeFlow invokeFlow)

Determines what versions of a method are reachable from the call.

Parameters:

implementation - The resolved destination. MultiMethod.ORIGINAL_METHOD.

target - The original target. This should be a MultiMethod.ORIGINAL_METHOD.

callerMultiMethodKey - The context in which the call is being made.

Returns:

Collection of possible targets for a given implementation, target, and caller multi-method key. This method is expected to return a consistent value when called multiple times with the same parameters; hence, values returned by this method are allowed to be cached

performParameterLinking

boolean performParameterLinking(com.oracle.svm.common.meta.MultiMethod.MultiMethodKey callerMultiMethodKey,
                                com.oracle.svm.common.meta.MultiMethod.MultiMethodKey calleeMultiMethodKey)

Decides whether the caller's flows should be linked to callee's parameters flows.

performReturnLinking

boolean performReturnLinking(com.oracle.svm.common.meta.MultiMethod.MultiMethodKey callerMultiMethodKey,
                             com.oracle.svm.common.meta.MultiMethod.MultiMethodKey calleeMultiMethodKey)

Decides whether the callee's return flow should be linked to caller's flows.

canComputeReturnedParameterIndex

boolean canComputeReturnedParameterIndex(com.oracle.svm.common.meta.MultiMethod.MultiMethodKey multiMethodKey)

Decides whether analysis should compute the returned parameter index.

insertPlaceholderParamAndReturnFlows

boolean insertPlaceholderParamAndReturnFlows(com.oracle.svm.common.meta.MultiMethod.MultiMethodKey multiMethodKey)

Decides whether placeholder flows should be inserted for missing object parameter and return values.