Method trimNumericString

src/main/java/org/dynjs/runtime/Types.java:167–179

(String value)

    }

    public static String trimNumericString(String value) {
        char[] val = value.toCharArray();

        StringBuilder newStr = new StringBuilder();

        for (int i = 0; i < val.length; ++i) {
            if (!isWhitespace(val[i])) {
                newStr.append(val[i]);
            }
        }

        return newStr.toString().trim();
    }

    public static boolean isWhitespace(char c) {
        switch (c) {