From feee529095be7521cc135163215a83dc441f6595 Mon Sep 17 00:00:00 2001 From: TomyLobo Date: Sun, 20 Nov 2011 05:31:18 +0100 Subject: [PATCH] Improved error reporting for number format errors. --- src/main/java/com/sk89q/worldedit/WorldEdit.java | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/src/main/java/com/sk89q/worldedit/WorldEdit.java b/src/main/java/com/sk89q/worldedit/WorldEdit.java index 6d69dd13e..2103fe433 100644 --- a/src/main/java/com/sk89q/worldedit/WorldEdit.java +++ b/src/main/java/com/sk89q/worldedit/WorldEdit.java @@ -21,6 +21,7 @@ package com.sk89q.worldedit; import java.util.*; import java.util.logging.Logger; +import java.util.regex.Matcher; import java.io.*; import java.lang.reflect.Method; @@ -1167,6 +1168,8 @@ public class WorldEdit { return false; } + private static final java.util.regex.Pattern numberFormatExceptionPattern = java.util.regex.Pattern.compile("^For input string: \"(.*)\"$"); + /** * * @param player @@ -1243,7 +1246,13 @@ public class WorldEdit { flushBlockBag(player, editSession); } } catch (NumberFormatException e) { - player.printError("Number expected; string given."); + final Matcher matcher = numberFormatExceptionPattern.matcher(e.getMessage()); + + if (matcher.matches()) { + player.printError("Number expected; string \""+matcher.group(1)+"\" given."); + } else { + player.printError("Number expected; string given."); + } } catch (IncompleteRegionException e) { player.printError("Make a region selection first."); } catch (UnknownItemException e) {