1 // Copyright 2012 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution and at
3 // http://rust-lang.org/COPYRIGHT.
5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8 // option. This file may not be copied, modified, or distributed
9 // except according to those terms.
11 //! Support code for encoding and decoding types.
14 Core encoding and decoding interfaces.
17 #[forbid(deprecated_mode)];
18 #[forbid(non_camel_case_types)];
27 fn emit_uint(&self, v: uint);
28 fn emit_u64(&self, v: u64);
29 fn emit_u32(&self, v: u32);
30 fn emit_u16(&self, v: u16);
31 fn emit_u8(&self, v: u8);
32 fn emit_int(&self, v: int);
33 fn emit_i64(&self, v: i64);
34 fn emit_i32(&self, v: i32);
35 fn emit_i16(&self, v: i16);
36 fn emit_i8(&self, v: i8);
37 fn emit_bool(&self, v: bool);
38 fn emit_float(&self, v: float);
39 fn emit_f64(&self, v: f64);
40 fn emit_f32(&self, v: f32);
41 fn emit_char(&self, v: char);
42 fn emit_borrowed_str(&self, v: &str);
43 fn emit_owned_str(&self, v: &str);
44 fn emit_managed_str(&self, v: &str);
47 fn emit_borrowed(&self, f: fn());
48 fn emit_owned(&self, f: fn());
49 fn emit_managed(&self, f: fn());
51 fn emit_enum(&self, name: &str, f: fn());
52 fn emit_enum_variant(&self, v_name: &str, v_id: uint, sz: uint, f: fn());
53 fn emit_enum_variant_arg(&self, idx: uint, f: fn());
55 fn emit_borrowed_vec(&self, len: uint, f: fn());
56 fn emit_owned_vec(&self, len: uint, f: fn());
57 fn emit_managed_vec(&self, len: uint, f: fn());
58 fn emit_vec_elt(&self, idx: uint, f: fn());
60 fn emit_rec(&self, f: fn());
61 fn emit_struct(&self, name: &str, _len: uint, f: fn());
62 fn emit_field(&self, f_name: &str, f_idx: uint, f: fn());
64 fn emit_tup(&self, len: uint, f: fn());
65 fn emit_tup_elt(&self, idx: uint, f: fn());
70 fn read_nil(&self) -> ();
71 fn read_uint(&self) -> uint;
72 fn read_u64(&self) -> u64;
73 fn read_u32(&self) -> u32;
74 fn read_u16(&self) -> u16;
75 fn read_u8(&self) -> u8;
76 fn read_int(&self) -> int;
77 fn read_i64(&self) -> i64;
78 fn read_i32(&self) -> i32;
79 fn read_i16(&self) -> i16;
80 fn read_i8(&self) -> i8;
81 fn read_bool(&self) -> bool;
82 fn read_f64(&self) -> f64;
83 fn read_f32(&self) -> f32;
84 fn read_float(&self) -> float;
85 fn read_char(&self) -> char;
86 fn read_owned_str(&self) -> ~str;
87 fn read_managed_str(&self) -> @str;
90 fn read_enum<T>(&self, name: &str, f: fn() -> T) -> T;
91 fn read_enum_variant<T>(&self, f: fn(uint) -> T) -> T;
92 fn read_enum_variant_arg<T>(&self, idx: uint, f: fn() -> T) -> T;
94 fn read_owned<T>(&self, f: fn() -> T) -> T;
95 fn read_managed<T>(&self, f: fn() -> T) -> T;
97 fn read_owned_vec<T>(&self, f: fn(uint) -> T) -> T;
98 fn read_managed_vec<T>(&self, f: fn(uint) -> T) -> T;
99 fn read_vec_elt<T>(&self, idx: uint, f: fn() -> T) -> T;
101 fn read_rec<T>(&self, f: fn() -> T) -> T;
102 fn read_struct<T>(&self, name: &str, _len: uint, f: fn() -> T) -> T;
103 fn read_field<T>(&self, name: &str, idx: uint, f: fn() -> T) -> T;
105 fn read_tup<T>(&self, sz: uint, f: fn() -> T) -> T;
106 fn read_tup_elt<T>(&self, idx: uint, f: fn() -> T) -> T;
109 pub trait Encodable<S: Encoder> {
110 fn encode(&self, s: &S);
113 pub trait Decodable<D: Decoder> {
114 static fn decode(&self, d: &D) -> self;
117 pub impl<S: Encoder> uint: Encodable<S> {
118 fn encode(&self, s: &S) { s.emit_uint(*self) }
121 pub impl<D: Decoder> uint: Decodable<D> {
122 static fn decode(&self, d: &D) -> uint {
127 pub impl<S: Encoder> u8: Encodable<S> {
128 fn encode(&self, s: &S) { s.emit_u8(*self) }
131 pub impl<D: Decoder> u8: Decodable<D> {
132 static fn decode(&self, d: &D) -> u8 {
137 pub impl<S: Encoder> u16: Encodable<S> {
138 fn encode(&self, s: &S) { s.emit_u16(*self) }
141 pub impl<D: Decoder> u16: Decodable<D> {
142 static fn decode(&self, d: &D) -> u16 {
147 pub impl<S: Encoder> u32: Encodable<S> {
148 fn encode(&self, s: &S) { s.emit_u32(*self) }
151 pub impl<D: Decoder> u32: Decodable<D> {
152 static fn decode(&self, d: &D) -> u32 {
157 pub impl<S: Encoder> u64: Encodable<S> {
158 fn encode(&self, s: &S) { s.emit_u64(*self) }
161 pub impl<D: Decoder> u64: Decodable<D> {
162 static fn decode(&self, d: &D) -> u64 {
167 pub impl<S: Encoder> int: Encodable<S> {
168 fn encode(&self, s: &S) { s.emit_int(*self) }
171 pub impl<D: Decoder> int: Decodable<D> {
172 static fn decode(&self, d: &D) -> int {
177 pub impl<S: Encoder> i8: Encodable<S> {
178 fn encode(&self, s: &S) { s.emit_i8(*self) }
181 pub impl<D: Decoder> i8: Decodable<D> {
182 static fn decode(&self, d: &D) -> i8 {
187 pub impl<S: Encoder> i16: Encodable<S> {
188 fn encode(&self, s: &S) { s.emit_i16(*self) }
191 pub impl<D: Decoder> i16: Decodable<D> {
192 static fn decode(&self, d: &D) -> i16 {
197 pub impl<S: Encoder> i32: Encodable<S> {
198 fn encode(&self, s: &S) { s.emit_i32(*self) }
201 pub impl<D: Decoder> i32: Decodable<D> {
202 static fn decode(&self, d: &D) -> i32 {
207 pub impl<S: Encoder> i64: Encodable<S> {
208 fn encode(&self, s: &S) { s.emit_i64(*self) }
211 pub impl<D: Decoder> i64: Decodable<D> {
212 static fn decode(&self, d: &D) -> i64 {
217 pub impl<S: Encoder> &str: Encodable<S> {
218 fn encode(&self, s: &S) { s.emit_borrowed_str(*self) }
221 pub impl<S: Encoder> ~str: Encodable<S> {
222 fn encode(&self, s: &S) { s.emit_owned_str(*self) }
225 pub impl<D: Decoder> ~str: Decodable<D> {
226 static fn decode(&self, d: &D) -> ~str {
231 pub impl<S: Encoder> @str: Encodable<S> {
232 fn encode(&self, s: &S) { s.emit_managed_str(*self) }
235 pub impl<D: Decoder> @str: Decodable<D> {
236 static fn decode(&self, d: &D) -> @str {
241 pub impl<S: Encoder> float: Encodable<S> {
242 fn encode(&self, s: &S) { s.emit_float(*self) }
245 pub impl<D: Decoder> float: Decodable<D> {
246 static fn decode(&self, d: &D) -> float {
251 pub impl<S: Encoder> f32: Encodable<S> {
252 fn encode(&self, s: &S) { s.emit_f32(*self) }
255 pub impl<D: Decoder> f32: Decodable<D> {
256 static fn decode(&self, d: &D) -> f32 {
260 pub impl<S: Encoder> f64: Encodable<S> {
261 fn encode(&self, s: &S) { s.emit_f64(*self) }
264 pub impl<D: Decoder> f64: Decodable<D> {
265 static fn decode(&self, d: &D) -> f64 {
270 pub impl<S: Encoder> bool: Encodable<S> {
271 fn encode(&self, s: &S) { s.emit_bool(*self) }
274 pub impl<D: Decoder> bool: Decodable<D> {
275 static fn decode(&self, d: &D) -> bool {
280 pub impl<S: Encoder> (): Encodable<S> {
281 fn encode(&self, s: &S) { s.emit_nil() }
284 pub impl<D: Decoder> (): Decodable<D> {
285 static fn decode(&self, d: &D) -> () {
290 pub impl<S: Encoder, T: Encodable<S>> &T: Encodable<S> {
291 fn encode(&self, s: &S) {
292 s.emit_borrowed(|| (**self).encode(s))
296 pub impl<S: Encoder, T: Encodable<S>> ~T: Encodable<S> {
297 fn encode(&self, s: &S) {
298 s.emit_owned(|| (**self).encode(s))
302 pub impl<D: Decoder, T: Decodable<D>> ~T: Decodable<D> {
303 static fn decode(&self, d: &D) -> ~T {
304 d.read_owned(|| ~Decodable::decode(d))
308 pub impl<S: Encoder, T: Encodable<S>> @T: Encodable<S> {
309 fn encode(&self, s: &S) {
310 s.emit_managed(|| (**self).encode(s))
314 pub impl<D: Decoder, T: Decodable<D>> @T: Decodable<D> {
315 static fn decode(&self, d: &D) -> @T {
316 d.read_managed(|| @Decodable::decode(d))
320 pub impl<S: Encoder, T: Encodable<S>> &[T]: Encodable<S> {
321 fn encode(&self, s: &S) {
322 do s.emit_borrowed_vec(self.len()) {
323 for self.eachi |i, e| {
324 s.emit_vec_elt(i, || e.encode(s))
330 pub impl<S: Encoder, T: Encodable<S>> ~[T]: Encodable<S> {
331 fn encode(&self, s: &S) {
332 do s.emit_owned_vec(self.len()) {
333 for self.eachi |i, e| {
334 s.emit_vec_elt(i, || e.encode(s))
340 pub impl<D: Decoder, T: Decodable<D>> ~[T]: Decodable<D> {
341 static fn decode(&self, d: &D) -> ~[T] {
342 do d.read_owned_vec |len| {
343 do vec::from_fn(len) |i| {
344 d.read_vec_elt(i, || Decodable::decode(d))
350 pub impl<S: Encoder, T: Encodable<S>> @[T]: Encodable<S> {
351 fn encode(&self, s: &S) {
352 do s.emit_managed_vec(self.len()) {
353 for self.eachi |i, e| {
354 s.emit_vec_elt(i, || e.encode(s))
360 pub impl<D: Decoder, T: Decodable<D>> @[T]: Decodable<D> {
361 static fn decode(&self, d: &D) -> @[T] {
362 do d.read_managed_vec |len| {
363 do at_vec::from_fn(len) |i| {
364 d.read_vec_elt(i, || Decodable::decode(d))
370 pub impl<S: Encoder, T: Encodable<S>> Option<T>: Encodable<S> {
371 fn encode(&self, s: &S) {
372 do s.emit_enum(~"option") {
374 None => do s.emit_enum_variant(~"none", 0u, 0u) {
377 Some(ref v) => do s.emit_enum_variant(~"some", 1u, 1u) {
378 s.emit_enum_variant_arg(0u, || v.encode(s))
385 pub impl<D: Decoder, T: Decodable<D>> Option<T>: Decodable<D> {
386 static fn decode(&self, d: &D) -> Option<T> {
387 do d.read_enum(~"option") {
388 do d.read_enum_variant |i| {
391 1 => Some(d.read_enum_variant_arg(
392 0u, || Decodable::decode(d))),
393 _ => fail(fmt!("Bad variant for option: %u", i))
404 > (T0, T1): Encodable<S> {
405 fn encode(&self, s: &S) {
407 (ref t0, ref t1) => {
409 s.emit_tup_elt(0, || t0.encode(s));
410 s.emit_tup_elt(1, || t1.encode(s));
421 > (T0, T1): Decodable<D> {
422 static fn decode(&self, d: &D) -> (T0, T1) {
425 d.read_tup_elt(0, || Decodable::decode(d)),
426 d.read_tup_elt(1, || Decodable::decode(d))
437 > (T0, T1, T2): Encodable<S> {
438 fn encode(&self, s: &S) {
440 (ref t0, ref t1, ref t2) => {
442 s.emit_tup_elt(0, || t0.encode(s));
443 s.emit_tup_elt(1, || t1.encode(s));
444 s.emit_tup_elt(2, || t2.encode(s));
456 > (T0, T1, T2): Decodable<D> {
457 static fn decode(&self, d: &D) -> (T0, T1, T2) {
460 d.read_tup_elt(0, || Decodable::decode(d)),
461 d.read_tup_elt(1, || Decodable::decode(d)),
462 d.read_tup_elt(2, || Decodable::decode(d))
474 > (T0, T1, T2, T3): Encodable<S> {
475 fn encode(&self, s: &S) {
477 (ref t0, ref t1, ref t2, ref t3) => {
479 s.emit_tup_elt(0, || t0.encode(s));
480 s.emit_tup_elt(1, || t1.encode(s));
481 s.emit_tup_elt(2, || t2.encode(s));
482 s.emit_tup_elt(3, || t3.encode(s));
495 > (T0, T1, T2, T3): Decodable<D> {
496 static fn decode(&self, d: &D) -> (T0, T1, T2, T3) {
499 d.read_tup_elt(0, || Decodable::decode(d)),
500 d.read_tup_elt(1, || Decodable::decode(d)),
501 d.read_tup_elt(2, || Decodable::decode(d)),
502 d.read_tup_elt(3, || Decodable::decode(d))
515 > (T0, T1, T2, T3, T4): Encodable<S> {
516 fn encode(&self, s: &S) {
518 (ref t0, ref t1, ref t2, ref t3, ref t4) => {
520 s.emit_tup_elt(0, || t0.encode(s));
521 s.emit_tup_elt(1, || t1.encode(s));
522 s.emit_tup_elt(2, || t2.encode(s));
523 s.emit_tup_elt(3, || t3.encode(s));
524 s.emit_tup_elt(4, || t4.encode(s));
538 > (T0, T1, T2, T3, T4): Decodable<D> {
539 static fn decode(&self, d: &D)
540 -> (T0, T1, T2, T3, T4) {
543 d.read_tup_elt(0, || Decodable::decode(d)),
544 d.read_tup_elt(1, || Decodable::decode(d)),
545 d.read_tup_elt(2, || Decodable::decode(d)),
546 d.read_tup_elt(3, || Decodable::decode(d)),
547 d.read_tup_elt(4, || Decodable::decode(d))
553 // ___________________________________________________________________________
556 // In some cases, these should eventually be coded as traits.
558 pub trait EncoderHelpers {
559 fn emit_from_vec<T>(&self, v: ~[T], f: fn(v: &T));
562 pub impl<S: Encoder> S: EncoderHelpers {
563 fn emit_from_vec<T>(&self, v: ~[T], f: fn(v: &T)) {
564 do self.emit_owned_vec(v.len()) {
566 do self.emit_vec_elt(i) {
574 pub trait DecoderHelpers {
575 fn read_to_vec<T>(&self, f: fn() -> T) -> ~[T];
578 pub impl<D: Decoder> D: DecoderHelpers {
579 fn read_to_vec<T>(&self, f: fn() -> T) -> ~[T] {
580 do self.read_owned_vec |len| {
581 do vec::from_fn(len) |i| {
582 self.read_vec_elt(i, || f())