public class FieldTypeComputationState extends AbstractLogicalContainerAwareRootComputationState
resolvedTypes
Constructor and Description |
---|
FieldTypeComputationState(ResolvedTypes resolvedTypes,
IFeatureScopeSession featureScopeSession,
JvmField field) |
Modifier and Type | Method and Description |
---|---|
protected ExpressionTypeComputationState |
createExpressionComputationState(XExpression expression,
StackedResolvedTypes typeResolution) |
protected ITypeComputationResult |
createNoTypeResult() |
protected java.util.List<AbstractTypeExpectation> |
getExpectations(AbstractTypeComputationState actualState,
boolean returnType) |
protected LightweightTypeReference |
getExpectedType() |
getMember, getRootExpression
acceptType, acceptType, assignTypes, computeTypes, getExpectations, getNonNullRootExpression, getReturnExpectations
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
public FieldTypeComputationState(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, JvmField field)
protected java.util.List<AbstractTypeExpectation> getExpectations(AbstractTypeComputationState actualState, boolean returnType)
getExpectations
in class AbstractRootTypeComputationState
protected LightweightTypeReference getExpectedType()
getExpectedType
in class AbstractRootTypeComputationState
protected ITypeComputationResult createNoTypeResult()
createNoTypeResult
in class AbstractRootTypeComputationState
protected ExpressionTypeComputationState createExpressionComputationState(XExpression expression, StackedResolvedTypes typeResolution)
createExpressionComputationState
in class AbstractRootTypeComputationState