json.rs 8.4 KB
Newer Older
E
Elly Jones 已提交
1 2
// Rust JSON serialization library
// Copyright (c) 2011 Google Inc.
E
Elly Jones 已提交
3 4 5

import float;
import map;
6
import core::option;
E
Elly Jones 已提交
7 8 9 10 11
import option::{some, none};
import str;
import vec;

export json;
E
Elly Jones 已提交
12 13
export to_str;
export from_str;
E
Elly Jones 已提交
14

E
Elly Jones 已提交
15 16 17 18 19 20 21 22 23 24 25
export num;
export string;
export boolean;
export list;
export dict;

/*
Tag: json

Represents a json value.
*/
P
Patrick Walton 已提交
26
enum json {
E
Elly Jones 已提交
27
    /* Variant: num */
P
Patrick Walton 已提交
28
    num(float),
E
Elly Jones 已提交
29
    /* Variant: string */
P
Patrick Walton 已提交
30
    string(str),
E
Elly Jones 已提交
31
    /* Variant: boolean */
P
Patrick Walton 已提交
32
    boolean(bool),
E
Elly Jones 已提交
33
    /* Variant: list */
P
Patrick Walton 已提交
34
    list(@[json]),
E
Elly Jones 已提交
35
    /* Variant: dict */
P
Patrick Walton 已提交
36
    dict(map::map<str,json>),
L
Lenny222 已提交
37
    /* Variant: null */
P
Patrick Walton 已提交
38
    null,
E
Elly Jones 已提交
39 40
}

E
Elly Jones 已提交
41 42 43 44 45 46
/*
Function: to_str

Serializes a json value into a string.
*/
fn to_str(j: json) -> str {
E
Elly Jones 已提交
47 48 49 50 51 52 53 54
    alt j {
        num(f) { float::to_str(f, 6u) }
        string(s) { #fmt["\"%s\"", s] } // XXX: escape
        boolean(true) { "true" }
        boolean(false) { "false" }
        list(@js) {
            str::concat(["[",
                    str::connect(
55
                        vec::map::<json,str>(js, { |e| to_str(e) }),
E
Elly Jones 已提交
56 57 58 59 60 61 62
                        ", "),
                    "]"])
        }
        dict(m) {
            let parts = [];
            m.items({ |k, v|
                        vec::grow(parts, 1u,
E
Elly Jones 已提交
63
                                  str::concat(["\"", k, "\": ", to_str(v)])
E
Elly Jones 已提交
64 65 66 67
                        )
            });
            str::concat(["{ ", str::connect(parts, ", "), " }"])
        }
L
Lenny222 已提交
68
        null { "null" }
E
Elly Jones 已提交
69 70 71 72
    }
}

fn rest(s: str) -> str {
73 74
    assert(str::len_chars(s) >= 1u);
    str::slice(s, 1u, str::len_chars(s))
E
Elly Jones 已提交
75 76
}

T
Tim Chevalier 已提交
77
fn from_str_str(s: str) -> (option<json>, str) {
E
Elly Jones 已提交
78
    let pos = 0u;
79
    let len = str::len_bytes(s);
E
Elly Jones 已提交
80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100
    let escape = false;
    let res = "";

    alt str::char_at(s, 0u) {
        '"' { pos = 1u; }
        _ { ret (none, s); }
    }

    while (pos < len) {
        let chr = str::char_range_at(s, pos);
        let c = chr.ch;
        pos = chr.next;
        if (escape) {
            res = res + str::from_char(c);
            escape = false;
            cont;
        }
        if (c == '\\') {
            escape = true;
            cont;
        } else if (c == '"') {
B
Brian Anderson 已提交
101
            ret (some(string(res)),
102
                 str::slice(s, pos, str::len_chars(s)));
E
Elly Jones 已提交
103 104 105 106 107 108 109
        }
        res = res + str::from_char(c);
    }

    ret (none, s);
}

T
Tim Chevalier 已提交
110
fn from_str_list(s: str) -> (option<json>, str) {
E
Elly Jones 已提交
111 112 113 114 115 116 117
    if str::char_at(s, 0u) != '[' { ret (none, s); }
    let s0 = str::trim_left(rest(s));
    let vals = [];
    if str::is_empty(s0) { ret (none, s0); }
    if str::char_at(s0, 0u) == ']' { ret (some(list(@[])), rest(s0)); }
    while str::is_not_empty(s0) {
        s0 = str::trim_left(s0);
E
Elly Jones 已提交
118
        let (next, s1) = from_str_helper(s0);
E
Elly Jones 已提交
119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135
        s0 = s1;
        alt next {
            some(j) { vec::grow(vals, 1u, j); }
            none { ret (none, s0); }
        }
        s0 = str::trim_left(s0);
        if str::is_empty(s0) { ret (none, s0); }
        alt str::char_at(s0, 0u) {
            ',' { }
            ']' { ret (some(list(@vals)), rest(s0)); }
            _ { ret (none, s0); }
        }
        s0 = rest(s0);
    }
    ret (none, s0);
}

T
Tim Chevalier 已提交
136
fn from_str_dict(s: str) -> (option<json>, str) {
E
Elly Jones 已提交
137 138 139 140 141 142 143
    if str::char_at(s, 0u) != '{' { ret (none, s); }
    let s0 = str::trim_left(rest(s));
    let vals = map::new_str_hash::<json>();
    if str::is_empty(s0) { ret (none, s0); }
    if str::char_at(s0, 0u) == '}' { ret (some(dict(vals)), rest(s0)); }
    while str::is_not_empty(s0) {
        s0 = str::trim_left(s0);
E
Elly Jones 已提交
144
        let (next, s1) = from_str_helper(s0);    // key
E
Elly Jones 已提交
145 146 147 148 149 150 151 152 153 154
        let key = "";
        s0 = s1;
        alt next {
            some(string(k)) { key = k; }
            _ { ret (none, s0); }
        }
        s0 = str::trim_left(s0);
        if str::is_empty(s0) { ret (none, s0); }
        if str::char_at(s0, 0u) != ':' { ret (none, s0); }
        s0 = str::trim_left(rest(s0));
E
Elly Jones 已提交
155
        let (next, s1) = from_str_helper(s0);    // value
E
Elly Jones 已提交
156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172
        s0 = s1;
        alt next {
            some(j) { vals.insert(key, j); }
            _ { ret (none, s0); }
        }
        s0 = str::trim_left(s0);
        if str::is_empty(s0) { ret (none, s0); }
        alt str::char_at(s0, 0u) {
            ',' { }
            '}' { ret (some(dict(vals)), rest(s0)); }
            _ { ret (none, s0); }
        }
        s0 = str::trim_left(rest(s0));
    }
    (none, s)
}

T
Tim Chevalier 已提交
173
fn from_str_float(s: str) -> (option<json>, str) {
E
Elly Jones 已提交
174
    let pos = 0u;
175
    let len = str::len_bytes(s);
E
Elly Jones 已提交
176
    let res = 0f;
177
    let neg = 1f;
E
Elly Jones 已提交
178 179 180

    alt str::char_at(s, 0u) {
        '-' {
181
            neg = -1f;
E
Elly Jones 已提交
182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202
            pos = 1u;
        }
        '+' {
            pos = 1u;
        }
        '0' to '9' | '.' { }
        _ { ret (none, s); }
    }

    while (pos < len) {
        let opos = pos;
        let chr = str::char_range_at(s, pos);
        let c = chr.ch;
        pos = chr.next;
        alt c {
            '0' to '9' {
                res = res * 10f;
                res += ((c as int) - ('0' as int)) as float;
            }
            '.' { break; }
            _ { ret (some(num(neg * res)),
203
                     str::slice(s, opos, str::len_chars(s))); }
E
Elly Jones 已提交
204 205 206 207
        }
    }

    if pos == len {
208
        ret (some(num(neg * res)), str::slice(s, pos, str::len_chars(s)));
E
Elly Jones 已提交
209 210
    }

211
    let dec = 1f;
E
Elly Jones 已提交
212 213 214 215 216 217 218
    while (pos < len) {
        let opos = pos;
        let chr = str::char_range_at(s, pos);
        let c = chr.ch;
        pos = chr.next;
        alt c {
            '0' to '9' {
219
                dec /= 10f;
E
Elly Jones 已提交
220 221 222
                res += (((c as int) - ('0' as int)) as float) * dec;
            }
            _ { ret (some(num(neg * res)),
223
                     str::slice(s, opos, str::len_chars(s))); }
E
Elly Jones 已提交
224 225
        }
    }
226
    ret (some(num(neg * res)), str::slice(s, pos, str::len_chars(s)));
E
Elly Jones 已提交
227 228
}

T
Tim Chevalier 已提交
229
fn from_str_bool(s: str) -> (option<json>, str) {
E
Elly Jones 已提交
230
    if (str::starts_with(s, "true")) {
231
        (some(boolean(true)), str::slice(s, 4u, str::len_chars(s)))
E
Elly Jones 已提交
232
    } else if (str::starts_with(s, "false")) {
233
        (some(boolean(false)), str::slice(s, 5u, str::len_chars(s)))
E
Elly Jones 已提交
234 235 236 237 238
    } else {
        (none, s)
    }
}

T
Tim Chevalier 已提交
239
fn from_str_null(s: str) -> (option<json>, str) {
L
Lenny222 已提交
240
    if (str::starts_with(s, "null")) {
241
        (some(null), str::slice(s, 4u, str::len_chars(s)))
L
Lenny222 已提交
242 243 244 245 246
    } else {
        (none, s)
    }
}

T
Tim Chevalier 已提交
247
fn from_str_helper(s: str) -> (option<json>, str) {
E
Elly Jones 已提交
248 249 250 251
    let s = str::trim_left(s);
    if str::is_empty(s) { ret (none, s); }
    let start = str::char_at(s, 0u);
    alt start {
E
Elly Jones 已提交
252 253 254 255 256
        '"' { from_str_str(s) }
        '[' { from_str_list(s) }
        '{' { from_str_dict(s) }
        '0' to '9' | '-' | '+' | '.' { from_str_float(s) }
        't' | 'f' { from_str_bool(s) }
L
Lenny222 已提交
257
        'n' { from_str_null(s) }
E
Elly Jones 已提交
258 259 260 261
        _ { ret (none, s); }
    }
}

E
Elly Jones 已提交
262 263
/*
Function: from_str
E
Elly Jones 已提交
264

E
Elly Jones 已提交
265 266
Deserializes a json value from a string.
*/
T
Tim Chevalier 已提交
267
fn from_str(s: str) -> option<json> {
E
Elly Jones 已提交
268 269
    let (j, _) = from_str_helper(s);
    j
E
Elly Jones 已提交
270
}
271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325

#[cfg(test)]
mod tests {
    #[test]
    fn test_from_str_null() {
        assert(from_str("null") == some(null));
    }

    #[test]
    fn test_from_str_num() {
        assert(from_str("3") == some(num(3f)));
        assert(from_str("3.1") == some(num(3.1f)));
        assert(from_str("-1.2") == some(num(-1.2f)));
        assert(from_str(".4") == some(num(0.4f)));
    }

    #[test]
    fn test_from_str_str() {
        assert(from_str("\"foo\"") == some(string("foo")));
        assert(from_str("\"\\\"\"") == some(string("\"")));
        assert(from_str("\"lol") == none);
    }

    #[test]
    fn test_from_str_bool() {
        assert(from_str("true") == some(boolean(true)));
        assert(from_str("false") == some(boolean(false)));
        assert(from_str("truz") == none);
    }

    #[test]
    fn test_from_str_list() {
        assert(from_str("[]") == some(list(@[])));
        assert(from_str("[true]") == some(list(@[boolean(true)])));
        assert(from_str("[null]") == some(list(@[null])));
        assert(from_str("[3, 1]") == some(list(@[num(3f), num(1f)])));
        assert(from_str("[2, [4, 1]]") ==
               some(list(@[num(2f), list(@[num(4f), num(1f)])])));
        assert(from_str("[2, ]") == none);
        assert(from_str("[5, ") == none);
        assert(from_str("[6 7]") == none);
        assert(from_str("[3") == none);
    }

    #[test]
    fn test_from_str_dict() {
        assert(from_str("{}") != none);
        assert(from_str("{\"a\": 3}") != none);
        assert(from_str("{\"a\": null}") != none);
        assert(from_str("{\"a\": }") == none);
        assert(from_str("{\"a\" }") == none);
        assert(from_str("{\"a\"") == none);
        assert(from_str("{") == none);
    }
}