@NonNullByDefault public class RootResolvedTypes extends ResolvedTypes
ResolvedTypes.Owner
IResolvedTypes.NullResolvedTypes
NULL
Modifier | Constructor and Description |
---|---|
protected |
RootResolvedTypes(DefaultReentrantTypeResolver resolver) |
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 IssueSeverities |
getSeverities() |
protected boolean |
isIntentionalEarlyExit(XExpression expression)
Returns
true for expressions that seem to be early exit expressions, e.g. |
protected boolean |
isSuccess(java.util.EnumSet<ConformanceHint> conformanceHints) |
protected void |
markToBeInferred(XExpression expression) |
void |
resolveProxies() |
void |
resolveUnboundTypeParameters() |
acceptHint, acceptLinkingInformation, acceptType, acceptType, acceptUnboundTypeReference, addDeclaredTypeParameters, addDiagnostic, addNonRecursiveHints, addNonRecursiveHints, addNonRecursiveHints, appendContent, appendContent, appendContent, appendListMapContent, basicGetDeclardTypeParameters, basicGetExpressionTypes, basicGetLinkingCandidates, basicGetPropagatedTypes, basicGetRefinedTypes, basicGetTypeParameterHints, basicGetTypeParameters, basicGetTypes, clear, closeBracket, copyBoundTypeArgument, createConverter, createUnboundTypeReference, discardExpectedExceptions, doGetActualType, doGetActualType, doGetActualTypeArguments, doGetExpectedType, doGetLinkedFeature, doGetLinkingCandidate, doGetReturnType, doGetTypeData, getActualType, getActualType, getActualTypeArguments, getAllHints, getConformanceHints, getConstructor, getContextResourceSet, getConverter, getDeclaredType, getDeclaredTypeParameters, getExpectedExceptions, getExpectedReturnType, getExpectedType, getFeature, getFollowUpErrors, getHints, getLinkedFeature, getLinkedFeature, getLinkingCandidate, getLinkingCandidate, getMergedType, getQueuedDiagnostics, getReferenceOwner, getResolver, getReturnType, getServices, getTypeData, getTypeData, getUnboundTypeReference, getUnconvertedDeclaredType, isPropagatedType, isRefinedType, isRefinedType, isResolved, isVoidReturnTypeAllowed, isVoidTypeAllowed, mergeTypeData, pushExpectedExceptions, pushExpectedExceptions, pushReassigningTypes, pushTypes, pushTypes, reassignType, reassignTypeWithoutMerge, refineExpectedType, removeRecursiveTypeArguments, resolveDependentTypeArguments, setPropagatedType, setRefinedType, setType, toOwnedReference, toString
protected RootResolvedTypes(DefaultReentrantTypeResolver resolver)
public void resolveUnboundTypeParameters()
public void resolveProxies()
@Nullable 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, @Nullable TypeData typeData, IAcceptor<? super AbstractDiagnostic> acceptor)
protected boolean isIntentionalEarlyExit(@Nullable 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 boolean isSuccess(java.util.EnumSet<ConformanceHint> conformanceHints)
protected void addLinkingDiagnostics(IAcceptor<? super AbstractDiagnostic> acceptor)
protected void addQueuedDiagnostics(IAcceptor<? super AbstractDiagnostic> acceptor)
protected IssueSeverities getSeverities()
getSeverities
in class ResolvedTypes