From db95c2203d7d7e9e94944ea2206b38d499e4a4d1 Mon Sep 17 00:00:00 2001
From: peter <peter@jetbrains.com>
Date: Mon, 22 Sep 2014 11:56:02 +0200
Subject: [PATCH] add hardcoded contracts for spring's Assert.notNull
 (IDEA-130145)

---
 .../intellij/codeInspection/dataFlow/HardcodedContracts.java  | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/HardcodedContracts.java b/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/HardcodedContracts.java
index b7c2d7e8adbf..2baadb1f6a77 100644
--- a/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/HardcodedContracts.java
+++ b/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/HardcodedContracts.java
@@ -60,7 +60,9 @@ public class HardcodedContracts {
         return Collections.singletonList(new MethodContract(constraints, THROW_EXCEPTION));
       }
     }
-    else if ("org.apache.commons.lang.Validate".equals(className) || "org.apache.commons.lang3.Validate".equals(className)) {
+    else if ("org.apache.commons.lang.Validate".equals(className) || 
+             "org.apache.commons.lang3.Validate".equals(className) || 
+             "org.springframework.util.Assert".equals(className)) {
       if ("notNull".equals(methodName) && paramCount > 0) {
         MethodContract.ValueConstraint[] constraints = createConstraintArray(paramCount);
         constraints[0] = NULL_VALUE;