com.google.gwt.dev.jjs.impl

Class ComputePotentiallyObservableUninitializedValues

java.lang.Object

com.google.gwt.dev.jjs.impl.ComputePotentiallyObservableUninitializedValues

public class ComputePotentiallyObservableUninitializedValues
extends Object

Determines conservatively which classes can potentially see uninitialized values of their subclasses' fields.

This simple conservative analysis relies on the fact that when:

• (1) there are no virtual calls on "this" in any of the initialization methods (constructors, init) of all the superclasses, and
• (2) "this" does not escape through a parameter to other methods, and
• (3) "this" is not aliased (stored into another field, variable or array)

then uninitialized values for subclass fields can never be seen.

This analysis is used to strengthen the nullness analysis performed by TypeTightener and to hoist initialization of instance fields to the prototype in GenerateJavaScriptAST.

Method Summary

Modifier and Type	Method and Description
static com.google.gwt.thirdparty.guava.common.base.Predicate<JField>	analyze(JProgram program) Perform the analysis to compute which fields can be observed uninitialized.

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, toString

Method Detail

analyze

public static com.google.gwt.thirdparty.guava.common.base.Predicate<JField> analyze(JProgram program)

Perform the analysis to compute which fields can be observed uninitialized.