org.eclipse.xtext.xbase.typesystem.internal
Class FieldTypeComputationState

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.FieldTypeComputationState

All Implemented Interfaces:

ITypeComputationState, ITypeComputationState.Fork

@NonNullByDefault
public class FieldTypeComputationState
extends AbstractLogicalContainerAwareRootComputationState

Author:

Sebastian Zarnekow - Initial contribution and API TODO JavaDoc, toString

Nested Class Summary

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

AbstractTypeComputationState.TypeAssigner

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

ITypeComputationState.Fork

Constructor Summary

FieldTypeComputationState(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, JvmField field, LogicalContainerAwareReentrantTypeResolver reentrantTypeResolver)

Method Summary

protected java.util.List<ITypeExpectation>	getExpectations(AbstractTypeComputationState actualState, boolean returnType)
protected JvmField	getMember()

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

getResolver, getRootExpression

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

acceptType, computeTypes, getImmediateExpectations, getReturnExpectations

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

acceptActualType, addLocalToCurrentScope, assignType, assignTypes, computeTypes, computeTypes, computeTypesWithoutMerge, createCandidate, createCandidate, createExpressionComputationState, createTypeAssigner, discardReassignedTypes, fork, getFeatureScopeSession, getImmediateExpectations, getLinkingCandidates, getLinkingCandidates, getResolvedTypes, getReturnExpectations, getServices, getType, getTypeArgumentMerger, getTypeComputer, getTypeReferences, reassignType, withExpectation, withNonVoidExpectation, withoutExpectation, withoutImmediateExpectation, withReturnExpectation, withTypeCheckpoint

Methods inherited from class java.lang.Object

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

Constructor Detail

FieldTypeComputationState

public FieldTypeComputationState(ResolvedTypes resolvedTypes,
                                 IFeatureScopeSession featureScopeSession,
                                 JvmField field,
                                 LogicalContainerAwareReentrantTypeResolver reentrantTypeResolver)

Method Detail

getMember

protected JvmField getMember()

Overrides:

getMember in class AbstractLogicalContainerAwareRootComputationState

getExpectations

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

Specified by:

getExpectations in class AbstractRootTypeComputationState