Package com.intellij.psi.impl.source.resolve

Class CompletionParameterTypeInferencePolicy

java.lang.Object

com.intellij.psi.impl.source.resolve.ParameterTypeInferencePolicy

com.intellij.psi.impl.source.resolve.DefaultParameterTypeInferencePolicy

com.intellij.psi.impl.source.resolve.ProcessCandidateParameterTypeInferencePolicy

com.intellij.psi.impl.source.resolve.CompletionParameterTypeInferencePolicy

public class CompletionParameterTypeInferencePolicy
extends ProcessCandidateParameterTypeInferencePolicy

Field Summary

Fields

Modifier and Type	Field and Description
static CompletionParameterTypeInferencePolicy	INSTANCE

Method Summary

Modifier and Type	Method and Description
PsiType	adjustInferredType(PsiManager manager, PsiType guess, ConstraintType constraintType)
PsiType	getDefaultExpectedType(PsiCallExpression methodCall)
Pair<PsiType,ConstraintType>	getInferredTypeWithNoConstraint(PsiManager psiManager, PsiType superType)
boolean	inferLowerBoundForFreshVariables() For infinite type declarations, like Foo<T extends Foo<T>>, inference introduces fake fresh "fixed" type parameters.
boolean	inferRuntimeExceptionForThrownBoundWithNoConstraints()
boolean	isVarargsIgnored()
boolean	requestForBoxingExplicitly() Workaround for inference < 1.8.

Methods inherited from class com.intellij.psi.impl.source.resolve.ProcessCandidateParameterTypeInferencePolicy

getExpressions, getResults, getSubstitutor, inferConstraint, inferTypeConstraintFromCallContext

Methods inherited from class java.lang.Object

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

Field Detail

INSTANCE

public static final CompletionParameterTypeInferencePolicy INSTANCE

Method Detail

getDefaultExpectedType

public PsiType getDefaultExpectedType(PsiCallExpression methodCall)

Overrides:

getDefaultExpectedType in class DefaultParameterTypeInferencePolicy

getInferredTypeWithNoConstraint

public Pair<PsiType,ConstraintType> getInferredTypeWithNoConstraint(PsiManager psiManager,
                                                                    PsiType superType)

Overrides:

getInferredTypeWithNoConstraint in class DefaultParameterTypeInferencePolicy

inferRuntimeExceptionForThrownBoundWithNoConstraints

public boolean inferRuntimeExceptionForThrownBoundWithNoConstraints()

Overrides:

inferRuntimeExceptionForThrownBoundWithNoConstraints in class ParameterTypeInferencePolicy

adjustInferredType

public PsiType adjustInferredType(PsiManager manager,
                                  PsiType guess,
                                  ConstraintType constraintType)

Overrides:

adjustInferredType in class DefaultParameterTypeInferencePolicy

isVarargsIgnored

public boolean isVarargsIgnored()

Overrides:

isVarargsIgnored in class ParameterTypeInferencePolicy

inferLowerBoundForFreshVariables

public boolean inferLowerBoundForFreshVariables()

Description copied from class: ParameterTypeInferencePolicy

For infinite type declarations, like Foo<T extends Foo<T>>, inference introduces fake fresh "fixed" type parameters. These fresh parameters respect constraints, created during inference session. For completion, it makes sense to define lower bounds even if no appropriate constraints were detected, as probably the corresponding argument is currently completed.

Overrides:

inferLowerBoundForFreshVariables in class ParameterTypeInferencePolicy

requestForBoxingExplicitly

public boolean requestForBoxingExplicitly()

Description copied from class: ParameterTypeInferencePolicy

Workaround for inference < 1.8. Boxed type is used for inference as it may be specified as type argument explicitly later for completion JavaMethodCallElement.setInferenceSubstitutorFromExpectedType(com.intellij.psi.PsiElement, com.intellij.psi.PsiType), but should not be used for normal inference due to javac bug

Overrides:

requestForBoxingExplicitly in class ParameterTypeInferencePolicy