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, HasSourceInfo, Serializable

public class JProgram
extends JNode
implements ArrayTypeCreator

Root for the AST representing an entire Java program.

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	JProgram.DispatchType Encapsulates all information necessary to deal with native represented types in an generic fashion used throughout GWT.

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)

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 JBinaryOperation	createAssignment(SourceInfo info, JExpression lhs, JExpression rhs)
static JExpressionStatement	createAssignmentStmt(SourceInfo info, JExpression lhs, JExpression rhs) Helper to create an assignment, used to initialize fields, etc.
static JLocal	createLocal(SourceInfo info, String name, JType type, boolean isFinal, JMethodBody enclosingMethodBody)
static List<JDeclaredType>	deserializeTypes(ObjectInputStream stream)
JReferenceType	generalizeTypes(Iterable<JReferenceType> types) Return a minimal upper bound of a set of 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()
EnumSet<JProgram.DispatchType>	getDispatchType(JReferenceType type)
List<JMethod>	getEntryMethods()
int	getFragmentCount()
FragmentPartitioningResult	getFragmentPartitioningResult()
JDeclaredType	getFromTypeMap(String qualifiedBinaryOrSourceName)
static String	getFullName(JMethod method)
JField	getIndexedField(String string)
Set<JField>	getIndexedFields()
JMethod	getIndexedMethod(String string)
JMethod	getIndexedMethodOrNull(String string)
Set<JMethod>	getIndexedMethods()
JDeclaredType	getIndexedType(String string)
Collection<JDeclaredType>	getIndexedTypes()
LinkedHashSet<JRunAsync>	getInitialAsyncSequence()
List<Integer>	getInitialFragmentIdSequence()
JClassType	getJavaScriptObject()
JLiteral	getLiteral(Object value)
JLiteral	getLiteral(SourceInfo info, 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)
Set<JClassType>	getRepresentedAsNativeTypes()
Map<JClassType,JProgram.DispatchType>	getRepresentedAsNativeTypesDispatchMap()
List<JRunAsync>	getRunAsyncs()
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	getTypeJavaLangObject()
JArrayType	getTypeJavaLangObjectArray()
JClassType	getTypeJavaLangString()
Set<String>	getTypeNamesToIndex()
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)
static boolean	isInit(JMethod method)
boolean	isJavaLangObject(JType type)
boolean	isJavaLangString(JType type)
boolean	isReferenceOnly(JDeclaredType type)
static boolean	isRepresentedAsNative(String className)
boolean	isRepresentedAsNativeJsPrimitive(JType type)
boolean	isStaticImpl(JMethod method)
boolean	isUntypedArrayType(JType type)
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	setRunAsyncs(List<JRunAsync> runAsyncs)
JReferenceType	strengthenType(JReferenceType thisType, JReferenceType thatType) 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)

Method Detail

createAssignmentStmt

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

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

createAssignment

public static JBinaryOperation createAssignment(SourceInfo info,
                                                JExpression lhs,
                                                JExpression rhs)

createLocal

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

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)

isInit

public static boolean isInit(JMethod method)

serializeTypes

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

Throws:

IOException

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)

isRepresentedAsNative

public static boolean isRepresentedAsNative(String className)

isRepresentedAsNativeJsPrimitive

public boolean isRepresentedAsNativeJsPrimitive(JType type)

getRepresentedAsNativeTypes

public Set<JClassType> getRepresentedAsNativeTypes()

getRepresentedAsNativeTypesDispatchMap

public Map<JClassType,JProgram.DispatchType> getRepresentedAsNativeTypesDispatchMap()

getDispatchType

public EnumSet<JProgram.DispatchType> getDispatchType(JReferenceType type)

strengthenType

public JReferenceType strengthenType(JReferenceType thisType,
                                     JReferenceType thatType)

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

generalizeTypes

public JReferenceType generalizeTypes(Iterable<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.

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 Set<JField> getIndexedFields()

getIndexedMethod

public JMethod getIndexedMethod(String string)

getIndexedMethods

public Set<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)

getLiteral

public JLiteral getLiteral(SourceInfo info,
                           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()

getRunAsyncs

public List<JRunAsync> getRunAsyncs()

getCommonAncestorFragmentId

public int getCommonAncestorFragmentId(int thisFragmentId,
                                       int thatFragmentId)

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()

getTypeJavaLangObject

public JClassType getTypeJavaLangObject()

getTypeJavaLangObjectArray

public JArrayType getTypeJavaLangObjectArray()

getTypeJavaLangString

public JClassType getTypeJavaLangString()

getTypeNamesToIndex

public Set<String> getTypeNamesToIndex()

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)

isUntypedArrayType

public boolean isUntypedArrayType(JType type)

isJavaLangString

public boolean isJavaLangString(JType type)

isJavaLangObject

public boolean isJavaLangObject(JType type)

isReferenceOnly

public boolean isReferenceOnly(JDeclaredType type)

isStaticImpl

public boolean isStaticImpl(JMethod method)

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)

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.

traverse

public void traverse(JVisitor visitor,
                     Context ctx)

Description copied from class: JNode

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

Specified by:

traverse in class JNode

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)