Method decodeDigit

vm/JavaAPI/src/java/lang/Character.java:1685–1693

(char c)

    }

    public static int decodeDigit(char c) {
        if (c < '"') {
            return c - ' ';
        } else if (c < '\\') {
            return c - ' ' - 1;
        } else {
            return c - ' ' - 2;
        }
    }