440 lines
9.2 KiB
Go
440 lines
9.2 KiB
Go
|
// Copyright (C) MongoDB, Inc. 2017-present.
|
||
|
//
|
||
|
// Licensed under the Apache License, Version 2.0 (the "License"); you may
|
||
|
// not use this file except in compliance with the License. You may obtain
|
||
|
// a copy of the License at http://www.apache.org/licenses/LICENSE-2.0
|
||
|
|
||
|
package bsonrw
|
||
|
|
||
|
import (
|
||
|
"bytes"
|
||
|
"errors"
|
||
|
"fmt"
|
||
|
"io"
|
||
|
"math"
|
||
|
"strconv"
|
||
|
"strings"
|
||
|
"unicode"
|
||
|
)
|
||
|
|
||
|
type jsonTokenType byte
|
||
|
|
||
|
const (
|
||
|
jttBeginObject jsonTokenType = iota
|
||
|
jttEndObject
|
||
|
jttBeginArray
|
||
|
jttEndArray
|
||
|
jttColon
|
||
|
jttComma
|
||
|
jttInt32
|
||
|
jttInt64
|
||
|
jttDouble
|
||
|
jttString
|
||
|
jttBool
|
||
|
jttNull
|
||
|
jttEOF
|
||
|
)
|
||
|
|
||
|
type jsonToken struct {
|
||
|
t jsonTokenType
|
||
|
v interface{}
|
||
|
p int
|
||
|
}
|
||
|
|
||
|
type jsonScanner struct {
|
||
|
r io.Reader
|
||
|
buf []byte
|
||
|
pos int
|
||
|
lastReadErr error
|
||
|
}
|
||
|
|
||
|
// nextToken returns the next JSON token if one exists. A token is a character
|
||
|
// of the JSON grammar, a number, a string, or a literal.
|
||
|
func (js *jsonScanner) nextToken() (*jsonToken, error) {
|
||
|
c, err := js.readNextByte()
|
||
|
|
||
|
// keep reading until a non-space is encountered (break on read error or EOF)
|
||
|
for isWhiteSpace(c) && err == nil {
|
||
|
c, err = js.readNextByte()
|
||
|
}
|
||
|
|
||
|
if err == io.EOF {
|
||
|
return &jsonToken{t: jttEOF}, nil
|
||
|
} else if err != nil {
|
||
|
return nil, err
|
||
|
}
|
||
|
|
||
|
// switch on the character
|
||
|
switch c {
|
||
|
case '{':
|
||
|
return &jsonToken{t: jttBeginObject, v: byte('{'), p: js.pos - 1}, nil
|
||
|
case '}':
|
||
|
return &jsonToken{t: jttEndObject, v: byte('}'), p: js.pos - 1}, nil
|
||
|
case '[':
|
||
|
return &jsonToken{t: jttBeginArray, v: byte('['), p: js.pos - 1}, nil
|
||
|
case ']':
|
||
|
return &jsonToken{t: jttEndArray, v: byte(']'), p: js.pos - 1}, nil
|
||
|
case ':':
|
||
|
return &jsonToken{t: jttColon, v: byte(':'), p: js.pos - 1}, nil
|
||
|
case ',':
|
||
|
return &jsonToken{t: jttComma, v: byte(','), p: js.pos - 1}, nil
|
||
|
case '"': // RFC-8259 only allows for double quotes (") not single (')
|
||
|
return js.scanString()
|
||
|
default:
|
||
|
// check if it's a number
|
||
|
if c == '-' || isDigit(c) {
|
||
|
return js.scanNumber(c)
|
||
|
} else if c == 't' || c == 'f' || c == 'n' {
|
||
|
// maybe a literal
|
||
|
return js.scanLiteral(c)
|
||
|
} else {
|
||
|
return nil, fmt.Errorf("invalid JSON input. Position: %d. Character: %c", js.pos-1, c)
|
||
|
}
|
||
|
}
|
||
|
}
|
||
|
|
||
|
// readNextByte attempts to read the next byte from the buffer. If the buffer
|
||
|
// has been exhausted, this function calls readIntoBuf, thus refilling the
|
||
|
// buffer and resetting the read position to 0
|
||
|
func (js *jsonScanner) readNextByte() (byte, error) {
|
||
|
if js.pos >= len(js.buf) {
|
||
|
err := js.readIntoBuf()
|
||
|
|
||
|
if err != nil {
|
||
|
return 0, err
|
||
|
}
|
||
|
}
|
||
|
|
||
|
b := js.buf[js.pos]
|
||
|
js.pos++
|
||
|
|
||
|
return b, nil
|
||
|
}
|
||
|
|
||
|
// readNNextBytes reads n bytes into dst, starting at offset
|
||
|
func (js *jsonScanner) readNNextBytes(dst []byte, n, offset int) error {
|
||
|
var err error
|
||
|
|
||
|
for i := 0; i < n; i++ {
|
||
|
dst[i+offset], err = js.readNextByte()
|
||
|
if err != nil {
|
||
|
return err
|
||
|
}
|
||
|
}
|
||
|
|
||
|
return nil
|
||
|
}
|
||
|
|
||
|
// readIntoBuf reads up to 512 bytes from the scanner's io.Reader into the buffer
|
||
|
func (js *jsonScanner) readIntoBuf() error {
|
||
|
if js.lastReadErr != nil {
|
||
|
js.buf = js.buf[:0]
|
||
|
js.pos = 0
|
||
|
return js.lastReadErr
|
||
|
}
|
||
|
|
||
|
if cap(js.buf) == 0 {
|
||
|
js.buf = make([]byte, 0, 512)
|
||
|
}
|
||
|
|
||
|
n, err := js.r.Read(js.buf[:cap(js.buf)])
|
||
|
if err != nil {
|
||
|
js.lastReadErr = err
|
||
|
if n > 0 {
|
||
|
err = nil
|
||
|
}
|
||
|
}
|
||
|
js.buf = js.buf[:n]
|
||
|
js.pos = 0
|
||
|
|
||
|
return err
|
||
|
}
|
||
|
|
||
|
func isWhiteSpace(c byte) bool {
|
||
|
return c == ' ' || c == '\t' || c == '\r' || c == '\n'
|
||
|
}
|
||
|
|
||
|
func isDigit(c byte) bool {
|
||
|
return unicode.IsDigit(rune(c))
|
||
|
}
|
||
|
|
||
|
func isValueTerminator(c byte) bool {
|
||
|
return c == ',' || c == '}' || c == ']' || isWhiteSpace(c)
|
||
|
}
|
||
|
|
||
|
// scanString reads from an opening '"' to a closing '"' and handles escaped characters
|
||
|
func (js *jsonScanner) scanString() (*jsonToken, error) {
|
||
|
var b bytes.Buffer
|
||
|
var c byte
|
||
|
var err error
|
||
|
|
||
|
p := js.pos - 1
|
||
|
|
||
|
for {
|
||
|
c, err = js.readNextByte()
|
||
|
if err != nil {
|
||
|
if err == io.EOF {
|
||
|
return nil, errors.New("end of input in JSON string")
|
||
|
}
|
||
|
return nil, err
|
||
|
}
|
||
|
|
||
|
switch c {
|
||
|
case '\\':
|
||
|
c, err = js.readNextByte()
|
||
|
switch c {
|
||
|
case '"', '\\', '/', '\'':
|
||
|
b.WriteByte(c)
|
||
|
case 'b':
|
||
|
b.WriteByte('\b')
|
||
|
case 'f':
|
||
|
b.WriteByte('\f')
|
||
|
case 'n':
|
||
|
b.WriteByte('\n')
|
||
|
case 'r':
|
||
|
b.WriteByte('\r')
|
||
|
case 't':
|
||
|
b.WriteByte('\t')
|
||
|
case 'u':
|
||
|
us := make([]byte, 4)
|
||
|
err = js.readNNextBytes(us, 4, 0)
|
||
|
if err != nil {
|
||
|
return nil, fmt.Errorf("invalid unicode sequence in JSON string: %s", us)
|
||
|
}
|
||
|
|
||
|
s := fmt.Sprintf(`\u%s`, us)
|
||
|
s, err = strconv.Unquote(strings.Replace(strconv.Quote(s), `\\u`, `\u`, 1))
|
||
|
if err != nil {
|
||
|
return nil, err
|
||
|
}
|
||
|
|
||
|
b.WriteString(s)
|
||
|
default:
|
||
|
return nil, fmt.Errorf("invalid escape sequence in JSON string '\\%c'", c)
|
||
|
}
|
||
|
case '"':
|
||
|
return &jsonToken{t: jttString, v: b.String(), p: p}, nil
|
||
|
default:
|
||
|
b.WriteByte(c)
|
||
|
}
|
||
|
}
|
||
|
}
|
||
|
|
||
|
// scanLiteral reads an unquoted sequence of characters and determines if it is one of
|
||
|
// three valid JSON literals (true, false, null); if so, it returns the appropriate
|
||
|
// jsonToken; otherwise, it returns an error
|
||
|
func (js *jsonScanner) scanLiteral(first byte) (*jsonToken, error) {
|
||
|
p := js.pos - 1
|
||
|
|
||
|
lit := make([]byte, 4)
|
||
|
lit[0] = first
|
||
|
|
||
|
err := js.readNNextBytes(lit, 3, 1)
|
||
|
if err != nil {
|
||
|
return nil, err
|
||
|
}
|
||
|
|
||
|
c5, err := js.readNextByte()
|
||
|
|
||
|
if bytes.Equal([]byte("true"), lit) && (isValueTerminator(c5) || err == io.EOF) {
|
||
|
js.pos = int(math.Max(0, float64(js.pos-1)))
|
||
|
return &jsonToken{t: jttBool, v: true, p: p}, nil
|
||
|
} else if bytes.Equal([]byte("null"), lit) && (isValueTerminator(c5) || err == io.EOF) {
|
||
|
js.pos = int(math.Max(0, float64(js.pos-1)))
|
||
|
return &jsonToken{t: jttNull, v: nil, p: p}, nil
|
||
|
} else if bytes.Equal([]byte("fals"), lit) {
|
||
|
if c5 == 'e' {
|
||
|
c5, err = js.readNextByte()
|
||
|
|
||
|
if isValueTerminator(c5) || err == io.EOF {
|
||
|
js.pos = int(math.Max(0, float64(js.pos-1)))
|
||
|
return &jsonToken{t: jttBool, v: false, p: p}, nil
|
||
|
}
|
||
|
}
|
||
|
}
|
||
|
|
||
|
return nil, fmt.Errorf("invalid JSON literal. Position: %d, literal: %s", p, lit)
|
||
|
}
|
||
|
|
||
|
type numberScanState byte
|
||
|
|
||
|
const (
|
||
|
nssSawLeadingMinus numberScanState = iota
|
||
|
nssSawLeadingZero
|
||
|
nssSawIntegerDigits
|
||
|
nssSawDecimalPoint
|
||
|
nssSawFractionDigits
|
||
|
nssSawExponentLetter
|
||
|
nssSawExponentSign
|
||
|
nssSawExponentDigits
|
||
|
nssDone
|
||
|
nssInvalid
|
||
|
)
|
||
|
|
||
|
// scanNumber reads a JSON number (according to RFC-8259)
|
||
|
func (js *jsonScanner) scanNumber(first byte) (*jsonToken, error) {
|
||
|
var b bytes.Buffer
|
||
|
var s numberScanState
|
||
|
var c byte
|
||
|
var err error
|
||
|
|
||
|
t := jttInt64 // assume it's an int64 until the type can be determined
|
||
|
start := js.pos - 1
|
||
|
|
||
|
b.WriteByte(first)
|
||
|
|
||
|
switch first {
|
||
|
case '-':
|
||
|
s = nssSawLeadingMinus
|
||
|
case '0':
|
||
|
s = nssSawLeadingZero
|
||
|
default:
|
||
|
s = nssSawIntegerDigits
|
||
|
}
|
||
|
|
||
|
for {
|
||
|
c, err = js.readNextByte()
|
||
|
|
||
|
if err != nil && err != io.EOF {
|
||
|
return nil, err
|
||
|
}
|
||
|
|
||
|
switch s {
|
||
|
case nssSawLeadingMinus:
|
||
|
switch c {
|
||
|
case '0':
|
||
|
s = nssSawLeadingZero
|
||
|
b.WriteByte(c)
|
||
|
default:
|
||
|
if isDigit(c) {
|
||
|
s = nssSawIntegerDigits
|
||
|
b.WriteByte(c)
|
||
|
} else {
|
||
|
s = nssInvalid
|
||
|
}
|
||
|
}
|
||
|
case nssSawLeadingZero:
|
||
|
switch c {
|
||
|
case '.':
|
||
|
s = nssSawDecimalPoint
|
||
|
b.WriteByte(c)
|
||
|
case 'e', 'E':
|
||
|
s = nssSawExponentLetter
|
||
|
b.WriteByte(c)
|
||
|
case '}', ']', ',':
|
||
|
s = nssDone
|
||
|
default:
|
||
|
if isWhiteSpace(c) || err == io.EOF {
|
||
|
s = nssDone
|
||
|
} else {
|
||
|
s = nssInvalid
|
||
|
}
|
||
|
}
|
||
|
case nssSawIntegerDigits:
|
||
|
switch c {
|
||
|
case '.':
|
||
|
s = nssSawDecimalPoint
|
||
|
b.WriteByte(c)
|
||
|
case 'e', 'E':
|
||
|
s = nssSawExponentLetter
|
||
|
b.WriteByte(c)
|
||
|
case '}', ']', ',':
|
||
|
s = nssDone
|
||
|
default:
|
||
|
if isWhiteSpace(c) || err == io.EOF {
|
||
|
s = nssDone
|
||
|
} else if isDigit(c) {
|
||
|
s = nssSawIntegerDigits
|
||
|
b.WriteByte(c)
|
||
|
} else {
|
||
|
s = nssInvalid
|
||
|
}
|
||
|
}
|
||
|
case nssSawDecimalPoint:
|
||
|
t = jttDouble
|
||
|
if isDigit(c) {
|
||
|
s = nssSawFractionDigits
|
||
|
b.WriteByte(c)
|
||
|
} else {
|
||
|
s = nssInvalid
|
||
|
}
|
||
|
case nssSawFractionDigits:
|
||
|
switch c {
|
||
|
case 'e', 'E':
|
||
|
s = nssSawExponentLetter
|
||
|
b.WriteByte(c)
|
||
|
case '}', ']', ',':
|
||
|
s = nssDone
|
||
|
default:
|
||
|
if isWhiteSpace(c) || err == io.EOF {
|
||
|
s = nssDone
|
||
|
} else if isDigit(c) {
|
||
|
s = nssSawFractionDigits
|
||
|
b.WriteByte(c)
|
||
|
} else {
|
||
|
s = nssInvalid
|
||
|
}
|
||
|
}
|
||
|
case nssSawExponentLetter:
|
||
|
t = jttDouble
|
||
|
switch c {
|
||
|
case '+', '-':
|
||
|
s = nssSawExponentSign
|
||
|
b.WriteByte(c)
|
||
|
default:
|
||
|
if isDigit(c) {
|
||
|
s = nssSawExponentDigits
|
||
|
b.WriteByte(c)
|
||
|
} else {
|
||
|
s = nssInvalid
|
||
|
}
|
||
|
}
|
||
|
case nssSawExponentSign:
|
||
|
if isDigit(c) {
|
||
|
s = nssSawExponentDigits
|
||
|
b.WriteByte(c)
|
||
|
} else {
|
||
|
s = nssInvalid
|
||
|
}
|
||
|
case nssSawExponentDigits:
|
||
|
switch c {
|
||
|
case '}', ']', ',':
|
||
|
s = nssDone
|
||
|
default:
|
||
|
if isWhiteSpace(c) || err == io.EOF {
|
||
|
s = nssDone
|
||
|
} else if isDigit(c) {
|
||
|
s = nssSawExponentDigits
|
||
|
b.WriteByte(c)
|
||
|
} else {
|
||
|
s = nssInvalid
|
||
|
}
|
||
|
}
|
||
|
}
|
||
|
|
||
|
switch s {
|
||
|
case nssInvalid:
|
||
|
return nil, fmt.Errorf("invalid JSON number. Position: %d", start)
|
||
|
case nssDone:
|
||
|
js.pos = int(math.Max(0, float64(js.pos-1)))
|
||
|
if t != jttDouble {
|
||
|
v, err := strconv.ParseInt(b.String(), 10, 64)
|
||
|
if err == nil {
|
||
|
if v < math.MinInt32 || v > math.MaxInt32 {
|
||
|
return &jsonToken{t: jttInt64, v: v, p: start}, nil
|
||
|
}
|
||
|
|
||
|
return &jsonToken{t: jttInt32, v: int32(v), p: start}, nil
|
||
|
}
|
||
|
}
|
||
|
|
||
|
v, err := strconv.ParseFloat(b.String(), 64)
|
||
|
if err != nil {
|
||
|
return nil, err
|
||
|
}
|
||
|
|
||
|
return &jsonToken{t: jttDouble, v: v, p: start}, nil
|
||
|
}
|
||
|
}
|
||
|
}
|