Snapshot idea/138.1503 from git://git.jetbrains.org/idea/community.git

Change-Id: Ie01af1d8710ec0ff51d90301bda1a18b0b5c0faf

1 files changed, 24 insertions, 0 deletions

diff --git a/java/java-tests/testData/inspection/dataFlow/fixture/ContractWithNoArgs.java b/java/java-tests/testData/inspection/dataFlow/fixture/ContractWithNoArgs.java
new file mode 100644
index 000000000000..006c2e3407ec
--- /dev/null
+++ b/java/java-tests/testData/inspection/dataFlow/fixture/ContractWithNoArgs.java
@@ -0,0 +1,24 @@
+import org.jetbrains.annotations.NotNull;
+import org.jetbrains.annotations.Nullable;
+
+class Doo {
+
+  @NotNull
+  public String doSomething() {
+    String s = getSomeString();
+    if (s == null) {
+      throwSomeError();
+    }
+    return s;
+  }
+
+  private static void throwSomeError() {
+    throw new RuntimeException();
+  }
+
+  @Nullable
+  public String getSomeString() {
+    return Math.random() > 0.5 ? null : "Yeah";
+  }
+
+}