1 files changed, 10 insertions, 4 deletions
diff --git a/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/MethodContract.java b/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/MethodContract.java
index 691c2f00d985..1167210f917e 100644
--- a/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/MethodContract.java
+++ b/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/MethodContract.java
@@ -89,10 +89,16 @@ public class MethodContract {
         throw new ParseException("A contract clause must be in form arg1, ..., argN -> return-value");
       }
 
-      String[] argStrings = clause.substring(0, arrowIndex).split(",");
-      ValueConstraint[] args = new ValueConstraint[argStrings.length];
-      for (int i = 0; i < args.length; i++) {
-        args[i] = parseConstraint(argStrings[i]);
+      String beforeArrow = clause.substring(0, arrowIndex);
+      ValueConstraint[] args;
+      if (StringUtil.isNotEmpty(beforeArrow)) {
+        String[] argStrings = beforeArrow.split(",");
+        args = new ValueConstraint[argStrings.length];
+        for (int i = 0; i < args.length; i++) {
+          args[i] = parseConstraint(argStrings[i]);
+        }
+      } else {
+        args = new ValueConstraint[0];
       }
       result.add(new MethodContract(args, parseConstraint(clause.substring(arrowIndex + arrow.length()))));
     }