@NonNullByDefault 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 AbstractTypeExpectation |
createTypeExpectation(LightweightTypeReference expectedType,
AbstractTypeComputationState actualState) |
java.util.List<AbstractTypeExpectation> |
getExpectations(AbstractTypeComputationState actualState) |
acceptType, acceptType, getParent, getReturnExpectations
acceptActualType, acceptActualType, addDiagnostic, addExtensionsToCurrentScope, addExtensionToCurrentScope, addLocalToCurrentScope, addLocalToCurrentScope, assignType, assignType, assignType, assignTypes, computeTypes, createCandidate, createCandidate, createCandidateWithReceiverType, createExpressionComputationState, createResolvedLink, createResolvedLink, createTypeAssigner, createUnboundTypeReference, discardReassignedTypes, doComputeTypes, getConverter, getExpectations, getExpectedExceptions, getFeatureScopeSession, getLinkingCandidates, getLinkingCandidates, getReferenceOwner, getResolvedTypes, getResolver, getReturnExpectations, getSeverities, getSeverity, getTypeComputer, getTypeReferences, isIgnored, pushTypes, reassignType, refineExpectedType, toIdentifiableDescription, toString, withExpectation, withExpectedExceptions, 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(@Nullable LightweightTypeReference expectedType, AbstractTypeComputationState actualState)