com.google.gwt.dev.jjs.ast

Class JProgram

java.lang.Object

com.google.gwt.dev.jjs.ast.JNode

com.google.gwt.dev.jjs.ast.JProgram

All Implemented Interfaces:

ArrayTypeCreator, JVisitable, HasSourceInfo, Serializable

public class JProgram
extends JNode
implements ArrayTypeCreator

Root for the AST representing an entire Java program.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static String	CLASS_LITERAL_HOLDER
static Set<String>	CODEGEN_TYPES_SET
List<JClassType>	codeGenTypes
static Set<String>	IMMORTAL_CODEGEN_TYPES_SET
List<JClassType>	immortalCodeGenTypes
static String	JAVASCRIPTOBJECT
static Set<String>	SYNTHETIC_TYPE_NAMES Types whose entire implementation is synthesized at compile time.
JTypeOracle	typeOracle

Constructor Summary

Constructors

Constructor and Description
JProgram(MinimalRebuildCache minimalRebuildCache)
JProgram(MinimalRebuildCache minimalRebuildCache, boolean hasWholeWorldKnowledge)

Method Summary

Modifier and Type	Method and Description
void	addEntryMethod(JMethod entryPoint)
void	addIndexedTypeName(String typeName) Adds the given type name to the set of type names (beyond the basic INDEX_TYPES_SET) whose instance should be indexed when seen.
void	addPinnedMethod(JMethod method) Add a pinned method.
void	addReferenceOnlyType(JDeclaredType type)
void	addType(JDeclaredType type)
JExpression	createArrayClassLiteralExpression(SourceInfo sourceInfo, JClassLiteral leafTypeClassLiteral, int dimensions) Returns an expression that evaluates to an array class literal at runtime.
static JExpressionStatement	createAssignmentStmt(SourceInfo info, JExpression lhs, JExpression rhs) Helper to create an assignment, used to initalize fields, etc.
static JLocal	createLocal(SourceInfo info, String name, JType type, boolean isFinal, JMethodBody enclosingMethodBody)
static JParameter	createParameter(SourceInfo info, String name, JType type, boolean isFinal, boolean isThis, JMethod enclosingMethod)
static List<JDeclaredType>	deserializeTypes(ObjectInputStream stream)
JReferenceType	generalizeTypes(Collection<? extends JReferenceType> types) Return a minimal upper bound of a set of types.
JReferenceType	generalizeTypes(JReferenceType type1, JReferenceType type2) Return the least upper bound of two types.
List<JArrayType>	getAllArrayTypes() Returns a sorted list of array types, so the returned set can be iterated over without introducing nondeterminism.
Map<JReferenceType,JCastMap>	getCastMap()
JCastMap	getCastMap(JReferenceType referenceType)
JField	getClassLiteralField(JType type)
int	getCommonAncestorFragmentId(int thisFragmentId, int thatFragmentId)
List<JDeclaredType>	getDeclaredTypes()
List<JMethod>	getEntryMethods()
int	getFragmentCount()
FragmentPartitioningResult	getFragmentPartitioningResult()
JDeclaredType	getFromTypeMap(String qualifiedBinaryOrSourceName)
static String	getFullName(JMethod method)
JField	getIndexedField(String string)
Collection<JField>	getIndexedFields()
JMethod	getIndexedMethod(String string)
JMethod	getIndexedMethodOrNull(String string)
Collection<JMethod>	getIndexedMethods()
JDeclaredType	getIndexedType(String string)
Collection<JDeclaredType>	getIndexedTypes()
LinkedHashSet<JRunAsync>	getInitialAsyncSequence()
List<Integer>	getInitialFragmentIdSequence()
JClassType	getJavaScriptObject()
JLiteral	getLiteral(Object value)
JBooleanLiteral	getLiteralBoolean(boolean value)
JCharLiteral	getLiteralChar(char value)
JDoubleLiteral	getLiteralDouble(double d)
JFloatLiteral	getLiteralFloat(double f)
JIntLiteral	getLiteralInt(int value)
JLongLiteral	getLiteralLong(long value)
JNullLiteral	getLiteralNull()
List<JDeclaredType>	getModuleDeclaredTypes()
int	getNodeCount()
JField	getNullField()
JMethod	getNullMethod()
JArrayType	getOrCreateArrayType(JType leafType, int dimensions)
String	getPropertyProviderRegistratorTypeSourceName()
List<JRunAsync>	getRunAsyncs()
String	getRuntimeRebindRegistratorTypeSourceName()
JMethod	getStaticImpl(JMethod method)
JStringLiteral	getStringLiteral(SourceInfo sourceInfo, String s)
Collection<JType>	getSubclasses(JType type)
JArrayType	getTypeArray(JType elementType)
JType	getTypeByClassLiteralField(JField field)
JClassType	getTypeClassLiteralHolder()
JType	getTypeFromJsniRef(String className) Returns the JType corresponding to a JSNI type reference.
JClassType	getTypeJavaLangClass()
JClassType	getTypeJavaLangEnum()
JClassType	getTypeJavaLangObject()
JClassType	getTypeJavaLangString()
Set<String>	getTypeNamesToIndex()
JNullType	getTypeNull()
JPrimitiveType	getTypePrimitiveBoolean()
JPrimitiveType	getTypePrimitiveByte()
JPrimitiveType	getTypePrimitiveChar()
JPrimitiveType	getTypePrimitiveDouble()
JPrimitiveType	getTypePrimitiveFloat()
JPrimitiveType	getTypePrimitiveInt()
JPrimitiveType	getTypePrimitiveLong()
JPrimitiveType	getTypePrimitiveShort()
JPrimitiveType	getTypeVoid()
void	initTypeInfo(Map<JReferenceType,JCastMap> castMapForType)
JMethod	instanceMethodForStaticImpl(JMethod method) If method is a static impl method, returns the instance method that method is the implementation of.
static boolean	isClinit(JMethod method)
boolean	isDevitualizationAllowed(JMethod method) Returns true if MakeCallsStatic should try to statify method.
boolean	isInliningAllowed(JMethod method) Returns true if the inliner should try to inline method.
boolean	isJavaLangString(JType type)
boolean	isJsTypePrototype(JDeclaredType classType) Returns whether a class is a synthetic Prototype class generated by APT or user.
boolean	isReferenceOnly(JDeclaredType type)
boolean	isStaticImpl(JMethod method)
static boolean	isTracingEnabled()
static JInterfaceType	maybeGetJsTypeFromPrototype(JDeclaredType classType)
JType	normalizeJsoType(JType type) If the type is a JSO or an array of JSOs it returns cggcc.JavaScriptObject or an array of cggcc.JavaScriptObject respectively; otherwise returns type.
void	putIntoTypeMap(String qualifiedBinaryName, JDeclaredType type)
void	putStaticImpl(JMethod method, JMethod staticImpl)
void	recordClassLiteralFields(Map<JType,JField> classLiteralFields)
void	removeReferenceOnlyType(JDeclaredType type)
void	removeStaticImplMapping(JMethod staticImpl)
static void	serializeTypes(List<JDeclaredType> types, ObjectOutputStream stream)
void	setFragmentPartitioningResult(FragmentPartitioningResult result)
void	setInitialAsyncSequence(LinkedHashSet<JRunAsync> initialAsyncSequence)
void	setInitialFragmentIdSequence(List<Integer> initialFragmentIdSequence)
void	setPropertyProviderRegistratorTypeSourceName(String propertyProviderRegistratorTypeSourceName)
void	setRunAsyncs(List<JRunAsync> runAsyncs)
void	setRuntimeRebindRegistratorTypeName(String runtimeRebindRegistratorTypeName)
JReferenceType	strongerType(JReferenceType type1, JReferenceType type2) Return the greatest lower bound of two types.
void	traverse(JVisitor visitor, Context ctx) Causes this object to have the visitor visit itself and its children.
void	visitAllTypes(JVisitor visitor)
void	visitModuleTypes(JVisitor visitor)

Methods inherited from class com.google.gwt.dev.jjs.ast.JNode

getSourceInfo, setSourceInfo, toSource, toString

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode

Field Detail

CODEGEN_TYPES_SET

public static final Set<String> CODEGEN_TYPES_SET

IMMORTAL_CODEGEN_TYPES_SET

public static final Set<String> IMMORTAL_CODEGEN_TYPES_SET

JAVASCRIPTOBJECT

public static final String JAVASCRIPTOBJECT

See Also:

Constant Field Values

CLASS_LITERAL_HOLDER

public static final String CLASS_LITERAL_HOLDER

See Also:

Constant Field Values

SYNTHETIC_TYPE_NAMES

public static final Set<String> SYNTHETIC_TYPE_NAMES

Types whose entire implementation is synthesized at compile time.

codeGenTypes

public final List<JClassType> codeGenTypes

immortalCodeGenTypes

public final List<JClassType> immortalCodeGenTypes

typeOracle

public final JTypeOracle typeOracle

Constructor Detail

JProgram

public JProgram(MinimalRebuildCache minimalRebuildCache)

JProgram

public JProgram(MinimalRebuildCache minimalRebuildCache,
                boolean hasWholeWorldKnowledge)

Method Detail

isJsTypePrototype

public boolean isJsTypePrototype(JDeclaredType classType)

Returns whether a class is a synthetic Prototype class generated by APT or user.

createAssignmentStmt

public static JExpressionStatement createAssignmentStmt(SourceInfo info,
                                                        JExpression lhs,
                                                        JExpression rhs)

Helper to create an assignment, used to initalize fields, etc.

createLocal

public static JLocal createLocal(SourceInfo info,
                                 String name,
                                 JType type,
                                 boolean isFinal,
                                 JMethodBody enclosingMethodBody)

createParameter

public static JParameter createParameter(SourceInfo info,
                                         String name,
                                         JType type,
                                         boolean isFinal,
                                         boolean isThis,
                                         JMethod enclosingMethod)

deserializeTypes

public static List<JDeclaredType> deserializeTypes(ObjectInputStream stream)
                                            throws IOException,
                                                   ClassNotFoundException

Throws:

IOException

ClassNotFoundException

getFullName

public static String getFullName(JMethod method)

isClinit

public static boolean isClinit(JMethod method)

isTracingEnabled

public static boolean isTracingEnabled()

serializeTypes

public static void serializeTypes(List<JDeclaredType> types,
                                  ObjectOutputStream stream)
                           throws IOException

Throws:

IOException

isInliningAllowed

public boolean isInliningAllowed(JMethod method)

Returns true if the inliner should try to inline method.

isDevitualizationAllowed

public boolean isDevitualizationAllowed(JMethod method)

Returns true if MakeCallsStatic should try to statify method.

addPinnedMethod

public void addPinnedMethod(JMethod method)

Add a pinned method.

addEntryMethod

public void addEntryMethod(JMethod entryPoint)

addIndexedTypeName

public void addIndexedTypeName(String typeName)

Adds the given type name to the set of type names (beyond the basic INDEX_TYPES_SET) whose instance should be indexed when seen.

addReferenceOnlyType

public void addReferenceOnlyType(JDeclaredType type)

addType

public void addType(JDeclaredType type)

generalizeTypes

public JReferenceType generalizeTypes(Collection<? extends JReferenceType> types)

Return a minimal upper bound of a set of types. That is, a type that is a supertype of all the input types and is as close as possible to the input types. NOTE: Ideally we would like to return the least upper bound but it does not exit as the Java type hierarchy is not really a lattice. Hence, this function depends on the collection order. E.g. I O |\ / \ | A B \ / \ / C where I is an interface an {O,A,B,C} are classes. generalizeTypes({A,C}) could either be I or O. In particular generalizeTypes({I,A,C}) = I and generalizeTypes({A,C,I}) = O.

generalizeTypes

public JReferenceType generalizeTypes(JReferenceType type1,
                                      JReferenceType type2)

Return the least upper bound of two types. That is, the smallest type that is a supertype of both types.

getAllArrayTypes

public List<JArrayType> getAllArrayTypes()

Returns a sorted list of array types, so the returned set can be iterated over without introducing nondeterminism.

createArrayClassLiteralExpression

public JExpression createArrayClassLiteralExpression(SourceInfo sourceInfo,
                                                     JClassLiteral leafTypeClassLiteral,
                                                     int dimensions)

Returns an expression that evaluates to an array class literal at runtime.

Note: This version can only be called after ImplementClassLiteralsAsFields has been run.

getCastMap

public Map<JReferenceType,JCastMap> getCastMap()

getCastMap

public JCastMap getCastMap(JReferenceType referenceType)

getClassLiteralField

public JField getClassLiteralField(JType type)

getDeclaredTypes

public List<JDeclaredType> getDeclaredTypes()

getEntryMethods

public List<JMethod> getEntryMethods()

getFragmentCount

public int getFragmentCount()

getFragmentPartitioningResult

public FragmentPartitioningResult getFragmentPartitioningResult()

getFromTypeMap

public JDeclaredType getFromTypeMap(String qualifiedBinaryOrSourceName)

getIndexedField

public JField getIndexedField(String string)

getIndexedFields

public Collection<JField> getIndexedFields()

getIndexedMethod

public JMethod getIndexedMethod(String string)

getIndexedMethods

public Collection<JMethod> getIndexedMethods()

getIndexedMethodOrNull

public JMethod getIndexedMethodOrNull(String string)

getIndexedType

public JDeclaredType getIndexedType(String string)

getIndexedTypes

public Collection<JDeclaredType> getIndexedTypes()

getInitialAsyncSequence

public LinkedHashSet<JRunAsync> getInitialAsyncSequence()

getInitialFragmentIdSequence

public List<Integer> getInitialFragmentIdSequence()

getJavaScriptObject

public JClassType getJavaScriptObject()

getLiteral

public JLiteral getLiteral(Object value)

getLiteralBoolean

public JBooleanLiteral getLiteralBoolean(boolean value)

getLiteralChar

public JCharLiteral getLiteralChar(char value)

getLiteralDouble

public JDoubleLiteral getLiteralDouble(double d)

getLiteralFloat

public JFloatLiteral getLiteralFloat(double f)

getLiteralInt

public JIntLiteral getLiteralInt(int value)

getLiteralLong

public JLongLiteral getLiteralLong(long value)

getLiteralNull

public JNullLiteral getLiteralNull()

getStringLiteral

public JStringLiteral getStringLiteral(SourceInfo sourceInfo,
                                       String s)

getModuleDeclaredTypes

public List<JDeclaredType> getModuleDeclaredTypes()

getNodeCount

public int getNodeCount()

getNullField

public JField getNullField()

getNullMethod

public JMethod getNullMethod()

getPropertyProviderRegistratorTypeSourceName

public String getPropertyProviderRegistratorTypeSourceName()

getRunAsyncs

public List<JRunAsync> getRunAsyncs()

getCommonAncestorFragmentId

public int getCommonAncestorFragmentId(int thisFragmentId,
                                       int thatFragmentId)

getRuntimeRebindRegistratorTypeSourceName

public String getRuntimeRebindRegistratorTypeSourceName()

getSubclasses

public Collection<JType> getSubclasses(JType type)

getStaticImpl

public JMethod getStaticImpl(JMethod method)

getTypeArray

public JArrayType getTypeArray(JType elementType)

getOrCreateArrayType

public JArrayType getOrCreateArrayType(JType leafType,
                                       int dimensions)

Specified by:

getOrCreateArrayType in interface ArrayTypeCreator

getTypeByClassLiteralField

public JType getTypeByClassLiteralField(JField field)

getTypeClassLiteralHolder

public JClassType getTypeClassLiteralHolder()

getTypeFromJsniRef

public JType getTypeFromJsniRef(String className)

Returns the JType corresponding to a JSNI type reference.

getTypeJavaLangClass

public JClassType getTypeJavaLangClass()

getTypeJavaLangEnum

public JClassType getTypeJavaLangEnum()

getTypeJavaLangObject

public JClassType getTypeJavaLangObject()

getTypeJavaLangString

public JClassType getTypeJavaLangString()

getTypeNamesToIndex

public Set<String> getTypeNamesToIndex()

getTypeNull

public JNullType getTypeNull()

getTypePrimitiveBoolean

public JPrimitiveType getTypePrimitiveBoolean()

getTypePrimitiveByte

public JPrimitiveType getTypePrimitiveByte()

getTypePrimitiveChar

public JPrimitiveType getTypePrimitiveChar()

getTypePrimitiveDouble

public JPrimitiveType getTypePrimitiveDouble()

getTypePrimitiveFloat

public JPrimitiveType getTypePrimitiveFloat()

getTypePrimitiveInt

public JPrimitiveType getTypePrimitiveInt()

getTypePrimitiveLong

public JPrimitiveType getTypePrimitiveLong()

getTypePrimitiveShort

public JPrimitiveType getTypePrimitiveShort()

getTypeVoid

public JPrimitiveType getTypeVoid()

initTypeInfo

public void initTypeInfo(Map<JReferenceType,JCastMap> castMapForType)

isJavaLangString

public boolean isJavaLangString(JType type)

isReferenceOnly

public boolean isReferenceOnly(JDeclaredType type)

isStaticImpl

public boolean isStaticImpl(JMethod method)

maybeGetJsTypeFromPrototype

public static JInterfaceType maybeGetJsTypeFromPrototype(JDeclaredType classType)

normalizeJsoType

public JType normalizeJsoType(JType type)

If the type is a JSO or an array of JSOs it returns cggcc.JavaScriptObject or an array of cggcc.JavaScriptObject respectively; otherwise returns type.

putIntoTypeMap

public void putIntoTypeMap(String qualifiedBinaryName,
                           JDeclaredType type)

putStaticImpl

public void putStaticImpl(JMethod method,
                          JMethod staticImpl)

recordClassLiteralFields

public void recordClassLiteralFields(Map<JType,JField> classLiteralFields)

removeStaticImplMapping

public void removeStaticImplMapping(JMethod staticImpl)

removeReferenceOnlyType

public void removeReferenceOnlyType(JDeclaredType type)

setFragmentPartitioningResult

public void setFragmentPartitioningResult(FragmentPartitioningResult result)

setInitialFragmentIdSequence

public void setInitialFragmentIdSequence(List<Integer> initialFragmentIdSequence)

setRunAsyncs

public void setRunAsyncs(List<JRunAsync> runAsyncs)

setInitialAsyncSequence

public void setInitialAsyncSequence(LinkedHashSet<JRunAsync> initialAsyncSequence)

setPropertyProviderRegistratorTypeSourceName

public void setPropertyProviderRegistratorTypeSourceName(String propertyProviderRegistratorTypeSourceName)

setRuntimeRebindRegistratorTypeName

public void setRuntimeRebindRegistratorTypeName(String runtimeRebindRegistratorTypeName)

instanceMethodForStaticImpl

public JMethod instanceMethodForStaticImpl(JMethod method)

If method is a static impl method, returns the instance method that method is the implementation of. Otherwise, returnsnull.

strongerType

public JReferenceType strongerType(JReferenceType type1,
                                   JReferenceType type2)

Return the greatest lower bound of two types. That is, return the largest type that is a subtype of both inputs.

traverse

public void traverse(JVisitor visitor,
                     Context ctx)

Description copied from interface: JVisitable

Causes this object to have the visitor visit itself and its children.

Specified by:

traverse in interface JVisitable

Parameters:

visitor - the visitor that should traverse this node

ctx - the context of an existing traversal

visitAllTypes

public void visitAllTypes(JVisitor visitor)

visitModuleTypes

public void visitModuleTypes(JVisitor visitor)