Kernel Quantum Probability Library
The KQP library aims at providing tools for working with quantums probabilities
picojson.hpp
1 /*
2  * Copyright 2009-2010 Cybozu Labs, Inc.
3  * Copyright 2011 Kazuho Oku
4  *
5  * Redistribution and use in source and binary forms, with or without
6  * modification, are permitted provided that the following conditions are met:
7  *
8  * 1. Redistributions of source code must retain the above copyright notice,
9  * this list of conditions and the following disclaimer.
10  * 2. Redistributions in binary form must reproduce the above copyright notice,
11  * this list of conditions and the following disclaimer in the documentation
12  * and/or other materials provided with the distribution.
13  *
14  * THIS SOFTWARE IS PROVIDED BY CYBOZU LABS, INC. ``AS IS'' AND ANY EXPRESS OR
15  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
16  * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO
17  * EVENT SHALL CYBOZU LABS, INC. OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
18  * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
19  * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
20  * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
21  * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
22  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
23  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
24  *
25  * The views and conclusions contained in the software and documentation are
26  * those of the authors and should not be interpreted as representing official
27  * policies, either expressed or implied, of Cybozu Labs, Inc.
28  *
29  */
30 #ifndef picojson_h
31 #define picojson_h
32 
33 #include <fstream>
34 #include <sstream>
35 #include <algorithm>
36 #include <cassert>
37 #include <cmath>
38 #include <cstdio>
39 #include <cstdlib>
40 #include <cstring>
41 #include <iostream>
42 #include <iterator>
43 #include <map>
44 #include <string>
45 #include <vector>
46 
47 #ifdef _MSC_VER
48  #define SNPRINTF _snprintf_s
49  #pragma warning(push)
50  #pragma warning(disable : 4244) // conversion from int to char
51 #else
52  #define SNPRINTF snprintf
53 #endif
54 
55 
56 namespace picojson {
57 
58  enum {
59  null_type,
60  boolean_type,
61  number_type,
62  string_type,
63  array_type,
64  object_type
65  };
66 
67  struct null {};
68 
69  class value {
70  public:
71  typedef std::vector<value> array;
72  typedef std::map<std::string, value> object;
73  union _storage {
74  bool boolean_;
75  double number_;
76  std::string* string_;
77  array* array_;
78  object* object_;
79  };
80  protected:
81  int type_;
82  _storage u_;
83  public:
84  value();
85  value(int type, bool);
86  explicit value(bool b);
87  explicit value(long n);
88  explicit value(int n);
89  explicit value(double n);
90  explicit value(float n);
91  explicit value(const std::string& s);
92  explicit value(const array& a);
93  explicit value(const object& o);
94  explicit value(const char* s);
95  value(const char* s, size_t len);
96  ~value();
97  value(const value& x);
98  value& operator=(const value& x);
99  void swap(value& x);
100  template <typename T> bool is() const;
101  template <typename T> const T& get() const;
102  template <typename T> T& get();
103  bool evaluate_as_boolean() const;
104  const value& get(size_t idx) const;
105  const value& get(const std::string& key) const;
106  bool contains(size_t idx) const;
107  bool contains(const std::string& key) const;
108  std::string to_str() const;
109  template <typename Iter> void serialize(Iter os) const;
110  std::string serialize() const;
111  private:
112  template <typename T> value(const T*); // intentionally defined to block implicit conversion of pointer to bool
113  };
114 
115  typedef value::array array;
116  typedef value::object object;
117 
118  inline value::value() : type_(null_type) {}
119 
120  inline value::value(int type, bool) : type_(type) {
121  switch (type) {
122 #define INIT(p, v) case p##type: u_.p = v; break
123  INIT(boolean_, false);
124  INIT(number_, 0.0);
125  INIT(string_, new std::string());
126  INIT(array_, new array());
127  INIT(object_, new object());
128 #undef INIT
129  default: break;
130  }
131  }
132 
133  inline value::value(bool b) : type_(boolean_type) {
134  u_.boolean_ = b;
135  }
136 
137  inline value::value(double n) : type_(number_type) {
138  u_.number_ = n;
139  }
140 
141  inline value::value(float n) : type_(number_type) {
142  u_.number_ = n;
143  }
144 
145  inline value::value(long n) : type_(number_type) {
146  u_.number_ = n;
147  }
148 
149  inline value::value(int n) : type_(number_type) {
150  u_.number_ = n;
151  }
152 
153  inline value::value(const std::string& s) : type_(string_type) {
154  u_.string_ = new std::string(s);
155  }
156 
157  inline value::value(const array& a) : type_(array_type) {
158  u_.array_ = new array(a);
159  }
160 
161  inline value::value(const object& o) : type_(object_type) {
162  u_.object_ = new object(o);
163  }
164 
165  inline value::value(const char* s) : type_(string_type) {
166  u_.string_ = new std::string(s);
167  }
168 
169  inline value::value(const char* s, size_t len) : type_(string_type) {
170  u_.string_ = new std::string(s, len);
171  }
172 
173  inline value::~value() {
174  switch (type_) {
175 #define DEINIT(p) case p##type: delete u_.p; break
176  DEINIT(string_);
177  DEINIT(array_);
178  DEINIT(object_);
179 #undef DEINIT
180  default: break;
181  }
182  }
183 
184  inline value::value(const value& x) : type_(x.type_) {
185  switch (type_) {
186 #define INIT(p, v) case p##type: u_.p = v; break
187  INIT(string_, new std::string(*x.u_.string_));
188  INIT(array_, new array(*x.u_.array_));
189  INIT(object_, new object(*x.u_.object_));
190 #undef INIT
191  default:
192  u_ = x.u_;
193  break;
194  }
195  }
196 
197  inline value& value::operator=(const value& x) {
198  if (this != &x) {
199  this->~value();
200  new (this) value(x);
201  }
202  return *this;
203  }
204 
205  inline void value::swap(value& x) {
206  std::swap(type_, x.type_);
207  std::swap(u_, x.u_);
208  }
209 
210 #define IS(ctype, jtype) \
211  template <> inline bool value::is<ctype>() const { \
212  return type_ == jtype##_type; \
213  }
214  IS(null, null)
215  IS(bool, boolean)
216  IS(int, number)
217  IS(double, number)
218  IS(std::string, string)
219  IS(array, array)
220  IS(object, object)
221 #undef IS
222 
223 #define GET(ctype, var) \
224  template <> inline const ctype& value::get<ctype>() const { \
225  assert("type mismatch! call vis<type>() before get<type>()" \
226  && is<ctype>()); \
227  return var; \
228  } \
229  template <> inline ctype& value::get<ctype>() { \
230  assert("type mismatch! call is<type>() before get<type>()" \
231  && is<ctype>()); \
232  return var; \
233  }
234  GET(bool, u_.boolean_)
235  GET(double, u_.number_)
236  GET(std::string, *u_.string_)
237  GET(array, *u_.array_)
238  GET(object, *u_.object_)
239 #undef GET
240 
241  inline bool value::evaluate_as_boolean() const {
242  switch (type_) {
243  case null_type:
244  return false;
245  case boolean_type:
246  return u_.boolean_;
247  case number_type:
248  return u_.number_ != 0;
249  case string_type:
250  return ! u_.string_->empty();
251  default:
252  return true;
253  }
254  }
255 
256  inline const value& value::get(size_t idx) const {
257  static value s_null;
258  assert(is<array>());
259  return idx < u_.array_->size() ? (*u_.array_)[idx] : s_null;
260  }
261 
262  inline const value& value::get(const std::string& key) const {
263  static value s_null;
264  assert(is<object>());
265  object::const_iterator i = u_.object_->find(key);
266  return i != u_.object_->end() ? i->second : s_null;
267  }
268 
269  inline bool value::contains(size_t idx) const {
270  assert(is<array>());
271  return idx < u_.array_->size();
272  }
273 
274  inline bool value::contains(const std::string& key) const {
275  assert(is<object>());
276  object::const_iterator i = u_.object_->find(key);
277  return i != u_.object_->end();
278  }
279 
280  inline std::string value::to_str() const {
281  switch (type_) {
282  case null_type: return "null";
283  case boolean_type: return u_.boolean_ ? "true" : "false";
284  case number_type: {
285  char buf[256];
286  double tmp;
287  SNPRINTF(buf, sizeof(buf), fabs(u_.number_) < (1ULL << 53) && modf(u_.number_, &tmp) == 0 ? "%.f" : "%.17g", u_.number_);
288  return buf;
289  }
290  case string_type: return *u_.string_;
291  case array_type: return "array";
292  case object_type: return "object";
293  default: assert(0);
294 #ifdef _MSC_VER
295  __assume(0);
296 #endif
297  }
298  return std::string();
299  }
300 
301  template <typename Iter> void copy(const std::string& s, Iter oi) {
302  std::copy(s.begin(), s.end(), oi);
303  }
304 
305  template <typename Iter> void serialize_str(const std::string& s, Iter oi) {
306  *oi++ = '"';
307  for (std::string::const_iterator i = s.begin(); i != s.end(); ++i) {
308  switch (*i) {
309 #define MAP(val, sym) case val: copy(sym, oi); break
310  MAP('"', "\\\"");
311  MAP('\\', "\\\\");
312  MAP('/', "\\/");
313  MAP('\b', "\\b");
314  MAP('\f', "\\f");
315  MAP('\n', "\\n");
316  MAP('\r', "\\r");
317  MAP('\t', "\\t");
318 #undef MAP
319  default:
320  if ((unsigned char)*i < 0x20 || *i == 0x7f) {
321  char buf[7];
322  SNPRINTF(buf, sizeof(buf), "\\u%04x", *i & 0xff);
323  copy(buf, buf + 6, oi);
324  } else {
325  *oi++ = *i;
326  }
327  break;
328  }
329  }
330  *oi++ = '"';
331  }
332 
333  template <typename Iter> void value::serialize(Iter oi) const {
334  switch (type_) {
335  case string_type:
336  serialize_str(*u_.string_, oi);
337  break;
338  case array_type: {
339  *oi++ = '[';
340  for (array::const_iterator i = u_.array_->begin();
341  i != u_.array_->end();
342  ++i) {
343  if (i != u_.array_->begin()) {
344  *oi++ = ',';
345  }
346  i->serialize(oi);
347  }
348  *oi++ = ']';
349  break;
350  }
351  case object_type: {
352  *oi++ = '{';
353  for (object::const_iterator i = u_.object_->begin();
354  i != u_.object_->end();
355  ++i) {
356  if (i != u_.object_->begin()) {
357  *oi++ = ',';
358  }
359  serialize_str(i->first, oi);
360  *oi++ = ':';
361  i->second.serialize(oi);
362  }
363  *oi++ = '}';
364  break;
365  }
366  default:
367  copy(to_str(), oi);
368  break;
369  }
370  }
371 
372  inline std::string value::serialize() const {
373  std::string s;
374  serialize(std::back_inserter(s));
375  return s;
376  }
377 
378  template <typename Iter> class input {
379  protected:
380  Iter cur_, end_;
381  int last_ch_;
382  bool ungot_;
383  int line_;
384  public:
385  input(const Iter& first, const Iter& last) : cur_(first), end_(last), last_ch_(-1), ungot_(false), line_(1) {}
386  int getc() {
387  if (ungot_) {
388  ungot_ = false;
389  return last_ch_;
390  }
391  if (cur_ == end_) {
392  last_ch_ = -1;
393  return -1;
394  }
395  if (last_ch_ == '\n') {
396  line_++;
397  }
398  last_ch_ = *cur_++ & 0xff;
399  return last_ch_;
400  }
401  void ungetc() {
402  if (last_ch_ != -1) {
403  assert(! ungot_);
404  ungot_ = true;
405  }
406  }
407  Iter cur() const { return cur_; }
408  int line() const { return line_; }
409  void skip_ws() {
410  while (1) {
411  int ch = getc();
412  if (! (ch == ' ' || ch == '\t' || ch == '\n' || ch == '\r')) {
413  ungetc();
414  break;
415  }
416  }
417  }
418  bool expect(int expect) {
419  skip_ws();
420  if (getc() != expect) {
421  ungetc();
422  return false;
423  }
424  return true;
425  }
426  bool match(const std::string& pattern) {
427  for (std::string::const_iterator pi(pattern.begin());
428  pi != pattern.end();
429  ++pi) {
430  if (getc() != *pi) {
431  ungetc();
432  return false;
433  }
434  }
435  return true;
436  }
437  };
438 
439  template<typename Iter> inline int _parse_quadhex(input<Iter> &in) {
440  int uni_ch = 0, hex;
441  for (int i = 0; i < 4; i++) {
442  if ((hex = in.getc()) == -1) {
443  return -1;
444  }
445  if ('0' <= hex && hex <= '9') {
446  hex -= '0';
447  } else if ('A' <= hex && hex <= 'F') {
448  hex -= 'A' - 0xa;
449  } else if ('a' <= hex && hex <= 'f') {
450  hex -= 'a' - 0xa;
451  } else {
452  in.ungetc();
453  return -1;
454  }
455  uni_ch = uni_ch * 16 + hex;
456  }
457  return uni_ch;
458  }
459 
460  template<typename String, typename Iter> inline bool _parse_codepoint(String& out, input<Iter>& in) {
461  int uni_ch;
462  if ((uni_ch = _parse_quadhex(in)) == -1) {
463  return false;
464  }
465  if (0xd800 <= uni_ch && uni_ch <= 0xdfff) {
466  if (0xdc00 <= uni_ch) {
467  // a second 16-bit of a surrogate pair appeared
468  return false;
469  }
470  // first 16-bit of surrogate pair, get the next one
471  if (in.getc() != '\\' || in.getc() != 'u') {
472  in.ungetc();
473  return false;
474  }
475  int second = _parse_quadhex(in);
476  if (! (0xdc00 <= second && second <= 0xdfff)) {
477  return false;
478  }
479  uni_ch = ((uni_ch - 0xd800) << 10) | ((second - 0xdc00) & 0x3ff);
480  uni_ch += 0x10000;
481  }
482  if (uni_ch < 0x80) {
483  out.push_back(uni_ch);
484  } else {
485  if (uni_ch < 0x800) {
486  out.push_back(0xc0 | (uni_ch >> 6));
487  } else {
488  if (uni_ch < 0x10000) {
489  out.push_back(0xe0 | (uni_ch >> 12));
490  } else {
491  out.push_back(0xf0 | (uni_ch >> 18));
492  out.push_back(0x80 | ((uni_ch >> 12) & 0x3f));
493  }
494  out.push_back(0x80 | ((uni_ch >> 6) & 0x3f));
495  }
496  out.push_back(0x80 | (uni_ch & 0x3f));
497  }
498  return true;
499  }
500 
501  template<typename String, typename Iter> inline bool _parse_string(String& out, input<Iter>& in) {
502  while (1) {
503  int ch = in.getc();
504  if (ch < ' ') {
505  in.ungetc();
506  return false;
507  } else if (ch == '"') {
508  return true;
509  } else if (ch == '\\') {
510  if ((ch = in.getc()) == -1) {
511  return false;
512  }
513  switch (ch) {
514 #define MAP(sym, val) case sym: out.push_back(val); break
515  MAP('"', '\"');
516  MAP('\\', '\\');
517  MAP('/', '/');
518  MAP('b', '\b');
519  MAP('f', '\f');
520  MAP('n', '\n');
521  MAP('r', '\r');
522  MAP('t', '\t');
523 #undef MAP
524  case 'u':
525  if (! _parse_codepoint(out, in)) {
526  return false;
527  }
528  break;
529  default:
530  return false;
531  }
532  } else {
533  out.push_back(ch);
534  }
535  }
536  return false;
537  }
538 
539  template <typename Context, typename Iter> inline bool _parse_array(Context& ctx, input<Iter>& in) {
540  if (! ctx.parse_array_start()) {
541  return false;
542  }
543  if (in.expect(']')) {
544  return true;
545  }
546  size_t idx = 0;
547  do {
548  if (! ctx.parse_array_item(in, idx)) {
549  return false;
550  }
551  idx++;
552  } while (in.expect(','));
553  return in.expect(']');
554  }
555 
556  template <typename Context, typename Iter> inline bool _parse_object(Context& ctx, input<Iter>& in) {
557  if (! ctx.parse_object_start()) {
558  return false;
559  }
560  if (in.expect('}')) {
561  return true;
562  }
563  do {
564  std::string key;
565  if (! in.expect('"')
566  || ! _parse_string(key, in)
567  || ! in.expect(':')) {
568  return false;
569  }
570  if (! ctx.parse_object_item(in, key)) {
571  return false;
572  }
573  } while (in.expect(','));
574  return in.expect('}');
575  }
576 
577  template <typename Iter> inline bool _parse_number(double& out, input<Iter>& in) {
578  std::string num_str;
579  while (1) {
580  int ch = in.getc();
581  if (('0' <= ch && ch <= '9') || ch == '+' || ch == '-' || ch == '.'
582  || ch == 'e' || ch == 'E') {
583  num_str.push_back(ch);
584  } else {
585  in.ungetc();
586  break;
587  }
588  }
589  char* endp;
590  out = strtod(num_str.c_str(), &endp);
591  return endp == num_str.c_str() + num_str.size();
592  }
593 
594  template <typename Context, typename Iter> inline bool _parse(Context& ctx, input<Iter>& in) {
595  in.skip_ws();
596  int ch = in.getc();
597  switch (ch) {
598 #define IS(ch, text, op) case ch: \
599  if (in.match(text) && op) { \
600  return true; \
601  } else { \
602  return false; \
603  }
604  IS('n', "ull", ctx.set_null());
605  IS('f', "alse", ctx.set_bool(false));
606  IS('t', "rue", ctx.set_bool(true));
607 #undef IS
608  case '"':
609  return ctx.parse_string(in);
610  case '[':
611  return _parse_array(ctx, in);
612  case '{':
613  return _parse_object(ctx, in);
614  default:
615  if (('0' <= ch && ch <= '9') || ch == '-') {
616  in.ungetc();
617  double f;
618  if (_parse_number(f, in)) {
619  ctx.set_number(f);
620  return true;
621  } else {
622  return false;
623  }
624  }
625  break;
626  }
627  in.ungetc();
628  return false;
629  }
630 
632  public:
633  bool set_null() { return false; }
634  bool set_bool(bool) { return false; }
635  bool set_number(double) { return false; }
636  template <typename Iter> bool parse_string(input<Iter>&) { return false; }
637  bool parse_array_start() { return false; }
638  template <typename Iter> bool parse_array_item(input<Iter>&, size_t) {
639  return false;
640  }
641  bool parse_object_start() { return false; }
642  template <typename Iter> bool parse_object_item(input<Iter>&, const std::string&) {
643  return false;
644  }
645  };
646 
648  protected:
649  value* out_;
650  public:
651  default_parse_context(value* out) : out_(out) {}
652  bool set_null() {
653  *out_ = value();
654  return true;
655  }
656  bool set_bool(bool b) {
657  *out_ = value(b);
658  return true;
659  }
660  bool set_number(double f) {
661  *out_ = value(f);
662  return true;
663  }
664  template<typename Iter> bool parse_string(input<Iter>& in) {
665  *out_ = value(string_type, false);
666  return _parse_string(out_->get<std::string>(), in);
667  }
668  bool parse_array_start() {
669  *out_ = value(array_type, false);
670  return true;
671  }
672  template <typename Iter> bool parse_array_item(input<Iter>& in, size_t) {
673  array& a = out_->get<array>();
674  a.push_back(value());
675  default_parse_context ctx(&a.back());
676  return _parse(ctx, in);
677  }
678  bool parse_object_start() {
679  *out_ = value(object_type, false);
680  return true;
681  }
682  template <typename Iter> bool parse_object_item(input<Iter>& in, const std::string& key) {
683  object& o = out_->get<object>();
684  default_parse_context ctx(&o[key]);
685  return _parse(ctx, in);
686  }
687  private:
689  default_parse_context& operator=(const default_parse_context&);
690  };
691 
693  public:
694  struct dummy_str {
695  void push_back(int) {}
696  };
697  public:
698  null_parse_context() {}
699  bool set_null() { return true; }
700  bool set_bool(bool) { return true; }
701  bool set_number(double) { return true; }
702  template <typename Iter> bool parse_string(input<Iter>& in) {
703  dummy_str s;
704  return _parse_string(s, in);
705  }
706  bool parse_array_start() { return true; }
707  template <typename Iter> bool parse_array_item(input<Iter>& in, size_t) {
708  return _parse(*this, in);
709  }
710  bool parse_object_start() { return true; }
711  template <typename Iter> bool parse_object_item(input<Iter>& in, const std::string&) {
712  return _parse(*this, in);
713  }
714  private:
715  null_parse_context(const null_parse_context&);
716  null_parse_context& operator=(const null_parse_context&);
717  };
718 
719  // obsolete, use the version below
720  template <typename Iter> inline std::string parse(value& out, Iter& pos, const Iter& last) {
721  std::string err;
722  pos = parse(out, pos, last, &err);
723  return err;
724  }
725 
726  template <typename Context, typename Iter> inline Iter _parse(Context& ctx, const Iter& first, const Iter& last, std::string* err) {
727  input<Iter> in(first, last);
728  if (! _parse(ctx, in) && err != NULL) {
729  char buf[64];
730  SNPRINTF(buf, sizeof(buf), "syntax error at line %d near: ", in.line());
731  *err = buf;
732  while (1) {
733  int ch = in.getc();
734  if (ch == -1 || ch == '\n') {
735  break;
736  } else if (ch >= ' ') {
737  err->push_back(ch);
738  }
739  }
740  }
741  return in.cur();
742  }
743 
744  template <typename Iter> inline Iter parse(value& out, const Iter& first, const Iter& last, std::string* err) {
745  default_parse_context ctx(&out);
746  return _parse(ctx, first, last, err);
747  }
748 
749  inline std::string parse(value& out, std::istream& is) {
750  std::string err;
751  parse(out, std::istreambuf_iterator<char>(is.rdbuf()),
752  std::istreambuf_iterator<char>(), &err);
753  return err;
754  }
755 
756  template <typename T> struct last_error_t {
757  static std::string s;
758  };
759  template <typename T> std::string last_error_t<T>::s;
760 
761  inline void set_last_error(const std::string& s) {
763  }
764 
765  inline const std::string& get_last_error() {
766  return last_error_t<bool>::s;
767  }
768 
769  inline bool operator==(const value& x, const value& y) {
770  if (x.is<null>())
771  return y.is<null>();
772 #define PICOJSON_CMP(type) \
773  if (x.is<type>()) \
774  return y.is<type>() && x.get<type>() == y.get<type>()
775  PICOJSON_CMP(bool);
776  PICOJSON_CMP(double);
777  PICOJSON_CMP(std::string);
778  PICOJSON_CMP(array);
779  PICOJSON_CMP(object);
780 #undef PICOJSON_CMP
781  assert(0);
782 #ifdef _MSC_VER
783  __assume(0);
784 #endif
785  return false;
786  }
787 
788  inline bool operator!=(const value& x, const value& y) {
789  return ! (x == y);
790  }
791 }
792 
793 namespace std {
794  template<> inline void swap(picojson::value& x, picojson::value& y)
795  {
796  x.swap(y);
797  }
798 }
799 
800 inline std::istream& operator>>(std::istream& is, picojson::value& x)
801 {
802  picojson::set_last_error(std::string());
803  std::string err = picojson::parse(x, is);
804  if (! err.empty()) {
805  picojson::set_last_error(err);
806  is.setstate(std::ios::failbit);
807  }
808  return is;
809 }
810 
811 inline std::ostream& operator<<(std::ostream& os, const picojson::value& x)
812 {
813  x.serialize(std::ostream_iterator<char>(os));
814  return os;
815 }
816 #ifdef _MSC_VER
817  #pragma warning(pop)
818 #endif
819 namespace kqp {
820 
821  inline picojson::value readJsonFromFile(const std::string &jsonFile) {
822  std::ifstream in(jsonFile.c_str());
823  picojson::value v;
824  in >> v;
825  std::string err = picojson::get_last_error();
826  if (! err.empty()) {
827  KQP_THROW_EXCEPTION_F(kqp::illegal_argument_exception, "JSON parsing error: %s (offset %d)", %err);
828  }
829  return v;
830  }
831 
832  inline picojson::value readJsonFromString(const std::string &jsonString) {
833  std::istringstream in(jsonString);
834  picojson::value v;
835  in >> v;
836  std::string err = picojson::get_last_error();
837  if (! err.empty()) {
838  KQP_THROW_EXCEPTION_F(kqp::illegal_argument_exception, "JSON parsing error: %s (offset %d)", %err);
839  }
840  return v;
841  }
842 
843 
844 
845  template<typename type>
846  type get(const std::string &context, picojson::object &o, const std::string &key, const type & _default) {
847  if (o.find(key) == o.end()) {
848  o[key] = picojson::value(_default);
849  return _default;
850  }
851 
852  if (!o[key].is<type>())
853  KQP_THROW_EXCEPTION_F(kqp::illegal_argument_exception, "JSON error [%s]: [%s] is not of type %s", %context %key %KQP_STRING_IT(TYPE));
854  return o[key].get<type>();
855  }
856 
857 
858  template<typename type>
859  type get(const std::string &context, picojson::value &d, const std::string &key, const type & _default) {
860  if (!d.is<picojson::object>())
861  KQP_THROW_EXCEPTION_F(kqp::illegal_argument_exception, "JSON error [%s]: not an object [looking for key %s]", %context %key);
862 
863  picojson::object &o = d.get<picojson::object>();
864  return get(context, o, key, _default);
865  }
866 
867  template<typename type>
868  type get(const std::string &context, picojson::object &o, const std::string &key) {
869  if (o.find(key) == o.end()) {
870  KQP_THROW_EXCEPTION_F(kqp::illegal_argument_exception, "JSON error [%s]: no key [%s]", %context %key );
871  }
872 
873  if (!o[key].is<type>())
874  KQP_THROW_EXCEPTION_F(kqp::illegal_argument_exception, "JSON error [%s]: [%s] is not of type %s", %context %key %KQP_STRING_IT(TYPE));
875  return o[key].get<type>();
876  }
877 
878  template<typename type>
879  type get(const std::string &context, picojson::value &d, const std::string &key) {
880  if (!d.is<picojson::object>())
881  KQP_THROW_EXCEPTION_F(kqp::illegal_argument_exception, "JSON error [%s]: not an object [looking for key %s]", %context %key);
882 
883  picojson::object &o = d.get<picojson::object>();
884  return get<type>(context, o, key);
885  }
886 
887  template<typename type>
888  type getNumeric(const std::string &context, picojson::value &d, const std::string &key, const type & _default) {
889  return boost::numeric_cast<type>(get<double>(context, d, key, (double)_default));
890  }
891  template<typename type>
892  type getNumeric(const std::string &context, picojson::object &o, const std::string &key, const type & _default) {
893  return boost::numeric_cast<type>(get<double>(context, o, key, (double)_default));
894  }
895 
896  template<typename type>
897  type getNumeric(const std::string &context, picojson::value &d, const std::string &key) {
898  return boost::numeric_cast<type>(get<double>(context, d, key));
899  }
900  template<typename type>
901  type getNumeric(const std::string &context, picojson::object &o, const std::string &key) {
902  return boost::numeric_cast<type>(get<double>(context, o, key));
903  }
904 
905 
906  template<typename type>
907  type get(const std::string &context, const picojson::object &o, const std::string &key, const type & _default) {
908  auto p = o.find(key);
909  if (p == o.end()) {
910  return _default;
911  }
912 
913  if (!p->second.is<type>())
914  KQP_THROW_EXCEPTION_F(kqp::illegal_argument_exception, "JSON error [%s]: [%s] is not of type %s", %context %key %KQP_STRING_IT(TYPE));
915  return p->second.get<type>();
916  }
917 
918 
919  template<typename type>
920  type get(const std::string &context, const picojson::value &d, const std::string &key, const type & _default) {
921  if (!d.is<picojson::object>())
922  KQP_THROW_EXCEPTION_F(kqp::illegal_argument_exception, "JSON error [%s]: not an object", %context);
923 
924  const picojson::object &o = d.get<picojson::object>();
925  return get(context, o, key, _default);
926  }
927 
928  template<typename type>
929  type get(const std::string &context, const picojson::object &o, const std::string &key) {
930  auto p = o.find(key);
931  if (p == o.end()) {
932  KQP_THROW_EXCEPTION_F(kqp::illegal_argument_exception, "JSON error [%s]: no key [%s]", %context %key );
933  }
934 
935  if (!p->second.is<type>())
936  KQP_THROW_EXCEPTION_F(kqp::illegal_argument_exception, "JSON error [%s]: [%s] is not of type %s", %context %key %KQP_STRING_IT(TYPE));
937  return p->second.get<type>();
938  }
939 
940  template<typename type>
941  type get(const std::string &context, const picojson::value &d, const std::string &key) {
942  if (!d.is<picojson::object>())
943  KQP_THROW_EXCEPTION_F(kqp::illegal_argument_exception, "JSON error [%s]: not an object", %context);
944 
945  const picojson::object &o = d.get<picojson::object>();
946  return get<type>(context, o, key);
947  }
948 
949  template<typename type>
950  type getNumeric(const std::string &context, const picojson::value &d, const std::string &key, const type & _default) {
951  double v = get<double>(context, d, key, (double)_default);
952  return boost::numeric_cast<type>(v);
953  }
954  template<typename type>
955  type getNumeric(const std::string &context, const picojson::object &o, const std::string &key, const type & _default) {
956  double v = get<double>(context, o, key, (double)_default);
957  return boost::numeric_cast<type>(v);
958  }
959 
960  template<typename type>
961  type getNumeric(const std::string &context, const picojson::value &d, const std::string &key) {
962  double v = get<double>(context, d, key);
963  return boost::numeric_cast<type>(v);
964  }
965  template<typename type>
966  type getNumeric(const std::string &context, const picojson::object &o, const std::string &key) {
967  double v = get<double>(context, o, key);
968  return boost::numeric_cast<type>(v);
969  }
970 }
971 
972 
973 
974 #endif
975 #ifdef TEST_PICOJSON
976 #ifdef _MSC_VER
977  #pragma warning(disable : 4127) // conditional expression is constant
978 #endif
979 
980 using namespace std;
981 
982 static void plan(int num)
983 {
984  printf("1..%d\n", num);
985 }
986 
987 static bool success = true;
988 
989 static void ok(bool b, const char* name = "")
990 {
991  static int n = 1;
992  if (! b)
993  success = false;
994  printf("%s %d - %s\n", b ? "ok" : "ng", n++, name);
995 }
996 
997 template <typename T> void is(const T& x, const T& y, const char* name = "")
998 {
999  if (x == y) {
1000  ok(true, name);
1001  } else {
1002  ok(false, name);
1003  }
1004 }
1005 
1006 #include <algorithm>
1007 #include <sstream>
1008 #include <float.h>
1009 #include <limits.h>
1010 
1011 int main(void)
1012 {
1013  plan(85);
1014 
1015  // constructors
1016 #define TEST(expr, expected) \
1017  is(picojson::value expr .serialize(), string(expected), "picojson::value" #expr)
1018 
1019  TEST( (true), "true");
1020  TEST( (false), "false");
1021  TEST( (42.0), "42");
1022  TEST( (string("hello")), "\"hello\"");
1023  TEST( ("hello"), "\"hello\"");
1024  TEST( ("hello", 4), "\"hell\"");
1025 
1026  {
1027  double a = 1;
1028  for (int i = 0; i < 1024; i++) {
1029  picojson::value vi(a);
1030  std::stringstream ss;
1031  ss << vi;
1032  picojson::value vo;
1033  ss >> vo;
1034  double b = vo.get<double>();
1035  if ((i < 53 && a != b) || fabs(a - b) / b > 1e-8) {
1036  printf("ng i=%d a=%.18e b=%.18e\n", i, a, b);
1037  }
1038  a *= 2;
1039  }
1040  }
1041 
1042 #undef TEST
1043 
1044 #define TEST(in, type, cmp, serialize_test) { \
1045  picojson::value v; \
1046  const char* s = in; \
1047  string err = picojson::parse(v, s, s + strlen(s)); \
1048  ok(err.empty(), in " no error"); \
1049  ok(v.is<type>(), in " check type"); \
1050  is<type>(v.get<type>(), cmp, in " correct output"); \
1051  is(*s, '\0', in " read to eof"); \
1052  if (serialize_test) { \
1053  is(v.serialize(), string(in), in " serialize"); \
1054  } \
1055  }
1056  TEST("false", bool, false, true);
1057  TEST("true", bool, true, true);
1058  TEST("90.5", double, 90.5, false);
1059  TEST("1.7976931348623157e+308", double, DBL_MAX, false);
1060  TEST("\"hello\"", string, string("hello"), true);
1061  TEST("\"\\\"\\\\\\/\\b\\f\\n\\r\\t\"", string, string("\"\\/\b\f\n\r\t"),
1062  true);
1063  TEST("\"\\u0061\\u30af\\u30ea\\u30b9\"", string,
1064  string("a\xe3\x82\xaf\xe3\x83\xaa\xe3\x82\xb9"), false);
1065  TEST("\"\\ud840\\udc0b\"", string, string("\xf0\xa0\x80\x8b"), false);
1066 #undef TEST
1067 
1068 #define TEST(type, expr) { \
1069  picojson::value v; \
1070  const char *s = expr; \
1071  string err = picojson::parse(v, s, s + strlen(s)); \
1072  ok(err.empty(), "empty " #type " no error"); \
1073  ok(v.is<picojson::type>(), "empty " #type " check type"); \
1074  ok(v.get<picojson::type>().empty(), "check " #type " array size"); \
1075  }
1076  TEST(array, "[]");
1077  TEST(object, "{}");
1078 #undef TEST
1079 
1080  {
1081  picojson::value v;
1082  const char *s = "[1,true,\"hello\"]";
1083  string err = picojson::parse(v, s, s + strlen(s));
1084  ok(err.empty(), "array no error");
1085  ok(v.is<picojson::array>(), "array check type");
1086  is(v.get<picojson::array>().size(), size_t(3), "check array size");
1087  ok(v.contains(0), "check contains array[0]");
1088  ok(v.get(0).is<double>(), "check array[0] type");
1089  is(v.get(0).get<double>(), 1.0, "check array[0] value");
1090  ok(v.contains(1), "check contains array[1]");
1091  ok(v.get(1).is<bool>(), "check array[1] type");
1092  ok(v.get(1).get<bool>(), "check array[1] value");
1093  ok(v.contains(2), "check contains array[2]");
1094  ok(v.get(2).is<string>(), "check array[2] type");
1095  is(v.get(2).get<string>(), string("hello"), "check array[2] value");
1096  ok(!v.contains(3), "check not contains array[3]");
1097  }
1098 
1099  {
1100  picojson::value v;
1101  const char *s = "{ \"a\": true }";
1102  string err = picojson::parse(v, s, s + strlen(s));
1103  ok(err.empty(), "object no error");
1104  ok(v.is<picojson::object>(), "object check type");
1105  is(v.get<picojson::object>().size(), size_t(1), "check object size");
1106  ok(v.contains("a"), "check contains property");
1107  ok(v.get("a").is<bool>(), "check bool property exists");
1108  is(v.get("a").get<bool>(), true, "check bool property value");
1109  is(v.serialize(), string("{\"a\":true}"), "serialize object");
1110  ok(!v.contains("z"), "check not contains property");
1111  }
1112 
1113 #define TEST(json, msg) do { \
1114  picojson::value v; \
1115  const char *s = json; \
1116  string err = picojson::parse(v, s, s + strlen(s)); \
1117  is(err, string("syntax error at line " msg), msg); \
1118  } while (0)
1119  TEST("falsoa", "1 near: oa");
1120  TEST("{]", "1 near: ]");
1121  TEST("\n\bbell", "2 near: bell");
1122  TEST("\"abc\nd\"", "1 near: ");
1123 #undef TEST
1124 
1125  {
1126  picojson::value v1, v2;
1127  const char *s;
1128  string err;
1129  s = "{ \"b\": true, \"a\": [1,2,\"three\"], \"d\": 2 }";
1130  err = picojson::parse(v1, s, s + strlen(s));
1131  s = "{ \"d\": 2.0, \"b\": true, \"a\": [1,2,\"three\"] }";
1132  err = picojson::parse(v2, s, s + strlen(s));
1133  ok((v1 == v2), "check == operator in deep comparison");
1134  }
1135 
1136  {
1137  picojson::value v1, v2;
1138  const char *s;
1139  string err;
1140  s = "{ \"b\": true, \"a\": [1,2,\"three\"], \"d\": 2 }";
1141  err = picojson::parse(v1, s, s + strlen(s));
1142  s = "{ \"d\": 2.0, \"a\": [1,\"three\"], \"b\": true }";
1143  err = picojson::parse(v2, s, s + strlen(s));
1144  ok((v1 != v2), "check != operator for array in deep comparison");
1145  }
1146 
1147  {
1148  picojson::value v1, v2;
1149  const char *s;
1150  string err;
1151  s = "{ \"b\": true, \"a\": [1,2,\"three\"], \"d\": 2 }";
1152  err = picojson::parse(v1, s, s + strlen(s));
1153  s = "{ \"d\": 2.0, \"a\": [1,2,\"three\"], \"b\": false }";
1154  err = picojson::parse(v2, s, s + strlen(s));
1155  ok((v1 != v2), "check != operator for object in deep comparison");
1156  }
1157 
1158  {
1159  picojson::value v1, v2;
1160  const char *s;
1161  string err;
1162  s = "{ \"b\": true, \"a\": [1,2,\"three\"], \"d\": 2 }";
1163  err = picojson::parse(v1, s, s + strlen(s));
1164  picojson::object& o = v1.get<picojson::object>();
1165  o.erase("b");
1166  picojson::array& a = o["a"].get<picojson::array>();
1167  picojson::array::iterator i;
1168  i = std::remove(a.begin(), a.end(), picojson::value(std::string("three")));
1169  a.erase(i, a.end());
1170  s = "{ \"a\": [1,2], \"d\": 2 }";
1171  err = picojson::parse(v2, s, s + strlen(s));
1172  ok((v1 == v2), "check erase()");
1173  }
1174 
1175  ok(picojson::value(3.0).serialize() == "3",
1176  "integral number should be serialized as a integer");
1177 
1178  {
1179  const char* s = "{ \"a\": [1,2], \"d\": 2 }";
1181  string err;
1182  picojson::_parse(ctx, s, s + strlen(s), &err);
1183  ok(err.empty(), "null_parse_context");
1184  }
1185 
1186  {
1187  picojson::value v1, v2;
1188  v1 = picojson::value(true);
1189  swap(v1, v2);
1190  ok(v1.is<picojson::null>(), "swap (null)");
1191  ok(v2.get<bool>() == true, "swap (bool)");
1192 
1193  v1 = picojson::value("a");
1194  v2 = picojson::value(1.0);
1195  swap(v1, v2);
1196  ok(v1.get<double>() == 1.0, "swap (dobule)");
1197  ok(v2.get<string>() == "a", "swap (string)");
1198 
1199  v1 = picojson::value(picojson::object());
1200  v2 = picojson::value(picojson::array());
1201  swap(v1, v2);
1202  ok(v1.is<picojson::array>(), "swap (array)");
1203  ok(v2.is<picojson::object>(), "swap (object)");
1204  }
1205 
1206  return success ? 0 : 1;
1207 }
1208 
1209 #endif