From 10d8ec4267cc6b65741829cc2cf2ba0f2b5f30dc Mon Sep 17 00:00:00 2001
From: Tagir Valeev <tagir.valeev@jetbrains.com>
Date: Wed, 1 Aug 2018 03:55:18 +0700
Subject: [PATCH] InheritedContract test (IDEA-195796)

---
 .../dataFlow/contractCheck/InheritedContract.java   | 13 +++++++++++++
 .../java/codeInspection/ContractCheckTest.java      |  1 +
 2 files changed, 14 insertions(+)
 create mode 100644 java/java-tests/testData/inspection/dataFlow/contractCheck/InheritedContract.java

diff --git a/java/java-tests/testData/inspection/dataFlow/contractCheck/InheritedContract.java b/java/java-tests/testData/inspection/dataFlow/contractCheck/InheritedContract.java
new file mode 100644
index 000000000000..74d4580b10fe
--- /dev/null
+++ b/java/java-tests/testData/inspection/dataFlow/contractCheck/InheritedContract.java
@@ -0,0 +1,13 @@
+abstract class A {
+  @Override
+  public boolean equals(Object object) {
+    if(object == null) return <warning descr="Contract clause 'null -> false' is violated">true</warning>;
+    return false;
+  }
+}
+abstract class B {
+  @Override
+  public boolean equals(Object object) {
+    throw new AssertionError();
+  }
+}
\ No newline at end of file
diff --git a/java/java-tests/testSrc/com/intellij/java/codeInspection/ContractCheckTest.java b/java/java-tests/testSrc/com/intellij/java/codeInspection/ContractCheckTest.java
index 2df2e7069b62..c1f2fc3b581d 100644
--- a/java/java-tests/testSrc/com/intellij/java/codeInspection/ContractCheckTest.java
+++ b/java/java-tests/testSrc/com/intellij/java/codeInspection/ContractCheckTest.java
@@ -37,6 +37,7 @@ public class ContractCheckTest extends LightCodeInsightFixtureTestCase {
   public void testDelegationWithUnknownArgument() { doTest(); }
   public void testEqualsUnknownValue() { doTest(); }
   public void testMissingFail() { doTest(); }
+  public void testInheritedContract() { doTest(); }
   public void testExceptionWhenDeclaredNotNull() { doTest(); }
   public void testCheckSuperContract() { doTest(); }
   public void testNestedCallsMayThrow() { doTest(); }