org.eclipse.xtext.xbase.typesystem.internal

Class TypeComputationStateWithRootExpectation

java.lang.Object

org.eclipse.xtext.xbase.typesystem.internal.AbstractTypeComputationState

org.eclipse.xtext.xbase.typesystem.internal.AbstractStackedTypeComputationState

org.eclipse.xtext.xbase.typesystem.internal.TypeComputationStateWithExpectation

org.eclipse.xtext.xbase.typesystem.internal.TypeComputationStateWithRootExpectation

All Implemented Interfaces:

ITypeComputationState

public class TypeComputationStateWithRootExpectation
extends TypeComputationStateWithExpectation

Author:

Sebastian Zarnekow - Initial contribution and API TODO JavaDoc, toString

Field Summary

Fields inherited from class org.eclipse.xtext.xbase.typesystem.internal.AbstractTypeComputationState

resolvedTypes

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	TypeComputationStateWithRootExpectation(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, AbstractTypeComputationState parent, LightweightTypeReference typeReference)

Method Summary

Methods

Modifier and Type	Method and Description
TypeAssigner	assignTypes() Obtain a new ITypeAssigner that allows to add a bulk of elements to this computation state.
protected ExpressionTypeComputationState	createExpressionComputationState(XExpression expression, StackedResolvedTypes typeResolution)
protected AbstractTypeExpectation	createTypeExpectation(LightweightTypeReference expectedType, AbstractTypeComputationState actualState, boolean returnType)
List<AbstractTypeExpectation>	getReturnExpectations(AbstractTypeComputationState actualState, boolean asActualExpectation)

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

getExpectations, getExpectedType

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

acceptType, acceptType, getParent

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

acceptActualType, acceptActualType, acceptActualType, acceptActualType, acceptCandidate, addDiagnostic, addExtensionsToCurrentScope, addExtensionToCurrentScope, addImports, addLocalToCurrentScope, addLocalToCurrentScope, addTypeToStaticExtensionImportScope, addTypeToStaticImportScope, afterScope, assignType, assignType, assignType, computeTypes, createCandidate, createCandidate, createCandidateWithReceiverType, createResolvedLink, createResolvedLink, createTypeAssigner, createUnboundTypeReference, discardReassignedTypes, doComputeTypes, getExpectations, getExpectedExceptions, getFeatureScopeSession, getLinkingCandidates, getLinkingCandidates, getReferenceOwner, getResolvedTypes, getResolver, getReturnExpectations, getSeverities, getSeverity, getSingleExpectation, getTypeComputer, getTypeReferences, isIgnored, pushTypes, reassignType, refineExpectedType, rewriteScope, toIdentifiableDescription, toString, withExpectation, withExpectedExceptions, withinScope, withNonVoidExpectation, withNonVoidExpectation, withoutExpectation, withoutRootExpectation, withReturnExpectation, withRootExpectation, withTypeCheckpoint

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeComputationStateWithRootExpectation

protected TypeComputationStateWithRootExpectation(ResolvedTypes resolvedTypes,
                                       IFeatureScopeSession featureScopeSession,
                                       AbstractTypeComputationState parent,
                                       LightweightTypeReference typeReference)

Method Detail

getReturnExpectations

public List<AbstractTypeExpectation> getReturnExpectations(AbstractTypeComputationState actualState,
                                                  boolean asActualExpectation)

Overrides:

getReturnExpectations in class AbstractStackedTypeComputationState

createExpressionComputationState

protected ExpressionTypeComputationState createExpressionComputationState(XExpression expression,
                                                              StackedResolvedTypes typeResolution)

Overrides:

createExpressionComputationState in class AbstractTypeComputationState

assignTypes

public TypeAssigner assignTypes()

Description copied from interface: ITypeComputationState

Obtain a new ITypeAssigner that allows to add a bulk of elements to this computation state.

Specified by:

assignTypes in interface ITypeComputationState

Overrides:

assignTypes in class AbstractTypeComputationState

createTypeExpectation

protected AbstractTypeExpectation createTypeExpectation(LightweightTypeReference expectedType,
                                            AbstractTypeComputationState actualState,
                                            boolean returnType)

Overrides:

createTypeExpectation in class TypeComputationStateWithExpectation