PsiClassType.setLanguageLevel is pure
authorpeter <peter@jetbrains.com>
Thu, 12 Feb 2015 16:46:57 +0000 (17:46 +0100)
committerpeter <peter@jetbrains.com>
Thu, 12 Feb 2015 16:56:00 +0000 (17:56 +0100)
java/java-psi-api/src/com/intellij/psi/PsiClassType.java

index 722b9e2816a2960d9e53c8dfd26e3ae97364c432..4d3ff916f5fe5eadde4f5cf2d55091756ffae178 100644 (file)
@@ -20,6 +20,7 @@ import com.intellij.pom.java.LanguageLevel;
 import com.intellij.psi.search.GlobalSearchScope;
 import com.intellij.psi.util.PsiUtil;
 import com.intellij.util.ArrayFactory;
+import org.jetbrains.annotations.Contract;
 import org.jetbrains.annotations.NotNull;
 import org.jetbrains.annotations.Nullable;
 
@@ -233,6 +234,7 @@ public abstract class PsiClassType extends PsiType {
    * @return type with requested language level
    */
   @NotNull
+  @Contract(pure = true)
   public abstract PsiClassType setLanguageLevel(@NotNull LanguageLevel languageLevel);
 
   /**