From 04331ce6a792161a18b6defa02bec9f73e99b126 Mon Sep 17 00:00:00 2001
From: peter <peter@jetbrains.com>
Date: Thu, 21 May 2015 14:09:22 +0200
Subject: [PATCH] drop contract cache on method change (EA-68596 - AIOOBE:
 ContractChecker.checkContractClause)

---
 .../intellij/codeInspection/dataFlow/ControlFlowAnalyzer.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/ControlFlowAnalyzer.java b/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/ControlFlowAnalyzer.java
index ac3dc3f35f79..db190c4d8854 100644
--- a/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/ControlFlowAnalyzer.java
+++ b/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/ControlFlowAnalyzer.java
@@ -1516,12 +1516,12 @@ public class ControlFlowAnalyzer extends JavaElementVisitor {
                   return contract.arguments.length == paramCount;
                 }
               });
-              return Result.create(applicable, contractAnno);
+              return Result.create(applicable, contractAnno, method, PsiModificationTracker.JAVA_STRUCTURE_MODIFICATION_COUNT);
             }
             catch (Exception ignored) {
             }
           }
-          return Result.create(Collections.<MethodContract>emptyList(), contractAnno, method);
+          return Result.create(Collections.<MethodContract>emptyList(), contractAnno, method, PsiModificationTracker.JAVA_STRUCTURE_MODIFICATION_COUNT);
         }
       });
     }