json.rs 69.1 KB
Newer Older
1
// Copyright 2012-2013 The Rust Project Developers. See the COPYRIGHT
2 3 4 5 6 7 8 9 10
// file at the top-level directory of this distribution and at
// http://rust-lang.org/COPYRIGHT.
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.

E
Elly Jones 已提交
11 12
// Rust JSON serialization library
// Copyright (c) 2011 Google Inc.
13

14
#[forbid(non_camel_case_types)];
15
#[allow(missing_doc)];
E
Elly Jones 已提交
16

M
musitdev 已提交
17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
/*!
JSON parsing and serialization

# What is JSON?

JSON (JavaScript Object Notation) is a way to write data in Javascript.
Like XML it allows one to encode structured data in a text format that can be read by humans easily.
Its native compatibility with JavaScript and its simple syntax make it used widely.

Json data are encoded in a form of "key":"value".
Data types that can be encoded are JavaScript types :
boolean (`true` or `false`), number (`f64`), string, array, object, null.
An object is a series of string keys mapping to values, in `"key": value` format.
Arrays are enclosed in square brackets ([ ... ]) and objects in curly brackets ({ ... }).
A simple JSON document encoding a person, his/her age, address and phone numbers could look like:

A
Alex Crichton 已提交
33
```ignore
M
musitdev 已提交
34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53
{
    "FirstName": "John",
    "LastName": "Doe",
    "Age": 43,
    "Address": {
        "Street": "Downing Street 10",
        "City": "London",
        "Country": "Great Britain"
    },
    "PhoneNumbers": [
        "+44 1234567",
        "+44 2345678"
    ]
}
```

# Rust Type-based Encoding and Decoding

Rust provides a mechanism for low boilerplate encoding & decoding
of values to and from JSON via the serialization API.
54 55
To be able to encode a piece of data, it must implement the `serialize::Encodable` trait.
To be able to decode a piece of data, it must implement the `serialize::Decodable` trait.
M
musitdev 已提交
56 57 58 59 60 61 62
The Rust compiler provides an annotation to automatically generate
the code for these traits: `#[deriving(Decodable, Encodable)]`

To encode using Encodable :

```rust
use std::io;
A
Alex Crichton 已提交
63
use serialize::{json, Encodable};
M
musitdev 已提交
64 65 66 67 68 69 70 71

 #[deriving(Encodable)]
 pub struct TestStruct   {
    data_str: ~str,
 }

fn main() {
    let to_encode_object = TestStruct{data_str:~"example of string to encode"};
72
    let mut m = io::MemWriter::new();
M
musitdev 已提交
73 74 75 76 77 78 79 80 81 82 83
    {
        let mut encoder = json::Encoder::new(&mut m as &mut std::io::Writer);
        to_encode_object.encode(&mut encoder);
    }
}
```

Two wrapper functions are provided to encode a Encodable object
into a string (~str) or buffer (~[u8]): `str_encode(&m)` and `buffer_encode(&m)`.

```rust
A
Alex Crichton 已提交
84
use serialize::json;
M
musitdev 已提交
85 86 87 88 89 90 91 92 93 94 95 96 97 98
let to_encode_object = ~"example of string to encode";
let encoded_str: ~str = json::Encoder::str_encode(&to_encode_object);
```

JSON API provide an enum `json::Json` and a trait `ToJson` to encode object.
The trait `ToJson` encode object into a container `json::Json` and the API provide writer
to encode them into a stream or a string ...

When using `ToJson` the `Encodable` trait implementation is not mandatory.

A basic `ToJson` example using a TreeMap of attribute name / attribute value:


```rust
A
Alex Crichton 已提交
99
extern crate collections;
A
Alex Crichton 已提交
100
extern crate serialize;
101

A
Alex Crichton 已提交
102 103
use serialize::json;
use serialize::json::ToJson;
104
use collections::TreeMap;
M
musitdev 已提交
105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126

pub struct MyStruct  {
    attr1: u8,
    attr2: ~str,
}

impl ToJson for MyStruct {
    fn to_json( &self ) -> json::Json {
        let mut d = ~TreeMap::new();
        d.insert(~"attr1", self.attr1.to_json());
        d.insert(~"attr2", self.attr2.to_json());
        json::Object(d)
    }
}

fn main() {
    let test2: MyStruct = MyStruct {attr1: 1, attr2:~"test"};
    let tjson: json::Json = test2.to_json();
    let json_str: ~str = tjson.to_str();
}
```

H
Huon Wilson 已提交
127
To decode a JSON string using `Decodable` trait :
M
musitdev 已提交
128 129

```rust
A
Alex Crichton 已提交
130
extern crate serialize;
A
Alex Crichton 已提交
131
use serialize::{json, Decodable};
M
musitdev 已提交
132 133 134 135 136 137 138 139 140 141

#[deriving(Decodable)]
pub struct MyStruct  {
     attr1: u8,
     attr2: ~str,
}

fn main() {
    let json_str_to_decode: ~str =
            ~"{\"attr1\":1,\"attr2\":\"toto\"}";
A
Alex Crichton 已提交
142 143
    let json_object = json::from_str(json_str_to_decode);
    let mut decoder = json::Decoder::new(json_object.unwrap());
M
musitdev 已提交
144 145 146 147 148 149 150 151 152 153 154 155
    let decoded_object: MyStruct = Decodable::decode(&mut decoder); // create the final object
}
```

# Examples of use

## Using Autoserialization

Create a struct called TestStruct1 and serialize and deserialize it to and from JSON
using the serialization API, using the derived serialization code.

```rust
A
Alex Crichton 已提交
156
extern crate serialize;
A
Alex Crichton 已提交
157
use serialize::{json, Encodable, Decodable};
M
musitdev 已提交
158 159 160 161 162 163 164 165 166 167 168 169 170 171 172

 #[deriving(Decodable, Encodable)] //generate Decodable, Encodable impl.
 pub struct TestStruct1  {
    data_int: u8,
    data_str: ~str,
    data_vector: ~[u8],
 }

// To serialize use the `json::str_encode` to encode an object in a string.
// It calls the generated `Encodable` impl.
fn main() {
    let to_encode_object = TestStruct1
         {data_int: 1, data_str:~"toto", data_vector:~[2,3,4,5]};
    let encoded_str: ~str = json::Encoder::str_encode(&to_encode_object);

A
Alex Crichton 已提交
173
    // To deserialize use the `json::from_str` and `json::Decoder`
M
musitdev 已提交
174

A
Alex Crichton 已提交
175
    let json_object = json::from_str(encoded_str);
M
musitdev 已提交
176 177 178 179 180 181 182
    let mut decoder = json::Decoder::new(json_object.unwrap());
    let decoded1: TestStruct1 = Decodable::decode(&mut decoder); // create the final object
}
```

## Using `ToJson`

H
Huon Wilson 已提交
183
This example use the ToJson impl to deserialize the JSON string.
M
musitdev 已提交
184 185 186
Example of `ToJson` trait implementation for TestStruct1.

```rust
A
Alex Crichton 已提交
187 188
extern crate serialize;
extern crate collections;
189

A
Alex Crichton 已提交
190 191
use serialize::json::ToJson;
use serialize::{json, Encodable, Decodable};
192
use collections::TreeMap;
M
musitdev 已提交
193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211

#[deriving(Decodable, Encodable)] // generate Decodable, Encodable impl.
pub struct TestStruct1  {
    data_int: u8,
    data_str: ~str,
    data_vector: ~[u8],
}

impl ToJson for TestStruct1 {
    fn to_json( &self ) -> json::Json {
        let mut d = ~TreeMap::new();
        d.insert(~"data_int", self.data_int.to_json());
        d.insert(~"data_str", self.data_str.to_json());
        d.insert(~"data_vector", self.data_vector.to_json());
        json::Object(d)
    }
}

fn main() {
H
Huon Wilson 已提交
212
    // Serialization using our impl of to_json
M
musitdev 已提交
213 214 215 216 217

    let test2: TestStruct1 = TestStruct1 {data_int: 1, data_str:~"toto", data_vector:~[2,3,4,5]};
    let tjson: json::Json = test2.to_json();
    let json_str: ~str = tjson.to_str();

H
Huon Wilson 已提交
218
    // Deserialize like before.
M
musitdev 已提交
219 220 221 222 223 224 225 226

    let mut decoder = json::Decoder::new(json::from_str(json_str).unwrap());
    // create the final object
    let decoded2: TestStruct1 = Decodable::decode(&mut decoder);
}
```

*/
B
Brian Anderson 已提交
227

228
use std::char;
D
Daniel Micay 已提交
229
use std::f64;
230
use collections::HashMap;
A
Alex Crichton 已提交
231
use std::io;
A
Alex Crichton 已提交
232
use std::io::MemWriter;
D
Daniel Micay 已提交
233
use std::num;
234
use std::str;
235
use std::fmt;
236

A
Alex Crichton 已提交
237
use Encodable;
238
use collections::TreeMap;
E
Elly Jones 已提交
239

A
Alex Crichton 已提交
240
macro_rules! try( ($e:expr) => (
A
Alex Crichton 已提交
241 242 243
    match $e { Ok(e) => e, Err(e) => { self.error = Err(e); return } }
) )

244
/// Represents a json value
245
#[deriving(Clone, Eq)]
246
pub enum Json {
D
Daniel Micay 已提交
247
    Number(f64),
248
    String(~str),
B
Ben Striegel 已提交
249
    Boolean(bool),
250 251
    List(List),
    Object(~Object),
B
Ben Striegel 已提交
252
    Null,
E
Elly Jones 已提交
253 254
}

255
pub type List = ~[Json];
256
pub type Object = TreeMap<~str, Json>;
257

258
#[deriving(Eq)]
259 260
/// If an error occurs while parsing some JSON, this is the structure which is
/// returned
261
pub struct Error {
262
    /// The line number at which the error occurred
263
    priv line: uint,
264
    /// The column number at which the error occurred
265
    priv col: uint,
266
    /// A message describing the type of the error
E
Erick Tryzelaar 已提交
267
    priv msg: ~str,
268
}
269

A
Alex Crichton 已提交
270 271 272 273 274 275 276 277
fn io_error_to_error(io: io::IoError) -> Error {
    Error {
        line: 0,
        col: 0,
        msg: format!("io error: {}", io)
    }
}

278 279
fn escape_str(s: &str) -> ~str {
    let mut escaped = ~"\"";
280
    for c in s.chars() {
281
        match c {
282 283 284 285 286 287 288 289
          '"' => escaped.push_str("\\\""),
          '\\' => escaped.push_str("\\\\"),
          '\x08' => escaped.push_str("\\b"),
          '\x0c' => escaped.push_str("\\f"),
          '\n' => escaped.push_str("\\n"),
          '\r' => escaped.push_str("\\r"),
          '\t' => escaped.push_str("\\t"),
          _ => escaped.push_char(c),
E
Elly Jones 已提交
290
        }
291
    };
292

293
    escaped.push_char('"');
294 295

    escaped
E
Elly Jones 已提交
296 297
}

298 299
fn spaces(n: uint) -> ~str {
    let mut ss = ~"";
B
Brendan Zabarauskas 已提交
300
    for _ in range(0, n) { ss.push_str(" "); }
301 302 303
    return ss;
}

304
/// A structure for implementing serialization to JSON.
E
Erik Price 已提交
305 306
pub struct Encoder<'a> {
    priv wr: &'a mut io::Writer,
A
Alex Crichton 已提交
307
    priv error: io::IoResult<()>,
308 309
}

E
Erik Price 已提交
310
impl<'a> Encoder<'a> {
311 312
    /// Creates a new JSON encoder whose output will be written to the writer
    /// specified.
313
    pub fn new<'a>(wr: &'a mut io::Writer) -> Encoder<'a> {
A
Alex Crichton 已提交
314
        Encoder { wr: wr, error: Ok(()) }
315
    }
M
musitdev 已提交
316 317

    /// Encode the specified struct into a json [u8]
A
Alex Crichton 已提交
318
    pub fn buffer_encode<T:Encodable<Encoder<'a>>>(to_encode_object: &T) -> ~[u8]  {
M
musitdev 已提交
319 320 321 322 323 324
       //Serialize the object in a string using a writer
        let mut m = MemWriter::new();
        {
            let mut encoder = Encoder::new(&mut m as &mut io::Writer);
            to_encode_object.encode(&mut encoder);
        }
325
        m.unwrap()
M
musitdev 已提交
326 327 328
    }

    /// Encode the specified struct into a json str
A
Alex Crichton 已提交
329
    pub fn str_encode<T:Encodable<Encoder<'a>>>(to_encode_object: &T) -> ~str  {
M
musitdev 已提交
330
        let buff:~[u8] = Encoder::buffer_encode(to_encode_object);
331
        str::from_utf8_owned(buff).unwrap()
M
musitdev 已提交
332
    }
333 334
}

A
Alex Crichton 已提交
335
impl<'a> ::Encoder for Encoder<'a> {
A
Alex Crichton 已提交
336
    fn emit_nil(&mut self) { try!(write!(self.wr, "null")) }
337

D
Daniel Micay 已提交
338 339 340 341 342
    fn emit_uint(&mut self, v: uint) { self.emit_f64(v as f64); }
    fn emit_u64(&mut self, v: u64) { self.emit_f64(v as f64); }
    fn emit_u32(&mut self, v: u32) { self.emit_f64(v as f64); }
    fn emit_u16(&mut self, v: u16) { self.emit_f64(v as f64); }
    fn emit_u8(&mut self, v: u8)   { self.emit_f64(v as f64); }
343

D
Daniel Micay 已提交
344 345 346 347 348
    fn emit_int(&mut self, v: int) { self.emit_f64(v as f64); }
    fn emit_i64(&mut self, v: i64) { self.emit_f64(v as f64); }
    fn emit_i32(&mut self, v: i32) { self.emit_f64(v as f64); }
    fn emit_i16(&mut self, v: i16) { self.emit_f64(v as f64); }
    fn emit_i8(&mut self, v: i8)   { self.emit_f64(v as f64); }
349 350 351

    fn emit_bool(&mut self, v: bool) {
        if v {
A
Alex Crichton 已提交
352
            try!(write!(self.wr, "true"));
353
        } else {
A
Alex Crichton 已提交
354
            try!(write!(self.wr, "false"));
355 356 357
        }
    }

A
Alex Crichton 已提交
358
    fn emit_f64(&mut self, v: f64) {
A
Alex Crichton 已提交
359
        try!(write!(self.wr, "{}", f64::to_str_digits(v, 6u)))
A
Alex Crichton 已提交
360
    }
D
Daniel Micay 已提交
361
    fn emit_f32(&mut self, v: f32) { self.emit_f64(v as f64); }
362 363

    fn emit_char(&mut self, v: char) { self.emit_str(str::from_char(v)) }
A
Alex Crichton 已提交
364
    fn emit_str(&mut self, v: &str) {
A
Alex Crichton 已提交
365
        try!(write!(self.wr, "{}", escape_str(v)))
A
Alex Crichton 已提交
366
    }
367

E
Erik Price 已提交
368
    fn emit_enum(&mut self, _name: &str, f: |&mut Encoder<'a>|) { f(self) }
369 370 371 372 373

    fn emit_enum_variant(&mut self,
                         name: &str,
                         _id: uint,
                         cnt: uint,
E
Erik Price 已提交
374
                         f: |&mut Encoder<'a>|) {
375
        // enums are encoded as strings or objects
376
        // Bunny => "Bunny"
377
        // Kangaroo(34,"William") => {"variant": "Kangaroo", "fields": [34,"William"]}
378
        if cnt == 0 {
A
Alex Crichton 已提交
379
            try!(write!(self.wr, "{}", escape_str(name)));
380
        } else {
A
Alex Crichton 已提交
381 382 383
            try!(write!(self.wr, "\\{\"variant\":"));
            try!(write!(self.wr, "{}", escape_str(name)));
            try!(write!(self.wr, ",\"fields\":["));
384
            f(self);
A
Alex Crichton 已提交
385
            try!(write!(self.wr, "]\\}"));
386 387 388
        }
    }

E
Erik Price 已提交
389
    fn emit_enum_variant_arg(&mut self, idx: uint, f: |&mut Encoder<'a>|) {
390
        if idx != 0 {
A
Alex Crichton 已提交
391
            try!(write!(self.wr, ","));
392 393 394 395 396 397 398 399
        }
        f(self);
    }

    fn emit_enum_struct_variant(&mut self,
                                name: &str,
                                id: uint,
                                cnt: uint,
E
Erik Price 已提交
400
                                f: |&mut Encoder<'a>|) {
401 402 403 404 405 406
        self.emit_enum_variant(name, id, cnt, f)
    }

    fn emit_enum_struct_variant_field(&mut self,
                                      _: &str,
                                      idx: uint,
E
Erik Price 已提交
407
                                      f: |&mut Encoder<'a>|) {
408 409 410
        self.emit_enum_variant_arg(idx, f)
    }

E
Erik Price 已提交
411
    fn emit_struct(&mut self, _: &str, _: uint, f: |&mut Encoder<'a>|) {
A
Alex Crichton 已提交
412
        try!(write!(self.wr, r"\{"));
413
        f(self);
A
Alex Crichton 已提交
414
        try!(write!(self.wr, r"\}"));
415 416 417 418 419
    }

    fn emit_struct_field(&mut self,
                         name: &str,
                         idx: uint,
E
Erik Price 已提交
420
                         f: |&mut Encoder<'a>|) {
A
Alex Crichton 已提交
421 422
        if idx != 0 { try!(write!(self.wr, ",")) }
        try!(write!(self.wr, "{}:", escape_str(name)));
423 424 425
        f(self);
    }

E
Erik Price 已提交
426
    fn emit_tuple(&mut self, len: uint, f: |&mut Encoder<'a>|) {
427 428
        self.emit_seq(len, f)
    }
E
Erik Price 已提交
429
    fn emit_tuple_arg(&mut self, idx: uint, f: |&mut Encoder<'a>|) {
430 431 432 433 434 435
        self.emit_seq_elt(idx, f)
    }

    fn emit_tuple_struct(&mut self,
                         _name: &str,
                         len: uint,
E
Erik Price 已提交
436
                         f: |&mut Encoder<'a>|) {
437 438
        self.emit_seq(len, f)
    }
E
Erik Price 已提交
439
    fn emit_tuple_struct_arg(&mut self, idx: uint, f: |&mut Encoder<'a>|) {
440 441 442
        self.emit_seq_elt(idx, f)
    }

E
Erik Price 已提交
443
    fn emit_option(&mut self, f: |&mut Encoder<'a>|) { f(self); }
444
    fn emit_option_none(&mut self) { self.emit_nil(); }
E
Erik Price 已提交
445
    fn emit_option_some(&mut self, f: |&mut Encoder<'a>|) { f(self); }
446

E
Erik Price 已提交
447
    fn emit_seq(&mut self, _len: uint, f: |&mut Encoder<'a>|) {
A
Alex Crichton 已提交
448
        try!(write!(self.wr, "["));
449
        f(self);
A
Alex Crichton 已提交
450
        try!(write!(self.wr, "]"));
451 452
    }

E
Erik Price 已提交
453
    fn emit_seq_elt(&mut self, idx: uint, f: |&mut Encoder<'a>|) {
454
        if idx != 0 {
A
Alex Crichton 已提交
455
            try!(write!(self.wr, ","));
456 457 458 459
        }
        f(self)
    }

E
Erik Price 已提交
460
    fn emit_map(&mut self, _len: uint, f: |&mut Encoder<'a>|) {
A
Alex Crichton 已提交
461
        try!(write!(self.wr, r"\{"));
462
        f(self);
A
Alex Crichton 已提交
463
        try!(write!(self.wr, r"\}"));
464 465
    }

E
Erik Price 已提交
466
    fn emit_map_elt_key(&mut self, idx: uint, f: |&mut Encoder<'a>|) {
A
Alex Crichton 已提交
467
        if idx != 0 { try!(write!(self.wr, ",")) }
468 469 470
        f(self)
    }

E
Erik Price 已提交
471
    fn emit_map_elt_val(&mut self, _idx: uint, f: |&mut Encoder<'a>|) {
A
Alex Crichton 已提交
472
        try!(write!(self.wr, ":"));
473 474 475 476
        f(self)
    }
}

477 478
/// Another encoder for JSON, but prints out human-readable JSON instead of
/// compact data
E
Erik Price 已提交
479 480
pub struct PrettyEncoder<'a> {
    priv wr: &'a mut io::Writer,
481
    priv indent: uint,
A
Alex Crichton 已提交
482
    priv error: io::IoResult<()>,
483 484
}

E
Erik Price 已提交
485
impl<'a> PrettyEncoder<'a> {
486
    /// Creates a new encoder whose output will be written to the specified writer
487
    pub fn new<'a>(wr: &'a mut io::Writer) -> PrettyEncoder<'a> {
488 489 490
        PrettyEncoder {
            wr: wr,
            indent: 0,
A
Alex Crichton 已提交
491
            error: Ok(())
492
        }
493
    }
494
}
495

A
Alex Crichton 已提交
496
impl<'a> ::Encoder for PrettyEncoder<'a> {
A
Alex Crichton 已提交
497
    fn emit_nil(&mut self) { try!(write!(self.wr, "null")); }
498

D
Daniel Micay 已提交
499 500 501 502 503
    fn emit_uint(&mut self, v: uint) { self.emit_f64(v as f64); }
    fn emit_u64(&mut self, v: u64) { self.emit_f64(v as f64); }
    fn emit_u32(&mut self, v: u32) { self.emit_f64(v as f64); }
    fn emit_u16(&mut self, v: u16) { self.emit_f64(v as f64); }
    fn emit_u8(&mut self, v: u8)   { self.emit_f64(v as f64); }
504

D
Daniel Micay 已提交
505 506 507 508 509
    fn emit_int(&mut self, v: int) { self.emit_f64(v as f64); }
    fn emit_i64(&mut self, v: i64) { self.emit_f64(v as f64); }
    fn emit_i32(&mut self, v: i32) { self.emit_f64(v as f64); }
    fn emit_i16(&mut self, v: i16) { self.emit_f64(v as f64); }
    fn emit_i8(&mut self, v: i8)   { self.emit_f64(v as f64); }
510 511 512

    fn emit_bool(&mut self, v: bool) {
        if v {
A
Alex Crichton 已提交
513
            try!(write!(self.wr, "true"));
514
        } else {
A
Alex Crichton 已提交
515
            try!(write!(self.wr, "false"));
516 517 518
        }
    }

A
Alex Crichton 已提交
519
    fn emit_f64(&mut self, v: f64) {
A
Alex Crichton 已提交
520
        try!(write!(self.wr, "{}", f64::to_str_digits(v, 6u)));
A
Alex Crichton 已提交
521
    }
D
Daniel Micay 已提交
522
    fn emit_f32(&mut self, v: f32) { self.emit_f64(v as f64); }
523 524

    fn emit_char(&mut self, v: char) { self.emit_str(str::from_char(v)) }
A
Alex Crichton 已提交
525
    fn emit_str(&mut self, v: &str) {
A
Alex Crichton 已提交
526
        try!(write!(self.wr, "{}", escape_str(v)));
A
Alex Crichton 已提交
527
    }
528

E
Erik Price 已提交
529
    fn emit_enum(&mut self, _name: &str, f: |&mut PrettyEncoder<'a>|) {
530 531 532 533 534 535 536
        f(self)
    }

    fn emit_enum_variant(&mut self,
                         name: &str,
                         _: uint,
                         cnt: uint,
E
Erik Price 已提交
537
                         f: |&mut PrettyEncoder<'a>|) {
538
        if cnt == 0 {
A
Alex Crichton 已提交
539
            try!(write!(self.wr, "{}", escape_str(name)));
540 541
        } else {
            self.indent += 2;
A
Alex Crichton 已提交
542
            try!(write!(self.wr, "[\n{}{},\n", spaces(self.indent),
A
Alex Crichton 已提交
543
                          escape_str(name)));
544 545
            f(self);
            self.indent -= 2;
A
Alex Crichton 已提交
546
            try!(write!(self.wr, "\n{}]", spaces(self.indent)));
547 548 549 550 551
        }
    }

    fn emit_enum_variant_arg(&mut self,
                             idx: uint,
E
Erik Price 已提交
552
                             f: |&mut PrettyEncoder<'a>|) {
553
        if idx != 0 {
A
Alex Crichton 已提交
554
            try!(write!(self.wr, ",\n"));
555
        }
A
Alex Crichton 已提交
556
        try!(write!(self.wr, "{}", spaces(self.indent)));
557 558 559 560 561 562 563
        f(self)
    }

    fn emit_enum_struct_variant(&mut self,
                                name: &str,
                                id: uint,
                                cnt: uint,
E
Erik Price 已提交
564
                                f: |&mut PrettyEncoder<'a>|) {
565 566 567 568 569 570
        self.emit_enum_variant(name, id, cnt, f)
    }

    fn emit_enum_struct_variant_field(&mut self,
                                      _: &str,
                                      idx: uint,
E
Erik Price 已提交
571
                                      f: |&mut PrettyEncoder<'a>|) {
572 573 574 575 576 577 578
        self.emit_enum_variant_arg(idx, f)
    }


    fn emit_struct(&mut self,
                   _: &str,
                   len: uint,
E
Erik Price 已提交
579
                   f: |&mut PrettyEncoder<'a>|) {
580
        if len == 0 {
A
Alex Crichton 已提交
581
            try!(write!(self.wr, "\\{\\}"));
582
        } else {
A
Alex Crichton 已提交
583
            try!(write!(self.wr, "\\{"));
584 585 586
            self.indent += 2;
            f(self);
            self.indent -= 2;
A
Alex Crichton 已提交
587
            try!(write!(self.wr, "\n{}\\}", spaces(self.indent)));
588 589 590 591 592 593
        }
    }

    fn emit_struct_field(&mut self,
                         name: &str,
                         idx: uint,
E
Erik Price 已提交
594
                         f: |&mut PrettyEncoder<'a>|) {
595
        if idx == 0 {
A
Alex Crichton 已提交
596
            try!(write!(self.wr, "\n"));
597
        } else {
A
Alex Crichton 已提交
598
            try!(write!(self.wr, ",\n"));
599
        }
A
Alex Crichton 已提交
600
        try!(write!(self.wr, "{}{}: ", spaces(self.indent), escape_str(name)));
601 602 603
        f(self);
    }

E
Erik Price 已提交
604
    fn emit_tuple(&mut self, len: uint, f: |&mut PrettyEncoder<'a>|) {
605 606
        self.emit_seq(len, f)
    }
E
Erik Price 已提交
607
    fn emit_tuple_arg(&mut self, idx: uint, f: |&mut PrettyEncoder<'a>|) {
608 609 610 611 612 613
        self.emit_seq_elt(idx, f)
    }

    fn emit_tuple_struct(&mut self,
                         _: &str,
                         len: uint,
E
Erik Price 已提交
614
                         f: |&mut PrettyEncoder<'a>|) {
615 616 617 618
        self.emit_seq(len, f)
    }
    fn emit_tuple_struct_arg(&mut self,
                             idx: uint,
E
Erik Price 已提交
619
                             f: |&mut PrettyEncoder<'a>|) {
620 621 622
        self.emit_seq_elt(idx, f)
    }

E
Erik Price 已提交
623
    fn emit_option(&mut self, f: |&mut PrettyEncoder<'a>|) { f(self); }
624
    fn emit_option_none(&mut self) { self.emit_nil(); }
E
Erik Price 已提交
625
    fn emit_option_some(&mut self, f: |&mut PrettyEncoder<'a>|) { f(self); }
626

E
Erik Price 已提交
627
    fn emit_seq(&mut self, len: uint, f: |&mut PrettyEncoder<'a>|) {
628
        if len == 0 {
A
Alex Crichton 已提交
629
            try!(write!(self.wr, "[]"));
630
        } else {
A
Alex Crichton 已提交
631
            try!(write!(self.wr, "["));
632 633 634
            self.indent += 2;
            f(self);
            self.indent -= 2;
A
Alex Crichton 已提交
635
            try!(write!(self.wr, "\n{}]", spaces(self.indent)));
636 637 638
        }
    }

E
Erik Price 已提交
639
    fn emit_seq_elt(&mut self, idx: uint, f: |&mut PrettyEncoder<'a>|) {
640
        if idx == 0 {
A
Alex Crichton 已提交
641
            try!(write!(self.wr, "\n"));
642
        } else {
A
Alex Crichton 已提交
643
            try!(write!(self.wr, ",\n"));
644
        }
A
Alex Crichton 已提交
645
        try!(write!(self.wr, "{}", spaces(self.indent)));
646 647 648
        f(self)
    }

E
Erik Price 已提交
649
    fn emit_map(&mut self, len: uint, f: |&mut PrettyEncoder<'a>|) {
650
        if len == 0 {
A
Alex Crichton 已提交
651
            try!(write!(self.wr, "\\{\\}"));
652
        } else {
A
Alex Crichton 已提交
653
            try!(write!(self.wr, "\\{"));
654 655 656
            self.indent += 2;
            f(self);
            self.indent -= 2;
A
Alex Crichton 已提交
657
            try!(write!(self.wr, "\n{}\\}", spaces(self.indent)));
658 659 660
        }
    }

E
Erik Price 已提交
661
    fn emit_map_elt_key(&mut self, idx: uint, f: |&mut PrettyEncoder<'a>|) {
662
        if idx == 0 {
A
Alex Crichton 已提交
663
            try!(write!(self.wr, "\n"));
664
        } else {
A
Alex Crichton 已提交
665
            try!(write!(self.wr, ",\n"));
666
        }
A
Alex Crichton 已提交
667
        try!(write!(self.wr, "{}", spaces(self.indent)));
668 669 670
        f(self);
    }

E
Erik Price 已提交
671
    fn emit_map_elt_val(&mut self, _idx: uint, f: |&mut PrettyEncoder<'a>|) {
A
Alex Crichton 已提交
672
        try!(write!(self.wr, ": "));
673 674 675 676
        f(self);
    }
}

A
Alex Crichton 已提交
677
impl<E: ::Encoder> Encodable<E> for Json {
678 679 680 681 682 683 684 685 686 687 688 689
    fn encode(&self, e: &mut E) {
        match *self {
            Number(v) => v.encode(e),
            String(ref v) => v.encode(e),
            Boolean(v) => v.encode(e),
            List(ref v) => v.encode(e),
            Object(ref v) => v.encode(e),
            Null => e.emit_nil(),
        }
    }
}

690
impl Json {
691
    /// Encodes a json value into a io::writer.  Uses a single line.
A
Alex Crichton 已提交
692
    pub fn to_writer(&self, wr: &mut io::Writer) -> io::IoResult<()> {
693
        let mut encoder = Encoder::new(wr);
A
Alex Crichton 已提交
694 695
        self.encode(&mut encoder);
        encoder.error
696
    }
697

698 699
    /// Encodes a json value into a io::writer.
    /// Pretty-prints in a more readable format.
A
Alex Crichton 已提交
700
    pub fn to_pretty_writer(&self, wr: &mut io::Writer) -> io::IoResult<()> {
701
        let mut encoder = PrettyEncoder::new(wr);
A
Alex Crichton 已提交
702 703
        self.encode(&mut encoder);
        encoder.error
704
    }
705

706 707
    /// Encodes a json value into a string
    pub fn to_pretty_str(&self) -> ~str {
708
        let mut s = MemWriter::new();
A
Alex Crichton 已提交
709
        self.to_pretty_writer(&mut s as &mut io::Writer).unwrap();
710
        str::from_utf8_owned(s.unwrap()).unwrap()
711
    }
E
Elly Jones 已提交
712 713
}

G
Gary Linscott 已提交
714
pub struct Parser<T> {
715
    priv rdr: T,
716
    priv ch: Option<char>,
717 718
    priv line: uint,
    priv col: uint,
719 720
}

721 722
impl<T: Iterator<char>> Parser<T> {
    /// Decode a json value from an Iterator<char>
723
    pub fn new(rdr: T) -> Parser<T> {
724 725
        let mut p = Parser {
            rdr: rdr,
726
            ch: Some('\x00'),
727 728 729 730 731 732
            line: 1,
            col: 0,
        };
        p.bump();
        p
    }
733
}
E
Elly Jones 已提交
734

735
impl<T: Iterator<char>> Parser<T> {
736
    pub fn parse(&mut self) -> Result<Json, Error> {
L
Luqman Aden 已提交
737 738
        match self.parse_value() {
          Ok(value) => {
739 740 741 742
            // Skip trailing whitespaces.
            self.parse_whitespace();
            // Make sure there is no trailing characters.
            if self.eof() {
L
Luqman Aden 已提交
743
                Ok(value)
744 745 746 747
            } else {
                self.error(~"trailing characters")
            }
          }
L
Luqman Aden 已提交
748
          Err(e) => Err(e)
749 750
        }
    }
751 752
}

753
impl<T : Iterator<char>> Parser<T> {
754 755
    fn eof(&self) -> bool { self.ch.is_none() }
    fn ch_or_null(&self) -> char { self.ch.unwrap_or('\x00') }
756
    fn bump(&mut self) {
757
        self.ch = self.rdr.next();
E
Elly Jones 已提交
758

759
        if self.ch_is('\n') {
760 761
            self.line += 1u;
            self.col = 1u;
G
Gary Linscott 已提交
762 763
        } else {
            self.col += 1u;
E
Elly Jones 已提交
764
        }
765 766
    }

767
    fn next_char(&mut self) -> Option<char> {
768 769 770
        self.bump();
        self.ch
    }
771 772 773
    fn ch_is(&self, c: char) -> bool {
        self.ch == Some(c)
    }
774

B
Ben Striegel 已提交
775
    fn error<T>(&self, msg: ~str) -> Result<T, Error> {
E
Erick Tryzelaar 已提交
776
        Err(Error { line: self.line, col: self.col, msg: msg })
E
Elly Jones 已提交
777 778
    }

779
    fn parse_value(&mut self) -> Result<Json, Error> {
780 781
        self.parse_whitespace();

B
Brian Anderson 已提交
782
        if self.eof() { return self.error(~"EOF while parsing value"); }
E
Elly Jones 已提交
783

784 785 786 787 788 789 790 791 792 793
        match self.ch_or_null() {
            'n' => self.parse_ident("ull", Null),
            't' => self.parse_ident("rue", Boolean(true)),
            'f' => self.parse_ident("alse", Boolean(false)),
            '0' .. '9' | '-' => self.parse_number(),
            '"' => {
                match self.parse_str() {
                    Ok(s) => Ok(String(s)),
                    Err(e) => Err(e),
                }
794
            },
795 796 797
            '[' => self.parse_list(),
            '{' => self.parse_object(),
            _ => self.error(~"invalid syntax"),
E
Elly Jones 已提交
798
        }
799 800
    }

801
    fn parse_whitespace(&mut self) {
802 803 804 805
        while self.ch_is(' ') ||
              self.ch_is('\n') ||
              self.ch_is('\t') ||
              self.ch_is('\r') { self.bump(); }
806 807
    }

808
    fn parse_ident(&mut self, ident: &str, value: Json) -> Result<Json, Error> {
809
        if ident.chars().all(|c| Some(c) == self.next_char()) {
810
            self.bump();
L
Luqman Aden 已提交
811
            Ok(value)
812
        } else {
813
            self.error(~"invalid syntax")
E
Elly Jones 已提交
814 815 816
        }
    }

817
    fn parse_number(&mut self) -> Result<Json, Error> {
D
Daniel Micay 已提交
818
        let mut neg = 1.0;
819

820
        if self.ch_is('-') {
821
            self.bump();
D
Daniel Micay 已提交
822
            neg = -1.0;
E
Elly Jones 已提交
823
        }
824

825
        let mut res = match self.parse_integer() {
826 827
          Ok(res) => res,
          Err(e) => return Err(e)
828 829
        };

830
        if self.ch_is('.') {
831
            match self.parse_decimal(res) {
832 833
              Ok(r) => res = r,
              Err(e) => return Err(e)
834
            }
E
Elly Jones 已提交
835
        }
836

837
        if self.ch_is('e') || self.ch_is('E') {
838
            match self.parse_exponent(res) {
839 840
              Ok(r) => res = r,
              Err(e) => return Err(e)
841
            }
E
Elly Jones 已提交
842
        }
843

844
        Ok(Number(neg * res))
E
Elly Jones 已提交
845 846
    }

D
Daniel Micay 已提交
847 848
    fn parse_integer(&mut self) -> Result<f64, Error> {
        let mut res = 0.0;
E
Elly Jones 已提交
849

850 851 852
        match self.ch_or_null() {
            '0' => {
                self.bump();
853

854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870
                // There can be only one leading '0'.
                match self.ch_or_null() {
                    '0' .. '9' => return self.error(~"invalid number"),
                    _ => ()
                }
            },
            '1' .. '9' => {
                while !self.eof() {
                    match self.ch_or_null() {
                        c @ '0' .. '9' => {
                            res *= 10.0;
                            res += ((c as int) - ('0' as int)) as f64;

                            self.bump();
                        }
                        _ => break,
                    }
871 872
                }
            }
873
            _ => return self.error(~"invalid number"),
E
Elly Jones 已提交
874
        }
875
        Ok(res)
E
Elly Jones 已提交
876 877
    }

D
Daniel Micay 已提交
878
    fn parse_decimal(&mut self, res: f64) -> Result<f64, Error> {
879 880 881
        self.bump();

        // Make sure a digit follows the decimal place.
882 883 884
        match self.ch_or_null() {
            '0' .. '9' => (),
             _ => return self.error(~"invalid number")
885 886
        }

887
        let mut res = res;
D
Daniel Micay 已提交
888
        let mut dec = 1.0;
889
        while !self.eof() {
890 891 892 893
            match self.ch_or_null() {
                c @ '0' .. '9' => {
                    dec /= 10.0;
                    res += (((c as int) - ('0' as int)) as f64) * dec;
894

895 896 897
                    self.bump();
                }
                _ => break,
E
Elly Jones 已提交
898 899
            }
        }
900

901
        Ok(res)
E
Elly Jones 已提交
902 903
    }

D
Daniel Micay 已提交
904
    fn parse_exponent(&mut self, mut res: f64) -> Result<f64, Error> {
905 906
        self.bump();

907 908
        let mut exp = 0u;
        let mut neg_exp = false;
909

910 911 912 913 914
        if self.ch_is('+') {
            self.bump();
        } else if self.ch_is('-') {
            self.bump();
            neg_exp = true;
915 916 917
        }

        // Make sure a digit follows the exponent place.
918 919 920
        match self.ch_or_null() {
            '0' .. '9' => (),
            _ => return self.error(~"invalid number")
921 922
        }
        while !self.eof() {
923 924 925 926
            match self.ch_or_null() {
                c @ '0' .. '9' => {
                    exp *= 10;
                    exp += (c as uint) - ('0' as uint);
927

928 929 930
                    self.bump();
                }
                _ => break
931 932 933
            }
        }

934
        let exp: f64 = num::pow(10u as f64, exp);
935 936 937 938 939 940
        if neg_exp {
            res /= exp;
        } else {
            res *= exp;
        }

941
        Ok(res)
E
Elly Jones 已提交
942 943
    }

944
    fn parse_str(&mut self) -> Result<~str, Error> {
945
        let mut escape = false;
946
        let mut res = ~"";
947

G
Gary Linscott 已提交
948
        loop {
949
            self.bump();
G
Gary Linscott 已提交
950 951 952
            if self.eof() {
                return self.error(~"EOF while parsing string");
            }
953

H
Huon Wilson 已提交
954
            if escape {
955 956 957 958 959 960 961 962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993
                match self.ch_or_null() {
                    '"' => res.push_char('"'),
                    '\\' => res.push_char('\\'),
                    '/' => res.push_char('/'),
                    'b' => res.push_char('\x08'),
                    'f' => res.push_char('\x0c'),
                    'n' => res.push_char('\n'),
                    'r' => res.push_char('\r'),
                    't' => res.push_char('\t'),
                    'u' => {
                        // Parse \u1234.
                        let mut i = 0u;
                        let mut n = 0u;
                        while i < 4u && !self.eof() {
                            self.bump();
                            n = match self.ch_or_null() {
                                c @ '0' .. '9' => n * 16u + (c as uint) - ('0' as uint),
                                'a' | 'A' => n * 16u + 10u,
                                'b' | 'B' => n * 16u + 11u,
                                'c' | 'C' => n * 16u + 12u,
                                'd' | 'D' => n * 16u + 13u,
                                'e' | 'E' => n * 16u + 14u,
                                'f' | 'F' => n * 16u + 15u,
                                _ => return self.error(
                                    ~"invalid \\u escape (unrecognized hex)")
                            };

                            i += 1u;
                        }

                        // Error out if we didn't parse 4 digits.
                        if i != 4u {
                            return self.error(
                                ~"invalid \\u escape (not four digits)");
                        }

                        res.push_char(char::from_u32(n as u32).unwrap());
                    }
                    _ => return self.error(~"invalid escape"),
994 995
                }
                escape = false;
996
            } else if self.ch_is('\\') {
997 998
                escape = true;
            } else {
999 1000 1001 1002
                match self.ch {
                    Some('"') => { self.bump(); return Ok(res); },
                    Some(c) => res.push_char(c),
                    None => unreachable!()
1003
                }
E
Elly Jones 已提交
1004 1005 1006 1007
            }
        }
    }

1008
    fn parse_list(&mut self) -> Result<Json, Error> {
1009 1010 1011
        self.bump();
        self.parse_whitespace();

1012
        let mut values = ~[];
1013

1014
        if self.ch_is(']') {
1015
            self.bump();
L
Luqman Aden 已提交
1016
            return Ok(List(values));
1017 1018
        }

1019
        loop {
L
Luqman Aden 已提交
1020 1021 1022
            match self.parse_value() {
              Ok(v) => values.push(v),
              Err(e) => return Err(e)
1023 1024 1025
            }

            self.parse_whitespace();
1026
            if self.eof() {
B
Brian Anderson 已提交
1027
                return self.error(~"EOF while parsing list");
1028
            }
1029

1030 1031 1032 1033 1034 1035 1036
            if self.ch_is(',') {
                self.bump();
            } else if self.ch_is(']') {
                self.bump();
                return Ok(List(values));
            } else {
                return self.error(~"expected `,` or `]`")
1037
            }
1038
        };
E
Elly Jones 已提交
1039 1040
    }

1041
    fn parse_object(&mut self) -> Result<Json, Error> {
1042 1043 1044
        self.bump();
        self.parse_whitespace();

1045
        let mut values = ~TreeMap::new();
1046

1047
        if self.ch_is('}') {
1048
          self.bump();
L
Luqman Aden 已提交
1049
          return Ok(Object(values));
1050 1051 1052 1053 1054
        }

        while !self.eof() {
            self.parse_whitespace();

1055
            if !self.ch_is('"') {
B
Brian Anderson 已提交
1056
                return self.error(~"key must be a string");
1057 1058
            }

L
Luqman Aden 已提交
1059 1060 1061
            let key = match self.parse_str() {
              Ok(key) => key,
              Err(e) => return Err(e)
1062 1063 1064 1065
            };

            self.parse_whitespace();

1066
            if !self.ch_is(':') {
1067
                if self.eof() { break; }
B
Brian Anderson 已提交
1068
                return self.error(~"expected `:`");
1069 1070 1071
            }
            self.bump();

L
Luqman Aden 已提交
1072 1073 1074
            match self.parse_value() {
              Ok(value) => { values.insert(key, value); }
              Err(e) => return Err(e)
1075 1076 1077
            }
            self.parse_whitespace();

1078 1079 1080 1081 1082 1083 1084
            match self.ch_or_null() {
                ',' => self.bump(),
                '}' => { self.bump(); return Ok(Object(values)); },
                _ => {
                    if self.eof() { break; }
                    return self.error(~"expected `,` or `}`");
                }
1085 1086 1087
            }
        }

B
Brian Anderson 已提交
1088
        return self.error(~"EOF while parsing object");
L
Lenny222 已提交
1089 1090 1091
    }
}

A
Alex Crichton 已提交
1092
/// Decodes a json value from an `&mut io::Reader`
1093
pub fn from_reader(rdr: &mut io::Reader) -> Result<Json, Error> {
A
Alex Crichton 已提交
1094 1095 1096 1097 1098 1099 1100 1101
    let contents = match rdr.read_to_end() {
        Ok(c) => c,
        Err(e) => return Err(io_error_to_error(e))
    };
    let s = match str::from_utf8_owned(contents) {
        Some(s) => s,
        None => return Err(Error { line: 0, col: 0, msg: ~"contents not utf-8" })
    };
1102
    let mut parser = Parser::new(s.chars());
1103
    parser.parse()
E
Elly Jones 已提交
1104 1105
}

1106
/// Decodes a json value from a string
1107
pub fn from_str(s: &str) -> Result<Json, Error> {
1108
    let mut parser = Parser::new(s.chars());
G
Gary Linscott 已提交
1109
    parser.parse()
1110 1111
}

1112
/// A structure to decode JSON to values in rust.
1113 1114 1115 1116
pub struct Decoder {
    priv stack: ~[Json],
}

1117 1118
impl Decoder {
    /// Creates a new decoder instance for decoding the specified JSON value.
1119
    pub fn new(json: Json) -> Decoder {
1120 1121 1122
        Decoder {
            stack: ~[json]
        }
1123
    }
1124 1125
}

1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136
impl Decoder {
    fn err(&self, msg: &str) -> ! {
        fail!("JSON decode error: {}", msg);
    }
    fn missing_field(&self, field: &str, object: ~Object) -> ! {
        self.err(format!("missing required '{}' field in object: {}",
                         field, Object(object).to_str()))
    }
    fn expected(&self, expected: &str, found: &Json) -> ! {
        let found_s = match *found {
            Null => "null",
A
Alex Crichton 已提交
1137 1138 1139 1140 1141
            List(..) => "list",
            Object(..) => "object",
            Number(..) => "number",
            String(..) => "string",
            Boolean(..) => "boolean"
1142 1143 1144 1145 1146 1147
        };
        self.err(format!("expected {expct} but found {fnd}: {val}",
                         expct=expected, fnd=found_s, val=found.to_str()))
    }
}

A
Alex Crichton 已提交
1148
impl ::Decoder for Decoder {
1149
    fn read_nil(&mut self) -> () {
1150
        debug!("read_nil");
1151
        match self.stack.pop().unwrap() {
1152
            Null => (),
1153
            value => self.expected("null", &value)
1154 1155 1156
        }
    }

D
Daniel Micay 已提交
1157 1158 1159 1160 1161
    fn read_u64(&mut self)  -> u64  { self.read_f64() as u64 }
    fn read_u32(&mut self)  -> u32  { self.read_f64() as u32 }
    fn read_u16(&mut self)  -> u16  { self.read_f64() as u16 }
    fn read_u8 (&mut self)  -> u8   { self.read_f64() as u8 }
    fn read_uint(&mut self) -> uint { self.read_f64() as uint }
1162

D
Daniel Micay 已提交
1163 1164 1165 1166 1167
    fn read_i64(&mut self) -> i64 { self.read_f64() as i64 }
    fn read_i32(&mut self) -> i32 { self.read_f64() as i32 }
    fn read_i16(&mut self) -> i16 { self.read_f64() as i16 }
    fn read_i8 (&mut self) -> i8  { self.read_f64() as i8 }
    fn read_int(&mut self) -> int { self.read_f64() as int }
1168 1169

    fn read_bool(&mut self) -> bool {
1170
        debug!("read_bool");
1171
        match self.stack.pop().unwrap() {
1172
            Boolean(b) => b,
1173
            value => self.expected("boolean", &value)
1174 1175 1176
        }
    }

D
Daniel Micay 已提交
1177
    fn read_f64(&mut self) -> f64 {
1178
        debug!("read_f64");
1179
        match self.stack.pop().unwrap() {
1180
            Number(f) => f,
1181
            value => self.expected("number", &value)
1182 1183
        }
    }
D
Daniel Micay 已提交
1184 1185
    fn read_f32(&mut self) -> f32 { self.read_f64() as f32 }
    fn read_f32(&mut self) -> f32 { self.read_f64() as f32 }
1186 1187

    fn read_char(&mut self) -> char {
1188
        let s = self.read_str();
1189
        {
1190
            let mut it = s.chars();
1191 1192 1193 1194 1195 1196 1197
            match (it.next(), it.next()) {
                // exactly one character
                (Some(c), None) => return c,
                _ => ()
            }
        }
        self.expected("single character string", &String(s))
1198 1199 1200
    }

    fn read_str(&mut self) -> ~str {
1201
        debug!("read_str");
1202
        match self.stack.pop().unwrap() {
1203
            String(s) => s,
1204
            value => self.expected("string", &value)
1205 1206 1207
        }
    }

1208
    fn read_enum<T>(&mut self, name: &str, f: |&mut Decoder| -> T) -> T {
1209
        debug!("read_enum({})", name);
1210 1211 1212 1213 1214
        f(self)
    }

    fn read_enum_variant<T>(&mut self,
                            names: &[&str],
1215
                            f: |&mut Decoder, uint| -> T)
1216
                            -> T {
1217
        debug!("read_enum_variant(names={:?})", names);
1218
        let name = match self.stack.pop().unwrap() {
1219
            String(s) => s,
1220 1221 1222 1223 1224
            Object(mut o) => {
                let n = match o.pop(&~"variant") {
                    Some(String(s)) => s,
                    Some(val) => self.expected("string", &val),
                    None => self.missing_field("variant", o)
1225
                };
1226 1227 1228
                match o.pop(&~"fields") {
                    Some(List(l)) => {
                        for field in l.move_rev_iter() {
1229 1230 1231
                            self.stack.push(field.clone());
                        }
                    },
1232 1233 1234 1235 1236 1237 1238 1239
                    Some(val) => self.expected("list", &val),
                    None => {
                        // re-insert the variant field so we're
                        // printing the "whole" struct in the error
                        // message... ick.
                        o.insert(~"variant", String(n));
                        self.missing_field("fields", o);
                    }
1240
                }
1241
                n
1242
            }
1243
            json => self.expected("string or object", &json)
1244
        };
1245
        let idx = match names.iter().position(|n| str::eq_slice(*n, name)) {
1246
            Some(idx) => idx,
1247
            None => self.err(format!("unknown variant name: {}", name))
1248 1249 1250 1251
        };
        f(self, idx)
    }

1252
    fn read_enum_variant_arg<T>(&mut self, idx: uint, f: |&mut Decoder| -> T)
1253
                                -> T {
1254
        debug!("read_enum_variant_arg(idx={})", idx);
1255 1256 1257 1258 1259
        f(self)
    }

    fn read_enum_struct_variant<T>(&mut self,
                                   names: &[&str],
1260
                                   f: |&mut Decoder, uint| -> T)
1261
                                   -> T {
1262
        debug!("read_enum_struct_variant(names={:?})", names);
1263 1264 1265 1266 1267 1268 1269
        self.read_enum_variant(names, f)
    }


    fn read_enum_struct_variant_field<T>(&mut self,
                                         name: &str,
                                         idx: uint,
1270
                                         f: |&mut Decoder| -> T)
1271
                                         -> T {
1272
        debug!("read_enum_struct_variant_field(name={}, idx={})", name, idx);
1273 1274 1275 1276 1277 1278
        self.read_enum_variant_arg(idx, f)
    }

    fn read_struct<T>(&mut self,
                      name: &str,
                      len: uint,
1279
                      f: |&mut Decoder| -> T)
1280
                      -> T {
1281
        debug!("read_struct(name={}, len={})", name, len);
1282
        let value = f(self);
1283
        self.stack.pop().unwrap();
1284 1285 1286 1287 1288 1289
        value
    }

    fn read_struct_field<T>(&mut self,
                            name: &str,
                            idx: uint,
1290
                            f: |&mut Decoder| -> T)
1291
                            -> T {
1292
        debug!("read_struct_field(name={}, idx={})", name, idx);
1293
        match self.stack.pop().unwrap() {
1294
            Object(mut obj) => {
1295
                let value = match obj.pop(&name.to_owned()) {
1296
                    None => self.missing_field(name, obj),
1297 1298 1299 1300 1301 1302 1303 1304
                    Some(json) => {
                        self.stack.push(json);
                        f(self)
                    }
                };
                self.stack.push(Object(obj));
                value
            }
1305
            value => self.expected("object", &value)
1306 1307 1308
        }
    }

1309
    fn read_tuple<T>(&mut self, f: |&mut Decoder, uint| -> T) -> T {
1310
        debug!("read_tuple()");
1311 1312 1313
        self.read_seq(f)
    }

1314
    fn read_tuple_arg<T>(&mut self, idx: uint, f: |&mut Decoder| -> T) -> T {
1315
        debug!("read_tuple_arg(idx={})", idx);
1316 1317 1318 1319 1320
        self.read_seq_elt(idx, f)
    }

    fn read_tuple_struct<T>(&mut self,
                            name: &str,
1321
                            f: |&mut Decoder, uint| -> T)
1322
                            -> T {
1323
        debug!("read_tuple_struct(name={})", name);
1324 1325 1326 1327 1328
        self.read_tuple(f)
    }

    fn read_tuple_struct_arg<T>(&mut self,
                                idx: uint,
1329
                                f: |&mut Decoder| -> T)
1330
                                -> T {
1331
        debug!("read_tuple_struct_arg(idx={})", idx);
1332 1333 1334
        self.read_tuple_arg(idx, f)
    }

1335
    fn read_option<T>(&mut self, f: |&mut Decoder, bool| -> T) -> T {
1336
        match self.stack.pop().unwrap() {
1337 1338 1339 1340 1341
            Null => f(self, false),
            value => { self.stack.push(value); f(self, true) }
        }
    }

1342
    fn read_seq<T>(&mut self, f: |&mut Decoder, uint| -> T) -> T {
1343
        debug!("read_seq()");
1344
        let len = match self.stack.pop().unwrap() {
1345 1346
            List(list) => {
                let len = list.len();
1347
                for v in list.move_rev_iter() {
1348 1349 1350 1351
                    self.stack.push(v);
                }
                len
            }
1352
            value => self.expected("list", &value)
1353 1354 1355 1356
        };
        f(self, len)
    }

1357
    fn read_seq_elt<T>(&mut self, idx: uint, f: |&mut Decoder| -> T) -> T {
1358
        debug!("read_seq_elt(idx={})", idx);
1359 1360 1361
        f(self)
    }

1362
    fn read_map<T>(&mut self, f: |&mut Decoder, uint| -> T) -> T {
1363
        debug!("read_map()");
1364
        let len = match self.stack.pop().unwrap() {
1365 1366
            Object(obj) => {
                let len = obj.len();
1367
                for (key, value) in obj.move_iter() {
1368 1369 1370 1371 1372
                    self.stack.push(value);
                    self.stack.push(String(key));
                }
                len
            }
1373
            value => self.expected("object", &value)
1374 1375 1376 1377
        };
        f(self, len)
    }

1378
    fn read_map_elt_key<T>(&mut self, idx: uint, f: |&mut Decoder| -> T)
1379
                           -> T {
1380
        debug!("read_map_elt_key(idx={})", idx);
1381 1382 1383
        f(self)
    }

1384
    fn read_map_elt_val<T>(&mut self, idx: uint, f: |&mut Decoder| -> T)
1385
                           -> T {
1386
        debug!("read_map_elt_val(idx={})", idx);
1387 1388 1389 1390
        f(self)
    }
}

1391
/// Test if two json values are less than one another
1392
impl Ord for Json {
1393
    fn lt(&self, other: &Json) -> bool {
H
Huon Wilson 已提交
1394
        match *self {
1395 1396 1397 1398 1399 1400 1401 1402 1403 1404 1405 1406 1407 1408 1409 1410 1411 1412 1413 1414 1415 1416 1417 1418
            Number(f0) => {
                match *other {
                    Number(f1) => f0 < f1,
                    String(_) | Boolean(_) | List(_) | Object(_) |
                    Null => true
                }
            }

            String(ref s0) => {
                match *other {
                    Number(_) => false,
                    String(ref s1) => s0 < s1,
                    Boolean(_) | List(_) | Object(_) | Null => true
                }
            }

            Boolean(b0) => {
                match *other {
                    Number(_) | String(_) => false,
                    Boolean(b1) => b0 < b1,
                    List(_) | Object(_) | Null => true
                }
            }

1419
            List(ref l0) => {
1420 1421
                match *other {
                    Number(_) | String(_) | Boolean(_) => false,
1422
                    List(ref l1) => (*l0) < (*l1),
1423 1424 1425 1426 1427 1428 1429
                    Object(_) | Null => true
                }
            }

            Object(ref d0) => {
                match *other {
                    Number(_) | String(_) | Boolean(_) | List(_) => false,
1430
                    Object(ref d1) => d0 < d1,
1431 1432 1433 1434 1435 1436 1437 1438 1439 1440 1441 1442 1443 1444
                    Null => true
                }
            }

            Null => {
                match *other {
                    Number(_) | String(_) | Boolean(_) | List(_) |
                    Object(_) =>
                        false,
                    Null => true
                }
            }
        }
    }
1445
}
1446

1447
/// A trait for converting values to JSON
1448
pub trait ToJson {
1449 1450 1451
    /// Converts the value of `self` to an instance of JSON
    fn to_json(&self) -> Json;
}
1452

1453
impl ToJson for Json {
1454
    fn to_json(&self) -> Json { (*self).clone() }
1455 1456
}

1457
impl ToJson for int {
D
Daniel Micay 已提交
1458
    fn to_json(&self) -> Json { Number(*self as f64) }
1459 1460
}

1461
impl ToJson for i8 {
D
Daniel Micay 已提交
1462
    fn to_json(&self) -> Json { Number(*self as f64) }
1463 1464
}

1465
impl ToJson for i16 {
D
Daniel Micay 已提交
1466
    fn to_json(&self) -> Json { Number(*self as f64) }
1467 1468
}

1469
impl ToJson for i32 {
D
Daniel Micay 已提交
1470
    fn to_json(&self) -> Json { Number(*self as f64) }
1471 1472
}

1473
impl ToJson for i64 {
D
Daniel Micay 已提交
1474
    fn to_json(&self) -> Json { Number(*self as f64) }
1475 1476
}

1477
impl ToJson for uint {
D
Daniel Micay 已提交
1478
    fn to_json(&self) -> Json { Number(*self as f64) }
1479 1480
}

1481
impl ToJson for u8 {
D
Daniel Micay 已提交
1482
    fn to_json(&self) -> Json { Number(*self as f64) }
1483 1484
}

1485
impl ToJson for u16 {
D
Daniel Micay 已提交
1486
    fn to_json(&self) -> Json { Number(*self as f64) }
1487 1488
}

1489
impl ToJson for u32 {
D
Daniel Micay 已提交
1490
    fn to_json(&self) -> Json { Number(*self as f64) }
1491 1492
}

1493
impl ToJson for u64 {
D
Daniel Micay 已提交
1494
    fn to_json(&self) -> Json { Number(*self as f64) }
1495 1496
}

1497
impl ToJson for f32 {
D
Daniel Micay 已提交
1498
    fn to_json(&self) -> Json { Number(*self as f64) }
1499 1500
}

1501
impl ToJson for f64 {
D
Daniel Micay 已提交
1502
    fn to_json(&self) -> Json { Number(*self) }
1503 1504
}

1505
impl ToJson for () {
B
Ben Striegel 已提交
1506
    fn to_json(&self) -> Json { Null }
1507 1508
}

1509
impl ToJson for bool {
B
Ben Striegel 已提交
1510
    fn to_json(&self) -> Json { Boolean(*self) }
1511 1512
}

1513
impl ToJson for ~str {
1514
    fn to_json(&self) -> Json { String((*self).clone()) }
1515 1516
}

1517
impl<A:ToJson,B:ToJson> ToJson for (A, B) {
B
Ben Striegel 已提交
1518 1519
    fn to_json(&self) -> Json {
        match *self {
1520
          (ref a, ref b) => {
1521
            List(~[a.to_json(), b.to_json()])
1522 1523
          }
        }
1524 1525 1526
    }
}

1527
impl<A:ToJson,B:ToJson,C:ToJson> ToJson for (A, B, C) {
B
Ben Striegel 已提交
1528 1529
    fn to_json(&self) -> Json {
        match *self {
1530
          (ref a, ref b, ref c) => {
1531
            List(~[a.to_json(), b.to_json(), c.to_json()])
1532 1533
          }
        }
1534 1535 1536
    }
}

1537
impl<A:ToJson> ToJson for ~[A] {
B
Ben Striegel 已提交
1538
    fn to_json(&self) -> Json { List(self.map(|elt| elt.to_json())) }
1539 1540
}

1541
impl<A:ToJson> ToJson for TreeMap<~str, A> {
B
Ben Striegel 已提交
1542
    fn to_json(&self) -> Json {
1543
        let mut d = TreeMap::new();
D
Daniel Micay 已提交
1544
        for (key, value) in self.iter() {
1545
            d.insert((*key).clone(), value.to_json());
1546 1547 1548 1549 1550
        }
        Object(~d)
    }
}

1551
impl<A:ToJson> ToJson for HashMap<~str, A> {
G
Graydon Hoare 已提交
1552
    fn to_json(&self) -> Json {
1553
        let mut d = TreeMap::new();
D
Daniel Micay 已提交
1554
        for (key, value) in self.iter() {
1555
            d.insert((*key).clone(), value.to_json());
G
Graydon Hoare 已提交
1556 1557 1558 1559 1560
        }
        Object(~d)
    }
}

1561
impl<A:ToJson> ToJson for Option<A> {
B
Ben Striegel 已提交
1562 1563
    fn to_json(&self) -> Json {
        match *self {
B
Ben Striegel 已提交
1564
          None => Null,
1565
          Some(ref value) => value.to_json()
1566 1567 1568 1569
        }
    }
}

1570
impl fmt::Show for Json {
1571
    /// Encodes a json value into a string
1572 1573
    fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
        self.to_writer(f.buf)
1574
    }
1575 1576
}

1577 1578 1579
impl fmt::Show for Error {
    fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
        write!(f.buf, "{}:{}: {}", self.line, self.col, self.msg)
1580 1581 1582
    }
}

1583 1584
#[cfg(test)]
mod tests {
A
Alex Crichton 已提交
1585 1586 1587
    use {Encodable, Decodable};
    use super::{Encoder, Decoder, Error, Boolean, Number, List, String, Null,
                PrettyEncoder, Object, Json, from_str};
A
Alex Crichton 已提交
1588
    use std::io;
1589
    use collections::TreeMap;
1590

1591
    #[deriving(Eq, Encodable, Decodable)]
1592 1593 1594 1595 1596
    enum Animal {
        Dog,
        Frog(~str, int)
    }

1597
    #[deriving(Eq, Encodable, Decodable)]
1598 1599 1600 1601 1602 1603
    struct Inner {
        a: (),
        b: uint,
        c: ~[~str],
    }

1604
    #[deriving(Eq, Encodable, Decodable)]
1605 1606 1607 1608
    struct Outer {
        inner: ~[Inner],
    }

1609
    fn mk_object(items: &[(~str, Json)]) -> Json {
1610
        let mut d = ~TreeMap::new();
1611

D
Daniel Micay 已提交
1612
        for item in items.iter() {
1613
            match *item {
1614
                (ref key, ref value) => { d.insert((*key).clone(), (*value).clone()); },
1615
            }
1616 1617
        };

L
Luqman Aden 已提交
1618
        Object(d)
1619 1620 1621 1622
    }

    #[test]
    fn test_write_null() {
1623 1624
        assert_eq!(Null.to_str(), ~"null");
        assert_eq!(Null.to_pretty_str(), ~"null");
1625 1626
    }

1627

1628
    #[test]
1629
    fn test_write_number() {
D
Daniel Micay 已提交
1630 1631
        assert_eq!(Number(3.0).to_str(), ~"3");
        assert_eq!(Number(3.0).to_pretty_str(), ~"3");
1632

D
Daniel Micay 已提交
1633 1634
        assert_eq!(Number(3.1).to_str(), ~"3.1");
        assert_eq!(Number(3.1).to_pretty_str(), ~"3.1");
1635

D
Daniel Micay 已提交
1636 1637
        assert_eq!(Number(-1.5).to_str(), ~"-1.5");
        assert_eq!(Number(-1.5).to_pretty_str(), ~"-1.5");
1638

D
Daniel Micay 已提交
1639 1640
        assert_eq!(Number(0.5).to_str(), ~"0.5");
        assert_eq!(Number(0.5).to_pretty_str(), ~"0.5");
1641 1642 1643 1644
    }

    #[test]
    fn test_write_str() {
1645 1646
        assert_eq!(String(~"").to_str(), ~"\"\"");
        assert_eq!(String(~"").to_pretty_str(), ~"\"\"");
1647

1648 1649
        assert_eq!(String(~"foo").to_str(), ~"\"foo\"");
        assert_eq!(String(~"foo").to_pretty_str(), ~"\"foo\"");
1650 1651 1652 1653
    }

    #[test]
    fn test_write_bool() {
1654 1655
        assert_eq!(Boolean(true).to_str(), ~"true");
        assert_eq!(Boolean(true).to_pretty_str(), ~"true");
1656

1657 1658
        assert_eq!(Boolean(false).to_str(), ~"false");
        assert_eq!(Boolean(false).to_pretty_str(), ~"false");
1659 1660 1661 1662
    }

    #[test]
    fn test_write_list() {
1663 1664
        assert_eq!(List(~[]).to_str(), ~"[]");
        assert_eq!(List(~[]).to_pretty_str(), ~"[]");
1665

1666
        assert_eq!(List(~[Boolean(true)]).to_str(), ~"[true]");
1667
        assert_eq!(
1668
            List(~[Boolean(true)]).to_pretty_str(),
1669 1670 1671 1672 1673
            ~"\
            [\n  \
                true\n\
            ]"
        );
1674

1675
        let longTestList = List(~[
1676 1677
            Boolean(false),
            Null,
D
Daniel Micay 已提交
1678
            List(~[String(~"foo\nbar"), Number(3.5)])]);
1679 1680 1681

        assert_eq!(longTestList.to_str(),
            ~"[false,null,[\"foo\\nbar\",3.5]]");
1682
        assert_eq!(
1683
            longTestList.to_pretty_str(),
1684 1685 1686 1687 1688 1689 1690 1691 1692 1693 1694 1695
            ~"\
            [\n  \
                false,\n  \
                null,\n  \
                [\n    \
                    \"foo\\nbar\",\n    \
                    3.5\n  \
                ]\n\
            ]"
        );
    }

1696
    #[test]
1697
    fn test_write_object() {
1698 1699
        assert_eq!(mk_object([]).to_str(), ~"{}");
        assert_eq!(mk_object([]).to_pretty_str(), ~"{}");
1700

1701
        assert_eq!(
1702
            mk_object([(~"a", Boolean(true))]).to_str(),
1703 1704
            ~"{\"a\":true}"
        );
1705
        assert_eq!(
1706
            mk_object([(~"a", Boolean(true))]).to_pretty_str(),
1707 1708 1709 1710 1711 1712
            ~"\
            {\n  \
                \"a\": true\n\
            }"
        );

1713
        let complexObj = mk_object([
1714
                (~"b", List(~[
E
Erick Tryzelaar 已提交
1715 1716
                    mk_object([(~"c", String(~"\x0c\r"))]),
                    mk_object([(~"d", String(~""))])
1717
                ]))
1718 1719 1720 1721
            ]);

        assert_eq!(
            complexObj.to_str(),
1722 1723 1724 1725 1726 1727 1728 1729
            ~"{\
                \"b\":[\
                    {\"c\":\"\\f\\r\"},\
                    {\"d\":\"\"}\
                ]\
            }"
        );
        assert_eq!(
1730
            complexObj.to_pretty_str(),
1731 1732 1733 1734 1735 1736 1737 1738 1739 1740 1741 1742
            ~"\
            {\n  \
                \"b\": [\n    \
                    {\n      \
                        \"c\": \"\\f\\r\"\n    \
                    },\n    \
                    {\n      \
                        \"d\": \"\"\n    \
                    }\n  \
                ]\n\
            }"
        );
1743

E
Erick Tryzelaar 已提交
1744
        let a = mk_object([
B
Ben Striegel 已提交
1745
            (~"a", Boolean(true)),
1746
            (~"b", List(~[
E
Erick Tryzelaar 已提交
1747 1748
                mk_object([(~"c", String(~"\x0c\r"))]),
                mk_object([(~"d", String(~""))])
1749
            ]))
G
Graydon Hoare 已提交
1750
        ]);
1751

1752 1753
        // We can't compare the strings directly because the object fields be
        // printed in a different order.
1754 1755
        assert_eq!(a.clone(), from_str(a.to_str()).unwrap());
        assert_eq!(a.clone(), from_str(a.to_pretty_str()).unwrap());
1756 1757
    }

1758
    fn with_str_writer(f: |&mut io::Writer|) -> ~str {
A
Alex Crichton 已提交
1759
        use std::io::MemWriter;
A
Alex Crichton 已提交
1760 1761
        use std::str;

1762 1763
        let mut m = MemWriter::new();
        f(&mut m as &mut io::Writer);
1764
        str::from_utf8_owned(m.unwrap()).unwrap()
A
Alex Crichton 已提交
1765 1766
    }

1767
    #[test]
1768
    fn test_write_enum() {
1769
        let animal = Dog;
1770
        assert_eq!(
1771
            with_str_writer(|wr| {
1772
                let mut encoder = Encoder::new(wr);
1773
                animal.encode(&mut encoder);
1774
            }),
1775 1776 1777
            ~"\"Dog\""
        );
        assert_eq!(
1778
            with_str_writer(|wr| {
1779
                let mut encoder = PrettyEncoder::new(wr);
1780
                animal.encode(&mut encoder);
1781
            }),
1782 1783
            ~"\"Dog\""
        );
1784 1785 1786

        let animal = Frog(~"Henry", 349);
        assert_eq!(
1787
            with_str_writer(|wr| {
1788
                let mut encoder = Encoder::new(wr);
1789
                animal.encode(&mut encoder);
1790
            }),
1791
            ~"{\"variant\":\"Frog\",\"fields\":[\"Henry\",349]}"
1792 1793
        );
        assert_eq!(
1794
            with_str_writer(|wr| {
1795
                let mut encoder = PrettyEncoder::new(wr);
1796
                animal.encode(&mut encoder);
1797
            }),
1798 1799 1800
            ~"\
            [\n  \
                \"Frog\",\n  \
1801 1802
                \"Henry\",\n  \
                349\n\
1803 1804
            ]"
        );
1805 1806 1807
    }

    #[test]
1808 1809
    fn test_write_some() {
        let value = Some(~"jodhpurs");
1810
        let s = with_str_writer(|wr| {
1811
            let mut encoder = Encoder::new(wr);
1812
            value.encode(&mut encoder);
1813
        });
1814
        assert_eq!(s, ~"\"jodhpurs\"");
1815

1816
        let value = Some(~"jodhpurs");
1817
        let s = with_str_writer(|wr| {
1818
            let mut encoder = PrettyEncoder::new(wr);
1819
            value.encode(&mut encoder);
1820
        });
1821 1822 1823
        assert_eq!(s, ~"\"jodhpurs\"");
    }

1824
    #[test]
1825 1826
    fn test_write_none() {
        let value: Option<~str> = None;
1827
        let s = with_str_writer(|wr| {
1828
            let mut encoder = Encoder::new(wr);
1829
            value.encode(&mut encoder);
1830
        });
1831
        assert_eq!(s, ~"null");
J
John Clements 已提交
1832

1833
        let s = with_str_writer(|wr| {
1834
            let mut encoder = Encoder::new(wr);
1835
            value.encode(&mut encoder);
1836
        });
1837 1838 1839
        assert_eq!(s, ~"null");
    }

1840
    #[test]
1841
    fn test_trailing_characters() {
E
Erick Tryzelaar 已提交
1842
        assert_eq!(from_str("nulla"),
E
Erick Tryzelaar 已提交
1843
            Err(Error {line: 1u, col: 5u, msg: ~"trailing characters"}));
E
Erick Tryzelaar 已提交
1844
        assert_eq!(from_str("truea"),
E
Erick Tryzelaar 已提交
1845
            Err(Error {line: 1u, col: 5u, msg: ~"trailing characters"}));
E
Erick Tryzelaar 已提交
1846
        assert_eq!(from_str("falsea"),
E
Erick Tryzelaar 已提交
1847
            Err(Error {line: 1u, col: 6u, msg: ~"trailing characters"}));
E
Erick Tryzelaar 已提交
1848
        assert_eq!(from_str("1a"),
E
Erick Tryzelaar 已提交
1849
            Err(Error {line: 1u, col: 2u, msg: ~"trailing characters"}));
E
Erick Tryzelaar 已提交
1850
        assert_eq!(from_str("[]a"),
E
Erick Tryzelaar 已提交
1851
            Err(Error {line: 1u, col: 3u, msg: ~"trailing characters"}));
E
Erick Tryzelaar 已提交
1852
        assert_eq!(from_str("{}a"),
E
Erick Tryzelaar 已提交
1853
            Err(Error {line: 1u, col: 3u, msg: ~"trailing characters"}));
1854 1855 1856 1857
    }

    #[test]
    fn test_read_identifiers() {
E
Erick Tryzelaar 已提交
1858
        assert_eq!(from_str("n"),
E
Erick Tryzelaar 已提交
1859
            Err(Error {line: 1u, col: 2u, msg: ~"invalid syntax"}));
E
Erick Tryzelaar 已提交
1860
        assert_eq!(from_str("nul"),
E
Erick Tryzelaar 已提交
1861
            Err(Error {line: 1u, col: 4u, msg: ~"invalid syntax"}));
1862

E
Erick Tryzelaar 已提交
1863
        assert_eq!(from_str("t"),
E
Erick Tryzelaar 已提交
1864
            Err(Error {line: 1u, col: 2u, msg: ~"invalid syntax"}));
E
Erick Tryzelaar 已提交
1865
        assert_eq!(from_str("truz"),
E
Erick Tryzelaar 已提交
1866
            Err(Error {line: 1u, col: 4u, msg: ~"invalid syntax"}));
1867

E
Erick Tryzelaar 已提交
1868
        assert_eq!(from_str("f"),
E
Erick Tryzelaar 已提交
1869
            Err(Error {line: 1u, col: 2u, msg: ~"invalid syntax"}));
E
Erick Tryzelaar 已提交
1870
        assert_eq!(from_str("faz"),
E
Erick Tryzelaar 已提交
1871
            Err(Error {line: 1u, col: 3u, msg: ~"invalid syntax"}));
1872

E
Erick Tryzelaar 已提交
1873 1874 1875 1876 1877 1878
        assert_eq!(from_str("null"), Ok(Null));
        assert_eq!(from_str("true"), Ok(Boolean(true)));
        assert_eq!(from_str("false"), Ok(Boolean(false)));
        assert_eq!(from_str(" null "), Ok(Null));
        assert_eq!(from_str(" true "), Ok(Boolean(true)));
        assert_eq!(from_str(" false "), Ok(Boolean(false)));
1879 1880
    }

1881 1882
    #[test]
    fn test_decode_identifiers() {
1883
        let mut decoder = Decoder::new(from_str("null").unwrap());
1884
        let v: () = Decodable::decode(&mut decoder);
1885 1886
        assert_eq!(v, ());

1887
        let mut decoder = Decoder::new(from_str("true").unwrap());
1888
        let v: bool = Decodable::decode(&mut decoder);
1889 1890
        assert_eq!(v, true);

1891
        let mut decoder = Decoder::new(from_str("false").unwrap());
1892
        let v: bool = Decodable::decode(&mut decoder);
1893 1894 1895
        assert_eq!(v, false);
    }

1896
    #[test]
1897
    fn test_read_number() {
E
Erick Tryzelaar 已提交
1898
        assert_eq!(from_str("+"),
E
Erick Tryzelaar 已提交
1899
            Err(Error {line: 1u, col: 1u, msg: ~"invalid syntax"}));
E
Erick Tryzelaar 已提交
1900
        assert_eq!(from_str("."),
E
Erick Tryzelaar 已提交
1901
            Err(Error {line: 1u, col: 1u, msg: ~"invalid syntax"}));
1902

E
Erick Tryzelaar 已提交
1903
        assert_eq!(from_str("-"),
E
Erick Tryzelaar 已提交
1904
            Err(Error {line: 1u, col: 2u, msg: ~"invalid number"}));
E
Erick Tryzelaar 已提交
1905
        assert_eq!(from_str("00"),
E
Erick Tryzelaar 已提交
1906
            Err(Error {line: 1u, col: 2u, msg: ~"invalid number"}));
E
Erick Tryzelaar 已提交
1907
        assert_eq!(from_str("1."),
E
Erick Tryzelaar 已提交
1908
            Err(Error {line: 1u, col: 3u, msg: ~"invalid number"}));
E
Erick Tryzelaar 已提交
1909
        assert_eq!(from_str("1e"),
E
Erick Tryzelaar 已提交
1910
            Err(Error {line: 1u, col: 3u, msg: ~"invalid number"}));
E
Erick Tryzelaar 已提交
1911
        assert_eq!(from_str("1e+"),
E
Erick Tryzelaar 已提交
1912
            Err(Error {line: 1u, col: 4u, msg: ~"invalid number"}));
1913

D
Daniel Micay 已提交
1914 1915 1916 1917 1918 1919 1920 1921
        assert_eq!(from_str("3"), Ok(Number(3.0)));
        assert_eq!(from_str("3.1"), Ok(Number(3.1)));
        assert_eq!(from_str("-1.2"), Ok(Number(-1.2)));
        assert_eq!(from_str("0.4"), Ok(Number(0.4)));
        assert_eq!(from_str("0.4e5"), Ok(Number(0.4e5)));
        assert_eq!(from_str("0.4e+15"), Ok(Number(0.4e15)));
        assert_eq!(from_str("0.4e-01"), Ok(Number(0.4e-01)));
        assert_eq!(from_str(" 3 "), Ok(Number(3.0)));
1922 1923
    }

1924 1925
    #[test]
    fn test_decode_numbers() {
1926
        let mut decoder = Decoder::new(from_str("3").unwrap());
D
Daniel Micay 已提交
1927 1928
        let v: f64 = Decodable::decode(&mut decoder);
        assert_eq!(v, 3.0);
1929

1930
        let mut decoder = Decoder::new(from_str("3.1").unwrap());
D
Daniel Micay 已提交
1931 1932
        let v: f64 = Decodable::decode(&mut decoder);
        assert_eq!(v, 3.1);
1933

1934
        let mut decoder = Decoder::new(from_str("-1.2").unwrap());
D
Daniel Micay 已提交
1935 1936
        let v: f64 = Decodable::decode(&mut decoder);
        assert_eq!(v, -1.2);
1937

1938
        let mut decoder = Decoder::new(from_str("0.4").unwrap());
D
Daniel Micay 已提交
1939 1940
        let v: f64 = Decodable::decode(&mut decoder);
        assert_eq!(v, 0.4);
1941

1942
        let mut decoder = Decoder::new(from_str("0.4e5").unwrap());
D
Daniel Micay 已提交
1943 1944
        let v: f64 = Decodable::decode(&mut decoder);
        assert_eq!(v, 0.4e5);
1945

1946
        let mut decoder = Decoder::new(from_str("0.4e15").unwrap());
D
Daniel Micay 已提交
1947 1948
        let v: f64 = Decodable::decode(&mut decoder);
        assert_eq!(v, 0.4e15);
1949

1950
        let mut decoder = Decoder::new(from_str("0.4e-01").unwrap());
D
Daniel Micay 已提交
1951 1952
        let v: f64 = Decodable::decode(&mut decoder);
        assert_eq!(v, 0.4e-01);
1953 1954
    }

G
Gary Linscott 已提交
1955
    #[test]
1956
    fn test_read_str() {
E
Erick Tryzelaar 已提交
1957
        assert_eq!(from_str("\""),
E
Erick Tryzelaar 已提交
1958
            Err(Error {line: 1u, col: 2u, msg: ~"EOF while parsing string"
1959
        }));
E
Erick Tryzelaar 已提交
1960
        assert_eq!(from_str("\"lol"),
E
Erick Tryzelaar 已提交
1961
            Err(Error {line: 1u, col: 5u, msg: ~"EOF while parsing string"
1962 1963
        }));

E
Erick Tryzelaar 已提交
1964 1965 1966 1967 1968 1969 1970 1971 1972 1973
        assert_eq!(from_str("\"\""), Ok(String(~"")));
        assert_eq!(from_str("\"foo\""), Ok(String(~"foo")));
        assert_eq!(from_str("\"\\\"\""), Ok(String(~"\"")));
        assert_eq!(from_str("\"\\b\""), Ok(String(~"\x08")));
        assert_eq!(from_str("\"\\n\""), Ok(String(~"\n")));
        assert_eq!(from_str("\"\\r\""), Ok(String(~"\r")));
        assert_eq!(from_str("\"\\t\""), Ok(String(~"\t")));
        assert_eq!(from_str(" \"foo\" "), Ok(String(~"foo")));
        assert_eq!(from_str("\"\\u12ab\""), Ok(String(~"\u12ab")));
        assert_eq!(from_str("\"\\uAB12\""), Ok(String(~"\uAB12")));
1974 1975
    }

1976
    #[test]
1977
    fn test_decode_str() {
1978
        let mut decoder = Decoder::new(from_str("\"\"").unwrap());
1979
        let v: ~str = Decodable::decode(&mut decoder);
1980 1981
        assert_eq!(v, ~"");

1982
        let mut decoder = Decoder::new(from_str("\"foo\"").unwrap());
1983
        let v: ~str = Decodable::decode(&mut decoder);
1984 1985
        assert_eq!(v, ~"foo");

1986
        let mut decoder = Decoder::new(from_str("\"\\\"\"").unwrap());
1987
        let v: ~str = Decodable::decode(&mut decoder);
1988 1989
        assert_eq!(v, ~"\"");

1990
        let mut decoder = Decoder::new(from_str("\"\\b\"").unwrap());
1991
        let v: ~str = Decodable::decode(&mut decoder);
1992 1993
        assert_eq!(v, ~"\x08");

1994
        let mut decoder = Decoder::new(from_str("\"\\n\"").unwrap());
1995
        let v: ~str = Decodable::decode(&mut decoder);
1996 1997
        assert_eq!(v, ~"\n");

1998
        let mut decoder = Decoder::new(from_str("\"\\r\"").unwrap());
1999
        let v: ~str = Decodable::decode(&mut decoder);
2000 2001
        assert_eq!(v, ~"\r");

2002
        let mut decoder = Decoder::new(from_str("\"\\t\"").unwrap());
2003
        let v: ~str = Decodable::decode(&mut decoder);
2004 2005
        assert_eq!(v, ~"\t");

2006
        let mut decoder = Decoder::new(from_str("\"\\u12ab\"").unwrap());
2007
        let v: ~str = Decodable::decode(&mut decoder);
2008 2009
        assert_eq!(v, ~"\u12ab");

2010
        let mut decoder = Decoder::new(from_str("\"\\uAB12\"").unwrap());
2011
        let v: ~str = Decodable::decode(&mut decoder);
2012
        assert_eq!(v, ~"\uAB12");
2013 2014
    }

2015
    #[test]
2016
    fn test_read_list() {
E
Erick Tryzelaar 已提交
2017
        assert_eq!(from_str("["),
E
Erick Tryzelaar 已提交
2018
            Err(Error {line: 1u, col: 2u, msg: ~"EOF while parsing value"}));
E
Erick Tryzelaar 已提交
2019
        assert_eq!(from_str("[1"),
E
Erick Tryzelaar 已提交
2020
            Err(Error {line: 1u, col: 3u, msg: ~"EOF while parsing list"}));
E
Erick Tryzelaar 已提交
2021
        assert_eq!(from_str("[1,"),
E
Erick Tryzelaar 已提交
2022
            Err(Error {line: 1u, col: 4u, msg: ~"EOF while parsing value"}));
E
Erick Tryzelaar 已提交
2023
        assert_eq!(from_str("[1,]"),
E
Erick Tryzelaar 已提交
2024
            Err(Error {line: 1u, col: 4u, msg: ~"invalid syntax"}));
E
Erick Tryzelaar 已提交
2025
        assert_eq!(from_str("[6 7]"),
E
Erick Tryzelaar 已提交
2026
            Err(Error {line: 1u, col: 4u, msg: ~"expected `,` or `]`"}));
2027

E
Erick Tryzelaar 已提交
2028 2029 2030 2031 2032 2033
        assert_eq!(from_str("[]"), Ok(List(~[])));
        assert_eq!(from_str("[ ]"), Ok(List(~[])));
        assert_eq!(from_str("[true]"), Ok(List(~[Boolean(true)])));
        assert_eq!(from_str("[ false ]"), Ok(List(~[Boolean(false)])));
        assert_eq!(from_str("[null]"), Ok(List(~[Null])));
        assert_eq!(from_str("[3, 1]"),
D
Daniel Micay 已提交
2034
                     Ok(List(~[Number(3.0), Number(1.0)])));
E
Erick Tryzelaar 已提交
2035
        assert_eq!(from_str("\n[3, 2]\n"),
D
Daniel Micay 已提交
2036
                     Ok(List(~[Number(3.0), Number(2.0)])));
E
Erick Tryzelaar 已提交
2037
        assert_eq!(from_str("[2, [4, 1]]"),
D
Daniel Micay 已提交
2038
               Ok(List(~[Number(2.0), List(~[Number(4.0), Number(1.0)])])));
2039 2040
    }

2041 2042
    #[test]
    fn test_decode_list() {
2043
        let mut decoder = Decoder::new(from_str("[]").unwrap());
2044
        let v: ~[()] = Decodable::decode(&mut decoder);
2045 2046
        assert_eq!(v, ~[]);

2047
        let mut decoder = Decoder::new(from_str("[null]").unwrap());
2048
        let v: ~[()] = Decodable::decode(&mut decoder);
2049 2050
        assert_eq!(v, ~[()]);

2051
        let mut decoder = Decoder::new(from_str("[true]").unwrap());
2052
        let v: ~[bool] = Decodable::decode(&mut decoder);
2053 2054
        assert_eq!(v, ~[true]);

2055
        let mut decoder = Decoder::new(from_str("[true]").unwrap());
2056
        let v: ~[bool] = Decodable::decode(&mut decoder);
2057 2058
        assert_eq!(v, ~[true]);

2059
        let mut decoder = Decoder::new(from_str("[3, 1]").unwrap());
2060
        let v: ~[int] = Decodable::decode(&mut decoder);
2061 2062
        assert_eq!(v, ~[3, 1]);

2063
        let mut decoder = Decoder::new(from_str("[[3], [1, 2]]").unwrap());
2064
        let v: ~[~[uint]] = Decodable::decode(&mut decoder);
2065 2066 2067
        assert_eq!(v, ~[~[3], ~[1, 2]]);
    }

2068
    #[test]
2069
    fn test_read_object() {
E
Erick Tryzelaar 已提交
2070
        assert_eq!(from_str("{"),
2071 2072 2073
            Err(Error {
                line: 1u,
                col: 2u,
E
Erick Tryzelaar 已提交
2074
                msg: ~"EOF while parsing object"}));
E
Erick Tryzelaar 已提交
2075
        assert_eq!(from_str("{ "),
2076 2077 2078
            Err(Error {
                line: 1u,
                col: 3u,
E
Erick Tryzelaar 已提交
2079
                msg: ~"EOF while parsing object"}));
E
Erick Tryzelaar 已提交
2080
        assert_eq!(from_str("{1"),
2081 2082 2083
            Err(Error {
                line: 1u,
                col: 2u,
E
Erick Tryzelaar 已提交
2084
                msg: ~"key must be a string"}));
E
Erick Tryzelaar 已提交
2085
        assert_eq!(from_str("{ \"a\""),
2086 2087 2088
            Err(Error {
                line: 1u,
                col: 6u,
E
Erick Tryzelaar 已提交
2089
                msg: ~"EOF while parsing object"}));
E
Erick Tryzelaar 已提交
2090
        assert_eq!(from_str("{\"a\""),
2091 2092 2093
            Err(Error {
                line: 1u,
                col: 5u,
E
Erick Tryzelaar 已提交
2094
                msg: ~"EOF while parsing object"}));
E
Erick Tryzelaar 已提交
2095
        assert_eq!(from_str("{\"a\" "),
2096 2097 2098
            Err(Error {
                line: 1u,
                col: 6u,
E
Erick Tryzelaar 已提交
2099
                msg: ~"EOF while parsing object"}));
2100

E
Erick Tryzelaar 已提交
2101
        assert_eq!(from_str("{\"a\" 1"),
E
Erick Tryzelaar 已提交
2102
            Err(Error {line: 1u, col: 6u, msg: ~"expected `:`"}));
E
Erick Tryzelaar 已提交
2103
        assert_eq!(from_str("{\"a\":"),
E
Erick Tryzelaar 已提交
2104
            Err(Error {line: 1u, col: 6u, msg: ~"EOF while parsing value"}));
E
Erick Tryzelaar 已提交
2105
        assert_eq!(from_str("{\"a\":1"),
2106 2107 2108
            Err(Error {
                line: 1u,
                col: 7u,
E
Erick Tryzelaar 已提交
2109
                msg: ~"EOF while parsing object"}));
E
Erick Tryzelaar 已提交
2110
        assert_eq!(from_str("{\"a\":1 1"),
E
Erick Tryzelaar 已提交
2111
            Err(Error {line: 1u, col: 8u, msg: ~"expected `,` or `}`"}));
E
Erick Tryzelaar 已提交
2112
        assert_eq!(from_str("{\"a\":1,"),
2113 2114 2115
            Err(Error {
                line: 1u,
                col: 8u,
E
Erick Tryzelaar 已提交
2116
                msg: ~"EOF while parsing object"}));
2117

E
Erick Tryzelaar 已提交
2118 2119
        assert_eq!(from_str("{}").unwrap(), mk_object([]));
        assert_eq!(from_str("{\"a\": 3}").unwrap(),
D
Daniel Micay 已提交
2120
                  mk_object([(~"a", Number(3.0))]));
2121

E
Erick Tryzelaar 已提交
2122 2123
        assert_eq!(from_str(
                      "{ \"a\": null, \"b\" : true }").unwrap(),
E
Erick Tryzelaar 已提交
2124
                  mk_object([
B
Ben Striegel 已提交
2125
                      (~"a", Null),
2126
                      (~"b", Boolean(true))]));
E
Erick Tryzelaar 已提交
2127
        assert_eq!(from_str("\n{ \"a\": null, \"b\" : true }\n").unwrap(),
E
Erick Tryzelaar 已提交
2128
                  mk_object([
B
Ben Striegel 已提交
2129
                      (~"a", Null),
2130
                      (~"b", Boolean(true))]));
E
Erick Tryzelaar 已提交
2131 2132
        assert_eq!(from_str(
                      "{\"a\" : 1.0 ,\"b\": [ true ]}").unwrap(),
E
Erick Tryzelaar 已提交
2133
                  mk_object([
2134 2135
                      (~"a", Number(1.0)),
                      (~"b", List(~[Boolean(true)]))
2136
                  ]));
E
Erick Tryzelaar 已提交
2137
        assert_eq!(from_str(
2138
                      ~"{" +
2139 2140 2141 2142 2143 2144
                          "\"a\": 1.0, " +
                          "\"b\": [" +
                              "true," +
                              "\"foo\\nbar\", " +
                              "{ \"c\": {\"d\": null} } " +
                          "]" +
E
Erick Tryzelaar 已提交
2145
                      "}").unwrap(),
E
Erick Tryzelaar 已提交
2146
                  mk_object([
D
Daniel Micay 已提交
2147
                      (~"a", Number(1.0)),
2148
                      (~"b", List(~[
B
Ben Striegel 已提交
2149
                          Boolean(true),
2150
                          String(~"foo\nbar"),
E
Erick Tryzelaar 已提交
2151 2152
                          mk_object([
                              (~"c", mk_object([(~"d", Null)]))
2153 2154
                          ])
                      ]))
2155
                  ]));
2156 2157
    }

2158
    #[test]
2159 2160 2161 2162 2163 2164
    fn test_decode_struct() {
        let s = ~"{
            \"inner\": [
                { \"a\": null, \"b\": 2, \"c\": [\"abc\", \"xyz\"] }
            ]
        }";
2165
        let mut decoder = Decoder::new(from_str(s).unwrap());
2166
        let v: Outer = Decodable::decode(&mut decoder);
2167 2168 2169 2170 2171 2172 2173 2174 2175 2176 2177 2178
        assert_eq!(
            v,
            Outer {
                inner: ~[
                    Inner { a: (), b: 2, c: ~[~"abc", ~"xyz"] }
                ]
            }
        );
    }

    #[test]
    fn test_decode_option() {
2179
        let mut decoder = Decoder::new(from_str("null").unwrap());
2180
        let value: Option<~str> = Decodable::decode(&mut decoder);
2181 2182
        assert_eq!(value, None);

2183
        let mut decoder = Decoder::new(from_str("\"jodhpurs\"").unwrap());
2184
        let value: Option<~str> = Decodable::decode(&mut decoder);
2185 2186 2187
        assert_eq!(value, Some(~"jodhpurs"));
    }

2188
    #[test]
2189
    fn test_decode_enum() {
2190
        let mut decoder = Decoder::new(from_str("\"Dog\"").unwrap());
2191
        let value: Animal = Decodable::decode(&mut decoder);
2192 2193
        assert_eq!(value, Dog);

2194
        let s = "{\"variant\":\"Frog\",\"fields\":[\"Henry\",349]}";
2195
        let mut decoder = Decoder::new(from_str(s).unwrap());
2196
        let value: Animal = Decodable::decode(&mut decoder);
2197 2198 2199
        assert_eq!(value, Frog(~"Henry", 349));
    }

2200
    #[test]
2201
    fn test_decode_map() {
2202
        let s = ~"{\"a\": \"Dog\", \"b\": {\"variant\":\"Frog\",\"fields\":[\"Henry\", 349]}}";
2203
        let mut decoder = Decoder::new(from_str(s).unwrap());
2204
        let mut map: TreeMap<~str, Animal> = Decodable::decode(&mut decoder);
2205

2206 2207
        assert_eq!(map.pop(&~"a"), Some(Dog));
        assert_eq!(map.pop(&~"b"), Some(Frog(~"Henry", 349)));
2208 2209
    }

2210
    #[test]
2211
    fn test_multiline_errors() {
E
Erick Tryzelaar 已提交
2212
        assert_eq!(from_str("{\n  \"foo\":\n \"bar\""),
2213 2214 2215
            Err(Error {
                line: 3u,
                col: 8u,
E
Erick Tryzelaar 已提交
2216
                msg: ~"EOF while parsing object"}));
2217
    }
2218 2219 2220 2221 2222 2223 2224 2225 2226 2227 2228 2229 2230 2231 2232

    #[deriving(Decodable)]
    struct DecodeStruct {
        x: f64,
        y: bool,
        z: ~str,
        w: ~[DecodeStruct]
    }
    #[deriving(Decodable)]
    enum DecodeEnum {
        A(f64),
        B(~str)
    }
    fn check_err<T: Decodable<Decoder>>(to_parse: &'static str, expected_error: &str) {
        use std::task;
2233
        let res = task::try(proc() {
2234 2235 2236 2237 2238 2239
            // either fails in `decode` (which is what we want), or
            // returns Some(error_message)/None if the string was
            // invalid or valid JSON.
            match from_str(to_parse) {
                Err(e) => Some(e.to_str()),
                Ok(json) => {
2240
                    let _: T = Decodable::decode(&mut Decoder::new(json));
2241 2242 2243
                    None
                }
            }
2244
        });
2245 2246 2247 2248 2249 2250 2251 2252 2253 2254 2255 2256 2257 2258 2259 2260 2261 2262 2263 2264 2265 2266 2267 2268 2269 2270 2271 2272 2273 2274 2275 2276 2277 2278 2279 2280 2281 2282 2283 2284
        match res {
            Ok(Some(parse_error)) => fail!("`{}` is not valid json: {}",
                                           to_parse, parse_error),
            Ok(None) => fail!("`{}` parsed & decoded ok, expecting error `{}`",
                              to_parse, expected_error),
            Err(e) => {
                let err = e.as_ref::<~str>().unwrap();
                assert!(err.contains(expected_error),
                        "`{}` errored incorrectly, found `{}` expecting `{}`",
                        to_parse, *err, expected_error);
            }
        }
    }
    #[test]
    fn test_decode_errors_struct() {
        check_err::<DecodeStruct>("[]", "object but found list");
        check_err::<DecodeStruct>("{\"x\": true, \"y\": true, \"z\": \"\", \"w\": []}",
                                  "number but found boolean");
        check_err::<DecodeStruct>("{\"x\": 1, \"y\": [], \"z\": \"\", \"w\": []}",
                                  "boolean but found list");
        check_err::<DecodeStruct>("{\"x\": 1, \"y\": true, \"z\": {}, \"w\": []}",
                                  "string but found object");
        check_err::<DecodeStruct>("{\"x\": 1, \"y\": true, \"z\": \"\", \"w\": null}",
                                  "list but found null");
        check_err::<DecodeStruct>("{\"x\": 1, \"y\": true, \"z\": \"\"}",
                                  "'w' field in object");
    }
    #[test]
    fn test_decode_errors_enum() {
        check_err::<DecodeEnum>("{}",
                                "'variant' field in object");
        check_err::<DecodeEnum>("{\"variant\": 1}",
                                "string but found number");
        check_err::<DecodeEnum>("{\"variant\": \"A\"}",
                                "'fields' field in object");
        check_err::<DecodeEnum>("{\"variant\": \"A\", \"fields\": null}",
                                "list but found null");
        check_err::<DecodeEnum>("{\"variant\": \"C\", \"fields\": []}",
                                "unknown variant name");
    }
2285
}