InheritedContract test (IDEA-195796)

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();
+  }
+}

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(); }