2012-12-10 22:37:21 -06:00
|
|
|
// Copyright 2012 The Rust Project Developers. See the COPYRIGHT
|
|
|
|
// 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.
|
|
|
|
|
|
|
|
//! Support code for encoding and decoding types.
|
|
|
|
|
|
|
|
/*
|
|
|
|
Core encoding and decoding interfaces.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#[forbid(non_camel_case_types)];
|
|
|
|
|
2013-01-08 21:37:25 -06:00
|
|
|
use core::prelude::*;
|
2013-03-29 19:44:28 -05:00
|
|
|
use core::dlist::DList;
|
|
|
|
use core::hashmap::linear::{LinearMap, LinearSet};
|
|
|
|
use core::trie::{TrieMap, TrieSet};
|
2013-03-29 20:02:44 -05:00
|
|
|
use deque::Deque;
|
2013-03-29 19:44:28 -05:00
|
|
|
use treemap::{TreeMap, TreeSet};
|
2012-12-23 16:41:37 -06:00
|
|
|
|
2012-12-10 22:37:21 -06:00
|
|
|
pub trait Encoder {
|
|
|
|
// Primitive types:
|
|
|
|
fn emit_nil(&self);
|
|
|
|
fn emit_uint(&self, v: uint);
|
|
|
|
fn emit_u64(&self, v: u64);
|
|
|
|
fn emit_u32(&self, v: u32);
|
|
|
|
fn emit_u16(&self, v: u16);
|
|
|
|
fn emit_u8(&self, v: u8);
|
|
|
|
fn emit_int(&self, v: int);
|
|
|
|
fn emit_i64(&self, v: i64);
|
|
|
|
fn emit_i32(&self, v: i32);
|
|
|
|
fn emit_i16(&self, v: i16);
|
|
|
|
fn emit_i8(&self, v: i8);
|
|
|
|
fn emit_bool(&self, v: bool);
|
|
|
|
fn emit_float(&self, v: float);
|
|
|
|
fn emit_f64(&self, v: f64);
|
|
|
|
fn emit_f32(&self, v: f32);
|
|
|
|
fn emit_char(&self, v: char);
|
2013-03-28 22:51:05 -05:00
|
|
|
fn emit_str(&self, v: &str);
|
2012-12-10 22:37:21 -06:00
|
|
|
|
|
|
|
// Compound types:
|
|
|
|
|
2013-03-07 16:38:38 -06:00
|
|
|
fn emit_enum(&self, name: &str, f: &fn());
|
|
|
|
fn emit_enum_variant(&self, v_name: &str, v_id: uint, sz: uint, f: &fn());
|
|
|
|
fn emit_enum_variant_arg(&self, idx: uint, f: &fn());
|
2012-12-10 22:37:21 -06:00
|
|
|
|
2013-03-28 23:34:47 -05:00
|
|
|
fn emit_seq(&self, len: uint, f: &fn());
|
|
|
|
fn emit_seq_elt(&self, idx: uint, f: &fn());
|
2012-12-10 22:37:21 -06:00
|
|
|
|
2013-03-07 16:38:38 -06:00
|
|
|
fn emit_struct(&self, name: &str, _len: uint, f: &fn());
|
|
|
|
fn emit_field(&self, f_name: &str, f_idx: uint, f: &fn());
|
2012-12-10 22:37:21 -06:00
|
|
|
|
2013-03-26 17:26:05 -05:00
|
|
|
// Specialized types:
|
|
|
|
fn emit_option(&self, f: &fn());
|
|
|
|
fn emit_option_none(&self);
|
|
|
|
fn emit_option_some(&self, f: &fn());
|
2013-03-29 11:04:35 -05:00
|
|
|
|
|
|
|
fn emit_map(&self, len: uint, f: &fn());
|
|
|
|
fn emit_map_elt_key(&self, idx: uint, f: &fn());
|
|
|
|
fn emit_map_elt_val(&self, idx: uint, f: &fn());
|
2012-12-10 22:37:21 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
pub trait Decoder {
|
|
|
|
// Primitive types:
|
|
|
|
fn read_nil(&self) -> ();
|
|
|
|
fn read_uint(&self) -> uint;
|
|
|
|
fn read_u64(&self) -> u64;
|
|
|
|
fn read_u32(&self) -> u32;
|
|
|
|
fn read_u16(&self) -> u16;
|
|
|
|
fn read_u8(&self) -> u8;
|
|
|
|
fn read_int(&self) -> int;
|
|
|
|
fn read_i64(&self) -> i64;
|
|
|
|
fn read_i32(&self) -> i32;
|
|
|
|
fn read_i16(&self) -> i16;
|
|
|
|
fn read_i8(&self) -> i8;
|
|
|
|
fn read_bool(&self) -> bool;
|
|
|
|
fn read_f64(&self) -> f64;
|
|
|
|
fn read_f32(&self) -> f32;
|
|
|
|
fn read_float(&self) -> float;
|
|
|
|
fn read_char(&self) -> char;
|
2013-03-28 22:51:05 -05:00
|
|
|
fn read_str(&self) -> ~str;
|
2012-12-10 22:37:21 -06:00
|
|
|
|
|
|
|
// Compound types:
|
2013-03-07 16:38:38 -06:00
|
|
|
fn read_enum<T>(&self, name: &str, f: &fn() -> T) -> T;
|
2013-03-26 20:46:48 -05:00
|
|
|
fn read_enum_variant<T>(&self, names: &[&str], f: &fn(uint) -> T) -> T;
|
2013-03-07 16:38:38 -06:00
|
|
|
fn read_enum_variant_arg<T>(&self, idx: uint, f: &fn() -> T) -> T;
|
2012-12-10 22:37:21 -06:00
|
|
|
|
2013-03-28 23:34:47 -05:00
|
|
|
fn read_seq<T>(&self, f: &fn(uint) -> T) -> T;
|
|
|
|
fn read_seq_elt<T>(&self, idx: uint, f: &fn() -> T) -> T;
|
2012-12-10 22:37:21 -06:00
|
|
|
|
2013-03-07 16:38:38 -06:00
|
|
|
fn read_struct<T>(&self, name: &str, _len: uint, f: &fn() -> T) -> T;
|
|
|
|
fn read_field<T>(&self, name: &str, idx: uint, f: &fn() -> T) -> T;
|
2012-12-10 22:37:21 -06:00
|
|
|
|
2013-03-26 17:26:05 -05:00
|
|
|
// Specialized types:
|
2013-03-28 15:11:14 -05:00
|
|
|
fn read_option<T>(&self, f: &fn(bool) -> T) -> T;
|
2013-03-29 11:04:35 -05:00
|
|
|
|
|
|
|
fn read_map<T>(&self, f: &fn(uint) -> T) -> T;
|
|
|
|
fn read_map_elt_key<T>(&self, idx: uint, f: &fn() -> T) -> T;
|
|
|
|
fn read_map_elt_val<T>(&self, idx: uint, f: &fn() -> T) -> T;
|
2012-12-10 22:37:21 -06:00
|
|
|
}
|
|
|
|
|
2013-02-20 19:07:17 -06:00
|
|
|
pub trait Encodable<S:Encoder> {
|
2012-12-10 22:37:21 -06:00
|
|
|
fn encode(&self, s: &S);
|
|
|
|
}
|
|
|
|
|
2013-02-20 19:07:17 -06:00
|
|
|
pub trait Decodable<D:Decoder> {
|
2013-03-21 21:07:54 -05:00
|
|
|
fn decode(d: &D) -> Self;
|
2012-12-10 22:37:21 -06:00
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<S:Encoder> Encodable<S> for uint {
|
2012-12-10 22:37:21 -06:00
|
|
|
fn encode(&self, s: &S) { s.emit_uint(*self) }
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<D:Decoder> Decodable<D> for uint {
|
2013-03-21 21:07:54 -05:00
|
|
|
fn decode(d: &D) -> uint {
|
2012-12-10 22:37:21 -06:00
|
|
|
d.read_uint()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<S:Encoder> Encodable<S> for u8 {
|
2012-12-10 22:37:21 -06:00
|
|
|
fn encode(&self, s: &S) { s.emit_u8(*self) }
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<D:Decoder> Decodable<D> for u8 {
|
2013-03-21 21:07:54 -05:00
|
|
|
fn decode(d: &D) -> u8 {
|
2012-12-10 22:37:21 -06:00
|
|
|
d.read_u8()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<S:Encoder> Encodable<S> for u16 {
|
2012-12-10 22:37:21 -06:00
|
|
|
fn encode(&self, s: &S) { s.emit_u16(*self) }
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<D:Decoder> Decodable<D> for u16 {
|
2013-03-21 21:07:54 -05:00
|
|
|
fn decode(d: &D) -> u16 {
|
2012-12-10 22:37:21 -06:00
|
|
|
d.read_u16()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<S:Encoder> Encodable<S> for u32 {
|
2012-12-10 22:37:21 -06:00
|
|
|
fn encode(&self, s: &S) { s.emit_u32(*self) }
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<D:Decoder> Decodable<D> for u32 {
|
2013-03-21 21:07:54 -05:00
|
|
|
fn decode(d: &D) -> u32 {
|
2012-12-10 22:37:21 -06:00
|
|
|
d.read_u32()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<S:Encoder> Encodable<S> for u64 {
|
2012-12-10 22:37:21 -06:00
|
|
|
fn encode(&self, s: &S) { s.emit_u64(*self) }
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<D:Decoder> Decodable<D> for u64 {
|
2013-03-21 21:07:54 -05:00
|
|
|
fn decode(d: &D) -> u64 {
|
2012-12-10 22:37:21 -06:00
|
|
|
d.read_u64()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<S:Encoder> Encodable<S> for int {
|
2012-12-10 22:37:21 -06:00
|
|
|
fn encode(&self, s: &S) { s.emit_int(*self) }
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<D:Decoder> Decodable<D> for int {
|
2013-03-21 21:07:54 -05:00
|
|
|
fn decode(d: &D) -> int {
|
2012-12-10 22:37:21 -06:00
|
|
|
d.read_int()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<S:Encoder> Encodable<S> for i8 {
|
2012-12-10 22:37:21 -06:00
|
|
|
fn encode(&self, s: &S) { s.emit_i8(*self) }
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<D:Decoder> Decodable<D> for i8 {
|
2013-03-21 21:07:54 -05:00
|
|
|
fn decode(d: &D) -> i8 {
|
2012-12-10 22:37:21 -06:00
|
|
|
d.read_i8()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<S:Encoder> Encodable<S> for i16 {
|
2012-12-10 22:37:21 -06:00
|
|
|
fn encode(&self, s: &S) { s.emit_i16(*self) }
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<D:Decoder> Decodable<D> for i16 {
|
2013-03-21 21:07:54 -05:00
|
|
|
fn decode(d: &D) -> i16 {
|
2012-12-10 22:37:21 -06:00
|
|
|
d.read_i16()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<S:Encoder> Encodable<S> for i32 {
|
2012-12-10 22:37:21 -06:00
|
|
|
fn encode(&self, s: &S) { s.emit_i32(*self) }
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<D:Decoder> Decodable<D> for i32 {
|
2013-03-21 21:07:54 -05:00
|
|
|
fn decode(d: &D) -> i32 {
|
2012-12-10 22:37:21 -06:00
|
|
|
d.read_i32()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<S:Encoder> Encodable<S> for i64 {
|
2012-12-10 22:37:21 -06:00
|
|
|
fn encode(&self, s: &S) { s.emit_i64(*self) }
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<D:Decoder> Decodable<D> for i64 {
|
2013-03-21 21:07:54 -05:00
|
|
|
fn decode(d: &D) -> i64 {
|
2012-12-10 22:37:21 -06:00
|
|
|
d.read_i64()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-03-25 15:21:04 -05:00
|
|
|
impl<'self, S:Encoder> Encodable<S> for &'self str {
|
2013-03-28 22:51:05 -05:00
|
|
|
fn encode(&self, s: &S) { s.emit_str(*self) }
|
2012-12-10 22:37:21 -06:00
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<S:Encoder> Encodable<S> for ~str {
|
2013-03-28 22:51:05 -05:00
|
|
|
fn encode(&self, s: &S) { s.emit_str(*self) }
|
2012-12-10 22:37:21 -06:00
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<D:Decoder> Decodable<D> for ~str {
|
2013-03-21 21:07:54 -05:00
|
|
|
fn decode(d: &D) -> ~str {
|
2013-03-28 22:51:05 -05:00
|
|
|
d.read_str()
|
2012-12-10 22:37:21 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<S:Encoder> Encodable<S> for @str {
|
2013-03-28 22:51:05 -05:00
|
|
|
fn encode(&self, s: &S) { s.emit_str(*self) }
|
2012-12-10 22:37:21 -06:00
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<D:Decoder> Decodable<D> for @str {
|
2013-03-28 22:51:05 -05:00
|
|
|
fn decode(d: &D) -> @str { d.read_str().to_managed() }
|
2012-12-10 22:37:21 -06:00
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<S:Encoder> Encodable<S> for float {
|
2012-12-10 22:37:21 -06:00
|
|
|
fn encode(&self, s: &S) { s.emit_float(*self) }
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<D:Decoder> Decodable<D> for float {
|
2013-03-21 21:07:54 -05:00
|
|
|
fn decode(d: &D) -> float {
|
2012-12-10 22:37:21 -06:00
|
|
|
d.read_float()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<S:Encoder> Encodable<S> for f32 {
|
2012-12-10 22:37:21 -06:00
|
|
|
fn encode(&self, s: &S) { s.emit_f32(*self) }
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<D:Decoder> Decodable<D> for f32 {
|
2013-03-21 21:07:54 -05:00
|
|
|
fn decode(d: &D) -> f32 {
|
2012-12-10 22:37:21 -06:00
|
|
|
d.read_f32() }
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<S:Encoder> Encodable<S> for f64 {
|
2012-12-10 22:37:21 -06:00
|
|
|
fn encode(&self, s: &S) { s.emit_f64(*self) }
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<D:Decoder> Decodable<D> for f64 {
|
2013-03-21 21:07:54 -05:00
|
|
|
fn decode(d: &D) -> f64 {
|
2012-12-10 22:37:21 -06:00
|
|
|
d.read_f64()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<S:Encoder> Encodable<S> for bool {
|
2012-12-10 22:37:21 -06:00
|
|
|
fn encode(&self, s: &S) { s.emit_bool(*self) }
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<D:Decoder> Decodable<D> for bool {
|
2013-03-21 21:07:54 -05:00
|
|
|
fn decode(d: &D) -> bool {
|
2012-12-10 22:37:21 -06:00
|
|
|
d.read_bool()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<S:Encoder> Encodable<S> for () {
|
2012-12-10 22:37:21 -06:00
|
|
|
fn encode(&self, s: &S) { s.emit_nil() }
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<D:Decoder> Decodable<D> for () {
|
2013-03-21 21:07:54 -05:00
|
|
|
fn decode(d: &D) -> () {
|
2012-12-10 22:37:21 -06:00
|
|
|
d.read_nil()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-03-25 15:21:04 -05:00
|
|
|
impl<'self, S:Encoder,T:Encodable<S>> Encodable<S> for &'self T {
|
2012-12-10 22:37:21 -06:00
|
|
|
fn encode(&self, s: &S) {
|
2013-03-28 22:51:40 -05:00
|
|
|
(**self).encode(s)
|
2012-12-10 22:37:21 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<S:Encoder,T:Encodable<S>> Encodable<S> for ~T {
|
2012-12-10 22:37:21 -06:00
|
|
|
fn encode(&self, s: &S) {
|
2013-03-28 22:51:40 -05:00
|
|
|
(**self).encode(s)
|
2012-12-10 22:37:21 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<D:Decoder,T:Decodable<D>> Decodable<D> for ~T {
|
2013-03-21 21:07:54 -05:00
|
|
|
fn decode(d: &D) -> ~T {
|
2013-03-28 22:51:40 -05:00
|
|
|
~Decodable::decode(d)
|
2012-12-10 22:37:21 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<S:Encoder,T:Encodable<S>> Encodable<S> for @T {
|
2012-12-10 22:37:21 -06:00
|
|
|
fn encode(&self, s: &S) {
|
2013-03-28 22:51:40 -05:00
|
|
|
(**self).encode(s)
|
2012-12-10 22:37:21 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<D:Decoder,T:Decodable<D>> Decodable<D> for @T {
|
2013-03-21 21:07:54 -05:00
|
|
|
fn decode(d: &D) -> @T {
|
2013-03-28 22:51:40 -05:00
|
|
|
@Decodable::decode(d)
|
2012-12-10 22:37:21 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-03-25 15:21:04 -05:00
|
|
|
impl<'self, S:Encoder,T:Encodable<S>> Encodable<S> for &'self [T] {
|
2012-12-10 22:37:21 -06:00
|
|
|
fn encode(&self, s: &S) {
|
2013-03-28 23:34:47 -05:00
|
|
|
do s.emit_seq(self.len()) {
|
2012-12-10 22:37:21 -06:00
|
|
|
for self.eachi |i, e| {
|
2013-03-28 23:34:47 -05:00
|
|
|
s.emit_seq_elt(i, || e.encode(s))
|
2012-12-10 22:37:21 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<S:Encoder,T:Encodable<S>> Encodable<S> for ~[T] {
|
2012-12-10 22:37:21 -06:00
|
|
|
fn encode(&self, s: &S) {
|
2013-03-28 23:34:47 -05:00
|
|
|
do s.emit_seq(self.len()) {
|
2012-12-10 22:37:21 -06:00
|
|
|
for self.eachi |i, e| {
|
2013-03-28 23:34:47 -05:00
|
|
|
s.emit_seq_elt(i, || e.encode(s))
|
2012-12-10 22:37:21 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<D:Decoder,T:Decodable<D>> Decodable<D> for ~[T] {
|
2013-03-21 21:07:54 -05:00
|
|
|
fn decode(d: &D) -> ~[T] {
|
2013-03-28 23:34:47 -05:00
|
|
|
do d.read_seq |len| {
|
2012-12-10 22:37:21 -06:00
|
|
|
do vec::from_fn(len) |i| {
|
2013-03-28 23:34:47 -05:00
|
|
|
d.read_seq_elt(i, || Decodable::decode(d))
|
2012-12-10 22:37:21 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<S:Encoder,T:Encodable<S>> Encodable<S> for @[T] {
|
2012-12-10 22:37:21 -06:00
|
|
|
fn encode(&self, s: &S) {
|
2013-03-28 23:34:47 -05:00
|
|
|
do s.emit_seq(self.len()) {
|
2012-12-10 22:37:21 -06:00
|
|
|
for self.eachi |i, e| {
|
2013-03-28 23:34:47 -05:00
|
|
|
s.emit_seq_elt(i, || e.encode(s))
|
2012-12-10 22:37:21 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<D:Decoder,T:Decodable<D>> Decodable<D> for @[T] {
|
2013-03-21 21:07:54 -05:00
|
|
|
fn decode(d: &D) -> @[T] {
|
2013-03-28 23:34:47 -05:00
|
|
|
do d.read_seq |len| {
|
2012-12-10 22:37:21 -06:00
|
|
|
do at_vec::from_fn(len) |i| {
|
2013-03-28 23:34:47 -05:00
|
|
|
d.read_seq_elt(i, || Decodable::decode(d))
|
2012-12-10 22:37:21 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<S:Encoder,T:Encodable<S>> Encodable<S> for Option<T> {
|
2012-12-10 22:37:21 -06:00
|
|
|
fn encode(&self, s: &S) {
|
2013-03-26 17:26:05 -05:00
|
|
|
do s.emit_option {
|
2012-12-10 22:37:21 -06:00
|
|
|
match *self {
|
2013-03-26 17:26:05 -05:00
|
|
|
None => s.emit_option_none(),
|
|
|
|
Some(ref v) => s.emit_option_some(|| v.encode(s)),
|
2012-12-10 22:37:21 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<D:Decoder,T:Decodable<D>> Decodable<D> for Option<T> {
|
2013-03-21 21:07:54 -05:00
|
|
|
fn decode(d: &D) -> Option<T> {
|
2013-03-28 15:11:14 -05:00
|
|
|
do d.read_option |b| {
|
|
|
|
if b {
|
|
|
|
Some(Decodable::decode(d))
|
|
|
|
} else {
|
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|
2012-12-10 22:37:21 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<S:Encoder,T0:Encodable<S>,T1:Encodable<S>> Encodable<S> for (T0, T1) {
|
2012-12-10 22:37:21 -06:00
|
|
|
fn encode(&self, s: &S) {
|
|
|
|
match *self {
|
|
|
|
(ref t0, ref t1) => {
|
2013-03-28 23:34:47 -05:00
|
|
|
do s.emit_seq(2) {
|
|
|
|
s.emit_seq_elt(0, || t0.encode(s));
|
|
|
|
s.emit_seq_elt(1, || t1.encode(s));
|
2012-12-10 22:37:21 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<D:Decoder,T0:Decodable<D>,T1:Decodable<D>> Decodable<D> for (T0, T1) {
|
2013-03-21 21:07:54 -05:00
|
|
|
fn decode(d: &D) -> (T0, T1) {
|
2013-03-28 23:34:47 -05:00
|
|
|
do d.read_seq |len| {
|
2013-03-29 19:48:44 -05:00
|
|
|
assert!(len == 2);
|
2012-12-10 22:37:21 -06:00
|
|
|
(
|
2013-03-28 23:34:47 -05:00
|
|
|
d.read_seq_elt(0, || Decodable::decode(d)),
|
|
|
|
d.read_seq_elt(1, || Decodable::decode(d))
|
2012-12-10 22:37:21 -06:00
|
|
|
)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<
|
2012-12-10 22:37:21 -06:00
|
|
|
S: Encoder,
|
|
|
|
T0: Encodable<S>,
|
|
|
|
T1: Encodable<S>,
|
|
|
|
T2: Encodable<S>
|
2013-02-14 23:17:26 -06:00
|
|
|
> Encodable<S> for (T0, T1, T2) {
|
2012-12-10 22:37:21 -06:00
|
|
|
fn encode(&self, s: &S) {
|
|
|
|
match *self {
|
|
|
|
(ref t0, ref t1, ref t2) => {
|
2013-03-28 23:34:47 -05:00
|
|
|
do s.emit_seq(3) {
|
|
|
|
s.emit_seq_elt(0, || t0.encode(s));
|
|
|
|
s.emit_seq_elt(1, || t1.encode(s));
|
|
|
|
s.emit_seq_elt(2, || t2.encode(s));
|
2012-12-10 22:37:21 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<
|
2012-12-10 22:37:21 -06:00
|
|
|
D: Decoder,
|
|
|
|
T0: Decodable<D>,
|
|
|
|
T1: Decodable<D>,
|
|
|
|
T2: Decodable<D>
|
2013-02-14 23:17:26 -06:00
|
|
|
> Decodable<D> for (T0, T1, T2) {
|
2013-03-21 21:07:54 -05:00
|
|
|
fn decode(d: &D) -> (T0, T1, T2) {
|
2013-03-28 23:34:47 -05:00
|
|
|
do d.read_seq |len| {
|
2013-03-29 19:48:44 -05:00
|
|
|
assert!(len == 3);
|
2012-12-10 22:37:21 -06:00
|
|
|
(
|
2013-03-28 23:34:47 -05:00
|
|
|
d.read_seq_elt(0, || Decodable::decode(d)),
|
|
|
|
d.read_seq_elt(1, || Decodable::decode(d)),
|
|
|
|
d.read_seq_elt(2, || Decodable::decode(d))
|
2012-12-10 22:37:21 -06:00
|
|
|
)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<
|
2012-12-10 22:37:21 -06:00
|
|
|
S: Encoder,
|
|
|
|
T0: Encodable<S>,
|
|
|
|
T1: Encodable<S>,
|
|
|
|
T2: Encodable<S>,
|
|
|
|
T3: Encodable<S>
|
2013-02-14 23:17:26 -06:00
|
|
|
> Encodable<S> for (T0, T1, T2, T3) {
|
2012-12-10 22:37:21 -06:00
|
|
|
fn encode(&self, s: &S) {
|
|
|
|
match *self {
|
|
|
|
(ref t0, ref t1, ref t2, ref t3) => {
|
2013-03-28 23:34:47 -05:00
|
|
|
do s.emit_seq(4) {
|
|
|
|
s.emit_seq_elt(0, || t0.encode(s));
|
|
|
|
s.emit_seq_elt(1, || t1.encode(s));
|
|
|
|
s.emit_seq_elt(2, || t2.encode(s));
|
|
|
|
s.emit_seq_elt(3, || t3.encode(s));
|
2012-12-10 22:37:21 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<
|
2012-12-10 22:37:21 -06:00
|
|
|
D: Decoder,
|
|
|
|
T0: Decodable<D>,
|
|
|
|
T1: Decodable<D>,
|
|
|
|
T2: Decodable<D>,
|
|
|
|
T3: Decodable<D>
|
2013-02-14 23:17:26 -06:00
|
|
|
> Decodable<D> for (T0, T1, T2, T3) {
|
2013-03-21 21:07:54 -05:00
|
|
|
fn decode(d: &D) -> (T0, T1, T2, T3) {
|
2013-03-28 23:34:47 -05:00
|
|
|
do d.read_seq |len| {
|
2013-03-29 19:48:44 -05:00
|
|
|
assert!(len == 4);
|
2012-12-10 22:37:21 -06:00
|
|
|
(
|
2013-03-28 23:34:47 -05:00
|
|
|
d.read_seq_elt(0, || Decodable::decode(d)),
|
|
|
|
d.read_seq_elt(1, || Decodable::decode(d)),
|
|
|
|
d.read_seq_elt(2, || Decodable::decode(d)),
|
|
|
|
d.read_seq_elt(3, || Decodable::decode(d))
|
2012-12-10 22:37:21 -06:00
|
|
|
)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<
|
2012-12-10 22:37:21 -06:00
|
|
|
S: Encoder,
|
|
|
|
T0: Encodable<S>,
|
|
|
|
T1: Encodable<S>,
|
|
|
|
T2: Encodable<S>,
|
|
|
|
T3: Encodable<S>,
|
|
|
|
T4: Encodable<S>
|
2013-02-14 23:17:26 -06:00
|
|
|
> Encodable<S> for (T0, T1, T2, T3, T4) {
|
2012-12-10 22:37:21 -06:00
|
|
|
fn encode(&self, s: &S) {
|
|
|
|
match *self {
|
|
|
|
(ref t0, ref t1, ref t2, ref t3, ref t4) => {
|
2013-03-28 23:34:47 -05:00
|
|
|
do s.emit_seq(5) {
|
|
|
|
s.emit_seq_elt(0, || t0.encode(s));
|
|
|
|
s.emit_seq_elt(1, || t1.encode(s));
|
|
|
|
s.emit_seq_elt(2, || t2.encode(s));
|
|
|
|
s.emit_seq_elt(3, || t3.encode(s));
|
|
|
|
s.emit_seq_elt(4, || t4.encode(s));
|
2012-12-10 22:37:21 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<
|
2012-12-10 22:37:21 -06:00
|
|
|
D: Decoder,
|
|
|
|
T0: Decodable<D>,
|
|
|
|
T1: Decodable<D>,
|
|
|
|
T2: Decodable<D>,
|
|
|
|
T3: Decodable<D>,
|
|
|
|
T4: Decodable<D>
|
2013-02-14 23:17:26 -06:00
|
|
|
> Decodable<D> for (T0, T1, T2, T3, T4) {
|
2013-03-21 21:07:54 -05:00
|
|
|
fn decode(d: &D)
|
2012-12-10 22:37:21 -06:00
|
|
|
-> (T0, T1, T2, T3, T4) {
|
2013-03-28 23:34:47 -05:00
|
|
|
do d.read_seq |len| {
|
2013-03-29 19:48:44 -05:00
|
|
|
assert!(len == 5);
|
2012-12-10 22:37:21 -06:00
|
|
|
(
|
2013-03-28 23:34:47 -05:00
|
|
|
d.read_seq_elt(0, || Decodable::decode(d)),
|
|
|
|
d.read_seq_elt(1, || Decodable::decode(d)),
|
|
|
|
d.read_seq_elt(2, || Decodable::decode(d)),
|
|
|
|
d.read_seq_elt(3, || Decodable::decode(d)),
|
|
|
|
d.read_seq_elt(4, || Decodable::decode(d))
|
2012-12-10 22:37:21 -06:00
|
|
|
)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-03-29 19:44:28 -05:00
|
|
|
impl<
|
|
|
|
S: Encoder,
|
|
|
|
T: Encodable<S> + Copy
|
|
|
|
> Encodable<S> for @mut DList<T> {
|
|
|
|
fn encode(&self, s: &S) {
|
|
|
|
do s.emit_seq(self.size) {
|
|
|
|
let mut i = 0;
|
|
|
|
for self.each |e| {
|
|
|
|
s.emit_seq_elt(i, || e.encode(s));
|
|
|
|
i += 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<D:Decoder,T:Decodable<D>> Decodable<D> for @mut DList<T> {
|
|
|
|
fn decode(d: &D) -> @mut DList<T> {
|
|
|
|
let list = DList();
|
|
|
|
do d.read_seq |len| {
|
|
|
|
for uint::range(0, len) |i| {
|
|
|
|
list.push(d.read_seq_elt(i, || Decodable::decode(d)));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
list
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-03-29 20:02:44 -05:00
|
|
|
impl<
|
|
|
|
S: Encoder,
|
|
|
|
T: Encodable<S>
|
|
|
|
> Encodable<S> for Deque<T> {
|
|
|
|
fn encode(&self, s: &S) {
|
|
|
|
do s.emit_seq(self.len()) {
|
|
|
|
for self.eachi |i, e| {
|
|
|
|
s.emit_seq_elt(i, || e.encode(s));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<D:Decoder,T:Decodable<D>> Decodable<D> for Deque<T> {
|
|
|
|
fn decode(d: &D) -> Deque<T> {
|
|
|
|
let mut deque = Deque::new();
|
|
|
|
do d.read_seq |len| {
|
|
|
|
for uint::range(0, len) |i| {
|
|
|
|
deque.add_back(d.read_seq_elt(i, || Decodable::decode(d)));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
deque
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-03-29 11:04:35 -05:00
|
|
|
impl<
|
|
|
|
E: Encoder,
|
|
|
|
K: Encodable<E> + Hash + IterBytes + Eq,
|
|
|
|
V: Encodable<E>
|
|
|
|
> Encodable<E> for LinearMap<K, V> {
|
|
|
|
fn encode(&self, e: &E) {
|
|
|
|
do e.emit_map(self.len()) {
|
|
|
|
let mut i = 0;
|
|
|
|
for self.each |&(key, val)| {
|
|
|
|
e.emit_map_elt_key(i, || key.encode(e));
|
|
|
|
e.emit_map_elt_val(i, || val.encode(e));
|
|
|
|
i += 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<
|
|
|
|
D: Decoder,
|
|
|
|
K: Decodable<D> + Hash + IterBytes + Eq,
|
|
|
|
V: Decodable<D>
|
|
|
|
> Decodable<D> for LinearMap<K, V> {
|
|
|
|
fn decode(d: &D) -> LinearMap<K, V> {
|
|
|
|
do d.read_map |len| {
|
|
|
|
let mut map = LinearMap::with_capacity(len);
|
|
|
|
for uint::range(0, len) |i| {
|
|
|
|
let key = d.read_map_elt_key(i, || Decodable::decode(d));
|
|
|
|
let val = d.read_map_elt_val(i, || Decodable::decode(d));
|
|
|
|
map.insert(key, val);
|
|
|
|
}
|
|
|
|
map
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-03-29 19:44:28 -05:00
|
|
|
impl<
|
|
|
|
S: Encoder,
|
|
|
|
T: Encodable<S> + Hash + IterBytes + Eq
|
|
|
|
> Encodable<S> for LinearSet<T> {
|
|
|
|
fn encode(&self, s: &S) {
|
|
|
|
do s.emit_seq(self.len()) {
|
|
|
|
let mut i = 0;
|
|
|
|
for self.each |e| {
|
|
|
|
s.emit_seq_elt(i, || e.encode(s));
|
|
|
|
i += 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<
|
|
|
|
D: Decoder,
|
|
|
|
T: Decodable<D> + Hash + IterBytes + Eq
|
|
|
|
> Decodable<D> for LinearSet<T> {
|
|
|
|
fn decode(d: &D) -> LinearSet<T> {
|
|
|
|
do d.read_seq |len| {
|
|
|
|
let mut set = LinearSet::with_capacity(len);
|
|
|
|
for uint::range(0, len) |i| {
|
|
|
|
set.insert(d.read_seq_elt(i, || Decodable::decode(d)));
|
|
|
|
}
|
|
|
|
set
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<
|
|
|
|
E: Encoder,
|
|
|
|
V: Encodable<E>
|
|
|
|
> Encodable<E> for TrieMap<V> {
|
|
|
|
fn encode(&self, e: &E) {
|
|
|
|
do e.emit_map(self.len()) {
|
|
|
|
let mut i = 0;
|
|
|
|
for self.each |&(key, val)| {
|
|
|
|
e.emit_map_elt_key(i, || key.encode(e));
|
|
|
|
e.emit_map_elt_val(i, || val.encode(e));
|
|
|
|
i += 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<
|
|
|
|
D: Decoder,
|
|
|
|
V: Decodable<D>
|
|
|
|
> Decodable<D> for TrieMap<V> {
|
|
|
|
fn decode(d: &D) -> TrieMap<V> {
|
|
|
|
do d.read_map |len| {
|
|
|
|
let mut map = TrieMap::new();
|
|
|
|
for uint::range(0, len) |i| {
|
|
|
|
let key = d.read_map_elt_key(i, || Decodable::decode(d));
|
|
|
|
let val = d.read_map_elt_val(i, || Decodable::decode(d));
|
|
|
|
map.insert(key, val);
|
|
|
|
}
|
|
|
|
map
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<S: Encoder> Encodable<S> for TrieSet {
|
|
|
|
fn encode(&self, s: &S) {
|
|
|
|
do s.emit_seq(self.len()) {
|
|
|
|
let mut i = 0;
|
|
|
|
for self.each |e| {
|
|
|
|
s.emit_seq_elt(i, || e.encode(s));
|
|
|
|
i += 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<D: Decoder> Decodable<D> for TrieSet {
|
|
|
|
fn decode(d: &D) -> TrieSet {
|
|
|
|
do d.read_seq |len| {
|
|
|
|
let mut set = TrieSet::new();
|
|
|
|
for uint::range(0, len) |i| {
|
|
|
|
set.insert(d.read_seq_elt(i, || Decodable::decode(d)));
|
|
|
|
}
|
|
|
|
set
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<
|
|
|
|
E: Encoder,
|
|
|
|
K: Encodable<E> + Eq + TotalOrd,
|
|
|
|
V: Encodable<E> + Eq
|
|
|
|
> Encodable<E> for TreeMap<K, V> {
|
|
|
|
fn encode(&self, e: &E) {
|
|
|
|
do e.emit_map(self.len()) {
|
|
|
|
let mut i = 0;
|
|
|
|
for self.each |&(key, val)| {
|
|
|
|
e.emit_map_elt_key(i, || key.encode(e));
|
|
|
|
e.emit_map_elt_val(i, || val.encode(e));
|
|
|
|
i += 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<
|
|
|
|
D: Decoder,
|
|
|
|
K: Decodable<D> + Eq + TotalOrd,
|
|
|
|
V: Decodable<D> + Eq
|
|
|
|
> Decodable<D> for TreeMap<K, V> {
|
|
|
|
fn decode(d: &D) -> TreeMap<K, V> {
|
|
|
|
do d.read_map |len| {
|
|
|
|
let mut map = TreeMap::new();
|
|
|
|
for uint::range(0, len) |i| {
|
|
|
|
let key = d.read_map_elt_key(i, || Decodable::decode(d));
|
|
|
|
let val = d.read_map_elt_val(i, || Decodable::decode(d));
|
|
|
|
map.insert(key, val);
|
|
|
|
}
|
|
|
|
map
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<
|
|
|
|
S: Encoder,
|
|
|
|
T: Encodable<S> + Eq + TotalOrd
|
|
|
|
> Encodable<S> for TreeSet<T> {
|
|
|
|
fn encode(&self, s: &S) {
|
|
|
|
do s.emit_seq(self.len()) {
|
|
|
|
let mut i = 0;
|
|
|
|
for self.each |e| {
|
|
|
|
s.emit_seq_elt(i, || e.encode(s));
|
|
|
|
i += 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<
|
|
|
|
D: Decoder,
|
|
|
|
T: Decodable<D> + Eq + TotalOrd
|
|
|
|
> Decodable<D> for TreeSet<T> {
|
|
|
|
fn decode(d: &D) -> TreeSet<T> {
|
|
|
|
do d.read_seq |len| {
|
|
|
|
let mut set = TreeSet::new();
|
|
|
|
for uint::range(0, len) |i| {
|
|
|
|
set.insert(d.read_seq_elt(i, || Decodable::decode(d)));
|
|
|
|
}
|
|
|
|
set
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-12-10 22:37:21 -06:00
|
|
|
// ___________________________________________________________________________
|
|
|
|
// Helper routines
|
|
|
|
//
|
|
|
|
// In some cases, these should eventually be coded as traits.
|
|
|
|
|
|
|
|
pub trait EncoderHelpers {
|
2013-03-07 16:38:38 -06:00
|
|
|
fn emit_from_vec<T>(&self, v: &[T], f: &fn(v: &T));
|
2012-12-10 22:37:21 -06:00
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<S:Encoder> EncoderHelpers for S {
|
2013-03-07 16:38:38 -06:00
|
|
|
fn emit_from_vec<T>(&self, v: &[T], f: &fn(v: &T)) {
|
2013-03-28 23:34:47 -05:00
|
|
|
do self.emit_seq(v.len()) {
|
2012-12-10 22:37:21 -06:00
|
|
|
for v.eachi |i, e| {
|
2013-03-28 23:34:47 -05:00
|
|
|
do self.emit_seq_elt(i) {
|
2012-12-10 22:37:21 -06:00
|
|
|
f(e)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub trait DecoderHelpers {
|
2013-03-07 16:38:38 -06:00
|
|
|
fn read_to_vec<T>(&self, f: &fn() -> T) -> ~[T];
|
2012-12-10 22:37:21 -06:00
|
|
|
}
|
|
|
|
|
2013-02-26 19:12:00 -06:00
|
|
|
impl<D:Decoder> DecoderHelpers for D {
|
2013-03-07 16:38:38 -06:00
|
|
|
fn read_to_vec<T>(&self, f: &fn() -> T) -> ~[T] {
|
2013-03-28 23:34:47 -05:00
|
|
|
do self.read_seq |len| {
|
2012-12-10 22:37:21 -06:00
|
|
|
do vec::from_fn(len) |i| {
|
2013-03-28 23:34:47 -05:00
|
|
|
self.read_seq_elt(i, || f())
|
2012-12-10 22:37:21 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|