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:

JVisitable, HasSourceInfo, Serializable

public class JProgram
extends JNode

Root for the AST representing an entire Java program.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static Set<String>	CODEGEN_TYPES_SET
List<JClassType>	codeGenTypes
static Set<String>	IMMORTAL_CODEGEN_TYPES_SET
List<JClassType>	immortalCodeGenTypes
static Set<String>	INDEX_TYPES_SET
static String	JAVASCRIPTOBJECT
JTypeOracle	typeOracle

Constructor Summary

Constructors

Constructor and Description
JProgram()

Method Summary

Modifier and Type	Method and Description
void	addEntryMethod(JMethod entryPoint)
void	addType(JDeclaredType type)
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.
JsCastMap	getCastMap(JReferenceType referenceType)
JField	getClassLiteralField(JType type)
String	getClassLiteralName(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)
Collection<JMethod>	getIndexedMethods()
JDeclaredType	getIndexedType(String string)
LinkedHashSet<JRunAsync>	getInitialAsyncSequence()
List<Integer>	getInitialFragmentIdSequence()
JClassType	getJavaScriptObject()
static String	getJsniSig(JMethod method)
static String	getJsniSig(JMethod method, boolean addReturnType)
JBooleanLiteral	getLiteralBoolean(boolean value)
JCharLiteral	getLiteralChar(char value)
JDoubleLiteral	getLiteralDouble(double d)
JFloatLiteral	getLiteralFloat(float f)
JIntLiteral	getLiteralInt(int value)
JLongLiteral	getLiteralLong(long value)
JNullLiteral	getLiteralNull()
JStringLiteral	getLiteralString(SourceInfo sourceInfo, char[] s)
JStringLiteral	getLiteralString(SourceInfo sourceInfo, String s)
JField	getNullField()
JMethod	getNullMethod()
int	getQueryId(JReferenceType elementType)
List<JRunAsync>	getRunAsyncs()
JMethod	getStaticImpl(JMethod method)
JArrayType	getTypeArray(JType elementType)
JArrayType	getTypeArray(JType leafType, int dimensions)
JClassType	getTypeClassLiteralHolder()
JType	getTypeFromJsniRef(String className) Returns the JType corresponding to a JSNI type reference.
JClassType	getTypeJavaLangClass()
JClassType	getTypeJavaLangEnum()
JClassType	getTypeJavaLangObject()
JClassType	getTypeJavaLangString()
JNullType	getTypeNull()
JPrimitiveType	getTypePrimitiveBoolean()
JPrimitiveType	getTypePrimitiveByte()
JPrimitiveType	getTypePrimitiveChar()
JPrimitiveType	getTypePrimitiveDouble()
JPrimitiveType	getTypePrimitiveFloat()
JPrimitiveType	getTypePrimitiveInt()
JPrimitiveType	getTypePrimitiveLong()
JPrimitiveType	getTypePrimitiveShort()
List<JReferenceType>	getTypesByQueryId()
JPrimitiveType	getTypeVoid()
void	initTypeInfo(IdentityHashMap<JReferenceType,JsCastMap> instantiatedCastableTypesMap)
static boolean	isClinit(JMethod method)
boolean	isJavaLangString(JType type)
boolean	isJavaScriptObject(JType type)
boolean	isStaticImpl(JMethod method)
static boolean	isTracingEnabled()
void	putIntoTypeMap(String qualifiedBinaryName, JDeclaredType type)
void	putStaticImpl(JMethod method, JMethod staticImpl)
void	recordClassLiteralFields(Map<JType,JField> classLiteralFields)
void	recordQueryIds(Map<JReferenceType,Integer> queryIdsByType, List<JReferenceType> typesByQueryId)
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)
JMethod	staticImplFor(JMethod method) If method is a static impl method, returns the instance method that method is the implementation of.
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.

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

INDEX_TYPES_SET

public static final Set<String> INDEX_TYPES_SET

JAVASCRIPTOBJECT

public static final String JAVASCRIPTOBJECT

See Also:

Constant Field Values

codeGenTypes

public final List<JClassType> codeGenTypes

immortalCodeGenTypes

public final List<JClassType> immortalCodeGenTypes

typeOracle

public final JTypeOracle typeOracle

Constructor Detail

JProgram

public JProgram()

Method Detail

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)

getJsniSig

public static String getJsniSig(JMethod method)

getJsniSig

public static String getJsniSig(JMethod method,
                                boolean addReturnType)

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

addEntryMethod

public void addEntryMethod(JMethod entryPoint)

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.

getCastMap

public JsCastMap getCastMap(JReferenceType referenceType)

getClassLiteralField

public JField getClassLiteralField(JType type)

getClassLiteralName

public String getClassLiteralName(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()

getIndexedType

public JDeclaredType getIndexedType(String string)

getInitialAsyncSequence

public LinkedHashSet<JRunAsync> getInitialAsyncSequence()

getInitialFragmentIdSequence

public List<Integer> getInitialFragmentIdSequence()

getJavaScriptObject

public JClassType getJavaScriptObject()

getLiteralBoolean

public JBooleanLiteral getLiteralBoolean(boolean value)

getLiteralChar

public JCharLiteral getLiteralChar(char value)

getLiteralDouble

public JDoubleLiteral getLiteralDouble(double d)

getLiteralFloat

public JFloatLiteral getLiteralFloat(float f)

getLiteralInt

public JIntLiteral getLiteralInt(int value)

getLiteralLong

public JLongLiteral getLiteralLong(long value)

getLiteralNull

public JNullLiteral getLiteralNull()

getLiteralString

public JStringLiteral getLiteralString(SourceInfo sourceInfo,
                                       char[] s)

getLiteralString

public JStringLiteral getLiteralString(SourceInfo sourceInfo,
                                       String s)

getNullField

public JField getNullField()

getNullMethod

public JMethod getNullMethod()

getQueryId

public int getQueryId(JReferenceType elementType)

getRunAsyncs

public List<JRunAsync> getRunAsyncs()

getCommonAncestorFragmentId

public int getCommonAncestorFragmentId(int thisFragmentId,
                                       int thatFragmentId)

getStaticImpl

public JMethod getStaticImpl(JMethod method)

getTypeArray

public JArrayType getTypeArray(JType elementType)

getTypeArray

public JArrayType getTypeArray(JType leafType,
                               int dimensions)

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

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

getTypesByQueryId

public List<JReferenceType> getTypesByQueryId()

getTypeVoid

public JPrimitiveType getTypeVoid()

initTypeInfo

public void initTypeInfo(IdentityHashMap<JReferenceType,JsCastMap> instantiatedCastableTypesMap)

isJavaLangString

public boolean isJavaLangString(JType type)

isJavaScriptObject

public boolean isJavaScriptObject(JType type)

isStaticImpl

public boolean isStaticImpl(JMethod method)

putIntoTypeMap

public void putIntoTypeMap(String qualifiedBinaryName,
                           JDeclaredType type)

putStaticImpl

public void putStaticImpl(JMethod method,
                          JMethod staticImpl)

recordClassLiteralFields

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

recordQueryIds

public void recordQueryIds(Map<JReferenceType,Integer> queryIdsByType,
                           List<JReferenceType> typesByQueryId)

removeStaticImplMapping

public void removeStaticImplMapping(JMethod staticImpl)

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)

staticImplFor

public JMethod staticImplFor(JMethod method)

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

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.

Parameters:

visitor - the visitor that should traverse this node

ctx - the context of an existing traversal