From 2958970f6d5986e3fe59bec8089cd4c559cfbca9 Mon Sep 17 00:00:00 2001
From: peter <peter@jetbrains.com>
Date: Wed, 16 Oct 2013 10:19:30 +0200
Subject: [PATCH] IDEA-114877 Checks using java.lang.Class#isInstance should
 guarantee argument is not null

---
 java/jdkAnnotations/java/lang/annotations.xml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/java/jdkAnnotations/java/lang/annotations.xml b/java/jdkAnnotations/java/lang/annotations.xml
index c43a7b11a3c4..5c79dfe2cb48 100644
--- a/java/jdkAnnotations/java/lang/annotations.xml
+++ b/java/jdkAnnotations/java/lang/annotations.xml
@@ -9,6 +9,11 @@
   <item name='java.lang.Class boolean isAssignableFrom(java.lang.Class&lt;?&gt;) 0'>
     <annotation name='org.jetbrains.annotations.NotNull'/>
   </item>
+  <item name='java.lang.Class boolean isInstance(java.lang.Object)'>
+    <annotation name='org.jetbrains.annotations.Contract'>
+      <val val="&quot;null-&gt;false&quot;"/>
+    </annotation>
+  </item>
   <item name="java.lang.Class int getModifiers()">
     <annotation name="org.intellij.lang.annotations.MagicConstant">
       <val name="flagsFromClass" val="java.lang.reflect.Modifier.class" />