com.google.gwt.dev.jjs.ast

Class JTypeOracle

java.lang.Object

com.google.gwt.dev.jjs.ast.JTypeOracle

All Implemented Interfaces:

Serializable

public class JTypeOracle
extends Object
implements Serializable

Oracle that can answer questions regarding the types in a program.

Since its entire responsibility is to be an index of type related information it should not directly perform any optimizations.

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	JTypeOracle.ImmediateTypeRelations All authorative information about the current program.
static class	JTypeOracle.StandardTypes A collection of types that are required to correctly run JTypeOracle.

Field Summary

Fields

Modifier and Type	Field and Description
static com.google.gwt.thirdparty.guava.common.base.Function<JType,String>	TYPE_TO_NAME

Constructor Summary

Constructors

Constructor and Description
JTypeOracle(ArrayTypeCreator arrayTypeCreator, MinimalRebuildCache minimalRebuildCache, boolean hasWholeWorldKnowledge) Constructs a new JTypeOracle.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	canBeInstantiatedInJavascript(JType type) True if the type is a JSO or interface implemented by a JSO, or a JsType.
boolean	canBeJavaScriptObject(JType type) True if the type is a JSO or interface implemented by JSO or a JsType without prototype.
boolean	canCrossCastLikeJso(JType type) True if the type is a JSO or interface implemented by JSO or a JsType without prototype.
boolean	canTheoreticallyCast(JReferenceType type, JReferenceType qType)
boolean	canTriviallyCast(JReferenceType type, JReferenceType qType)
boolean	canTriviallyCast(JType type, JType qType)
void	computeBeforeAST(JTypeOracle.StandardTypes standardTypes, Collection<JDeclaredType> declaredTypes, Collection<JDeclaredType> moduleDeclaredTypes, Collection<String> deletedTypeNames)
void	computeBeforeAST(JTypeOracle.StandardTypes standardTypes, Collection<JDeclaredType> declaredTypes, List<JDeclaredType> moduleDeclaredTypes)
Set<JMethod>	getAllOverriddenMethods(JMethod method) References to any methods which this method implementation might override or implement in any instantiable class, including strange cases where there is no direct relationship between the methods except in a subclass that inherits one and implements the other.
Set<JReferenceType>	getCastableDestinationTypes(JReferenceType type)
Set<JField>	getExportedFields()
Set<JMethod>	getExportedMethods()
JMethod	getInstanceMethodBySignature(JClassType type, String signature)
Set<JReferenceType>	getInstantiatedJsoTypesViaCast()
JDeclaredType	getNearestJsType(JType type, boolean mustHavePrototype) Get the nearest JS type.
JClassType	getSingleJsoImpl(JReferenceType maybeSingleJsoIntf)
Set<String>	getSubTypeNames(String typeName)
String	getSuperTypeName(String className)
JMethod	getTopMostDefinition(JMethod method) Returns the method definition where method is first defined in a class.
boolean	hasLiveImplementors(JType type)
boolean	hasWholeWorldKnowledge() Whether this type oracle has whole world knowledge or not.
boolean	isDualJsoInterface(JType maybeDualImpl)
boolean	isEffectivelyJavaScriptObject(JType type) True if either a JSO, or is an interface that is ONLY implemented by a JSO.
boolean	isExportedField(JField field)
boolean	isExportedMethod(JMethod method)
boolean	isInstantiatedType(JDeclaredType type) Determine whether a type is instantiated.
boolean	isInstantiatedType(JReferenceType type) Determine whether a type is instantiated.
boolean	isInteropEnabled()
boolean	isJavaScriptObject(JType type)
boolean	isJsType(JType type) Whether the type is a JS interface (does not check supertypes).
boolean	isJsTypeMethod(JMethod x)
boolean	isOrExtendsJsType(JType type, boolean mustHavePrototype) Whether the type or any supertypes is a JS type, optionally, only return true if one of the types has a js prototype.
boolean	isSameOrSuper(JClassType type, JClassType qType)
boolean	isSingleJsoImpl(JType type)
boolean	isSubClass(JClassType type, JClassType possibleSubType) Returns true if possibleSubType is a subclass of type, directly or indirectly.
boolean	isSuperClass(JClassType type, JClassType possibleSuperClass) Returns true if possibleSuperClass is a superclass of type, directly or indirectly.
static boolean	methodsDoMatch(JMethod method1, JMethod method2) Compare two methods based on name and original argument types JMethod.getOriginalParamTypes().
boolean	needsJsInteropBridgeMethod(JMethod x) A method needs a JsInterop bridge if any of the following are true: 1) the method name conflicts with a method name of a non-JsType/JsExport method in a superclass 2) the method returns or accepts Single-Abstract-Method types 3) the method returns or accepts JsAware/JsConvert types.
void	recomputeAfterOptimizations(Collection<JDeclaredType> declaredTypes) This method should be called after altering the types that are live in the associated JProgram.
void	setInstantiatedJsoTypesViaCast(Set<JReferenceType> instantiatedJsoTypesViaCast)
void	setInstantiatedTypes(Set<JReferenceType> instantiatedTypes)
void	setJsInteropMode(OptionJsInteropMode.Mode jsInteropMode)
void	setOptimize(boolean optimize)
boolean	willCrossCastLikeJso(JType type) True if the type is a JSO or JSO Interface that is not dually implemented, or is a JsType without the prototype that is not implemented by a Java class.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

TYPE_TO_NAME

public static final com.google.gwt.thirdparty.guava.common.base.Function<JType,String> TYPE_TO_NAME

Constructor Detail

JTypeOracle

public JTypeOracle(ArrayTypeCreator arrayTypeCreator,
           MinimalRebuildCache minimalRebuildCache,
           boolean hasWholeWorldKnowledge)

Constructs a new JTypeOracle.

Method Detail

getExportedMethods

public Set<JMethod> getExportedMethods()

getExportedFields

public Set<JField> getExportedFields()

setInstantiatedJsoTypesViaCast

public void setInstantiatedJsoTypesViaCast(Set<JReferenceType> instantiatedJsoTypesViaCast)

getInstantiatedJsoTypesViaCast

public Set<JReferenceType> getInstantiatedJsoTypesViaCast()

needsJsInteropBridgeMethod

public boolean needsJsInteropBridgeMethod(JMethod x)

A method needs a JsInterop bridge if any of the following are true: 1) the method name conflicts with a method name of a non-JsType/JsExport method in a superclass 2) the method returns or accepts Single-Abstract-Method types 3) the method returns or accepts JsAware/JsConvert types.

isExportedField

public boolean isExportedField(JField field)

isExportedMethod

public boolean isExportedMethod(JMethod method)

isInteropEnabled

public boolean isInteropEnabled()

setJsInteropMode

public void setJsInteropMode(OptionJsInteropMode.Mode jsInteropMode)

setOptimize

public void setOptimize(boolean optimize)

methodsDoMatch

public static boolean methodsDoMatch(JMethod method1,
                     JMethod method2)

Compare two methods based on name and original argument types JMethod.getOriginalParamTypes(). Note that nothing special is done here regarding methods with type parameters in their argument lists. The caller must be careful that this level of matching is sufficient.

canBeJavaScriptObject

public boolean canBeJavaScriptObject(JType type)

True if the type is a JSO or interface implemented by JSO or a JsType without prototype.

canCrossCastLikeJso

public boolean canCrossCastLikeJso(JType type)

True if the type is a JSO or interface implemented by JSO or a JsType without prototype.

willCrossCastLikeJso

public boolean willCrossCastLikeJso(JType type)

True if the type is a JSO or JSO Interface that is not dually implemented, or is a JsType without the prototype that is not implemented by a Java class.

hasLiveImplementors

public boolean hasLiveImplementors(JType type)

canBeInstantiatedInJavascript

public boolean canBeInstantiatedInJavascript(JType type)

True if the type is a JSO or interface implemented by a JSO, or a JsType.

canTheoreticallyCast

public boolean canTheoreticallyCast(JReferenceType type,
                           JReferenceType qType)

canTriviallyCast

public boolean canTriviallyCast(JReferenceType type,
                       JReferenceType qType)

canTriviallyCast

public boolean canTriviallyCast(JType type,
                       JType qType)

computeBeforeAST

public void computeBeforeAST(JTypeOracle.StandardTypes standardTypes,
                    Collection<JDeclaredType> declaredTypes,
                    List<JDeclaredType> moduleDeclaredTypes)

computeBeforeAST

public void computeBeforeAST(JTypeOracle.StandardTypes standardTypes,
                    Collection<JDeclaredType> declaredTypes,
                    Collection<JDeclaredType> moduleDeclaredTypes,
                    Collection<String> deletedTypeNames)

getAllOverriddenMethods

public Set<JMethod> getAllOverriddenMethods(JMethod method)

References to any methods which this method implementation might override or implement in any instantiable class, including strange cases where there is no direct relationship between the methods except in a subclass that inherits one and implements the other. Example:

 interface IFoo {
   foo();
 }
 class Unrelated {
   foo() { ... }
 }
 class Foo extends Unrelated implements IFoo {
 }
 

In this case, Unrelated.foo() virtually implements IFoo.foo() in subclass Foo.

getNearestJsType

public JDeclaredType getNearestJsType(JType type,
                             boolean mustHavePrototype)

Get the nearest JS type.

getInstanceMethodBySignature

public JMethod getInstanceMethodBySignature(JClassType type,
                                   String signature)

getSingleJsoImpl

public JClassType getSingleJsoImpl(JReferenceType maybeSingleJsoIntf)

getSuperTypeName

public String getSuperTypeName(String className)

getCastableDestinationTypes

public Set<JReferenceType> getCastableDestinationTypes(JReferenceType type)

isDualJsoInterface

public boolean isDualJsoInterface(JType maybeDualImpl)

getTopMostDefinition

public JMethod getTopMostDefinition(JMethod method)

Returns the method definition where method is first defined in a class.

hasWholeWorldKnowledge

public boolean hasWholeWorldKnowledge()

Whether this type oracle has whole world knowledge or not. Monolithic compiles have whole world knowledge but separate compiles know only about their immediate source and the immediately referenced types.

isEffectivelyJavaScriptObject

public boolean isEffectivelyJavaScriptObject(JType type)

True if either a JSO, or is an interface that is ONLY implemented by a JSO.

isJavaScriptObject

public boolean isJavaScriptObject(JType type)

isInstantiatedType

public boolean isInstantiatedType(JDeclaredType type)

Determine whether a type is instantiated.

isInstantiatedType

public boolean isInstantiatedType(JReferenceType type)

Determine whether a type is instantiated.

isJsTypeMethod

public boolean isJsTypeMethod(JMethod x)

isSameOrSuper

public boolean isSameOrSuper(JClassType type,
                    JClassType qType)

isSingleJsoImpl

public boolean isSingleJsoImpl(JType type)

isJsType

public boolean isJsType(JType type)

Whether the type is a JS interface (does not check supertypes).

isOrExtendsJsType

public boolean isOrExtendsJsType(JType type,
                        boolean mustHavePrototype)

Whether the type or any supertypes is a JS type, optionally, only return true if one of the types has a js prototype.

isSubClass

public boolean isSubClass(JClassType type,
                 JClassType possibleSubType)

Returns true if possibleSubType is a subclass of type, directly or indirectly.

getSubTypeNames

public Set<String> getSubTypeNames(String typeName)

isSuperClass

public boolean isSuperClass(JClassType type,
                   JClassType possibleSuperClass)

Returns true if possibleSuperClass is a superclass of type, directly or indirectly.

recomputeAfterOptimizations

public void recomputeAfterOptimizations(Collection<JDeclaredType> declaredTypes)

This method should be called after altering the types that are live in the associated JProgram.

setInstantiatedTypes

public void setInstantiatedTypes(Set<JReferenceType> instantiatedTypes)