org.eclipse.xtext.xbase.typesystem.internal

Class RootResolvedTypes

java.lang.Object

org.eclipse.xtext.xbase.typesystem.internal.ResolvedTypes

org.eclipse.xtext.xbase.typesystem.internal.RootResolvedTypes

All Implemented Interfaces:

IResolvedTypes

public class RootResolvedTypes
extends ResolvedTypes

The root resolved types are the effective result of a type computation. They don't have a parent and should never yield unresolved type references when clients query for types of expressions or identifiables.

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.xtext.xbase.typesystem.internal.ResolvedTypes

ResolvedTypes.Owner, ResolvedTypes.Shared, ResolvedTypes.SharedKeysAwareMap<K,V>, ResolvedTypes.SharedKeysAwareSet<E>

Nested classes/interfaces inherited from interface org.eclipse.xtext.xbase.typesystem.IResolvedTypes

IResolvedTypes.NullResolvedTypes

Field Summary

Fields inherited from interface org.eclipse.xtext.xbase.typesystem.IResolvedTypes

NULL

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	RootResolvedTypes(DefaultReentrantTypeResolver resolver, org.eclipse.xtext.util.CancelIndicator monitor)

Method Summary

Modifier and Type	Method and Description
void	addDiagnostics(org.eclipse.emf.ecore.resource.Resource resource)
protected void	addLinkingDiagnostics(org.eclipse.xtext.util.IAcceptor<? super org.eclipse.xtext.diagnostics.AbstractDiagnostic> acceptor)
protected void	addQueuedDiagnostics(org.eclipse.xtext.util.IAcceptor<? super org.eclipse.xtext.diagnostics.AbstractDiagnostic> acceptor)
protected void	addTypeDiagnostic(XExpression expression, TypeData typeData, org.eclipse.xtext.util.IAcceptor<? super org.eclipse.xtext.diagnostics.AbstractDiagnostic> acceptor)
protected void	addTypeDiagnostics(org.eclipse.xtext.util.IAcceptor<? super org.eclipse.xtext.diagnostics.AbstractDiagnostic> acceptor)
protected org.eclipse.xtext.diagnostics.AbstractDiagnostic	createTypeDiagnostic(XExpression expression, LightweightTypeReference actualType, LightweightTypeReference expectedType)
protected LightweightTypeReference	getExpectedTypeForAssociatedExpression(org.eclipse.xtext.common.types.JvmMember member, XExpression expression)
protected boolean	isIntentionalEarlyExit(XExpression expression) Returns true for expressions that seem to be early exit expressions, e.g.
protected void	markToBeInferred(XExpression expression)
protected void	processDeferredLogic()
void	resolveProxies()
void	resolveUnboundTypeParameters()

Methods inherited from class org.eclipse.xtext.xbase.typesystem.internal.ResolvedTypes

acceptCandidate, acceptHint, acceptType, acceptType, acceptUnboundTypeReference, addDeclaredTypeParameters, addDeferredLogic, addDiagnostic, addExpressionScope, addNonRecursiveHints, addNonRecursiveHints, addNonRecursiveHints, appendContent, appendContent, appendContent, appendListMapContent, basicGetDeclardTypeParameters, basicGetExpressionTypes, basicGetLinkingMap, basicGetPropagatedTypes, basicGetReassignedTypes, basicGetRefinedTypes, basicGetTypeParameterHints, basicGetTypeParameters, basicGetTypes, checkCanceled, clear, clearDeferredLogic, closeBracket, copyBoundTypeArgument, createUnboundTypeReference, discardExpectedExceptions, doGetActualType, doGetActualType, doGetActualTypeArguments, doGetActualTypeNoDeclaration, doGetCandidate, doGetConstructor, doGetDeclaredType, doGetExpectedType, doGetFeature, doGetLinkedFeature, doGetReturnType, doGetTypeData, doIsResolved, getActualType, getActualType, getActualTypeArguments, getAllHints, getAmbiguousLinkingCandidates, getConformanceFlags, getConstructor, getContextResourceSet, getDeclaredType, getDeclaredTypeParameters, getDeferredLogic, getExpectedExceptions, getExpectedReturnType, getExpectedType, getExpressionScope, getFeature, getFeatureScopeTracker, getFlattenedReassignedTypes, getFollowUpErrors, getHints, getLinkedFeature, getLinkedFeature, getLinkingCandidate, getLinkingCandidate, getMergedType, getMonitor, getQueuedDiagnostics, getReferenceOwner, getResolver, getReturnType, getReturnType, getServices, getSeverities, getThrownExceptions, getTypeData, getTypeData, getUnboundTypeReference, hasExpressionScope, isPropagatedType, isRefinedType, isRefinedType, isResolved, isVoidReturnTypeAllowed, isVoidTypeAllowed, mergeTypeData, pushExpectedExceptions, pushExpectedExceptions, pushReassigningTypes, pushTypes, pushTypes, reassignType, reassignTypeWithoutMerge, refineExpectedType, removeRecursiveTypeArguments, replacePreviousExpressionScope, resolveDependentTypeArguments, setPropagatedType, setRefinedType, setType, toMultiType, toOwnedReference, toString, withFlattenedReassignedTypes

Methods inherited from class java.lang.Object

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

Constructor Detail

RootResolvedTypes

protected RootResolvedTypes(DefaultReentrantTypeResolver resolver,
                            org.eclipse.xtext.util.CancelIndicator monitor)

Method Detail

resolveUnboundTypeParameters

public void resolveUnboundTypeParameters()

resolveProxies

public void resolveProxies()

getExpectedTypeForAssociatedExpression

protected LightweightTypeReference getExpectedTypeForAssociatedExpression(org.eclipse.xtext.common.types.JvmMember member,
                                                                          XExpression expression)

Specified by:

getExpectedTypeForAssociatedExpression in class ResolvedTypes

markToBeInferred

protected void markToBeInferred(XExpression expression)

Specified by:

markToBeInferred in class ResolvedTypes

addDiagnostics

public void addDiagnostics(org.eclipse.emf.ecore.resource.Resource resource)

addTypeDiagnostics

protected void addTypeDiagnostics(org.eclipse.xtext.util.IAcceptor<? super org.eclipse.xtext.diagnostics.AbstractDiagnostic> acceptor)

addTypeDiagnostic

protected void addTypeDiagnostic(XExpression expression,
                                 TypeData typeData,
                                 org.eclipse.xtext.util.IAcceptor<? super org.eclipse.xtext.diagnostics.AbstractDiagnostic> acceptor)

isIntentionalEarlyExit

protected boolean isIntentionalEarlyExit(XExpression expression)

Returns true for expressions that seem to be early exit expressions, e.g.

   while(condition) {
     if (anotherCondition)
       return value
     changeResultOfFirstCondition
   }
 

createTypeDiagnostic

protected org.eclipse.xtext.diagnostics.AbstractDiagnostic createTypeDiagnostic(XExpression expression,
                                                                                LightweightTypeReference actualType,
                                                                                LightweightTypeReference expectedType)

addLinkingDiagnostics

protected void addLinkingDiagnostics(org.eclipse.xtext.util.IAcceptor<? super org.eclipse.xtext.diagnostics.AbstractDiagnostic> acceptor)

addQueuedDiagnostics

protected void addQueuedDiagnostics(org.eclipse.xtext.util.IAcceptor<? super org.eclipse.xtext.diagnostics.AbstractDiagnostic> acceptor)

processDeferredLogic

protected void processDeferredLogic()