MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-18 09:34:34 +07:00
Code Issues Packages Projects Releases Wiki Activity

notnull

Browse Source
This commit is contained in:
Alexey Kudravtsev
2012-04-10 11:57:58 +04:00
parent d336f290e3
commit 5984433319
8 changed files with 17 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/java-psi-impl/src/com/intellij/psi/impl/source/PsiClassReferenceType.java
+2 -1
View File
@@ -78,8 +78,9 @@ public class PsiClassReferenceType extends PsiClassType {
return PsiUtil.getLanguageLevel(myReference);
}
@NotNull
@Override
public PsiClassType setLanguageLevel(final LanguageLevel languageLevel) {
public PsiClassType setLanguageLevel(@NotNull final LanguageLevel languageLevel) {
if (languageLevel.equals(myLanguageLevel)) return this;
return new PsiClassReferenceType(myReference,languageLevel,getAnnotations());
}
java/java-psi-impl/src/com/intellij/psi/impl/source/PsiImmediateClassType.java
+2 -1
View File
@@ -261,8 +261,9 @@ public class PsiImmediateClassType extends PsiClassType {
return PsiUtil.getLanguageLevel(myClass);
}
@NotNull
@Override
public PsiClassType setLanguageLevel(final LanguageLevel languageLevel) {
public PsiClassType setLanguageLevel(@NotNull final LanguageLevel languageLevel) {
if (languageLevel.equals(myLanguageLevel)) return this;
return new PsiImmediateClassType(myClass, mySubstitutor, languageLevel,getAnnotations());
}