Function isDecimalDigit

docs/app/js/sanddance-app.js:143458–143460

(ch)

    /* istanbul ignore next */ if (!condition) throw new Error("ASSERT: " + message);
}
function isDecimalDigit(ch) {
    return ch >= 0x30 && ch <= 0x39; // 0..9
}
function isHexDigit(ch) {
    return "0123456789abcdefABCDEF".indexOf(ch) >= 0;
}