public class TypeComputationStateWithNonVoidExpectation extends AbstractStackedTypeComputationState
resolvedTypes
Modifier | Constructor and Description |
---|---|
protected |
TypeComputationStateWithNonVoidExpectation(ResolvedTypes resolvedTypes,
IFeatureScopeSession featureScopeSession,
AbstractTypeComputationState parent) |
Modifier and Type | Method and Description |
---|---|
protected LightweightTypeReference |
acceptType(XExpression alreadyHandled,
ResolvedTypes types,
AbstractTypeExpectation expectation,
LightweightTypeReference type,
boolean returnType,
int flags) |
protected AbstractTypeExpectation |
createTypeExpectation(LightweightTypeReference expectedType,
AbstractTypeComputationState actualState) |
java.util.List<AbstractTypeExpectation> |
getExpectations(AbstractTypeComputationState actualState) |
acceptType, getParent, getReturnExpectations
acceptActualType, acceptActualType, acceptActualType, acceptActualType, acceptCandidate, addDiagnostic, addExtensionsToCurrentScope, addExtensionToCurrentScope, addImports, addLocalToCurrentScope, addLocalToCurrentScope, addTypeToStaticExtensionImportScope, addTypeToStaticImportScope, afterScope, assignType, assignType, assignType, assignTypes, computeTypes, createCandidate, createCandidate, createCandidateWithReceiverType, createExpressionComputationState, 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
protected TypeComputationStateWithNonVoidExpectation(ResolvedTypes resolvedTypes, IFeatureScopeSession featureScopeSession, AbstractTypeComputationState parent)
public java.util.List<AbstractTypeExpectation> getExpectations(AbstractTypeComputationState actualState)
getExpectations
in class AbstractStackedTypeComputationState
protected AbstractTypeExpectation createTypeExpectation(LightweightTypeReference expectedType, AbstractTypeComputationState actualState)
protected LightweightTypeReference acceptType(XExpression alreadyHandled, ResolvedTypes types, AbstractTypeExpectation expectation, LightweightTypeReference type, boolean returnType, int flags)
acceptType
in class AbstractStackedTypeComputationState