proguard.evaluation

Class BasicInvocationUnit

java.lang.Object

proguard.classfile.util.SimplifiedVisitor

proguard.evaluation.SimplifiedInvocationUnit

proguard.evaluation.BasicInvocationUnit

All Implemented Interfaces:

ConstantVisitor, MemberVisitor, ParameterVisitor, InvocationUnit

Direct Known Subclasses:

LoadingInvocationUnit, StoringInvocationUnit

public class BasicInvocationUnit
extends SimplifiedInvocationUnit
implements InvocationUnit, MemberVisitor

This InvocationUnit sets up the variables for entering a method, and it updates the stack for the invocation of a class member, using simple values.

Author:

Eric Lafortune

Field Summary

Fields

Modifier and Type	Field and Description
protected ValueFactory	valueFactory

Fields inherited from class proguard.evaluation.SimplifiedInvocationUnit

isLoad, isStatic, stack

Constructor Summary

Constructors

Constructor and Description
BasicInvocationUnit(ValueFactory valueFactory) Creates a new BasicInvocationUnit with the given value factory.

Method Summary

Modifier and Type	Method and Description
Value	getExceptionValue(Clazz clazz, ClassConstant catchClassConstant) Returns the value of the specified exception.
Value	getFieldClassValue(Clazz clazz, RefConstant refConstant, String type) Returns the class though which the specified field is accessed.
Value	getFieldValue(Clazz clazz, RefConstant refConstant, String type) Returns the value of the specified field.
Value	getMethodParameterValue(Clazz clazz, Method method, int parameterIndex, String type, Clazz referencedClass) Returns the value of the specified method parameter.
Value	getMethodReturnValue(Clazz clazz, InvokeDynamicConstant invokeDynamicConstant, String type) Returns the return value of the specified method.
Value	getMethodReturnValue(Clazz clazz, RefConstant refConstant, String type) Returns the return value of the specified method.
void	setFieldClassValue(Clazz clazz, RefConstant refConstant, ReferenceValue value) Sets the class through which the specified field is accessed.
void	setFieldValue(Clazz clazz, RefConstant refConstant, Value value) Sets the value of the specified field.
void	setMethodParameterValue(Clazz clazz, RefConstant refConstant, int parameterIndex, Value value) Sets the value of the specified method parameter.
void	setMethodReturnValue(Clazz clazz, Method method, Value value) Sets the return value of the specified method.
void	visitLibraryField(LibraryClass programClass, LibraryField libraryField)
void	visitLibraryMethod(LibraryClass libraryClass, LibraryMethod libraryMethod)
void	visitProgramField(ProgramClass programClass, ProgramField programField)
void	visitProgramMethod(ProgramClass programClass, ProgramMethod programMethod)

Methods inherited from class proguard.evaluation.SimplifiedInvocationUnit

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

Methods inherited from class proguard.classfile.util.SimplifiedVisitor

visitAnnotation, visitAnnotation, visitAnnotation, visitAnnotation, visitAnnotation, visitAnnotation, visitAnnotationDefaultAttribute, visitAnnotationElementValue, visitAnyAnnotationsAttribute, visitAnyAttribute, visitAnyClass, visitAnyConstant, visitAnyElementValue, visitAnyInstruction, visitAnyMember, visitAnyParameterAnnotationsAttribute, visitAnyPrimitiveArrayConstant, visitAnyPrimitiveArrayConstantElement, visitAnyRefConstant, visitAnyStackMapFrame, visitAnySwitchInstruction, visitAnyTargetInfo, visitAnyTypeAnnotationsAttribute, visitAnyVerificationType, visitArrayElementValue, visitBooleanArrayConstant, visitBooleanArrayConstantElement, visitBootstrapMethodsAttribute, visitBranchInstruction, visitByteArrayConstant, visitByteArrayConstantElement, visitCatchTargetInfo, visitCharArrayConstant, visitCharArrayConstantElement, visitClassConstant, visitClassElementValue, visitCodeAttribute, visitConstantElementValue, visitConstantInstruction, visitConstantValueAttribute, visitDeprecatedAttribute, visitDeprecatedAttribute, visitDeprecatedAttribute, visitDeprecatedAttribute, visitDoubleArrayConstant, visitDoubleArrayConstantElement, visitDoubleConstant, visitDoubleType, visitDynamicConstant, visitEmptyTargetInfo, visitEmptyTargetInfo, visitEmptyTargetInfo, visitEnclosingMethodAttribute, visitEnumConstantElementValue, visitExceptionsAttribute, visitFloatArrayConstant, visitFloatArrayConstantElement, visitFloatConstant, visitFloatType, visitFormalParameterTargetInfo, visitFullFrame, visitInnerClassesAttribute, visitIntArrayConstant, visitIntArrayConstantElement, visitIntegerConstant, visitIntegerType, visitInterfaceMethodrefConstant, visitLessZeroFrame, visitLibraryClass, visitLibraryMember, visitLineNumberTableAttribute, visitLocalVariableTableAttribute, visitLocalVariableTargetInfo, visitLocalVariableTypeTableAttribute, visitLongArrayConstant, visitLongArrayConstantElement, visitLongConstant, visitLongType, visitLookUpSwitchInstruction, visitMethodHandleConstant, visitMethodParametersAttribute, visitMethodrefConstant, visitMethodTypeConstant, visitModuleAttribute, visitModuleConstant, visitModuleMainClassAttribute, visitModulePackagesAttribute, visitMoreZeroFrame, visitNameAndTypeConstant, visitNestHostAttribute, visitNestMembersAttribute, visitNullType, visitObjectType, visitOffsetTargetInfo, visitPackageConstant, visitPrimitiveArrayConstant, visitProgramClass, visitProgramMember, visitRuntimeInvisibleAnnotationsAttribute, visitRuntimeInvisibleAnnotationsAttribute, visitRuntimeInvisibleAnnotationsAttribute, visitRuntimeInvisibleAnnotationsAttribute, visitRuntimeInvisibleParameterAnnotationsAttribute, visitRuntimeInvisibleTypeAnnotationsAttribute, visitRuntimeInvisibleTypeAnnotationsAttribute, visitRuntimeInvisibleTypeAnnotationsAttribute, visitRuntimeInvisibleTypeAnnotationsAttribute, visitRuntimeInvisibleTypeAnnotationsAttribute, visitRuntimeVisibleAnnotationsAttribute, visitRuntimeVisibleAnnotationsAttribute, visitRuntimeVisibleAnnotationsAttribute, visitRuntimeVisibleAnnotationsAttribute, visitRuntimeVisibleParameterAnnotationsAttribute, visitRuntimeVisibleTypeAnnotationsAttribute, visitRuntimeVisibleTypeAnnotationsAttribute, visitRuntimeVisibleTypeAnnotationsAttribute, visitRuntimeVisibleTypeAnnotationsAttribute, visitRuntimeVisibleTypeAnnotationsAttribute, visitSameOneFrame, visitSameZeroFrame, visitShortArrayConstant, visitShortArrayConstantElement, visitSignatureAttribute, visitSignatureAttribute, visitSignatureAttribute, visitSignatureAttribute, visitSimpleInstruction, visitSourceDirAttribute, visitSourceFileAttribute, visitStackDoubleType, visitStackFloatType, visitStackIntegerType, visitStackLongType, visitStackMapAttribute, visitStackMapTableAttribute, visitStackNullType, visitStackObjectType, visitStackTopType, visitStackUninitializedThisType, visitStackUninitializedType, visitStringConstant, visitSuperTypeTargetInfo, visitSyntheticAttribute, visitSyntheticAttribute, visitSyntheticAttribute, visitSyntheticAttribute, visitTableSwitchInstruction, visitThrowsTargetInfo, visitTopType, visitTypeAnnotation, visitTypeAnnotation, visitTypeAnnotation, visitTypeAnnotation, visitTypeAnnotation, visitTypeAnnotation, visitTypeArgumentTargetInfo, visitTypeParameterBoundTargetInfo, visitTypeParameterBoundTargetInfo, visitTypeParameterBoundTargetInfo, visitTypeParameterBoundTargetInfo, visitTypeParameterTargetInfo, visitTypeParameterTargetInfo, visitTypePathInfo, visitTypePathInfo, visitTypePathInfo, visitTypePathInfo, visitTypePathInfo, visitUninitializedThisType, visitUninitializedType, visitUnknownAttribute, visitUtf8Constant, visitVariableInstruction, visitVariablesDoubleType, visitVariablesFloatType, visitVariablesIntegerType, visitVariablesLongType, visitVariablesNullType, visitVariablesObjectType, visitVariablesTopType, visitVariablesUninitializedThisType, visitVariablesUninitializedType

Methods inherited from class java.lang.Object

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

Methods inherited from interface proguard.evaluation.InvocationUnit

enterExceptionHandler, enterMethod, exitMethod, invokeMember

Methods inherited from interface proguard.classfile.constant.visitor.ConstantVisitor

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

Field Detail

valueFactory

protected final ValueFactory valueFactory

Constructor Detail

BasicInvocationUnit

public BasicInvocationUnit(ValueFactory valueFactory)

Creates a new BasicInvocationUnit with the given value factory.

Method Detail

getExceptionValue

public Value getExceptionValue(Clazz clazz,
                               ClassConstant catchClassConstant)

Description copied from class: SimplifiedInvocationUnit

Returns the value of the specified exception.

Specified by:

getExceptionValue in class SimplifiedInvocationUnit

setFieldClassValue

public void setFieldClassValue(Clazz clazz,
                               RefConstant refConstant,
                               ReferenceValue value)

Description copied from class: SimplifiedInvocationUnit

Sets the class through which the specified field is accessed.

Specified by:

setFieldClassValue in class SimplifiedInvocationUnit

getFieldClassValue

public Value getFieldClassValue(Clazz clazz,
                                RefConstant refConstant,
                                String type)

Description copied from class: SimplifiedInvocationUnit

Returns the class though which the specified field is accessed.

Specified by:

getFieldClassValue in class SimplifiedInvocationUnit

setFieldValue

public void setFieldValue(Clazz clazz,
                          RefConstant refConstant,
                          Value value)

Description copied from class: SimplifiedInvocationUnit

Sets the value of the specified field.

Specified by:

setFieldValue in class SimplifiedInvocationUnit

getFieldValue

public Value getFieldValue(Clazz clazz,
                           RefConstant refConstant,
                           String type)

Description copied from class: SimplifiedInvocationUnit

Returns the value of the specified field.

Specified by:

getFieldValue in class SimplifiedInvocationUnit

setMethodParameterValue

public void setMethodParameterValue(Clazz clazz,
                                    RefConstant refConstant,
                                    int parameterIndex,
                                    Value value)

Description copied from class: SimplifiedInvocationUnit

Sets the value of the specified method parameter.

Specified by:

setMethodParameterValue in class SimplifiedInvocationUnit

getMethodParameterValue

public Value getMethodParameterValue(Clazz clazz,
                                     Method method,
                                     int parameterIndex,
                                     String type,
                                     Clazz referencedClass)

Description copied from class: SimplifiedInvocationUnit

Returns the value of the specified method parameter.

Specified by:

getMethodParameterValue in class SimplifiedInvocationUnit

setMethodReturnValue

public void setMethodReturnValue(Clazz clazz,
                                 Method method,
                                 Value value)

Description copied from class: SimplifiedInvocationUnit

Sets the return value of the specified method.

Specified by:

setMethodReturnValue in class SimplifiedInvocationUnit

getMethodReturnValue

public Value getMethodReturnValue(Clazz clazz,
                                  RefConstant refConstant,
                                  String type)

Description copied from class: SimplifiedInvocationUnit

Returns the return value of the specified method.

Specified by:

getMethodReturnValue in class SimplifiedInvocationUnit

getMethodReturnValue

public Value getMethodReturnValue(Clazz clazz,
                                  InvokeDynamicConstant invokeDynamicConstant,
                                  String type)

Returns the return value of the specified method.

Specified by:

getMethodReturnValue in class SimplifiedInvocationUnit

visitProgramField

public void visitProgramField(ProgramClass programClass,
                              ProgramField programField)

Specified by:

visitProgramField in interface MemberVisitor

Overrides:

visitProgramField in class SimplifiedVisitor

visitProgramMethod

public void visitProgramMethod(ProgramClass programClass,
                               ProgramMethod programMethod)

Specified by:

visitProgramMethod in interface MemberVisitor

Overrides:

visitProgramMethod in class SimplifiedVisitor

visitLibraryField

public void visitLibraryField(LibraryClass programClass,
                              LibraryField libraryField)

Specified by:

visitLibraryField in interface MemberVisitor

Overrides:

visitLibraryField in class SimplifiedVisitor

visitLibraryMethod

public void visitLibraryMethod(LibraryClass libraryClass,
                               LibraryMethod libraryMethod)

Specified by:

visitLibraryMethod in interface MemberVisitor

Overrides:

visitLibraryMethod in class SimplifiedVisitor