Implemented compacting type names and adding valid imports in specify type explicitly intention.

idea/src/org/jetbrains/jet/plugin/codeInsight/OverrideImplementMethodsHandler.java

@@ -33,13 +33,10 @@ import org.jetbrains.annotations.Nullable;
 import org.jetbrains.jet.lang.descriptors.*;
 import org.jetbrains.jet.lang.psi.*;
 import org.jetbrains.jet.lang.resolve.BindingContext;
-import org.jetbrains.jet.lang.resolve.DescriptorUtils;
-import org.jetbrains.jet.lang.resolve.scopes.JetScope;
 import org.jetbrains.jet.lang.types.JetType;
 import org.jetbrains.jet.lang.types.lang.JetStandardClasses;
 import org.jetbrains.jet.lang.types.lang.JetStandardLibrary;
 import org.jetbrains.jet.plugin.project.WholeProjectAnalyzerFacade;
-import org.jetbrains.jet.plugin.quickfix.ImportInsertHelper;
 import org.jetbrains.jet.resolve.DescriptorRenderer;
 
 import java.util.*;
@@ -90,70 +87,7 @@ public abstract class OverrideImplementMethodsHandler implements LanguageCodeIns
             afterAnchor = added;
             elementsToCompact.add((JetElement)added);
         }
-        compactReferenceToClasses(elementsToCompact);
+        ReferenceToClassesShortening.compactReferenceToClasses(elementsToCompact);
-    }
-
-    private static void compactReferenceToClasses(List<JetElement> elementsToCompact) {
-        if (elementsToCompact.isEmpty()) {
-            return;
-        }
-        final JetFile file = (JetFile) elementsToCompact.get(0).getContainingFile();
-        final BindingContext bc = WholeProjectAnalyzerFacade.analyzeProjectWithCacheOnAFile(file).getBindingContext();
-        for (JetElement element : elementsToCompact) {
-            element.accept(new JetVisitorVoid() {
-                @Override
-                public void visitJetElement(JetElement element) {
-                    element.acceptChildren(this);
-                }
-
-                @Override
-                public void visitTypeReference(JetTypeReference typeReference) {
-                    super.visitTypeReference(typeReference);
-
-                    JetTypeElement typeElement = typeReference.getTypeElement();
-                    if (typeElement instanceof JetNullableType) {
-                        typeElement = ((JetNullableType) typeElement).getInnerType();
-                    }
-                    if (typeElement instanceof JetUserType) {
-                        JetUserType userType = (JetUserType) typeElement;
-                        DeclarationDescriptor target = bc.get(BindingContext.REFERENCE_TARGET,
-                                                              userType.getReferenceExpression());
-                        if (target instanceof ClassDescriptor) {
-                            ClassDescriptor targetClass = (ClassDescriptor) target;
-                            ClassDescriptor targetTopLevelClass = ImportInsertHelper.getTopLevelClass(targetClass);
-
-                            JetScope scope = bc.get(BindingContext.TYPE_RESOLUTION_SCOPE, typeReference);
-                            ClassifierDescriptor classifier = scope.getClassifier(targetTopLevelClass.getName());
-                            if (targetTopLevelClass == classifier) {
-                                compactReferenceToClass(userType, targetClass);
-                            }
-                            else if (classifier == null) {
-                                ImportInsertHelper.addImportDirective(DescriptorUtils.getFQName(targetTopLevelClass).toSafe(), file);
-                                compactReferenceToClass(userType, targetClass);
-                            }
-                            else {
-                                // leave FQ name
-                            }
-                        }
-                    }
-                }
-
-                private void compactReferenceToClass(JetUserType userType, ClassDescriptor targetClass) {
-                    if (targetClass == JetStandardClasses.getUnitType().getConstructor().getDeclarationDescriptor()) {
-                        // do not replace "Unit" with "Tuple0"
-                        return;
-                    }
-                    String name = targetClass.getName();
-                    DeclarationDescriptor parent = targetClass.getContainingDeclaration();
-                    while (parent instanceof ClassDescriptor) {
-                        name = parent.getName() + "." + name;
-                        parent = parent.getContainingDeclaration();
-                    }
-                    JetTypeArgumentList typeArgumentList = userType.getTypeArgumentList();
-                    userType.replace(JetPsiFactory.createType(userType.getProject(), name + (typeArgumentList == null ? "" : typeArgumentList.getText())));
-                }
-            });
-        }
     }
 
 

idea/src/org/jetbrains/jet/plugin/codeInsight/ReferenceToClassesShortening.java

@@ -0,0 +1,98 @@
+/*
+ * Copyright 2010-2012 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 org.jetbrains.jet.plugin.codeInsight;
+
+import org.jetbrains.jet.lang.descriptors.ClassDescriptor;
+import org.jetbrains.jet.lang.descriptors.ClassifierDescriptor;
+import org.jetbrains.jet.lang.descriptors.DeclarationDescriptor;
+import org.jetbrains.jet.lang.psi.*;
+import org.jetbrains.jet.lang.resolve.BindingContext;
+import org.jetbrains.jet.lang.resolve.DescriptorUtils;
+import org.jetbrains.jet.lang.resolve.scopes.JetScope;
+import org.jetbrains.jet.lang.types.lang.JetStandardClasses;
+import org.jetbrains.jet.plugin.project.WholeProjectAnalyzerFacade;
+import org.jetbrains.jet.plugin.quickfix.ImportInsertHelper;
+
+import java.util.List;
+
+public class ReferenceToClassesShortening {
+    private ReferenceToClassesShortening() {
+    }
+
+    public static void compactReferenceToClasses(List<? extends JetElement> elementsToCompact) {
+        if (elementsToCompact.isEmpty()) {
+            return;
+        }
+        final JetFile file = (JetFile) elementsToCompact.get(0).getContainingFile();
+        final BindingContext bc = WholeProjectAnalyzerFacade.analyzeProjectWithCacheOnAFile(file).getBindingContext();
+        for (JetElement element : elementsToCompact) {
+            element.accept(new JetVisitorVoid() {
+                @Override
+                public void visitJetElement(JetElement element) {
+                    element.acceptChildren(this);
+                }
+
+                @Override
+                public void visitTypeReference(JetTypeReference typeReference) {
+                    super.visitTypeReference(typeReference);
+
+                    JetTypeElement typeElement = typeReference.getTypeElement();
+                    if (typeElement instanceof JetNullableType) {
+                        typeElement = ((JetNullableType) typeElement).getInnerType();
+                    }
+                    if (typeElement instanceof JetUserType) {
+                        JetUserType userType = (JetUserType) typeElement;
+                        DeclarationDescriptor target = bc.get(BindingContext.REFERENCE_TARGET,
+                                                              userType.getReferenceExpression());
+                        if (target instanceof ClassDescriptor) {
+                            ClassDescriptor targetClass = (ClassDescriptor) target;
+                            ClassDescriptor targetTopLevelClass = ImportInsertHelper.getTopLevelClass(targetClass);
+
+                            JetScope scope = bc.get(BindingContext.TYPE_RESOLUTION_SCOPE, typeReference);
+                            ClassifierDescriptor classifier = scope.getClassifier(targetTopLevelClass.getName());
+                            if (targetTopLevelClass == classifier) {
+                                compactReferenceToClass(userType, targetClass);
+                            }
+                            else if (classifier == null) {
+                                ImportInsertHelper.addImportDirective(DescriptorUtils.getFQName(targetTopLevelClass).toSafe(), file);
+                                compactReferenceToClass(userType, targetClass);
+                            }
+                            else {
+                                // leave FQ name
+                            }
+                        }
+                    }
+                }
+
+                private void compactReferenceToClass(JetUserType userType, ClassDescriptor targetClass) {
+                    if (targetClass == JetStandardClasses.getUnitType().getConstructor().getDeclarationDescriptor()) {
+                        // do not replace "Unit" with "Tuple0"
+                        return;
+                    }
+                    String name = targetClass.getName();
+                    DeclarationDescriptor parent = targetClass.getContainingDeclaration();
+                    while (parent instanceof ClassDescriptor) {
+                        name = parent.getName() + "." + name;
+                        parent = parent.getContainingDeclaration();
+                    }
+                    JetTypeArgumentList typeArgumentList = userType.getTypeArgumentList();
+                    userType.replace(JetPsiFactory.createType(userType.getProject(), name + (typeArgumentList == null ? "" : typeArgumentList.getText())));
+                }
+            });
+        }
+    }
+}

idea/src/org/jetbrains/jet/plugin/refactoring/introduceVariable/JetChangePropertyActions.java

@@ -5,14 +5,15 @@ import com.intellij.openapi.project.Project;
 import com.intellij.psi.PsiElement;
 import com.intellij.psi.PsiWhiteSpace;
 import org.jetbrains.annotations.NotNull;
-import org.jetbrains.jet.lang.psi.JetFile;
 import org.jetbrains.jet.lang.psi.JetProperty;
 import org.jetbrains.jet.lang.psi.JetPsiFactory;
 import org.jetbrains.jet.lang.psi.JetTypeReference;
 import org.jetbrains.jet.lang.types.JetType;
-import org.jetbrains.jet.plugin.quickfix.ImportInsertHelper;
+import org.jetbrains.jet.plugin.codeInsight.ReferenceToClassesShortening;
 import org.jetbrains.jet.resolve.DescriptorRenderer;
 
+import java.util.Collections;
+
 /**
  * User: Alefas
  * Date: 14.02.12
@@ -38,15 +39,15 @@ public class JetChangePropertyActions {
         if (anchor == null) return;
         anchor = anchor.getNextSibling();
         if (anchor == null || !(anchor instanceof PsiWhiteSpace)) return;
-        JetTypeReference typeReference = JetPsiFactory.createType(project, DescriptorRenderer.TEXT.renderTypeWithShortNames(exprType));
+        JetTypeReference typeReference = JetPsiFactory.createType(project, DescriptorRenderer.TEXT.renderType(exprType));
         ASTNode colon = JetPsiFactory.createColonNode(project);
         ASTNode anchorNode = anchor.getNode().getTreeNext();
         property.getNode().addChild(colon, anchorNode);
         property.getNode().addChild(JetPsiFactory.createWhiteSpace(project).getNode(), anchorNode);
         property.getNode().addChild(typeReference.getNode(), anchorNode);
         property.getNode().addChild(JetPsiFactory.createWhiteSpace(project).getNode(), anchorNode);
-        ImportInsertHelper.addImportDirectivesIfNeeded(exprType, (JetFile)property.getContainingFile());
         anchor.delete();
+        ReferenceToClassesShortening.compactReferenceToClasses(Collections.singletonList(property));
     }
 
     public static void removeTypeAnnotation(Project project, JetProperty property) {