com.google.gwt.dev.jjs.impl

Class ControlFlowAnalyzer

java.lang.Object

com.google.gwt.dev.jjs.impl.ControlFlowAnalyzer

public class ControlFlowAnalyzer
extends Object

This class finds out what code in a program is live based on starting execution at a specified location.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	ControlFlowAnalyzer.DependencyRecorder A callback for recording control-flow dependencies as they are discovered.

Constructor Summary

Constructors

Constructor and Description
ControlFlowAnalyzer(ControlFlowAnalyzer cfa)
ControlFlowAnalyzer(JProgram program)

Method Summary

Modifier and Type	Method and Description
Set<JField>	getFieldsWritten() Return the set of all fields that are written.
Set<JReferenceType>	getInstantiatedTypes() Return the complete set of types that have been instantiated.
Set<? extends JNode>	getLiveFieldsAndMethods() Return all methods that could be executed, and all variables that could be read, based on the given entry points so far.
Set<String>	getLiveStrings()
Set<? extends JReferenceType>	getReferencedTypes() Return the complete set of types that have been referenced.
void	rescue(Iterable<JReferenceType> typesToRescue) Forcibly rescue typesToRescue.
void	setDependencyRecorder(ControlFlowAnalyzer.DependencyRecorder dr) Specify the ControlFlowAnalyzer.DependencyRecorder to be used for future traversals.
void	setForPruning()
void	traverseEntryMethods() Traverse the program entry points, but don't traverse any runAsync fragments.
void	traverseEverything()
void	traverseFrom(JMethod method) Assume method is live, and find out what else might execute.
void	traverseFromInstantiationOf(JDeclaredType type) Assume type is instantiated, and find out what else will execute as a result.
void	traverseFromReferenceTo(JDeclaredType type)
void	traverseFromRunAsync(JRunAsync runAsync) Traverse the fragment for a specific runAsync.
void	traverseFromRunAsyncs() Traverse the fragments for all runAsyncs.

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, toString

Constructor Detail

ControlFlowAnalyzer

public ControlFlowAnalyzer(ControlFlowAnalyzer cfa)

ControlFlowAnalyzer

public ControlFlowAnalyzer(JProgram program)

Method Detail

getFieldsWritten

public Set<JField> getFieldsWritten()

Return the set of all fields that are written.

getInstantiatedTypes

public Set<JReferenceType> getInstantiatedTypes()

Return the complete set of types that have been instantiated.

getLiveFieldsAndMethods

public Set<? extends JNode> getLiveFieldsAndMethods()

Return all methods that could be executed, and all variables that could be read, based on the given entry points so far.

getLiveStrings

public Set<String> getLiveStrings()

getReferencedTypes

public Set<? extends JReferenceType> getReferencedTypes()

Return the complete set of types that have been referenced.

rescue

public void rescue(Iterable<JReferenceType> typesToRescue)

Forcibly rescue typesToRescue.

NOTE: this is used to rescue types that are made live by operations (e.g. casts) that have been eliminated by a normalization pass.

setDependencyRecorder

public void setDependencyRecorder(ControlFlowAnalyzer.DependencyRecorder dr)

Specify the ControlFlowAnalyzer.DependencyRecorder to be used for future traversals. Specifying null means to stop recording dependencies.

setForPruning

public void setForPruning()

traverseEntryMethods

public void traverseEntryMethods()

Traverse the program entry points, but don't traverse any runAsync fragments.

traverseEverything

public void traverseEverything()

traverseFrom

public void traverseFrom(JMethod method)

Assume method is live, and find out what else might execute.

traverseFromInstantiationOf

public void traverseFromInstantiationOf(JDeclaredType type)

Assume type is instantiated, and find out what else will execute as a result.

traverseFromReferenceTo

public void traverseFromReferenceTo(JDeclaredType type)

traverseFromRunAsync

public void traverseFromRunAsync(JRunAsync runAsync)

Traverse the fragment for a specific runAsync.

traverseFromRunAsyncs

public void traverseFromRunAsyncs()

Traverse the fragments for all runAsyncs.