程序包 proguard.evaluation

类 ExecutingInvocationUnit

java.lang.Object

proguard.evaluation.SimplifiedInvocationUnit

proguard.evaluation.BasicInvocationUnit

proguard.evaluation.ExecutingInvocationUnit

所有已实现的接口:

ConstantVisitor, MemberVisitor, ParameterVisitor, InvocationUnit

public class ExecutingInvocationUnit
extends BasicInvocationUnit

This InvocationUnit is capable of executing the invoked methods with particular values as parameters.

If a method has a return value, this value is determined and supplied as a particular Value. Methods that operate on an instance are able to modify the calling instance. For such methods, references in the stack and variables to that instance are replaced with the modified one. This also applies to constructors.

This class is responsible for creating the final particular Values for methods that were handled without errors and creating fallback values in case the method could not be handled. It also performs the action of replacing references of instances that changed in the stack and variables if needed. This is however limited as we only update the instance if it was modified and ignores all other parameters which might have changed too.

An ExecutingInvocationUnit delegates the acquisition of method results and certain other decisions (e.g. whether replacing references in the stack and variables is needed) to its Executors. Per default, an instance of this class will have access to a StringReflectionExecutor that handles methods of String, StringBuilder and StringBuffer. The ExecutingInvocationUnit.Builder, allows for disabling the default StringReflectionExecutor and adding other Executors.

嵌套类概要

嵌套类

修饰符和类型	类	说明
static class	ExecutingInvocationUnit.Builder	Builds an ExecutingInvocationUnit.

字段概要

从类继承的字段 proguard.evaluation.BasicInvocationUnit

valueFactory

从类继承的字段 proguard.evaluation.SimplifiedInvocationUnit

isLoad, isStatic, method, stack, variables

构造器概要

构造器

限定符	构造器	说明
protected	ExecutingInvocationUnit(@NotNull ClassPool programClassPool, @NotNull ClassPool libraryClassPool, ValueFactory valueFactory, boolean enableSameInstanceIdApproximation, boolean allowNonFinalConstants, List<Executor> registeredExecutors)	Creates an ExecutingInvocationUnit.

方法概要

修饰符和类型	方法	说明
boolean	canExecute(@NotNull MethodSignature signature)	Returns whether the invocation unit is able to handle the given method.
MethodResult	executeMethod(ConcreteCall call, Value... parameters)	Execute the method given by a ConcreteCall.
MethodResult	executeMethod(Executor executor, MethodExecutionInfo methodInfo)	Executes a method using a given Executor.
Value	getFieldValue(Clazz clazz, FieldrefConstant fieldrefConstant, String type)	Returns the value of the specified field.
Value	getMethodReturnValue(Clazz clazz, AnyMethodrefConstant anyMethodrefConstant, String returnType)	Returns the return value of the specified method.
boolean	methodMayHaveSideEffects(Clazz clazz, AnyMethodrefConstant anyMethodrefConstant, String returnType)	Returns true if the method itself can modify the stack/variables and therefore needs to be executed even if it returns void.
void	setMethodParameterValue(Clazz clazz, AnyMethodrefConstant anyMethodrefConstant, int parameterIndex, Value value)	Sets the value of the specified method parameter.
boolean	supportsAnyMethodOf(@NotNull String className)	Checks whether any method of the given class is supported by the executors.
boolean	supportsAnyMethodOf(@NotNull Clazz clazz)	Checks whether any method of the given class is supported by the executors.
void	visitAnyMethodrefConstant(Clazz clazz, AnyMethodrefConstant anyMethodrefConstant)	Visits any RefConstant instance.

从类继承的方法 proguard.evaluation.BasicInvocationUnit

getExceptionValue, getFieldClassValue, getMethodParameterValue, getMethodReturnValue, setFieldClassValue, setFieldValue, setMethodReturnValue, visitLibraryField, visitLibraryMethod, visitProgramField, visitProgramMethod

从类继承的方法 proguard.evaluation.SimplifiedInvocationUnit

enterExceptionHandler, enterMethod, exitMethod, invokeMember, visitFieldrefConstant, visitInvokeDynamicConstant, visitParameter

从类继承的方法 java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

从接口继承的方法 proguard.classfile.constant.visitor.ConstantVisitor

visitAnyConstant, visitAnyRefConstant, visitClassConstant, visitDoubleConstant, visitDynamicConstant, visitFloatConstant, visitIntegerConstant, visitInterfaceMethodrefConstant, visitLongConstant, visitMethodHandleConstant, visitMethodrefConstant, visitMethodTypeConstant, visitModuleConstant, visitNameAndTypeConstant, visitPackageConstant, visitPrimitiveArrayConstant, visitStringConstant, visitUtf8Constant

从接口继承的方法 proguard.evaluation.InvocationUnit

enterExceptionHandler, enterMethod, exitMethod, invokeMember

从接口继承的方法 proguard.classfile.visitor.MemberVisitor

visitAnyMember, visitLibraryMember, visitProgramMember

构造器详细资料

ExecutingInvocationUnit

protected ExecutingInvocationUnit(@NotNull
 @NotNull ClassPool programClassPool,
 @NotNull
 @NotNull ClassPool libraryClassPool,
 ValueFactory valueFactory,
 boolean enableSameInstanceIdApproximation,
 boolean allowNonFinalConstants,
 List<Executor> registeredExecutors)

Creates an ExecutingInvocationUnit.

方法详细资料

visitAnyMethodrefConstant

public void visitAnyMethodrefConstant(Clazz clazz,
 AnyMethodrefConstant anyMethodrefConstant)

从接口复制的说明: ConstantVisitor

Visits any RefConstant instance. The more specific default implementations of this interface delegate to this method.

指定者:

visitAnyMethodrefConstant 在接口中 ConstantVisitor

覆盖:

visitAnyMethodrefConstant 在类中 SimplifiedInvocationUnit

setMethodParameterValue

public void setMethodParameterValue(Clazz clazz,
 AnyMethodrefConstant anyMethodrefConstant,
 int parameterIndex,
 Value value)

从类复制的说明: SimplifiedInvocationUnit

Sets the value of the specified method parameter.

覆盖:

setMethodParameterValue 在类中 BasicInvocationUnit

methodMayHaveSideEffects

public boolean methodMayHaveSideEffects(Clazz clazz,
 AnyMethodrefConstant anyMethodrefConstant,
 String returnType)

从类复制的说明: SimplifiedInvocationUnit

Returns true if the method itself can modify the stack/variables and therefore needs to be executed even if it returns void.

覆盖:

methodMayHaveSideEffects 在类中 SimplifiedInvocationUnit

getMethodReturnValue

public Value getMethodReturnValue(Clazz clazz,
 AnyMethodrefConstant anyMethodrefConstant,
 String returnType)

从类复制的说明: SimplifiedInvocationUnit

Returns the return value of the specified method.

覆盖:

getMethodReturnValue 在类中 BasicInvocationUnit

executeMethod

public MethodResult executeMethod(ConcreteCall call,
 Value... parameters)

Execute the method given by a ConcreteCall. See executeMethod(Executor, MethodExecutionInfo)

参数:

call - The concrete call.

parameters - The calling parameters.

返回:

The method result value.

executeMethod

public MethodResult executeMethod(Executor executor,
 MethodExecutionInfo methodInfo)

Executes a method using a given Executor. Replace references of the instance in variables and stack if necessary. The return value represents the result of the executed method.

参数:

executor - The Executor which handles this method call.

methodInfo - Information about the method to execute.

返回:

The method result value.

canExecute

public boolean canExecute(@NotNull
 @NotNull MethodSignature signature)

Returns whether the invocation unit is able to handle the given method.

参数:

signature - The method signature of the method being tested

返回:

true if the method can be executed.

supportsAnyMethodOf

public boolean supportsAnyMethodOf(@NotNull
 @NotNull Clazz clazz)

Checks whether any method of the given class is supported by the executors.

参数:

clazz - The class to check

返回:

true if any method of the given class is supported by the executor

supportsAnyMethodOf

public boolean supportsAnyMethodOf(@NotNull
 @NotNull String className)

Checks whether any method of the given class is supported by the executors.

参数:

className - The class name to check

返回:

true if any method of the given class is supported by the executor

getFieldValue

public Value getFieldValue(Clazz clazz,
 FieldrefConstant fieldrefConstant,
 String type)

从类复制的说明: SimplifiedInvocationUnit

Returns the value of the specified field.

覆盖:

getFieldValue 在类中 BasicInvocationUnit