org.eclipse.xtext.xbase.typesystem.internal

Class OperationBodyComputationState

java.lang.Object

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

org.eclipse.xtext.xbase.typesystem.internal.AbstractRootTypeComputationState

org.eclipse.xtext.xbase.typesystem.internal.AbstractLogicalContainerAwareRootComputationState

org.eclipse.xtext.xbase.typesystem.internal.OperationBodyComputationState

All Implemented Interfaces:

ITypeComputationState

public class OperationBodyComputationState
extends AbstractLogicalContainerAwareRootComputationState

Field Summary

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

resolvedTypes

Constructor Summary

Constructors

Constructor and Description
OperationBodyComputationState(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, org.eclipse.xtext.common.types.JvmOperation operation)

Method Summary

Modifier and Type	Method and Description
protected ITypeComputationResult	createNoTypeResult()
protected java.util.List<AbstractTypeExpectation>	getExpectations(AbstractTypeComputationState actualState, boolean returnType)
protected LightweightTypeReference	getExpectedType()

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

getMember, getRootExpression

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

acceptType, acceptType, assignTypes, computeTypes, createExpressionComputationState, getExpectations, getNonNullRootExpression, getReturnExpectations

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

OperationBodyComputationState

public OperationBodyComputationState(ResolvedTypes resolvedTypes,
                                     IFeatureScopeSession featureScopeSession,
                                     org.eclipse.xtext.common.types.JvmOperation operation)

Method Detail

getExpectations

protected java.util.List<AbstractTypeExpectation> getExpectations(AbstractTypeComputationState actualState,
                                                                  boolean returnType)

Specified by:

getExpectations in class AbstractRootTypeComputationState

getExpectedType

protected LightweightTypeReference getExpectedType()

Specified by:

getExpectedType in class AbstractRootTypeComputationState

createNoTypeResult

protected ITypeComputationResult createNoTypeResult()

Specified by:

createNoTypeResult in class AbstractRootTypeComputationState