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

Class ParameterTypeInferencePolicy

java.lang.Object

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

Direct Known Subclasses:

DefaultParameterTypeInferencePolicy

public abstract class ParameterTypeInferencePolicy
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ParameterTypeInferencePolicy()

Method Summary

Modifier and Type	Method and Description
abstract PsiType	adjustInferredType(PsiManager manager, PsiType guess, ConstraintType second)
abstract PsiType	getDefaultExpectedType(PsiCallExpression methodCall)
abstract Pair<PsiType,ConstraintType>	getInferredTypeWithNoConstraint(PsiManager manager, PsiType superType)
boolean	inferLowerBoundForFreshVariables() For infinite type declarations, like Foo<T extends Foo<T>>, inference introduces fake fresh "fixed" type parameters.
boolean	inferRuntimeExceptionForThrownBoundWithNoConstraints()
abstract Pair<PsiType,ConstraintType>	inferTypeConstraintFromCallContext(PsiExpression innerMethodCall, PsiExpressionList parent, PsiCallExpression contextCall, PsiTypeParameter typeParameter)
boolean	isVarargsIgnored()
boolean	requestForBoxingExplicitly() Workaround for inference < 1.8.

Methods inherited from class java.lang.Object

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

Constructor Detail

ParameterTypeInferencePolicy

public ParameterTypeInferencePolicy()

Method Detail

inferTypeConstraintFromCallContext

public abstract Pair<PsiType,ConstraintType> inferTypeConstraintFromCallContext(PsiExpression innerMethodCall,
                                                                                PsiExpressionList parent,
                                                                                PsiCallExpression contextCall,
                                                                                PsiTypeParameter typeParameter)

getDefaultExpectedType

public abstract PsiType getDefaultExpectedType(PsiCallExpression methodCall)

getInferredTypeWithNoConstraint

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

inferRuntimeExceptionForThrownBoundWithNoConstraints

public boolean inferRuntimeExceptionForThrownBoundWithNoConstraints()

adjustInferredType

public abstract PsiType adjustInferredType(PsiManager manager,
                                           PsiType guess,
                                           ConstraintType second)

isVarargsIgnored

public boolean isVarargsIgnored()

inferLowerBoundForFreshVariables

public boolean inferLowerBoundForFreshVariables()

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.

requestForBoxingExplicitly

public boolean requestForBoxingExplicitly()

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