public class RootResolvedTypes extends ResolvedTypes
ResolvedTypes.Owner, ResolvedTypes.Shared, ResolvedTypes.SharedKeysAwareMap<K,V>, ResolvedTypes.SharedKeysAwareSet<E>
IResolvedTypes.NullResolvedTypes
NULL
Modifier | Constructor and Description |
---|---|
protected |
RootResolvedTypes(DefaultReentrantTypeResolver resolver,
CancelIndicator monitor) |
Modifier and Type | Method and Description |
---|---|
void |
addDiagnostics(org.eclipse.emf.ecore.resource.Resource resource) |
protected void |
addLinkingDiagnostics(IAcceptor<? super AbstractDiagnostic> acceptor) |
protected void |
addQueuedDiagnostics(IAcceptor<? super AbstractDiagnostic> acceptor) |
protected void |
addTypeDiagnostic(XExpression expression,
TypeData typeData,
IAcceptor<? super AbstractDiagnostic> acceptor) |
protected void |
addTypeDiagnostics(IAcceptor<? super AbstractDiagnostic> acceptor) |
protected AbstractDiagnostic |
createTypeDiagnostic(XExpression expression,
LightweightTypeReference actualType,
LightweightTypeReference expectedType) |
protected LightweightTypeReference |
getExpectedTypeForAssociatedExpression(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) |
void |
resolveProxies() |
void |
resolveUnboundTypeParameters() |
acceptCandidate, acceptHint, acceptType, acceptType, acceptUnboundTypeReference, addDeclaredTypeParameters, addDiagnostic, addExpressionScope, addNonRecursiveHints, addNonRecursiveHints, addNonRecursiveHints, appendContent, appendContent, appendContent, appendListMapContent, basicGetDeclardTypeParameters, basicGetExpressionTypes, basicGetLinkingMap, basicGetPropagatedTypes, basicGetReassignedTypes, basicGetRefinedTypes, basicGetTypeParameterHints, basicGetTypeParameters, basicGetTypes, clear, 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, getExpectedExceptions, getExpectedReturnType, getExpectedType, getExpressionScope, getFeature, getFeatureScopeTracker, getFlattenedReassignedTypes, getFollowUpErrors, getHints, getLinkedFeature, getLinkedFeature, getLinkingCandidate, getLinkingCandidate, getMergedType, getMonitor, getQueuedDiagnostics, getReferenceOwner, getResolver, 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
protected RootResolvedTypes(DefaultReentrantTypeResolver resolver, CancelIndicator monitor)
public void resolveUnboundTypeParameters()
public void resolveProxies()
protected LightweightTypeReference getExpectedTypeForAssociatedExpression(JvmMember member, XExpression expression)
getExpectedTypeForAssociatedExpression
in class ResolvedTypes
protected void markToBeInferred(XExpression expression)
markToBeInferred
in class ResolvedTypes
public void addDiagnostics(org.eclipse.emf.ecore.resource.Resource resource)
protected void addTypeDiagnostics(IAcceptor<? super AbstractDiagnostic> acceptor)
protected void addTypeDiagnostic(XExpression expression, TypeData typeData, IAcceptor<? super AbstractDiagnostic> acceptor)
protected boolean isIntentionalEarlyExit(XExpression expression)
true
for expressions that seem to be early exit expressions, e.g.
while(condition) { if (anotherCondition) return value changeResultOfFirstCondition }
protected AbstractDiagnostic createTypeDiagnostic(XExpression expression, LightweightTypeReference actualType, LightweightTypeReference expectedType)
protected void addLinkingDiagnostics(IAcceptor<? super AbstractDiagnostic> acceptor)
protected void addQueuedDiagnostics(IAcceptor<? super AbstractDiagnostic> acceptor)