proguard.optimize.info

Class ExceptionInstructionChecker

java.lang.Object

proguard.classfile.util.SimplifiedVisitor

proguard.optimize.info.ExceptionInstructionChecker

All Implemented Interfaces:

InstructionVisitor

public class ExceptionInstructionChecker
extends SimplifiedVisitor
implements InstructionVisitor

This class can tell whether an instruction might throw exceptions.

Author:

Eric Lafortune

Constructor Summary

Constructors

Constructor and Description
ExceptionInstructionChecker()

Method Summary

Modifier and Type	Method and Description
int	firstExceptionThrowingInstructionOffset(Clazz clazz, Method method, CodeAttribute codeAttribute, int startOffset, int endOffset) Returns the offset of the first instruction in the specified block of code that may throw exceptions, or the end offset if there is none.
int	lastExceptionThrowingInstructionOffset(Clazz clazz, Method method, CodeAttribute codeAttribute, int startOffset, int endOffset) Returns the offset after the last instruction in the specified block of code that may throw exceptions, or the start offset if there is none.
boolean	mayThrowExceptions(Clazz clazz, Method method, CodeAttribute codeAttribute) Returns whether the specified method may throw exceptions.
boolean	mayThrowExceptions(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset) Returns whether the specified instruction may throw exceptions.
boolean	mayThrowExceptions(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, Instruction instruction) Returns whether the given instruction may throw exceptions.
boolean	mayThrowExceptions(Clazz clazz, Method method, CodeAttribute codeAttribute, int startOffset, int endOffset) Returns whether the specified block of code may throw exceptions.
void	visitAnyInstruction(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, Instruction instruction) Visits any type of Instruction.
void	visitConstantInstruction(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, ConstantInstruction constantInstruction)
void	visitSimpleInstruction(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, SimpleInstruction simpleInstruction)

Methods inherited from class proguard.classfile.util.SimplifiedVisitor

visitAnnotation, visitAnnotation, visitAnnotation, visitAnnotation, visitAnnotation, visitAnnotation, visitAnnotationDefaultAttribute, visitAnnotationElementValue, visitAnyAnnotationsAttribute, visitAnyAttribute, visitAnyClass, visitAnyConstant, visitAnyElementValue, visitAnyMember, visitAnyMethodrefConstant, visitAnyParameterAnnotationsAttribute, visitAnyPrimitiveArrayConstant, visitAnyPrimitiveArrayConstantElement, visitAnyRefConstant, visitAnyStackMapFrame, visitAnySwitchInstruction, visitAnyTargetInfo, visitAnyTypeAnnotationsAttribute, visitAnyVerificationType, visitArrayElementValue, visitBooleanArrayConstant, visitBooleanArrayConstantElement, visitBootstrapMethodsAttribute, visitBranchInstruction, visitByteArrayConstant, visitByteArrayConstantElement, visitCatchTargetInfo, visitCharArrayConstant, visitCharArrayConstantElement, visitClassConstant, visitClassElementValue, visitCodeAttribute, visitConstantElementValue, visitConstantValueAttribute, visitDeprecatedAttribute, visitDeprecatedAttribute, visitDeprecatedAttribute, visitDeprecatedAttribute, visitDoubleArrayConstant, visitDoubleArrayConstantElement, visitDoubleConstant, visitDoubleType, visitDynamicConstant, visitEmptyTargetInfo, visitEmptyTargetInfo, visitEmptyTargetInfo, visitEnclosingMethodAttribute, visitEnumConstantElementValue, visitExceptionsAttribute, visitFieldrefConstant, visitFloatArrayConstant, visitFloatArrayConstantElement, visitFloatConstant, visitFloatType, visitFormalParameterTargetInfo, visitFullFrame, visitInnerClassesAttribute, visitIntArrayConstant, visitIntArrayConstantElement, visitIntegerConstant, visitIntegerType, visitInterfaceMethodrefConstant, visitInvokeDynamicConstant, visitLessZeroFrame, visitLibraryClass, visitLibraryField, visitLibraryMember, visitLibraryMethod, 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, visitProgramField, visitProgramMember, visitProgramMethod, 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, 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.classfile.instruction.visitor.InstructionVisitor

visitBranchInstruction, visitLookUpSwitchInstruction, visitTableSwitchInstruction, visitVariableInstruction

Constructor Detail

ExceptionInstructionChecker

public ExceptionInstructionChecker()

Method Detail

mayThrowExceptions

public boolean mayThrowExceptions(Clazz clazz,
                                  Method method,
                                  CodeAttribute codeAttribute)

Returns whether the specified method may throw exceptions.

mayThrowExceptions

public boolean mayThrowExceptions(Clazz clazz,
                                  Method method,
                                  CodeAttribute codeAttribute,
                                  int startOffset,
                                  int endOffset)

Returns whether the specified block of code may throw exceptions.

firstExceptionThrowingInstructionOffset

public int firstExceptionThrowingInstructionOffset(Clazz clazz,
                                                   Method method,
                                                   CodeAttribute codeAttribute,
                                                   int startOffset,
                                                   int endOffset)

Returns the offset of the first instruction in the specified block of code that may throw exceptions, or the end offset if there is none.

lastExceptionThrowingInstructionOffset

public int lastExceptionThrowingInstructionOffset(Clazz clazz,
                                                  Method method,
                                                  CodeAttribute codeAttribute,
                                                  int startOffset,
                                                  int endOffset)

Returns the offset after the last instruction in the specified block of code that may throw exceptions, or the start offset if there is none.

mayThrowExceptions

public boolean mayThrowExceptions(Clazz clazz,
                                  Method method,
                                  CodeAttribute codeAttribute,
                                  int offset)

Returns whether the specified instruction may throw exceptions.

mayThrowExceptions

public boolean mayThrowExceptions(Clazz clazz,
                                  Method method,
                                  CodeAttribute codeAttribute,
                                  int offset,
                                  Instruction instruction)

Returns whether the given instruction may throw exceptions.

visitAnyInstruction

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

Description copied from class: SimplifiedVisitor

Visits any type of Instruction.

Overrides:

visitAnyInstruction in class SimplifiedVisitor

visitSimpleInstruction

public void visitSimpleInstruction(Clazz clazz,
                                   Method method,
                                   CodeAttribute codeAttribute,
                                   int offset,
                                   SimpleInstruction simpleInstruction)

Specified by:

visitSimpleInstruction in interface InstructionVisitor

Overrides:

visitSimpleInstruction in class SimplifiedVisitor

visitConstantInstruction

public void visitConstantInstruction(Clazz clazz,
                                     Method method,
                                     CodeAttribute codeAttribute,
                                     int offset,
                                     ConstantInstruction constantInstruction)

Specified by:

visitConstantInstruction in interface InstructionVisitor

Overrides:

visitConstantInstruction in class SimplifiedVisitor