/* * Copyright 2000-2009 JetBrains s.r.o. * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. * You may obtain a copy of the License at * * http://www.apache.org/licenses/LICENSE-2.0 * * Unless required by applicable law or agreed to in writing, software * distributed under the License is distributed on an "AS IS" BASIS, * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. * See the License for the specific language governing permissions and * limitations under the License. */ package com.intellij.codeInsight.completion; import com.intellij.codeInsight.*; import com.intellij.codeInsight.lookup.*; import com.intellij.openapi.util.Key; import com.intellij.openapi.util.Pair; import com.intellij.patterns.ElementPattern; import com.intellij.patterns.PsiJavaPatterns; import com.intellij.psi.*; import com.intellij.psi.filters.ElementExtractorFilter; import com.intellij.psi.filters.ElementFilter; import com.intellij.psi.filters.GeneratorFilter; import com.intellij.psi.filters.OrFilter; import com.intellij.psi.filters.getters.CastTypeGetter; import com.intellij.psi.filters.getters.ExpectedTypesGetter; import com.intellij.psi.filters.getters.InstanceOfLeftPartTypeGetter; import com.intellij.psi.filters.getters.ThrowsListGetter; import com.intellij.psi.filters.types.AssignableFromFilter; import com.intellij.psi.filters.types.AssignableGroupFilter; import com.intellij.psi.filters.types.AssignableToFilter; import com.intellij.psi.impl.source.resolve.reference.impl.PsiMultiReference; import com.intellij.psi.infos.CandidateInfo; import com.intellij.psi.javadoc.PsiDocTag; import com.intellij.psi.util.InheritanceUtil; import com.intellij.psi.util.PsiTreeUtil; import com.intellij.psi.util.PsiUtil; import com.intellij.psi.util.TypeConversionUtil; import com.intellij.util.Consumer; import com.intellij.util.ProcessingContext; import com.intellij.util.ReflectionCache; import com.intellij.util.SmartList; import com.intellij.util.containers.ContainerUtil; import gnu.trove.THashSet; import gnu.trove.TObjectHashingStrategy; import org.jetbrains.annotations.NonNls; import org.jetbrains.annotations.NotNull; import org.jetbrains.annotations.Nullable; import java.util.*; import static com.intellij.patterns.PlatformPatterns.psiElement; import static com.intellij.patterns.PsiJavaPatterns.psiMethod; import static com.intellij.patterns.StandardPatterns.*; /** * @author peter */ public class JavaSmartCompletionContributor extends CompletionContributor { private static final TObjectHashingStrategy EXPECTED_TYPE_INFO_STRATEGY = new TObjectHashingStrategy() { public int computeHashCode(final ExpectedTypeInfo object) { return object.getType().hashCode(); } public boolean equals(final ExpectedTypeInfo o1, final ExpectedTypeInfo o2) { return o1.getType().equals(o2.getType()); } }; private static final ElementExtractorFilter THROWABLES_FILTER = new ElementExtractorFilter(new AssignableFromFilter(CommonClassNames.JAVA_LANG_THROWABLE)); @NonNls private static final String EXCEPTION_TAG = "exception"; static final ElementPattern AFTER_NEW = psiElement().afterLeaf( psiElement().withText(PsiKeyword.NEW).andNot( psiElement().afterLeaf( psiElement().withText(PsiKeyword.THROW)))); static final ElementPattern AFTER_THROW_NEW = psiElement().afterLeaf(psiElement().withText(PsiKeyword.NEW).afterLeaf(PsiKeyword.THROW)); private static final OrFilter THROWABLE_TYPE_FILTER = new OrFilter( new GeneratorFilter(AssignableGroupFilter.class, new ThrowsListGetter()), new AssignableFromFilter(CommonClassNames.JAVA_LANG_RUNTIME_EXCEPTION)); public static final ElementPattern INSIDE_EXPRESSION = or( psiElement().withParent(PsiExpression.class).andNot(psiElement().withParent(PsiLiteralExpression.class)), psiElement().inside(PsiClassObjectAccessExpression.class), psiElement().inside(PsiThisExpression.class), psiElement().inside(PsiSuperExpression.class) ); static final ElementPattern INSIDE_TYPECAST_EXPRESSION = psiElement().withParent( psiElement(PsiReferenceExpression.class).afterLeaf( psiElement().withText(")").withParent(PsiTypeCastExpression.class))); @Nullable private static ElementFilter getReferenceFilter(PsiElement element) { //throw new foo if (AFTER_THROW_NEW.accepts(element)) { return new ElementExtractorFilter(THROWABLE_TYPE_FILTER); } //new xxx.yyy if (psiElement().afterLeaf(psiElement().withText(".")).withSuperParent(2, psiElement(PsiNewExpression.class)).accepts(element)) { if (((PsiNewExpression)element.getParent().getParent()).getClassReference() == element.getParent()) { return new GeneratorFilter(AssignableGroupFilter.class, new ExpectedTypesGetter()); } } return null; } public JavaSmartCompletionContributor() { extend(CompletionType.SMART, SmartCastProvider.INSIDE_TYPECAST_TYPE, new SmartCastProvider()); extend(CompletionType.SMART, psiElement().beforeLeaf(psiElement(JavaTokenType.RPARENTH)).afterLeaf("(").withParent( psiElement(PsiReferenceExpression.class).withParent( psiElement(PsiExpressionList.class).withParent(PsiMethodCallExpression.class))), new SameSignatureCallParametersProvider()); extend(CompletionType.SMART, psiElement().afterLeaf(PsiKeyword.INSTANCEOF), new CompletionProvider() { protected void addCompletions(@NotNull final CompletionParameters parameters, final ProcessingContext context, @NotNull final CompletionResultSet result) { final PsiElement position = parameters.getPosition(); final PsiType[] leftTypes = InstanceOfLeftPartTypeGetter.getLeftTypes(position); final Set expectedClassTypes = new LinkedHashSet(); final Set parameterizedTypes = new THashSet(); for (final PsiType type : leftTypes) { if (type instanceof PsiClassType) { final PsiClassType classType = (PsiClassType)type; if (!classType.isRaw()) { ContainerUtil.addIfNotNull(classType.resolve(), parameterizedTypes); } expectedClassTypes.add(classType.rawType()); } } JavaInheritorsGetter .processInheritors(parameters, expectedClassTypes, result.getPrefixMatcher(), new Consumer() { public void consume(PsiType type) { final PsiClass psiClass = PsiUtil.resolveClassInType(type); if (psiClass == null) return; if (expectedClassTypes.contains(type)) return; result.addElement(createInstanceofLookupElement(psiClass, parameterizedTypes)); } }); } }); extend(CompletionType.SMART, psiElement(), new CompletionProvider() { protected void addCompletions(@NotNull final CompletionParameters parameters, final ProcessingContext context, @NotNull final CompletionResultSet result) { final PsiElement element = parameters.getPosition(); final PsiReference reference = element.getContainingFile().findReferenceAt(parameters.getOffset()); if (reference != null) { final ElementFilter filter = getReferenceFilter(element); if (filter != null) { final List infos = Arrays.asList(getExpectedTypes(parameters)); for (final LookupElement item : completeReference(element, reference, filter, true, parameters)) { if (item.getObject() instanceof PsiClass) { result.addElement(decorate(LookupElementDecorator.withInsertHandler((LookupItem)item, ConstructorInsertHandler.SMART_INSTANCE), infos)); } } } else if (INSIDE_TYPECAST_EXPRESSION.accepts(element)) { for (final LookupElement item : completeReference(element, reference, new GeneratorFilter(AssignableToFilter.class, new CastTypeGetter()), false, parameters)) { result.addElement(item); } } } } }); //method throws clause extend(CompletionType.SMART, psiElement().inside( psiElement(PsiReferenceList.class).save("refList").withParent( psiMethod().withThrowsList(get("refList")))), new CompletionProvider() { @Override protected void addCompletions(@NotNull CompletionParameters parameters, ProcessingContext context, @NotNull CompletionResultSet result) { final PsiElement element = parameters.getPosition(); final PsiReference reference = element.getContainingFile().findReferenceAt(parameters.getOffset()); assert reference != null; for (final LookupElement item : completeReference(element, reference, THROWABLES_FILTER, true, parameters)) { result.addElement(item); } } }); extend(CompletionType.SMART, INSIDE_EXPRESSION, new ExpectedTypeBasedCompletionProvider() { protected void addCompletions(final CompletionParameters params, final CompletionResultSet result, final Collection _infos) { for (final ExpectedTypeInfo info : new THashSet(_infos, EXPECTED_TYPE_INFO_STRATEGY)) { final JavaSmartCompletionParameters parameters = new JavaSmartCompletionParameters(params, info); final PsiType type = info.getType(); BasicExpressionCompletionContributor.fillCompletionVariants(parameters, new Consumer() { @Override public void consume(LookupElement lookupElement) { final TypedLookupItem typed = lookupElement.as(TypedLookupItem.CLASS_CONDITION_KEY); if (typed != null) { final PsiType psiType = typed.getType(); if (psiType != null && type.isAssignableFrom(psiType)) { result.addElement(decorate(lookupElement, _infos)); } } } }, result.getPrefixMatcher()); ReferenceExpressionCompletionContributor.fillCompletionVariants(parameters, new Consumer() { public void consume(final LookupElement lookupElement) { result.addElement(decorate(lookupElement, _infos)); } }); } } }); extend(CompletionType.SMART, or( PsiJavaPatterns.psiElement().withParent(PsiNameValuePair.class), PsiJavaPatterns.psiElement().withSuperParent(2, PsiNameValuePair.class)), new CompletionProvider() { public void addCompletions(@NotNull final CompletionParameters parameters, final ProcessingContext context, @NotNull final CompletionResultSet result) { final PsiElement element = parameters.getPosition(); final ElementPattern leftNeighbor = PsiJavaPatterns.psiElement().afterLeaf(PsiJavaPatterns.psiElement().withText(".")); final boolean needQualify = leftNeighbor.accepts(element); for (final PsiType type : ExpectedTypesGetter.getExpectedTypes(element, false)) { final PsiClass psiClass = PsiUtil.resolveClassInType(type); if (psiClass != null && psiClass.isAnnotationType()) { final LookupItem item = JavaClassNameCompletionContributor.createClassLookupItem(psiClass, true); if (needQualify) JavaCompletionUtil.qualify(item); result.addElement(item); } } } }); extend(CompletionType.SMART, psiElement().inside( psiElement(PsiDocTag.class).withName( string().oneOf(PsiKeyword.THROWS, EXCEPTION_TAG))), new CompletionProvider() { public void addCompletions(@NotNull final CompletionParameters parameters, final ProcessingContext context, @NotNull final CompletionResultSet result) { final PsiElement element = parameters.getPosition(); final Set throwsSet = new HashSet(); final PsiMethod method = PsiTreeUtil.getContextOfType(element, PsiMethod.class, true); if(method != null){ for (PsiClassType ref : method.getThrowsList().getReferencedTypes()) { final PsiClass exception = ref.resolve(); if (exception != null && throwsSet.add(exception)) { result.addElement(TailTypeDecorator.withTail(new JavaPsiClassReferenceElement(exception), TailType.SPACE)); } } } } }); final Key tryKey = Key.create("try"); extend(CompletionType.SMART, psiElement().afterLeaf( psiElement().withText("(")) .withSuperParent(3, psiElement(PsiCatchSection.class).withParent( psiElement(PsiTryStatement.class).save(tryKey))), new CompletionProvider() { protected void addCompletions(@NotNull final CompletionParameters parameters, final ProcessingContext context, @NotNull final CompletionResultSet result) { final PsiCodeBlock tryBlock = context.get(tryKey).getTryBlock(); if (tryBlock == null) return; for (final PsiClassType type : ExceptionUtil.getThrownExceptions(tryBlock.getStatements())) { result.addElement(TailTypeDecorator.withTail(PsiTypeLookupItem.createLookupItem(type, tryBlock).setInsertHandler(new DefaultInsertHandler()), TailType.SPACE)); } } }); extend(CompletionType.SMART, psiElement().inside(psiElement(PsiReferenceParameterList.class)), new CompletionProvider() { protected void addCompletions(@NotNull final CompletionParameters parameters, final ProcessingContext processingContext, @NotNull final CompletionResultSet resultSet) { final PsiElement context = parameters.getPosition(); final Pair pair = getTypeParameterInfo(context); if (pair == null) return; final PsiClass referencedClass = pair.first; final int parameterIndex = pair.second.intValue(); final PsiTypeParameter[] typeParameters = referencedClass.getTypeParameters(); final PsiTypeParameter targetParameter = typeParameters[parameterIndex]; boolean isLast = parameterIndex == typeParameters.length - 1; final TailType tail = isLast ? new CharTailType('>') : TailType.COMMA; PsiResolveHelper resolveHelper = JavaPsiFacade.getInstance(context.getProject()).getResolveHelper(); final PsiType[] psiTypes = ExpectedTypesGetter.getExpectedTypes(context, false); if (psiTypes.length > 0) { for (PsiType type : psiTypes) { if (!(type instanceof PsiClassType)) continue; final PsiClassType.ClassResolveResult result = ((PsiClassType)type).resolveGenerics(); final PsiClass typeClass = result.getElement(); final PsiSubstitutor substitutor = result.getSubstitutor(); if (!InheritanceUtil.isInheritorOrSelf(referencedClass, typeClass, true)) continue; final PsiSubstitutor currentSubstitutor = TypeConversionUtil.getClassSubstitutor(typeClass, referencedClass, PsiSubstitutor.EMPTY); for (PsiTypeParameter parameter : PsiUtil.typeParametersIterable(typeClass)) { final PsiType argSubstitution = substitutor.substitute(parameter); final PsiType paramSubstitution = currentSubstitutor.substitute(parameter); final PsiType substitution = resolveHelper .getSubstitutionForTypeParameter(targetParameter, paramSubstitution, argSubstitution, false, PsiUtil.getLanguageLevel(context)); if (substitution != null && substitution != PsiType.NULL) { final LookupItem item = PsiTypeLookupItem.createLookupItem(substitution, context); resultSet.addElement(TailTypeDecorator.withTail(item.setInsertHandler(new DefaultInsertHandler()), tail)); } } } } else { final List typeList = Collections.singletonList((PsiClassType)TypeConversionUtil.typeParameterErasure(targetParameter)); JavaInheritorsGetter .processInheritors(parameters, typeList, resultSet.getPrefixMatcher(), new Consumer() { public void consume(final PsiType type) { final PsiClass psiClass = PsiUtil.resolveClassInType(type); if (psiClass == null) return; resultSet.addElement(TailTypeDecorator.withTail(new JavaPsiClassReferenceElement(psiClass), tail)); } }); } } }); extend(CompletionType.SMART, AFTER_NEW, new JavaInheritorsGetter(ConstructorInsertHandler.SMART_INSTANCE)); } public static SmartCompletionDecorator decorate(LookupElement lookupElement, Collection infos) { if (lookupElement instanceof LookupItem) { final LookupItem lookupItem = (LookupItem)lookupElement; if (lookupItem.getInsertHandler() == null) { lookupItem.setInsertHandler(DefaultInsertHandler.NO_TAIL_HANDLER); } } return new SmartCompletionDecorator(lookupElement, infos); } private static LookupElement createInstanceofLookupElement(PsiClass psiClass, Set toWildcardInheritors) { final PsiTypeParameter[] typeParameters = psiClass.getTypeParameters(); if (typeParameters.length > 0) { for (final PsiClass parameterizedType : toWildcardInheritors) { if (psiClass.isInheritor(parameterizedType, true)) { PsiSubstitutor substitutor = PsiSubstitutor.EMPTY; final PsiWildcardType wildcard = PsiWildcardType.createUnbounded(psiClass.getManager()); for (final PsiTypeParameter typeParameter : typeParameters) { substitutor = substitutor.put(typeParameter, wildcard); } final PsiElementFactory factory = JavaPsiFacade.getElementFactory(psiClass.getProject()); return PsiTypeLookupItem.createLookupItem(factory.createType(psiClass, substitutor), psiClass); } } } return new JavaPsiClassReferenceElement(psiClass); } @Nullable public static Pair getTypeParameterInfo(PsiElement context) { final PsiReferenceParameterList parameterList = PsiTreeUtil.getContextOfType(context, PsiReferenceParameterList.class, true); if (parameterList == null) return null; final PsiJavaCodeReferenceElement referenceElement = (PsiJavaCodeReferenceElement)parameterList.getParent(); final int parameterIndex; int index = 0; final PsiTypeElement typeElement = PsiTreeUtil.getContextOfType(context, PsiTypeElement.class, true); if(typeElement != null){ final PsiTypeElement[] elements = referenceElement.getParameterList().getTypeParameterElements(); while (index < elements.length) { final PsiTypeElement element = elements[index++]; if(element == typeElement) break; } } parameterIndex = index - 1; if(parameterIndex < 0) return null; final PsiElement target = referenceElement.resolve(); if(!(target instanceof PsiClass)) return null; final PsiClass referencedClass = (PsiClass)target; final PsiTypeParameter[] typeParameters = referencedClass.getTypeParameters(); if(typeParameters.length <= parameterIndex) return null; return Pair.create(referencedClass, parameterIndex); } public static ExpectedTypeInfo[] getExpectedTypes(final CompletionParameters parameters) { final PsiElement position = parameters.getPosition(); if (psiElement().withParent(psiElement(PsiReferenceExpression.class).withParent(PsiThrowStatement.class)).accepts(position)) { final PsiElementFactory factory = JavaPsiFacade.getInstance(position.getProject()).getElementFactory(); final PsiClassType classType = factory .createTypeByFQClassName(CommonClassNames.JAVA_LANG_RUNTIME_EXCEPTION, position.getResolveScope()); final List result = new SmartList(); result.add(new ExpectedTypeInfoImpl(classType, ExpectedTypeInfo.TYPE_OR_SUBTYPE, 0, classType, TailType.SEMICOLON)); final PsiMethod method = PsiTreeUtil.getContextOfType(position, PsiMethod.class, true); if (method != null) { for (final PsiClassType type : method.getThrowsList().getReferencedTypes()) { result.add(new ExpectedTypeInfoImpl(type, ExpectedTypeInfo.TYPE_OR_SUBTYPE, 0, type, TailType.SEMICOLON)); } } return result.toArray(new ExpectedTypeInfo[result.size()]); } PsiExpression expression = PsiTreeUtil.getContextOfType(position, PsiExpression.class, true); if (expression == null) return ExpectedTypeInfo.EMPTY_ARRAY; return ExpectedTypesProvider.getExpectedTypes(expression, true, parameters.getCompletionType() == CompletionType.SMART, false); } static Set completeReference(final PsiElement element, PsiReference reference, final ElementFilter filter, final boolean acceptClasses, CompletionParameters parameters) { if (reference instanceof PsiMultiReference) { reference = ContainerUtil.findInstance(((PsiMultiReference) reference).getReferences(), PsiJavaReference.class); } if (reference instanceof PsiJavaReference) { final PsiJavaReference javaReference = (PsiJavaReference)reference; return JavaCompletionUtil.processJavaReference(element, javaReference, new ElementFilter() { public boolean isAcceptable(Object element, PsiElement context) { return filter.isAcceptable(element, context); } public boolean isClassAcceptable(Class hintClass) { if (acceptClasses) { return ReflectionCache.isAssignable(PsiClass.class, hintClass); } return ReflectionCache.isAssignable(PsiVariable.class, hintClass) || ReflectionCache.isAssignable(PsiMethod.class, hintClass) || ReflectionCache.isAssignable(CandidateInfo.class, hintClass); } }, true, null, parameters); } return Collections.emptySet(); } @Override public void beforeCompletion(@NotNull CompletionInitializationContext context) { if (context.getCompletionType() != CompletionType.SMART) { return; } if (!context.getEditor().getSelectionModel().hasSelection()) { final PsiFile file = context.getFile(); PsiElement element = file.findElementAt(context.getStartOffset()); if (element instanceof PsiIdentifier) { element = element.getParent(); while (element instanceof PsiJavaCodeReferenceElement || element instanceof PsiCall || element instanceof PsiThisExpression || element instanceof PsiSuperExpression || element instanceof PsiTypeElement || element instanceof PsiClassObjectAccessExpression) { int newEnd = element.getTextRange().getEndOffset(); if (element instanceof PsiMethodCallExpression) { newEnd = ((PsiMethodCallExpression)element).getMethodExpression().getTextRange().getEndOffset(); } else if (element instanceof PsiNewExpression) { final PsiJavaCodeReferenceElement classReference = ((PsiNewExpression)element).getClassReference(); if (classReference != null) { newEnd = classReference.getTextRange().getEndOffset(); } } context.setReplacementOffset(newEnd); element = element.getParent(); } } } PsiElement lastElement = context.getFile().findElementAt(context.getStartOffset() - 1); if (lastElement != null && lastElement.getText().equals("(")) { final PsiElement parent = lastElement.getParent(); if (parent instanceof PsiTypeCastExpression) { context.setDummyIdentifier(""); return; } if (parent instanceof PsiParenthesizedExpression) { context.setDummyIdentifier("xxx)yyy "); // to handle type cast return; } } context.setDummyIdentifier("xxx"); } }