| //! Support code for serialization. |
| |
| /* |
| Core serialization interfaces. |
| */ |
| |
| #[forbid(deprecated_mode)]; |
| #[forbid(non_camel_case_types)]; |
| |
| pub trait Serializer { |
| // 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); |
| fn emit_borrowed_str(&self, v: &str); |
| fn emit_owned_str(&self, v: &str); |
| fn emit_managed_str(&self, v: &str); |
| |
| // Compound types: |
| fn emit_borrowed(&self, f: fn()); |
| fn emit_owned(&self, f: fn()); |
| fn emit_managed(&self, f: fn()); |
| |
| 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()); |
| |
| fn emit_borrowed_vec(&self, len: uint, f: fn()); |
| fn emit_owned_vec(&self, len: uint, f: fn()); |
| fn emit_managed_vec(&self, len: uint, f: fn()); |
| fn emit_vec_elt(&self, idx: uint, f: fn()); |
| |
| fn emit_rec(&self, f: fn()); |
| fn emit_struct(&self, name: &str, f: fn()); |
| fn emit_field(&self, f_name: &str, f_idx: uint, f: fn()); |
| |
| fn emit_tup(&self, len: uint, f: fn()); |
| fn emit_tup_elt(&self, idx: uint, f: fn()); |
| } |
| |
| pub trait Deserializer { |
| // 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; |
| fn read_owned_str(&self) -> ~str; |
| fn read_managed_str(&self) -> @str; |
| |
| // Compound types: |
| fn read_enum<T>(&self, name: &str, f: fn() -> T) -> T; |
| fn read_enum_variant<T>(&self, f: fn(uint) -> T) -> T; |
| fn read_enum_variant_arg<T>(&self, idx: uint, f: fn() -> T) -> T; |
| |
| fn read_owned<T>(&self, f: fn() -> T) -> T; |
| fn read_managed<T>(&self, f: fn() -> T) -> T; |
| |
| fn read_owned_vec<T>(&self, f: fn(uint) -> T) -> T; |
| fn read_managed_vec<T>(&self, f: fn(uint) -> T) -> T; |
| fn read_vec_elt<T>(&self, idx: uint, f: fn() -> T) -> T; |
| |
| fn read_rec<T>(&self, f: fn() -> T) -> T; |
| fn read_struct<T>(&self, name: &str, f: fn() -> T) -> T; |
| fn read_field<T>(&self, name: &str, idx: uint, f: fn() -> T) -> T; |
| |
| fn read_tup<T>(&self, sz: uint, f: fn() -> T) -> T; |
| fn read_tup_elt<T>(&self, idx: uint, f: fn() -> T) -> T; |
| } |
| |
| pub trait Serializable { |
| fn serialize<S: Serializer>(&self, s: &S); |
| } |
| |
| pub trait Deserializable { |
| static fn deserialize<D: Deserializer>(&self, d: &D) -> self; |
| } |
| |
| pub impl uint: Serializable { |
| fn serialize<S: Serializer>(&self, s: &S) { s.emit_uint(*self) } |
| } |
| |
| pub impl uint: Deserializable { |
| static fn deserialize<D: Deserializer>(&self, d: &D) -> uint { |
| d.read_uint() |
| } |
| } |
| |
| pub impl u8: Serializable { |
| fn serialize<S: Serializer>(&self, s: &S) { s.emit_u8(*self) } |
| } |
| |
| pub impl u8: Deserializable { |
| static fn deserialize<D: Deserializer>(&self, d: &D) -> u8 { |
| d.read_u8() |
| } |
| } |
| |
| pub impl u16: Serializable { |
| fn serialize<S: Serializer>(&self, s: &S) { s.emit_u16(*self) } |
| } |
| |
| pub impl u16: Deserializable { |
| static fn deserialize<D: Deserializer>(&self, d: &D) -> u16 { |
| d.read_u16() |
| } |
| } |
| |
| pub impl u32: Serializable { |
| fn serialize<S: Serializer>(&self, s: &S) { s.emit_u32(*self) } |
| } |
| |
| pub impl u32: Deserializable { |
| static fn deserialize<D: Deserializer>(&self, d: &D) -> u32 { |
| d.read_u32() |
| } |
| } |
| |
| pub impl u64: Serializable { |
| fn serialize<S: Serializer>(&self, s: &S) { s.emit_u64(*self) } |
| } |
| |
| pub impl u64: Deserializable { |
| static fn deserialize<D: Deserializer>(&self, d: &D) -> u64 { |
| d.read_u64() |
| } |
| } |
| |
| pub impl int: Serializable { |
| fn serialize<S: Serializer>(&self, s: &S) { s.emit_int(*self) } |
| } |
| |
| pub impl int: Deserializable { |
| static fn deserialize<D: Deserializer>(&self, d: &D) -> int { |
| d.read_int() |
| } |
| } |
| |
| pub impl i8: Serializable { |
| fn serialize<S: Serializer>(&self, s: &S) { s.emit_i8(*self) } |
| } |
| |
| pub impl i8: Deserializable { |
| static fn deserialize<D: Deserializer>(&self, d: &D) -> i8 { |
| d.read_i8() |
| } |
| } |
| |
| pub impl i16: Serializable { |
| fn serialize<S: Serializer>(&self, s: &S) { s.emit_i16(*self) } |
| } |
| |
| pub impl i16: Deserializable { |
| static fn deserialize<D: Deserializer>(&self, d: &D) -> i16 { |
| d.read_i16() |
| } |
| } |
| |
| pub impl i32: Serializable { |
| fn serialize<S: Serializer>(&self, s: &S) { s.emit_i32(*self) } |
| } |
| |
| pub impl i32: Deserializable { |
| static fn deserialize<D: Deserializer>(&self, d: &D) -> i32 { |
| d.read_i32() |
| } |
| } |
| |
| pub impl i64: Serializable { |
| fn serialize<S: Serializer>(&self, s: &S) { s.emit_i64(*self) } |
| } |
| |
| pub impl i64: Deserializable { |
| static fn deserialize<D: Deserializer>(&self, d: &D) -> i64 { |
| d.read_i64() |
| } |
| } |
| |
| pub impl &str: Serializable { |
| fn serialize<S: Serializer>(&self, s: &S) { s.emit_borrowed_str(*self) } |
| } |
| |
| pub impl ~str: Serializable { |
| fn serialize<S: Serializer>(&self, s: &S) { s.emit_owned_str(*self) } |
| } |
| |
| pub impl ~str: Deserializable { |
| static fn deserialize<D: Deserializer>(&self, d: &D) -> ~str { |
| d.read_owned_str() |
| } |
| } |
| |
| pub impl @str: Serializable { |
| fn serialize<S: Serializer>(&self, s: &S) { s.emit_managed_str(*self) } |
| } |
| |
| pub impl @str: Deserializable { |
| static fn deserialize<D: Deserializer>(&self, d: &D) -> @str { |
| d.read_managed_str() |
| } |
| } |
| |
| pub impl float: Serializable { |
| fn serialize<S: Serializer>(&self, s: &S) { s.emit_float(*self) } |
| } |
| |
| pub impl float: Deserializable { |
| static fn deserialize<D: Deserializer>(&self, d: &D) -> float { |
| d.read_float() |
| } |
| } |
| |
| pub impl f32: Serializable { |
| fn serialize<S: Serializer>(&self, s: &S) { s.emit_f32(*self) } |
| } |
| |
| pub impl f32: Deserializable { |
| static fn deserialize<D: Deserializer>(&self, d: &D) -> f32 { |
| d.read_f32() } |
| } |
| |
| pub impl f64: Serializable { |
| fn serialize<S: Serializer>(&self, s: &S) { s.emit_f64(*self) } |
| } |
| |
| pub impl f64: Deserializable { |
| static fn deserialize<D: Deserializer>(&self, d: &D) -> f64 { |
| d.read_f64() |
| } |
| } |
| |
| pub impl bool: Serializable { |
| fn serialize<S: Serializer>(&self, s: &S) { s.emit_bool(*self) } |
| } |
| |
| pub impl bool: Deserializable { |
| static fn deserialize<D: Deserializer>(&self, d: &D) -> bool { |
| d.read_bool() |
| } |
| } |
| |
| pub impl (): Serializable { |
| fn serialize<S: Serializer>(&self, s: &S) { s.emit_nil() } |
| } |
| |
| pub impl (): Deserializable { |
| static fn deserialize<D: Deserializer>(&self, d: &D) -> () { |
| d.read_nil() |
| } |
| } |
| |
| pub impl<T: Serializable> &T: Serializable { |
| fn serialize<S: Serializer>(&self, s: &S) { |
| s.emit_borrowed(|| (**self).serialize(s)) |
| } |
| } |
| |
| pub impl<T: Serializable> ~T: Serializable { |
| fn serialize<S: Serializer>(&self, s: &S) { |
| s.emit_owned(|| (**self).serialize(s)) |
| } |
| } |
| |
| pub impl<T: Deserializable> ~T: Deserializable { |
| static fn deserialize<D: Deserializer>(&self, d: &D) -> ~T { |
| d.read_owned(|| ~deserialize(d)) |
| } |
| } |
| |
| pub impl<T: Serializable> @T: Serializable { |
| fn serialize<S: Serializer>(&self, s: &S) { |
| s.emit_managed(|| (**self).serialize(s)) |
| } |
| } |
| |
| pub impl<T: Deserializable> @T: Deserializable { |
| static fn deserialize<D: Deserializer>(&self, d: &D) -> @T { |
| d.read_managed(|| @deserialize(d)) |
| } |
| } |
| |
| pub impl<T: Serializable> &[T]: Serializable { |
| fn serialize<S: Serializer>(&self, s: &S) { |
| do s.emit_borrowed_vec(self.len()) { |
| for self.eachi |i, e| { |
| s.emit_vec_elt(i, || e.serialize(s)) |
| } |
| } |
| } |
| } |
| |
| pub impl<T: Serializable> ~[T]: Serializable { |
| fn serialize<S: Serializer>(&self, s: &S) { |
| do s.emit_owned_vec(self.len()) { |
| for self.eachi |i, e| { |
| s.emit_vec_elt(i, || e.serialize(s)) |
| } |
| } |
| } |
| } |
| |
| pub impl<T: Deserializable> ~[T]: Deserializable { |
| static fn deserialize<D: Deserializer>(&self, d: &D) -> ~[T] { |
| do d.read_owned_vec |len| { |
| do vec::from_fn(len) |i| { |
| d.read_vec_elt(i, || deserialize(d)) |
| } |
| } |
| } |
| } |
| |
| pub impl<T: Serializable> @[T]: Serializable { |
| fn serialize<S: Serializer>(&self, s: &S) { |
| do s.emit_managed_vec(self.len()) { |
| for self.eachi |i, e| { |
| s.emit_vec_elt(i, || e.serialize(s)) |
| } |
| } |
| } |
| } |
| |
| pub impl<T: Deserializable> @[T]: Deserializable { |
| static fn deserialize<D: Deserializer>(&self, d: &D) -> @[T] { |
| do d.read_managed_vec |len| { |
| do at_vec::from_fn(len) |i| { |
| d.read_vec_elt(i, || deserialize(d)) |
| } |
| } |
| } |
| } |
| |
| pub impl<T: Serializable> Option<T>: Serializable { |
| fn serialize<S: Serializer>(&self, s: &S) { |
| do s.emit_enum(~"option") { |
| match *self { |
| None => do s.emit_enum_variant(~"none", 0u, 0u) { |
| }, |
| |
| Some(ref v) => do s.emit_enum_variant(~"some", 1u, 1u) { |
| s.emit_enum_variant_arg(0u, || v.serialize(s)) |
| } |
| } |
| } |
| } |
| } |
| |
| pub impl<T: Deserializable> Option<T>: Deserializable { |
| static fn deserialize<D: Deserializer>(&self, d: &D) -> Option<T> { |
| do d.read_enum(~"option") { |
| do d.read_enum_variant |i| { |
| match i { |
| 0 => None, |
| 1 => Some(d.read_enum_variant_arg(0u, || deserialize(d))), |
| _ => fail(#fmt("Bad variant for option: %u", i)) |
| } |
| } |
| } |
| } |
| } |
| |
| pub impl< |
| T0: Serializable, |
| T1: Serializable |
| > (T0, T1): Serializable { |
| fn serialize<S: Serializer>(&self, s: &S) { |
| match *self { |
| (ref t0, ref t1) => { |
| do s.emit_tup(2) { |
| s.emit_tup_elt(0, || t0.serialize(s)); |
| s.emit_tup_elt(1, || t1.serialize(s)); |
| } |
| } |
| } |
| } |
| } |
| |
| pub impl< |
| T0: Deserializable, |
| T1: Deserializable |
| > (T0, T1): Deserializable { |
| static fn deserialize<D: Deserializer>(&self, d: &D) -> (T0, T1) { |
| do d.read_tup(2) { |
| ( |
| d.read_tup_elt(0, || deserialize(d)), |
| d.read_tup_elt(1, || deserialize(d)) |
| ) |
| } |
| } |
| } |
| |
| pub impl< |
| T0: Serializable, |
| T1: Serializable, |
| T2: Serializable |
| > (T0, T1, T2): Serializable { |
| fn serialize<S: Serializer>(&self, s: &S) { |
| match *self { |
| (ref t0, ref t1, ref t2) => { |
| do s.emit_tup(3) { |
| s.emit_tup_elt(0, || t0.serialize(s)); |
| s.emit_tup_elt(1, || t1.serialize(s)); |
| s.emit_tup_elt(2, || t2.serialize(s)); |
| } |
| } |
| } |
| } |
| } |
| |
| pub impl< |
| T0: Deserializable, |
| T1: Deserializable, |
| T2: Deserializable |
| > (T0, T1, T2): Deserializable { |
| static fn deserialize<D: Deserializer>(&self, d: &D) -> (T0, T1, T2) { |
| do d.read_tup(3) { |
| ( |
| d.read_tup_elt(0, || deserialize(d)), |
| d.read_tup_elt(1, || deserialize(d)), |
| d.read_tup_elt(2, || deserialize(d)) |
| ) |
| } |
| } |
| } |
| |
| pub impl< |
| T0: Serializable, |
| T1: Serializable, |
| T2: Serializable, |
| T3: Serializable |
| > (T0, T1, T2, T3): Serializable { |
| fn serialize<S: Serializer>(&self, s: &S) { |
| match *self { |
| (ref t0, ref t1, ref t2, ref t3) => { |
| do s.emit_tup(4) { |
| s.emit_tup_elt(0, || t0.serialize(s)); |
| s.emit_tup_elt(1, || t1.serialize(s)); |
| s.emit_tup_elt(2, || t2.serialize(s)); |
| s.emit_tup_elt(3, || t3.serialize(s)); |
| } |
| } |
| } |
| } |
| } |
| |
| pub impl< |
| T0: Deserializable, |
| T1: Deserializable, |
| T2: Deserializable, |
| T3: Deserializable |
| > (T0, T1, T2, T3): Deserializable { |
| static fn deserialize<D: Deserializer>(&self, d: &D) -> (T0, T1, T2, T3) { |
| do d.read_tup(4) { |
| ( |
| d.read_tup_elt(0, || deserialize(d)), |
| d.read_tup_elt(1, || deserialize(d)), |
| d.read_tup_elt(2, || deserialize(d)), |
| d.read_tup_elt(3, || deserialize(d)) |
| ) |
| } |
| } |
| } |
| |
| pub impl< |
| T0: Serializable, |
| T1: Serializable, |
| T2: Serializable, |
| T3: Serializable, |
| T4: Serializable |
| > (T0, T1, T2, T3, T4): Serializable { |
| fn serialize<S: Serializer>(&self, s: &S) { |
| match *self { |
| (ref t0, ref t1, ref t2, ref t3, ref t4) => { |
| do s.emit_tup(5) { |
| s.emit_tup_elt(0, || t0.serialize(s)); |
| s.emit_tup_elt(1, || t1.serialize(s)); |
| s.emit_tup_elt(2, || t2.serialize(s)); |
| s.emit_tup_elt(3, || t3.serialize(s)); |
| s.emit_tup_elt(4, || t4.serialize(s)); |
| } |
| } |
| } |
| } |
| } |
| |
| pub impl< |
| T0: Deserializable, |
| T1: Deserializable, |
| T2: Deserializable, |
| T3: Deserializable, |
| T4: Deserializable |
| > (T0, T1, T2, T3, T4): Deserializable { |
| static fn deserialize<D: Deserializer>(&self, d: &D) |
| -> (T0, T1, T2, T3, T4) { |
| do d.read_tup(5) { |
| ( |
| d.read_tup_elt(0, || deserialize(d)), |
| d.read_tup_elt(1, || deserialize(d)), |
| d.read_tup_elt(2, || deserialize(d)), |
| d.read_tup_elt(3, || deserialize(d)), |
| d.read_tup_elt(4, || deserialize(d)) |
| ) |
| } |
| } |
| } |
| |
| // ___________________________________________________________________________ |
| // Helper routines |
| // |
| // In some cases, these should eventually be coded as traits. |
| |
| pub trait SerializerHelpers { |
| fn emit_from_vec<T>(&self, v: &[T], f: fn(&T)); |
| } |
| |
| pub impl<S: Serializer> S: SerializerHelpers { |
| fn emit_from_vec<T>(&self, v: &[T], f: fn(&T)) { |
| do self.emit_owned_vec(v.len()) { |
| for v.eachi |i, e| { |
| do self.emit_vec_elt(i) { |
| f(e) |
| } |
| } |
| } |
| } |
| } |
| |
| pub trait DeserializerHelpers { |
| fn read_to_vec<T>(&self, f: fn() -> T) -> ~[T]; |
| } |
| |
| pub impl<D: Deserializer> D: DeserializerHelpers { |
| fn read_to_vec<T>(&self, f: fn() -> T) -> ~[T] { |
| do self.read_owned_vec |len| { |
| do vec::from_fn(len) |i| { |
| self.read_vec_elt(i, || f()) |
| } |
| } |
| } |
| } |