| // Copyright (c) 2012 The Chromium Authors. All rights reserved. | |
| // Use of this source code is governed by a BSD-style license that can be | |
| // found in the LICENSE file. | |
| #ifndef BASE_JSON_JSON_PARSER_H_ | |
| #define BASE_JSON_JSON_PARSER_H_ | |
| #include <stddef.h> | |
| #include <stdint.h> | |
| #include <memory> | |
| #include <optional> | |
| #include <string> | |
| #include <string_view> | |
| #include "base/compiler_specific.h" | |
| #include "base/gtest_prod_util.h" | |
| #include "base/json/json_reader.h" | |
| #include "base/macros.h" | |
| namespace base { | |
| class Value; | |
| namespace internal { | |
| class JSONParserTest; | |
| // The implementation behind the JSONReader interface. This class is not meant | |
| // to be used directly; it encapsulates logic that need not be exposed publicly. | |
| // | |
| // This parser guarantees O(n) time through the input string. Iteration happens | |
| // on the byte level, with the functions ConsumeChars() and ConsumeChar(). The | |
| // conversion from byte to JSON token happens without advancing the parser in | |
| // GetNextToken/ParseToken, that is tokenization operates on the current parser | |
| // position without advancing. | |
| // | |
| // Built on top of these are a family of Consume functions that iterate | |
| // internally. Invariant: on entry of a Consume function, the parser is wound | |
| // to the first byte of a valid JSON token. On exit, it is on the first byte | |
| // after the token that was just consumed, which would likely be the first byte | |
| // of the next token. | |
| class JSONParser { | |
| public: | |
| JSONParser(int options, int max_depth = JSONReader::kStackMaxDepth); | |
| ~JSONParser(); | |
| // Parses the input string according to the set options and returns the | |
| // result as a Value. | |
| // Wrap this in base::FooValue::From() to check the Value is of type Foo and | |
| // convert to a FooValue at the same time. | |
| std::optional<Value> Parse(std::string_view input); | |
| // Returns the error code. | |
| JSONReader::JsonParseError error_code() const; | |
| // Returns the human-friendly error message. | |
| std::string GetErrorMessage() const; | |
| // Returns the error line number if parse error happened. Otherwise always | |
| // returns 0. | |
| int error_line() const; | |
| // Returns the error column number if parse error happened. Otherwise always | |
| // returns 0. | |
| int error_column() const; | |
| private: | |
| enum Token { | |
| T_OBJECT_BEGIN, // { | |
| T_OBJECT_END, // } | |
| T_ARRAY_BEGIN, // [ | |
| T_ARRAY_END, // ] | |
| T_STRING, | |
| T_NUMBER, | |
| T_BOOL_TRUE, // true | |
| T_BOOL_FALSE, // false | |
| T_NULL, // null | |
| T_LIST_SEPARATOR, // , | |
| T_OBJECT_PAIR_SEPARATOR, // : | |
| T_END_OF_INPUT, | |
| T_INVALID_TOKEN, | |
| }; | |
| // A helper class used for parsing strings. One optimization performed is to | |
| // create base::Value with a std::string_view to avoid unnecessary std::string | |
| // copies. This is not possible if the input string needs to be decoded from | |
| // UTF-16 to UTF-8, or if an escape sequence causes characters to be skipped. | |
| // This class centralizes that logic. | |
| class StringBuilder { | |
| public: | |
| // Empty constructor. Used for creating a builder with which to assign to. | |
| StringBuilder(); | |
| // |pos| is the beginning of an input string, excluding the |"|. | |
| explicit StringBuilder(const char* pos); | |
| ~StringBuilder(); | |
| StringBuilder& operator=(StringBuilder&& other); | |
| // Appends the Unicode code point |point| to the string, either by | |
| // increasing the |length_| of the string if the string has not been | |
| // converted, or by appending the UTF8 bytes for the code point. | |
| void Append(uint32_t point); | |
| // Converts the builder from its default std::string_view to a full | |
| // std::string, performing a copy. Once a builder is converted, it cannot be | |
| // made a std::string_view again. | |
| void Convert(); | |
| // Returns the builder as a string, invalidating all state. This allows | |
| // the internal string buffer representation to be destructively moved | |
| // in cases where the builder will not be needed any more. | |
| std::string DestructiveAsString(); | |
| private: | |
| // The beginning of the input string. | |
| const char* pos_; | |
| // Number of bytes in |pos_| that make up the string being built. | |
| size_t length_; | |
| // The copied string representation. Will be unset until Convert() is | |
| // called. | |
| std::optional<std::string> string_; | |
| }; | |
| // Returns the next |count| bytes of the input stream, or nullopt if fewer | |
| // than |count| bytes remain. | |
| std::optional<std::string_view> PeekChars(int count); | |
| // Calls PeekChars() with a |count| of 1. | |
| std::optional<char> PeekChar(); | |
| // Returns the next |count| bytes of the input stream, or nullopt if fewer | |
| // than |count| bytes remain, and advances the parser position by |count|. | |
| std::optional<std::string_view> ConsumeChars(int count); | |
| // Calls ConsumeChars() with a |count| of 1. | |
| std::optional<char> ConsumeChar(); | |
| // Returns a pointer to the current character position. | |
| const char* pos(); | |
| // Skips over whitespace and comments to find the next token in the stream. | |
| // This does not advance the parser for non-whitespace or comment chars. | |
| Token GetNextToken(); | |
| // Consumes whitespace characters and comments until the next non-that is | |
| // encountered. | |
| void EatWhitespaceAndComments(); | |
| // Helper function that consumes a comment, assuming that the parser is | |
| // currently wound to a '/'. | |
| bool EatComment(); | |
| // Calls GetNextToken() and then ParseToken(). | |
| std::optional<Value> ParseNextToken(); | |
| // Takes a token that represents the start of a Value ("a structural token" | |
| // in RFC terms) and consumes it, returning the result as a Value. | |
| std::optional<Value> ParseToken(Token token); | |
| // Assuming that the parser is currently wound to '{', this parses a JSON | |
| // object into a Value. | |
| std::optional<Value> ConsumeDictionary(); | |
| // Assuming that the parser is wound to '[', this parses a JSON list into a | |
| // Value. | |
| std::optional<Value> ConsumeList(); | |
| // Calls through ConsumeStringRaw and wraps it in a value. | |
| std::optional<Value> ConsumeString(); | |
| // Assuming that the parser is wound to a double quote, this parses a string, | |
| // decoding any escape sequences and converts UTF-16 to UTF-8. Returns true on | |
| // success and places result into |out|. Returns false on failure with | |
| // error information set. | |
| bool ConsumeStringRaw(StringBuilder* out); | |
| // Helper function for ConsumeStringRaw() that consumes the next four or 10 | |
| // bytes (parser is wound to the first character of a HEX sequence, with the | |
| // potential for consuming another \uXXXX for a surrogate). Returns true on | |
| // success and places the code point |out_code_point|, and false on failure. | |
| bool DecodeUTF16(uint32_t* out_code_point); | |
| // Assuming that the parser is wound to the start of a valid JSON number, | |
| // this parses and converts it to either an int or double value. | |
| std::optional<Value> ConsumeNumber(); | |
| // Helper that reads characters that are ints. Returns true if a number was | |
| // read and false on error. | |
| bool ReadInt(bool allow_leading_zeros); | |
| // Consumes the literal values of |true|, |false|, and |null|, assuming the | |
| // parser is wound to the first character of any of those. | |
| std::optional<Value> ConsumeLiteral(); | |
| // Helper function that returns true if the byte squence |match| can be | |
| // consumed at the current parser position. Returns false if there are fewer | |
| // than |match|-length bytes or if the sequence does not match, and the | |
| // parser state is unchanged. | |
| bool ConsumeIfMatch(std::string_view match); | |
| // Sets the error information to |code| at the current column, based on | |
| // |index_| and |index_last_line_|, with an optional positive/negative | |
| // adjustment by |column_adjust|. | |
| void ReportError(JSONReader::JsonParseError code, int column_adjust); | |
| // Given the line and column number of an error, formats one of the error | |
| // message contants from json_reader.h for human display. | |
| static std::string FormatErrorMessage(int line, | |
| int column, | |
| const std::string& description); | |
| // base::JSONParserOptions that control parsing. | |
| const int options_; | |
| // Maximum depth to parse. | |
| const int max_depth_; | |
| // The input stream being parsed. Note: Not guaranteed to NUL-terminated. | |
| std::string_view input_; | |
| // The index in the input stream to which the parser is wound. | |
| int index_; | |
| // The number of times the parser has recursed (current stack depth). | |
| int stack_depth_; | |
| // The line number that the parser is at currently. | |
| int line_number_; | |
| // The last value of |index_| on the previous line. | |
| int index_last_line_; | |
| // Error information. | |
| JSONReader::JsonParseError error_code_; | |
| int error_line_; | |
| int error_column_; | |
| friend class JSONParserTest; | |
| FRIEND_TEST_ALL_PREFIXES(JSONParserTest, NextChar); | |
| FRIEND_TEST_ALL_PREFIXES(JSONParserTest, ConsumeDictionary); | |
| FRIEND_TEST_ALL_PREFIXES(JSONParserTest, ConsumeList); | |
| FRIEND_TEST_ALL_PREFIXES(JSONParserTest, ConsumeString); | |
| FRIEND_TEST_ALL_PREFIXES(JSONParserTest, ConsumeLiterals); | |
| FRIEND_TEST_ALL_PREFIXES(JSONParserTest, ConsumeNumbers); | |
| FRIEND_TEST_ALL_PREFIXES(JSONParserTest, ErrorMessages); | |
| FRIEND_TEST_ALL_PREFIXES(JSONParserTest, ReplaceInvalidCharacters); | |
| FRIEND_TEST_ALL_PREFIXES(JSONParserTest, ReplaceInvalidUTF16EscapeSequence); | |
| DISALLOW_COPY_AND_ASSIGN(JSONParser); | |
| }; | |
| // Used when decoding and an invalid utf-8 sequence is encountered. | |
| extern const char kUnicodeReplacementString[]; | |
| } // namespace internal | |
| } // namespace base | |
| #endif // BASE_JSON_JSON_PARSER_H_ |