private char _verifyNoLeadingZeroes()
            throws IOException, JsonParseException
    {
        // Ok to have plain "0"
        if (_inputPtr >= _inputEnd && !loadMore()) {
            return '0';
        }
        char ch = _inputBuffer[_inputPtr];
        // if not followed by a number (probably '.'); return zero as is, to be included
        if (ch < '0' || ch > '9') {
            return '0';
        }
        if (!isEnabled(JsonParser.Feature.ALLOW_NUMERIC_LEADING_ZEROS)) {
            reportInvalidNumber("Leading zeroes not allowed");
        }
        // if so, just need to skip either all zeroes (if followed by number); or all but one (if non-number)
        ++_inputPtr; // Leading zero to be skipped
        if (ch == INT_0) {
            while (_inputPtr < _inputEnd || loadMore()) {
                ch = _inputBuffer[_inputPtr];
                if (ch < '0' || ch > '9') { // followed by non-number; retain one zero
                    return '0';
                }
                ++_inputPtr; // skip previous zero
                if (ch != '0') { // followed by other number; return
                    break;
                }
            }
        }
        return ch;
    }
private char _verifyNoLeadingZeroes()
            throws IOException, JsonParseException
    {
        
        if (_inputPtr >= _inputEnd && !loadMore()) {
            return '0';
        }
        char ch = _inputBuffer[_inputPtr];
        
        if (ch < '0' || ch > '9') {
            return '0';
        }
        if (!isEnabled(JsonParser.Feature.ALLOW_NUMERIC_LEADING_ZEROS)) {
            reportInvalidNumber("Leading zeroes not allowed");
        }
        
        ++_inputPtr; 
        if (ch == INT_0) {
            while (_inputPtr < _inputEnd || loadMore()) {
                ch = _inputBuffer[_inputPtr];
                if (ch < '0' || ch > '9') { 
                    return '0';
                }
                ++_inputPtr; 
                if (ch != '0') { 
                    break;
                }
            }
        }
        return ch;
    }
private char _verifyNoLeadingZeroes ( ) throws IOException , JsonParseException { // Ok to have plain "0" if ( _inputPtr >= _inputEnd && ! loadMore ( ) ) { return ' ' ; } char ch = _inputBuffer [ _inputPtr ] ; // if not followed by a number (probably '.'); return zero as is, to be included if ( ch < ' ' || ch > ' ' ) { return ' ' ; } if ( ! isEnabled ( JsonParser . Feature . ALLOW_NUMERIC_LEADING_ZEROS ) ) { reportInvalidNumber ( "Leading zeroes not allowed" ) ; } // if so, just need to skip either all zeroes (if followed by number); or all but one (if non-number) ++ _inputPtr ; // Leading zero to be skipped if ( ch == INT_0 ) { while ( _inputPtr < _inputEnd || loadMore ( ) ) { ch = _inputBuffer [ _inputPtr ] ; if ( ch < ' ' || ch > ' ' ) { // followed by non-number; retain one zero return ' ' ; } ++ _inputPtr ; // skip previous zero if ( ch != ' ' ) { // followed by other number; return break ; } } } return ch ; }
Method called when we have seen one zero, and want to ensure
it is not followed by another
Method called when we have seen one zero and want to ensure it is not followed by another