proguard.optimize.info

Class SideEffectInstructionChecker

java.lang.Object

proguard.optimize.info.SideEffectInstructionChecker

All Implemented Interfaces:

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

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

This class can tell whether an instruction has any side effects. This includes invoking methods that have side effects, writing to fields that are not write-only, and throwing exceptions. Return instructions and array store instructions can be included or not. With the environment setting "optimize.conservatively", it also accounts for all possible NullPointerExceptions, ArrayIndexOutOfBoundExceptions, etc., which are typically accidental, not intentional.

See Also:

ReadWriteFieldMarker, SideEffectClassMarker, NoSideEffectMethodMarker, SideEffectMethodMarker

Constructor Summary

Constructors

Constructor and Description
SideEffectInstructionChecker(boolean includeReturnInstructions, boolean includeArrayStoreInstructions, boolean includeBuiltInExceptions) Creates a new SideEffectInstructionChecker

Method Summary

Modifier and Type	Method and Description
boolean	hasSideEffects(proguard.classfile.Clazz clazz, proguard.classfile.Method method, proguard.classfile.attribute.CodeAttribute codeAttribute, int offset, proguard.classfile.instruction.Instruction instruction)
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	visitBranchInstruction(proguard.classfile.Clazz clazz, proguard.classfile.Method method, proguard.classfile.attribute.CodeAttribute codeAttribute, int offset, proguard.classfile.instruction.BranchInstruction branchInstruction)
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)
void	visitVariableInstruction(proguard.classfile.Clazz clazz, proguard.classfile.Method method, proguard.classfile.attribute.CodeAttribute codeAttribute, int offset, proguard.classfile.instruction.VariableInstruction variableInstruction)

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

visitAnySwitchInstruction, visitLookUpSwitchInstruction, visitTableSwitchInstruction

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

visitAnyConstant, visitAnyRefConstant, visitClassConstant, 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

Constructor Detail

SideEffectInstructionChecker

public SideEffectInstructionChecker(boolean includeReturnInstructions,
                                    boolean includeArrayStoreInstructions,
                                    boolean includeBuiltInExceptions)

Creates a new SideEffectInstructionChecker

Parameters:

includeReturnInstructions - specifies whether return instructions count as side effects.

includeArrayStoreInstructions - specifies whether storing values in arrays counts as side effects.

includeBuiltInExceptions - specifies whether built-in exceptions count as side effects (e.g. calling getfield on null object reference)

Method Detail

hasSideEffects

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

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

visitVariableInstruction

public void visitVariableInstruction(proguard.classfile.Clazz clazz,
                                     proguard.classfile.Method method,
                                     proguard.classfile.attribute.CodeAttribute codeAttribute,
                                     int offset,
                                     proguard.classfile.instruction.VariableInstruction variableInstruction)

Specified by:

visitVariableInstruction 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

visitBranchInstruction

public void visitBranchInstruction(proguard.classfile.Clazz clazz,
                                   proguard.classfile.Method method,
                                   proguard.classfile.attribute.CodeAttribute codeAttribute,
                                   int offset,
                                   proguard.classfile.instruction.BranchInstruction branchInstruction)

Specified by:

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

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

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