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

dfa: invalid type diagnostics (IDEA-125179)

Browse Source
This commit is contained in:
peter
2014-06-02 17:29:55 +02:00
parent c9dff2444e
commit 6f7574cce7
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/value/DfaVariableValue.java
+5 -1
View File
@@ -31,6 +31,7 @@ import com.intellij.codeInspection.dataFlow.Nullness;
import com.intellij.openapi.util.Comparing;
import com.intellij.openapi.util.Trinity;
import com.intellij.psi.*;
import com.intellij.psi.util.PsiUtil;
import com.intellij.psi.util.TypeConversionUtil;
import com.intellij.util.SmartList;
import com.intellij.util.containers.MultiMap;
@@ -86,7 +87,7 @@ public class DfaVariableValue extends DfaValue {
private final DfaTypeValue myTypeValue;
private final List<DfaVariableValue> myDependents = new SmartList<DfaVariableValue>();
private DfaVariableValue(@NotNull PsiModifierListOwner variable, PsiType varType, boolean isNegated, DfaValueFactory factory, @Nullable DfaVariableValue qualifier) {
private DfaVariableValue(@NotNull PsiModifierListOwner variable, @Nullable PsiType varType, boolean isNegated, DfaValueFactory factory, @Nullable DfaVariableValue qualifier) {
super(factory);
myVariable = variable;
myIsNegated = isNegated;
@@ -94,6 +95,9 @@ public class DfaVariableValue extends DfaValue {
myVarType = varType;
DfaValue typeValue = myFactory.createTypeValue(varType, Nullness.UNKNOWN);
myTypeValue = typeValue instanceof DfaTypeValue ? (DfaTypeValue)typeValue : null;
if (varType != null && !varType.isValid()) {
PsiUtil.ensureValidType(varType, "Variable: " + variable + " of class " + variable.getClass());
}
}
@Nullable