| 663 | } |
| 664 | |
| 665 | StringRef JSON::getRawString() const |
| 666 | { |
| 667 | Pos s = ptr_begin; |
| 668 | if (*s != '"') |
| 669 | throw JSONException(std::string("JSON: expected \", got ") + *s); |
| 670 | while (++s != ptr_end && *s != '"'); |
| 671 | if (s != ptr_end) |
| 672 | return StringRef(ptr_begin + 1, s - ptr_begin - 1); |
| 673 | throw JSONException("JSON: incorrect syntax (expected end of string, found end of JSON)."); |
| 674 | } |
| 675 | |
| 676 | StringRef JSON::getRawName() const |
| 677 | { |
no test coverage detected