proguard.optimize.peephole

Class ReachableCodeMarker

java.lang.Object

proguard.optimize.peephole.ReachableCodeMarker

All Implemented Interfaces:

proguard.classfile.attribute.visitor.AttributeVisitor, proguard.classfile.attribute.visitor.ExceptionInfoVisitor, proguard.classfile.instruction.visitor.InstructionVisitor

public class ReachableCodeMarker
extends java.lang.Object
implements proguard.classfile.attribute.visitor.AttributeVisitor, proguard.classfile.instruction.visitor.InstructionVisitor, proguard.classfile.attribute.visitor.ExceptionInfoVisitor

This AttributeVisitor finds all instruction offsets, branch targets, and exception targets in the CodeAttribute objects that it visits.

Constructor Summary

Constructors

Constructor and Description
ReachableCodeMarker()

Method Summary

Modifier and Type	Method and Description
boolean	isReachable(int offset) Returns whether the instruction at the given offset is reachable in the CodeAttribute that was visited most recently.
boolean	isReachable(int startOffset, int endOffset) Returns whether any of the instructions at the given offsets are reachable in the CodeAttribute that was visited most recently.
void	visitAnyAttribute(proguard.classfile.Clazz clazz, proguard.classfile.attribute.Attribute attribute)
void	visitAnySwitchInstruction(proguard.classfile.Clazz clazz, proguard.classfile.Method method, proguard.classfile.attribute.CodeAttribute codeAttribute, int offset, proguard.classfile.instruction.SwitchInstruction switchInstruction)
void	visitBranchInstruction(proguard.classfile.Clazz clazz, proguard.classfile.Method method, proguard.classfile.attribute.CodeAttribute codeAttribute, int offset, proguard.classfile.instruction.BranchInstruction branchInstruction)
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	visitExceptionInfo(proguard.classfile.Clazz clazz, proguard.classfile.Method method, proguard.classfile.attribute.CodeAttribute codeAttribute, proguard.classfile.attribute.ExceptionInfo exceptionInfo)
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.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

visitAnyInstruction, visitLookUpSwitchInstruction, visitTableSwitchInstruction

Constructor Detail

ReachableCodeMarker

public ReachableCodeMarker()

Method Detail

isReachable

public boolean isReachable(int offset)

Returns whether the instruction at the given offset is reachable in the CodeAttribute that was visited most recently.

isReachable

public boolean isReachable(int startOffset,
                           int endOffset)

Returns whether any of the instructions at the given offsets are reachable in the CodeAttribute that was visited most recently.

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

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

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

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

visitAnySwitchInstruction

public void visitAnySwitchInstruction(proguard.classfile.Clazz clazz,
                                      proguard.classfile.Method method,
                                      proguard.classfile.attribute.CodeAttribute codeAttribute,
                                      int offset,
                                      proguard.classfile.instruction.SwitchInstruction switchInstruction)

Specified by:

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

visitExceptionInfo

public void visitExceptionInfo(proguard.classfile.Clazz clazz,
                               proguard.classfile.Method method,
                               proguard.classfile.attribute.CodeAttribute codeAttribute,
                               proguard.classfile.attribute.ExceptionInfo exceptionInfo)

Specified by:

visitExceptionInfo in interface proguard.classfile.attribute.visitor.ExceptionInfoVisitor