proguard.optimize

Class InfluenceFixpointVisitor

java.lang.Object

proguard.optimize.InfluenceFixpointVisitor

All Implemented Interfaces:

proguard.classfile.visitor.ClassPoolVisitor

public class InfluenceFixpointVisitor
extends java.lang.Object
implements proguard.classfile.visitor.ClassPoolVisitor

This ClassPoolVisitor visits members using visitors created by a factory. When any member X is changed, all other members that refer or connect to X are revisited. This is repeated until fix point. This class is used for side effect marking where, once a side effect is found, all methods referring to it could also have side effects.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	InfluenceFixpointVisitor.MemberVisitorFactory A factory of MemberVisitor instances.

Constructor Summary

Constructors

Constructor and Description
InfluenceFixpointVisitor(InfluenceFixpointVisitor.MemberVisitorFactory memberVisitorFactory) Creates a mew InfluenceFixpointVisitor

Method Summary

Modifier and Type	Method and Description
void	visitClassPool(proguard.classfile.ClassPool classPool)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

InfluenceFixpointVisitor

public InfluenceFixpointVisitor(InfluenceFixpointVisitor.MemberVisitorFactory memberVisitorFactory)

Creates a mew InfluenceFixpointVisitor

Parameters:

memberVisitorFactory - The factory of membervisitors that will be used to visit all the classes

Method Detail

visitClassPool

public void visitClassPool(proguard.classfile.ClassPool classPool)

Specified by:

visitClassPool in interface proguard.classfile.visitor.ClassPoolVisitor