diff options
| author | Erick Tryzelaar <erick.tryzelaar@gmail.com> | 2012-09-25 10:50:54 -0700 |
|---|---|---|
| committer | Graydon Hoare <graydon@mozilla.com> | 2012-09-26 16:20:24 -0700 |
| commit | c0b9986c8f11c85c74ee0ba64dccf4495027a645 (patch) | |
| tree | a3bf26f36edf9c3ec25360fa076216e8a89fadc9 /src/libstd | |
| parent | cd93441705b84ab36a314d7f0b721c2fb6b01ecd (diff) | |
| download | rust-c0b9986c8f11c85c74ee0ba64dccf4495027a645.tar.gz rust-c0b9986c8f11c85c74ee0ba64dccf4495027a645.zip | |
libstd: change serialization2 to take &self argument methods
Unfortunately this trips over issue (#3585), where auto-ref isn't playing nicely with @T implementations. Most serializers don't care, but prettyprint2 won't properly display "@" until #3585 is fixed.
Diffstat (limited to 'src/libstd')
| -rw-r--r-- | src/libstd/serialization2.rs | 366 | ||||
| -rw-r--r-- | src/libstd/std.rc | 1 |
2 files changed, 197 insertions, 170 deletions
diff --git a/src/libstd/serialization2.rs b/src/libstd/serialization2.rs index 92461fed258..81941627ef6 100644 --- a/src/libstd/serialization2.rs +++ b/src/libstd/serialization2.rs @@ -4,179 +4,214 @@ Core serialization interfaces. */ -trait Serializer { +#[forbid(deprecated_mode)]; +#[forbid(deprecated_pattern)]; +#[forbid(non_camel_case_types)]; + +pub trait Serializer { // Primitive types: - fn emit_nil(); - fn emit_uint(v: uint); - fn emit_u64(v: u64); - fn emit_u32(v: u32); - fn emit_u16(v: u16); - fn emit_u8(v: u8); - fn emit_int(v: int); - fn emit_i64(v: i64); - fn emit_i32(v: i32); - fn emit_i16(v: i16); - fn emit_i8(v: i8); - fn emit_bool(v: bool); - fn emit_float(v: float); - fn emit_f64(v: f64); - fn emit_f32(v: f32); - fn emit_str(v: &str); + 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_str(&self, v: &str); // Compound types: - fn emit_enum(name: &str, f: fn()); - fn emit_enum_variant(v_name: &str, v_id: uint, sz: uint, f: fn()); - fn emit_enum_variant_arg(idx: uint, f: fn()); - fn emit_vec(len: uint, f: fn()); - fn emit_vec_elt(idx: uint, f: fn()); - fn emit_box(f: fn()); - fn emit_uniq(f: fn()); - fn emit_rec(f: fn()); - fn emit_rec_field(f_name: &str, f_idx: uint, f: fn()); - fn emit_tup(sz: uint, f: fn()); - fn emit_tup_elt(idx: uint, f: fn()); -} - -trait Deserializer { + 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_vec(&self, len: uint, f: fn()); + fn emit_vec_elt(&self, idx: uint, f: fn()); + fn emit_box(&self, f: fn()); + fn emit_uniq(&self, f: fn()); + fn emit_rec(&self, f: fn()); + fn emit_rec_field(&self, f_name: &str, f_idx: uint, f: fn()); + fn emit_tup(&self, sz: uint, f: fn()); + fn emit_tup_elt(&self, idx: uint, f: fn()); +} + +pub trait Deserializer { // Primitive types: - fn read_nil() -> (); - fn read_uint() -> uint; - fn read_u64() -> u64; - fn read_u32() -> u32; - fn read_u16() -> u16; - fn read_u8() -> u8; - fn read_int() -> int; - fn read_i64() -> i64; - fn read_i32() -> i32; - fn read_i16() -> i16; - fn read_i8() -> i8; - fn read_bool() -> bool; - fn read_f64() -> f64; - fn read_f32() -> f32; - fn read_float() -> float; - fn read_str() -> ~str; + 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_str(&self) -> ~str; // Compound types: - fn read_enum<T>(name: ~str, f: fn() -> T) -> T; - fn read_enum_variant<T>(f: fn(uint) -> T) -> T; - fn read_enum_variant_arg<T>(idx: uint, f: fn() -> T) -> T; - fn read_vec<T>(f: fn(uint) -> T) -> T; - fn read_vec_elt<T>(idx: uint, f: fn() -> T) -> T; - fn read_box<T>(f: fn() -> T) -> T; - fn read_uniq<T>(f: fn() -> T) -> T; - fn read_rec<T>(f: fn() -> T) -> T; - fn read_rec_field<T>(f_name: ~str, f_idx: uint, f: fn() -> T) -> T; - fn read_tup<T>(sz: uint, f: fn() -> T) -> T; - fn read_tup_elt<T>(idx: uint, f: fn() -> T) -> T; -} - -trait Serializable { - fn serialize<S: Serializer>(s: S); - static fn deserialize<D: Deserializer>(d: D) -> self; -} - -impl uint: Serializable { - fn serialize<S: Serializer>(s: S) { s.emit_uint(self) } - static fn deserialize<D: Deserializer>(d: D) -> uint { d.read_uint() } + 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_vec<T>(&self, f: fn(uint) -> T) -> T; + fn read_vec_elt<T>(&self, idx: uint, f: fn() -> T) -> T; + fn read_box<T>(&self, f: fn() -> T) -> T; + fn read_uniq<T>(&self, f: fn() -> T) -> T; + fn read_rec<T>(&self, f: fn() -> T) -> T; + fn read_rec_field<T>(&self, f_name: ~str, f_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); + static fn deserialize<D: Deserializer>(&self, d: &D) -> self; +} + +pub impl uint: Serializable { + fn serialize<S: Serializer>(&self, s: &S) { s.emit_uint(*self) } + static fn deserialize<D: Deserializer>(&self, d: &D) -> uint { + d.read_uint() + } } -impl u8: Serializable { - fn serialize<S: Serializer>(s: S) { s.emit_u8(self) } - static fn deserialize<D: Deserializer>(d: D) -> u8 { d.read_u8() } +pub impl u8: Serializable { + fn serialize<S: Serializer>(&self, s: &S) { s.emit_u8(*self) } + static fn deserialize<D: Deserializer>(&self, d: &D) -> u8 { + d.read_u8() + } } -impl u16: Serializable { - fn serialize<S: Serializer>(s: S) { s.emit_u16(self) } - static fn deserialize<D: Deserializer>(d: D) -> u16 { d.read_u16() } +pub impl u16: Serializable { + fn serialize<S: Serializer>(&self, s: &S) { s.emit_u16(*self) } + static fn deserialize<D: Deserializer>(&self, d: &D) -> u16 { + d.read_u16() + } } -impl u32: Serializable { - fn serialize<S: Serializer>(s: S) { s.emit_u32(self) } - static fn deserialize<D: Deserializer>(d: D) -> u32 { d.read_u32() } +pub impl u32: Serializable { + fn serialize<S: Serializer>(&self, s: &S) { s.emit_u32(*self) } + static fn deserialize<D: Deserializer>(&self, d: &D) -> u32 { + d.read_u32() + } } -impl u64: Serializable { - fn serialize<S: Serializer>(s: S) { s.emit_u64(self) } - static fn deserialize<D: Deserializer>(d: D) -> u64 { d.read_u64() } +pub impl u64: Serializable { + fn serialize<S: Serializer>(&self, s: &S) { s.emit_u64(*self) } + static fn deserialize<D: Deserializer>(&self, d: &D) -> u64 { + d.read_u64() + } } -impl int: Serializable { - fn serialize<S: Serializer>(s: S) { s.emit_int(self) } - static fn deserialize<D: Deserializer>(d: D) -> int { d.read_int() } +pub impl int: Serializable { + fn serialize<S: Serializer>(&self, s: &S) { s.emit_int(*self) } + static fn deserialize<D: Deserializer>(&self, d: &D) -> int { + d.read_int() + } } -impl i8: Serializable { - fn serialize<S: Serializer>(s: S) { s.emit_i8(self) } - static fn deserialize<D: Deserializer>(d: D) -> i8 { d.read_i8() } +pub impl i8: Serializable { + fn serialize<S: Serializer>(&self, s: &S) { s.emit_i8(*self) } + static fn deserialize<D: Deserializer>(&self, d: &D) -> i8 { + d.read_i8() + } } -impl i16: Serializable { - fn serialize<S: Serializer>(s: S) { s.emit_i16(self) } - static fn deserialize<D: Deserializer>(d: D) -> i16 { d.read_i16() } +pub impl i16: Serializable { + fn serialize<S: Serializer>(&self, s: &S) { s.emit_i16(*self) } + static fn deserialize<D: Deserializer>(&self, d: &D) -> i16 { + d.read_i16() + } } -impl i32: Serializable { - fn serialize<S: Serializer>(s: S) { s.emit_i32(self) } - static fn deserialize<D: Deserializer>(d: D) -> i32 { d.read_i32() } +pub impl i32: Serializable { + fn serialize<S: Serializer>(&self, s: &S) { s.emit_i32(*self) } + static fn deserialize<D: Deserializer>(&self, d: &D) -> i32 { + d.read_i32() + } } -impl i64: Serializable { - fn serialize<S: Serializer>(s: S) { s.emit_i64(self) } - static fn deserialize<D: Deserializer>(d: D) -> i64 { d.read_i64() } +pub impl i64: Serializable { + fn serialize<S: Serializer>(&self, s: &S) { s.emit_i64(*self) } + static fn deserialize<D: Deserializer>(&self, d: &D) -> i64 { + d.read_i64() + } } -impl ~str: Serializable { - fn serialize<S: Serializer>(s: S) { s.emit_str(self) } - static fn deserialize<D: Deserializer>(d: D) -> ~str { d.read_str() } +pub impl ~str: Serializable { + fn serialize<S: Serializer>(&self, s: &S) { s.emit_str(*self) } + static fn deserialize<D: Deserializer>(&self, d: &D) -> ~str { + d.read_str() + } } -impl float: Serializable { - fn serialize<S: Serializer>(s: S) { s.emit_float(self) } - static fn deserialize<D: Deserializer>(d: D) -> float { d.read_float() } +pub impl float: Serializable { + fn serialize<S: Serializer>(&self, s: &S) { s.emit_float(*self) } + static fn deserialize<D: Deserializer>(&self, d: &D) -> float { + d.read_float() + } } -impl f32: Serializable { - fn serialize<S: Serializer>(s: S) { s.emit_f32(self) } - static fn deserialize<D: Deserializer>(d: D) -> f32 { d.read_f32() } +pub impl f32: Serializable { + fn serialize<S: Serializer>(&self, s: &S) { s.emit_f32(*self) } + static fn deserialize<D: Deserializer>(&self, d: &D) -> f32 { + d.read_f32() } } -impl f64: Serializable { - fn serialize<S: Serializer>(s: S) { s.emit_f64(self) } - static fn deserialize<D: Deserializer>(d: D) -> f64 { d.read_f64() } +pub impl f64: Serializable { + fn serialize<S: Serializer>(&self, s: &S) { s.emit_f64(*self) } + static fn deserialize<D: Deserializer>(&self, d: &D) -> f64 { + d.read_f64() + } } -impl bool: Serializable { - fn serialize<S: Serializer>(s: S) { s.emit_bool(self) } - static fn deserialize<D: Deserializer>(d: D) -> bool { d.read_bool() } +pub impl bool: Serializable { + fn serialize<S: Serializer>(&self, s: &S) { s.emit_bool(*self) } + static fn deserialize<D: Deserializer>(&self, d: &D) -> bool { + d.read_bool() + } } -impl (): Serializable { - fn serialize<S: Serializer>(s: S) { s.emit_nil() } - static fn deserialize<D: Deserializer>(d: D) -> () { d.read_nil() } +pub impl (): Serializable { + fn serialize<S: Serializer>(&self, s: &S) { s.emit_nil() } + static fn deserialize<D: Deserializer>(&self, d: &D) -> () { + d.read_nil() + } } -impl<T: Serializable> @T: Serializable { - fn serialize<S: Serializer>(s: S) { +pub impl<T: Serializable> @T: Serializable { + fn serialize<S: Serializer>(&self, s: &S) { s.emit_box(|| (*self).serialize(s)) } - static fn deserialize<D: Deserializer>(d: D) -> @T { + static fn deserialize<D: Deserializer>(&self, d: &D) -> @T { d.read_box(|| @deserialize(d)) } } -impl<T: Serializable> ~T: Serializable { - fn serialize<S: Serializer>(s: S) { +pub impl<T: Serializable> ~T: Serializable { + fn serialize<S: Serializer>(&self, s: &S) { s.emit_uniq(|| (*self).serialize(s)) } - static fn deserialize<D: Deserializer>(d: D) -> ~T { + static fn deserialize<D: Deserializer>(&self, d: &D) -> ~T { d.read_uniq(|| ~deserialize(d)) } } -impl<T: Serializable> ~[T]: Serializable { - fn serialize<S: Serializer>(s: S) { +pub impl<T: Serializable> ~[T]: Serializable { + fn serialize<S: Serializer>(&self, s: &S) { do s.emit_vec(self.len()) { for self.eachi |i, e| { s.emit_vec_elt(i, || e.serialize(s)) @@ -184,7 +219,7 @@ impl<T: Serializable> ~[T]: Serializable { } } - static fn deserialize<D: Deserializer>(d: D) -> ~[T] { + static fn deserialize<D: Deserializer>(&self, d: &D) -> ~[T] { do d.read_vec |len| { do vec::from_fn(len) |i| { d.read_vec_elt(i, || deserialize(d)) @@ -193,10 +228,10 @@ impl<T: Serializable> ~[T]: Serializable { } } -impl<T: Serializable> Option<T>: Serializable { - fn serialize<S: Serializer>(s: S) { +pub impl<T: Serializable> Option<T>: Serializable { + fn serialize<S: Serializer>(&self, s: &S) { do s.emit_enum(~"option") { - match self { + match *self { None => do s.emit_enum_variant(~"none", 0u, 0u) { }, @@ -207,7 +242,7 @@ impl<T: Serializable> Option<T>: Serializable { } } - static fn deserialize<D: Deserializer>(d: D) -> Option<T> { + static fn deserialize<D: Deserializer>(&self, d: &D) -> Option<T> { do d.read_enum(~"option") { do d.read_enum_variant |i| { match i { @@ -220,12 +255,12 @@ impl<T: Serializable> Option<T>: Serializable { } } -impl< +pub impl< T0: Serializable, T1: Serializable > (T0, T1): Serializable { - fn serialize<S: Serializer>(s: S) { - match self { + fn serialize<S: Serializer>(&self, s: &S) { + match *self { (t0, t1) => { do s.emit_tup(2) { s.emit_tup_elt(0, || t0.serialize(s)); @@ -235,7 +270,7 @@ impl< } } - static fn deserialize<D: Deserializer>(d: D) -> (T0, T1) { + static fn deserialize<D: Deserializer>(&self, d: &D) -> (T0, T1) { do d.read_tup(2) { ( d.read_tup_elt(0, || deserialize(d)), @@ -245,13 +280,13 @@ impl< } } -impl< +pub impl< T0: Serializable, T1: Serializable, T2: Serializable > (T0, T1, T2): Serializable { - fn serialize<S: Serializer>(s: S) { - match self { + fn serialize<S: Serializer>(&self, s: &S) { + match *self { (t0, t1, t2) => { do s.emit_tup(3) { s.emit_tup_elt(0, || t0.serialize(s)); @@ -262,7 +297,7 @@ impl< } } - static fn deserialize<D: Deserializer>(d: D) -> (T0, T1, T2) { + static fn deserialize<D: Deserializer>(&self, d: &D) -> (T0, T1, T2) { do d.read_tup(3) { ( d.read_tup_elt(0, || deserialize(d)), @@ -273,14 +308,14 @@ impl< } } -impl< +pub impl< T0: Serializable, T1: Serializable, T2: Serializable, T3: Serializable > (T0, T1, T2, T3): Serializable { - fn serialize<S: Serializer>(s: S) { - match self { + fn serialize<S: Serializer>(&self, s: &S) { + match *self { (t0, t1, t2, t3) => { do s.emit_tup(4) { s.emit_tup_elt(0, || t0.serialize(s)); @@ -292,7 +327,7 @@ impl< } } - static fn deserialize<D: Deserializer>(d: D) -> (T0, T1, T2, T3) { + static fn deserialize<D: Deserializer>(&self, d: &D) -> (T0, T1, T2, T3) { do d.read_tup(4) { ( d.read_tup_elt(0, || deserialize(d)), @@ -304,15 +339,15 @@ impl< } } -impl< +pub impl< T0: Serializable, T1: Serializable, T2: Serializable, T3: Serializable, T4: Serializable > (T0, T1, T2, T3, T4): Serializable { - fn serialize<S: Serializer>(s: S) { - match self { + fn serialize<S: Serializer>(&self, s: &S) { + match *self { (t0, t1, t2, t3, t4) => { do s.emit_tup(5) { s.emit_tup_elt(0, || t0.serialize(s)); @@ -325,7 +360,8 @@ impl< } } - static fn deserialize<D: Deserializer>(d: D) -> (T0, T1, T2, T3, T4) { + 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)), @@ -343,40 +379,32 @@ impl< // // In some cases, these should eventually be coded as traits. -fn emit_from_vec<S: Serializer, T>(s: S, v: ~[T], f: fn(T)) { - do s.emit_vec(v.len()) { - for v.eachi |i, e| { - do s.emit_vec_elt(i) { - f(*e) - } - } - } +pub trait SerializerHelpers { + fn emit_from_vec<T>(&self, v: ~[T], f: fn(v: &T)); } -fn read_to_vec<D: Deserializer, T: Copy>(d: D, f: fn() -> T) -> ~[T] { - do d.read_vec |len| { - do vec::from_fn(len) |i| { - d.read_vec_elt(i, || f()) +pub impl<S: Serializer> S: SerializerHelpers { + fn emit_from_vec<T>(&self, v: ~[T], f: fn(v: &T)) { + do self.emit_vec(v.len()) { + for v.eachi |i, e| { + do self.emit_vec_elt(i) { + f(e) + } + } } } } -trait SerializerHelpers { - fn emit_from_vec<T>(v: ~[T], f: fn(T)); +pub trait DeserializerHelpers { + fn read_to_vec<T>(&self, f: fn() -> T) -> ~[T]; } -impl<S: Serializer> S: SerializerHelpers { - fn emit_from_vec<T>(v: ~[T], f: fn(T)) { - emit_from_vec(self, v, f) - } -} - -trait DeserializerHelpers { - fn read_to_vec<T: Copy>(f: fn() -> T) -> ~[T]; -} - -impl<D: Deserializer> D: DeserializerHelpers { - fn read_to_vec<T: Copy>(f: fn() -> T) -> ~[T] { - read_to_vec(self, f) +pub impl<D: Deserializer> D: DeserializerHelpers { + fn read_to_vec<T>(&self, f: fn() -> T) -> ~[T] { + do self.read_vec |len| { + do vec::from_fn(len) |i| { + self.read_vec_elt(i, || f()) + } + } } } diff --git a/src/libstd/std.rc b/src/libstd/std.rc index 5979b98478f..548ec1c31b4 100644 --- a/src/libstd/std.rc +++ b/src/libstd/std.rc @@ -144,7 +144,6 @@ mod unicode; mod test; #[legacy_exports] mod serialization; -#[legacy_exports] mod serialization2; // Local Variables: |
