proguard.optimize

Class ExpectedStackTypeFinder

java.lang.Object

proguard.optimize.ExpectedStackTypeFinder

All Implemented Interfaces:

proguard.classfile.attribute.visitor.AttributeVisitor, proguard.classfile.constant.visitor.ConstantVisitor, proguard.classfile.instruction.visitor.InstructionVisitor, proguard.classfile.visitor.MemberVisitor

public class ExpectedStackTypeFinder
extends java.lang.Object
implements proguard.classfile.attribute.visitor.AttributeVisitor, proguard.classfile.instruction.visitor.InstructionVisitor, proguard.classfile.constant.visitor.ConstantVisitor, proguard.classfile.visitor.MemberVisitor

This AttributeVisitor finds all the reference types that are expected on the stack, based on their consuming instructions.

Field Summary

Fields

Modifier and Type	Field and Description
protected proguard.evaluation.PartialEvaluator	partialEvaluator

Constructor Summary

Constructors

Constructor and Description
ExpectedStackTypeFinder() Creates a new ExpectedStackTypeFinder.
ExpectedStackTypeFinder(proguard.evaluation.PartialEvaluator partialEvaluator, boolean runPartialEvaluator) Creates a new ParameterModificationMarker.
ExpectedStackTypeFinder(proguard.evaluation.value.ValueFactory valueFactory) Creates a new ExpectedStackTypeFinder.
ExpectedStackTypeFinder(proguard.evaluation.value.ValueFactory valueFactory, proguard.evaluation.ReferenceTracingValueFactory tracingValueFactory) Creates a new ExpectedStackTypeFinder.

Method Summary

Modifier and Type	Method and Description
int	creationOffset(int initializationOffset) Returns the 'new' instruction offset at which the object instance is created that is initialized at the given offset.
proguard.evaluation.value.ReferenceValue	getExpectedTypeAfter(int instructionOffset) Returns the reference type that is expected on the stack from the specified producing instruction, based on all consuming instructions in the code attribute that was visited most recently.
void	visitAnyAttribute(proguard.classfile.Clazz clazz, proguard.classfile.attribute.Attribute attribute)
void	visitAnyConstant(proguard.classfile.Clazz clazz, proguard.classfile.constant.Constant constant)
void	visitAnyInstruction(proguard.classfile.Clazz clazz, proguard.classfile.Method method, proguard.classfile.attribute.CodeAttribute codeAttribute, int offset, proguard.classfile.instruction.Instruction instruction)
void	visitAnyMethodrefConstant(proguard.classfile.Clazz clazz, proguard.classfile.constant.AnyMethodrefConstant anyMethodrefConstant)
void	visitClassConstant(proguard.classfile.Clazz clazz, proguard.classfile.constant.ClassConstant classConstant)
void	visitCodeAttribute(proguard.classfile.Clazz clazz, proguard.classfile.Method method, proguard.classfile.attribute.CodeAttribute codeAttribute)
void	visitConstantInstruction(proguard.classfile.Clazz clazz, proguard.classfile.Method method, proguard.classfile.attribute.CodeAttribute codeAttribute, int offset, proguard.classfile.instruction.ConstantInstruction constantInstruction)
void	visitFieldrefConstant(proguard.classfile.Clazz clazz, proguard.classfile.constant.FieldrefConstant fieldrefConstant)
void	visitInvokeDynamicConstant(proguard.classfile.Clazz clazz, proguard.classfile.constant.InvokeDynamicConstant invokeDynamicConstant)
void	visitLibraryField(proguard.classfile.LibraryClass libraryClass, proguard.classfile.LibraryField libraryField)
void	visitLibraryMethod(proguard.classfile.LibraryClass libraryClass, proguard.classfile.LibraryMethod libraryMethod)
void	visitProgramField(proguard.classfile.ProgramClass programClass, proguard.classfile.ProgramField programField)
void	visitProgramMethod(proguard.classfile.ProgramClass programClass, proguard.classfile.ProgramMethod programMethod)
void	visitSimpleInstruction(proguard.classfile.Clazz clazz, proguard.classfile.Method method, proguard.classfile.attribute.CodeAttribute codeAttribute, int offset, proguard.classfile.instruction.SimpleInstruction simpleInstruction)

Methods inherited from class java.lang.Object

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

Methods inherited from interface proguard.classfile.attribute.visitor.AttributeVisitor

visitAnnotationDefaultAttribute, visitAnyAnnotationsAttribute, visitAnyParameterAnnotationsAttribute, visitAnyTypeAnnotationsAttribute, visitBootstrapMethodsAttribute, visitConstantValueAttribute, visitDeprecatedAttribute, visitDeprecatedAttribute, visitDeprecatedAttribute, visitDeprecatedAttribute, visitEnclosingMethodAttribute, visitExceptionsAttribute, visitInnerClassesAttribute, visitLineNumberTableAttribute, visitLocalVariableTableAttribute, visitLocalVariableTypeTableAttribute, visitMethodParametersAttribute, visitModuleAttribute, visitModuleMainClassAttribute, visitModulePackagesAttribute, visitNestHostAttribute, visitNestMembersAttribute, visitPermittedSubclassesAttribute, visitRecordAttribute, visitRuntimeInvisibleAnnotationsAttribute, visitRuntimeInvisibleAnnotationsAttribute, visitRuntimeInvisibleAnnotationsAttribute, visitRuntimeInvisibleAnnotationsAttribute, visitRuntimeInvisibleAnnotationsAttribute, visitRuntimeInvisibleParameterAnnotationsAttribute, visitRuntimeInvisibleTypeAnnotationsAttribute, visitRuntimeInvisibleTypeAnnotationsAttribute, visitRuntimeInvisibleTypeAnnotationsAttribute, visitRuntimeInvisibleTypeAnnotationsAttribute, visitRuntimeInvisibleTypeAnnotationsAttribute, visitRuntimeInvisibleTypeAnnotationsAttribute, visitRuntimeVisibleAnnotationsAttribute, visitRuntimeVisibleAnnotationsAttribute, visitRuntimeVisibleAnnotationsAttribute, visitRuntimeVisibleAnnotationsAttribute, visitRuntimeVisibleAnnotationsAttribute, visitRuntimeVisibleParameterAnnotationsAttribute, visitRuntimeVisibleTypeAnnotationsAttribute, visitRuntimeVisibleTypeAnnotationsAttribute, visitRuntimeVisibleTypeAnnotationsAttribute, visitRuntimeVisibleTypeAnnotationsAttribute, visitRuntimeVisibleTypeAnnotationsAttribute, visitRuntimeVisibleTypeAnnotationsAttribute, visitSignatureAttribute, visitSignatureAttribute, visitSignatureAttribute, visitSignatureAttribute, visitSignatureAttribute, visitSourceDebugExtensionAttribute, visitSourceDirAttribute, visitSourceFileAttribute, visitStackMapAttribute, visitStackMapTableAttribute, visitSyntheticAttribute, visitSyntheticAttribute, visitSyntheticAttribute, visitSyntheticAttribute, visitUnknownAttribute

Methods inherited from interface proguard.classfile.instruction.visitor.InstructionVisitor

visitAnySwitchInstruction, visitBranchInstruction, visitLookUpSwitchInstruction, visitTableSwitchInstruction, visitVariableInstruction

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

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

Methods inherited from interface proguard.classfile.visitor.MemberVisitor

visitAnyMember, visitLibraryMember, visitProgramMember

Field Detail

partialEvaluator

protected final proguard.evaluation.PartialEvaluator partialEvaluator

Constructor Detail

ExpectedStackTypeFinder

public ExpectedStackTypeFinder()

Creates a new ExpectedStackTypeFinder.

ExpectedStackTypeFinder

public ExpectedStackTypeFinder(proguard.evaluation.value.ValueFactory valueFactory)

Creates a new ExpectedStackTypeFinder.

ExpectedStackTypeFinder

public ExpectedStackTypeFinder(proguard.evaluation.value.ValueFactory valueFactory,
                               proguard.evaluation.ReferenceTracingValueFactory tracingValueFactory)

Creates a new ExpectedStackTypeFinder.

ExpectedStackTypeFinder

public ExpectedStackTypeFinder(proguard.evaluation.PartialEvaluator partialEvaluator,
                               boolean runPartialEvaluator)

Creates a new ParameterModificationMarker.

Method Detail

getExpectedTypeAfter

public proguard.evaluation.value.ReferenceValue getExpectedTypeAfter(int instructionOffset)

Returns the reference type that is expected on the stack from the specified producing instruction, based on all consuming instructions in the code attribute that was visited most recently.

creationOffset

public int creationOffset(int initializationOffset)

Returns the 'new' instruction offset at which the object instance is created that is initialized at the given offset.

visitAnyAttribute

public void visitAnyAttribute(proguard.classfile.Clazz clazz,
                              proguard.classfile.attribute.Attribute attribute)

Specified by:

visitAnyAttribute in interface proguard.classfile.attribute.visitor.AttributeVisitor

visitCodeAttribute

public void visitCodeAttribute(proguard.classfile.Clazz clazz,
                               proguard.classfile.Method method,
                               proguard.classfile.attribute.CodeAttribute codeAttribute)

Specified by:

visitCodeAttribute in interface proguard.classfile.attribute.visitor.AttributeVisitor

visitAnyInstruction

public void visitAnyInstruction(proguard.classfile.Clazz clazz,
                                proguard.classfile.Method method,
                                proguard.classfile.attribute.CodeAttribute codeAttribute,
                                int offset,
                                proguard.classfile.instruction.Instruction instruction)

Specified by:

visitAnyInstruction in interface proguard.classfile.instruction.visitor.InstructionVisitor

visitSimpleInstruction

public void visitSimpleInstruction(proguard.classfile.Clazz clazz,
                                   proguard.classfile.Method method,
                                   proguard.classfile.attribute.CodeAttribute codeAttribute,
                                   int offset,
                                   proguard.classfile.instruction.SimpleInstruction simpleInstruction)

Specified by:

visitSimpleInstruction in interface proguard.classfile.instruction.visitor.InstructionVisitor

visitConstantInstruction

public void visitConstantInstruction(proguard.classfile.Clazz clazz,
                                     proguard.classfile.Method method,
                                     proguard.classfile.attribute.CodeAttribute codeAttribute,
                                     int offset,
                                     proguard.classfile.instruction.ConstantInstruction constantInstruction)

Specified by:

visitConstantInstruction in interface proguard.classfile.instruction.visitor.InstructionVisitor

visitAnyConstant

public void visitAnyConstant(proguard.classfile.Clazz clazz,
                             proguard.classfile.constant.Constant constant)

Specified by:

visitAnyConstant in interface proguard.classfile.constant.visitor.ConstantVisitor

visitInvokeDynamicConstant

public void visitInvokeDynamicConstant(proguard.classfile.Clazz clazz,
                                       proguard.classfile.constant.InvokeDynamicConstant invokeDynamicConstant)

Specified by:

visitInvokeDynamicConstant in interface proguard.classfile.constant.visitor.ConstantVisitor

visitFieldrefConstant

public void visitFieldrefConstant(proguard.classfile.Clazz clazz,
                                  proguard.classfile.constant.FieldrefConstant fieldrefConstant)

Specified by:

visitFieldrefConstant in interface proguard.classfile.constant.visitor.ConstantVisitor

visitAnyMethodrefConstant

public void visitAnyMethodrefConstant(proguard.classfile.Clazz clazz,
                                      proguard.classfile.constant.AnyMethodrefConstant anyMethodrefConstant)

Specified by:

visitAnyMethodrefConstant in interface proguard.classfile.constant.visitor.ConstantVisitor

visitClassConstant

public void visitClassConstant(proguard.classfile.Clazz clazz,
                               proguard.classfile.constant.ClassConstant classConstant)

Specified by:

visitClassConstant in interface proguard.classfile.constant.visitor.ConstantVisitor

visitProgramField

public void visitProgramField(proguard.classfile.ProgramClass programClass,
                              proguard.classfile.ProgramField programField)

Specified by:

visitProgramField in interface proguard.classfile.visitor.MemberVisitor

visitProgramMethod

public void visitProgramMethod(proguard.classfile.ProgramClass programClass,
                               proguard.classfile.ProgramMethod programMethod)

Specified by:

visitProgramMethod in interface proguard.classfile.visitor.MemberVisitor

visitLibraryField

public void visitLibraryField(proguard.classfile.LibraryClass libraryClass,
                              proguard.classfile.LibraryField libraryField)

Specified by:

visitLibraryField in interface proguard.classfile.visitor.MemberVisitor

visitLibraryMethod

public void visitLibraryMethod(proguard.classfile.LibraryClass libraryClass,
                               proguard.classfile.LibraryMethod libraryMethod)

Specified by:

visitLibraryMethod in interface proguard.classfile.visitor.MemberVisitor