proguard.evaluation.executor

Interface Executor

All Known Implementing Classes:

ReflectionExecutor, StringReflectionExecutor

public interface Executor

This abstract class specifies a modular component which can be added to a ExecutingInvocationUnit in order to extend its capabilities. An Executor specifies which method calls it supports, what methods return their own instance and how a method result is calculated.

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	Executor.Builder<T extends Executor> A builder for the executor.

Method Summary

Modifier and Type	Method and Description
ExecutorMatcher	getExecutorMatcher() Get a matcher telling if the executor should be used to execute a certain method.
MethodResult	getMethodResult(MethodExecutionInfo methodData, ValueCalculator valueCalculator) Calculate the result of a given method.
default boolean	isSupportedMethodCall(MethodSignature signature) Returns whether a certain method invocation is supported.

Method Detail

getMethodResult

MethodResult getMethodResult(MethodExecutionInfo methodData,
                             ValueCalculator valueCalculator)

Calculate the result of a given method. This is the return value for a non-constructor method (null if it returns void) and the instantiated object for a constructor.

Parameters:

methodData - Information about the called method.

valueCalculator - a function mapping the result of a method invocation (can be an Object with the result if the executor calculates a real value or a Model) to the appropriate Value used by the analysis. Should also be used to create values of unknown value since the executor might be able to provide additional information on them even if the value itself is not known (e.g., on the identifier of the returned value).

Returns:

The result of the method call, including information on the returned value or values or arguments on which side effects happened during the method execution. If the executor is not able to provide any additional information for any reason the returned value should be MethodResult.invalidResult(), so that the caller can know that execution failed and just provide its best approximation of the result.

isSupportedMethodCall

default boolean isSupportedMethodCall(MethodSignature signature)

Returns whether a certain method invocation is supported.

Parameters:

signature - The method signature.

Returns:

whether the method invocation is supported.

getExecutorMatcher

ExecutorMatcher getExecutorMatcher()

Get a matcher telling if the executor should be used to execute a certain method.

Returns:

the executor's matcher.