proguard.optimize.info

Class ReferenceEscapeChecker

java.lang.Object

proguard.optimize.info.ReferenceEscapeChecker

All Implemented Interfaces:

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

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

This AttributeVisitor can tell whether reference parameters and instances are escaping, are modified, or are returned.

See Also:

ParameterEscapeMarker

Constructor Summary

Constructors

Constructor and Description
ReferenceEscapeChecker() Creates a new ReferenceEscapeChecker.
ReferenceEscapeChecker(proguard.evaluation.PartialEvaluator partialEvaluator, boolean runPartialEvaluator) Creates a new ReferenceEscapeChecker.

Method Summary

Modifier and Type	Method and Description
boolean	isInstanceEscaping(int instructionOffset) Returns whether the instance created or retrieved at the specified instruction offset is escaping.
boolean	isInstanceExternal(int instructionOffset) Returns whether the instance created or retrieved at the specified instruction offset is external to this method and its invoked methods.
boolean	isInstanceModified(int instructionOffset) Returns whether the instance created or retrieved at the specified instruction offset is being modified.
boolean	isInstanceReturned(int instructionOffset) Returns whether the instance created or retrieved at the specified instruction offset is being returned.
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	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	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, visitClassConstant, visitDoubleConstant, visitDynamicConstant, visitFloatConstant, visitIntegerConstant, visitInterfaceMethodrefConstant, visitInvokeDynamicConstant, visitLongConstant, visitMethodHandleConstant, visitMethodrefConstant, visitMethodTypeConstant, visitModuleConstant, visitNameAndTypeConstant, visitPackageConstant, visitPrimitiveArrayConstant, visitStringConstant, visitUtf8Constant

Constructor Detail

ReferenceEscapeChecker

public ReferenceEscapeChecker()

Creates a new ReferenceEscapeChecker.

ReferenceEscapeChecker

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

Creates a new ReferenceEscapeChecker.

Parameters:

partialEvaluator - the evaluator to be used for the analysis.

runPartialEvaluator - specifies whether to run this evaluator on every code attribute that is visited.

Method Detail

isInstanceEscaping

public boolean isInstanceEscaping(int instructionOffset)

Returns whether the instance created or retrieved at the specified instruction offset is escaping.

isInstanceReturned

public boolean isInstanceReturned(int instructionOffset)

Returns whether the instance created or retrieved at the specified instruction offset is being returned.

isInstanceModified

public boolean isInstanceModified(int instructionOffset)

Returns whether the instance created or retrieved at the specified instruction offset is being modified.

isInstanceExternal

public boolean isInstanceExternal(int instructionOffset)

Returns whether the instance created or retrieved at the specified instruction offset is external to this method and its invoked methods.

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

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