diff options
| author | krasimir <krasimir@chalmers.se> | 2016-05-19 20:48:47 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2016-05-19 20:48:47 +0000 |
| commit | 1a0defc0fc98cfb312fc0107d2fef56a2ee593e8 (patch) | |
| tree | 656b922ceb8cd5d0ecfb6a2662933777b0325190 /src/runtime/java | |
| parent | 4996d5d90b0ffcadb243e4b5ce25a3453f522699 (diff) | |
in case of null argument it is more intuitive to report the argument index by counting from 1.
Diffstat (limited to 'src/runtime/java')
| -rw-r--r-- | src/runtime/java/org/grammaticalframework/pgf/Expr.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/runtime/java/org/grammaticalframework/pgf/Expr.java b/src/runtime/java/org/grammaticalframework/pgf/Expr.java index b23e10562..0195f8019 100644 --- a/src/runtime/java/org/grammaticalframework/pgf/Expr.java +++ b/src/runtime/java/org/grammaticalframework/pgf/Expr.java @@ -40,7 +40,7 @@ public class Expr implements Serializable { throw new IllegalArgumentException("fun == null"); for (int i = 0; i < args.length; i++) { if (args[i] == null) - throw new IllegalArgumentException("the "+i+"th argument is null"); + throw new IllegalArgumentException("the "+(i+1)+"th argument is null"); } this.pool = new Pool(); |
