proguard.optimize.evaluation

Class EvaluationSimplifier

java.lang.Object

proguard.optimize.evaluation.EvaluationSimplifier

All Implemented Interfaces:

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

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

This AttributeVisitor simplifies the code attributes that it visits, based on partial evaluation.

Constructor Summary

Constructors

Constructor and Description
EvaluationSimplifier(boolean predictNullPointerExceptions) Creates a new EvaluationSimplifier.
EvaluationSimplifier(proguard.evaluation.PartialEvaluator partialEvaluator, proguard.classfile.instruction.visitor.InstructionVisitor extraInstructionVisitor, boolean predictNullPointerExceptions) Creates a new EvaluationSimplifier.

Method Summary

Modifier and Type	Method and Description
void	visitAnyAttribute(proguard.classfile.Clazz clazz, proguard.classfile.attribute.Attribute attribute)
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	visitCodeAttribute0(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	visitLookUpSwitchInstruction(proguard.classfile.Clazz clazz, proguard.classfile.Method method, proguard.classfile.attribute.CodeAttribute codeAttribute, int offset, proguard.classfile.instruction.LookUpSwitchInstruction lookUpSwitchInstruction)
void	visitSimpleInstruction(proguard.classfile.Clazz clazz, proguard.classfile.Method method, proguard.classfile.attribute.CodeAttribute codeAttribute, int offset, proguard.classfile.instruction.SimpleInstruction simpleInstruction)
void	visitTableSwitchInstruction(proguard.classfile.Clazz clazz, proguard.classfile.Method method, proguard.classfile.attribute.CodeAttribute codeAttribute, int offset, proguard.classfile.instruction.TableSwitchInstruction tableSwitchInstruction)
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, visitAnySwitchInstruction

Constructor Detail

EvaluationSimplifier

public EvaluationSimplifier(boolean predictNullPointerExceptions)

Creates a new EvaluationSimplifier.

Parameters:

predictNullPointerExceptions - specifies whether instructions that will always result in a NullPointerException should be replaced with an explicit NullPointerException

EvaluationSimplifier

public EvaluationSimplifier(proguard.evaluation.PartialEvaluator partialEvaluator,
                            proguard.classfile.instruction.visitor.InstructionVisitor extraInstructionVisitor,
                            boolean predictNullPointerExceptions)

Creates a new EvaluationSimplifier.

Parameters:

partialEvaluator - the partial evaluator that will execute the code and provide information about the results.

extraInstructionVisitor - an optional extra visitor for all simplified instructions.

predictNullPointerExceptions - specifies whether instructions that will always result in a NullPointerException should be replaced with an explicit NullPointerException

Method Detail

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

visitCodeAttribute0

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

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

visitTableSwitchInstruction

public void visitTableSwitchInstruction(proguard.classfile.Clazz clazz,
                                        proguard.classfile.Method method,
                                        proguard.classfile.attribute.CodeAttribute codeAttribute,
                                        int offset,
                                        proguard.classfile.instruction.TableSwitchInstruction tableSwitchInstruction)

Specified by:

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

visitLookUpSwitchInstruction

public void visitLookUpSwitchInstruction(proguard.classfile.Clazz clazz,
                                         proguard.classfile.Method method,
                                         proguard.classfile.attribute.CodeAttribute codeAttribute,
                                         int offset,
                                         proguard.classfile.instruction.LookUpSwitchInstruction lookUpSwitchInstruction)

Specified by:

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