1
Fork 0

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.
This commit is contained in:
Erick Tryzelaar 2012-09-25 10:50:54 -07:00 committed by Graydon Hoare
parent cd93441705
commit c0b9986c8f
5 changed files with 335 additions and 235 deletions

View file

@ -4,179 +4,214 @@
Core serialization interfaces. Core serialization interfaces.
*/ */
trait Serializer { #[forbid(deprecated_mode)];
#[forbid(deprecated_pattern)];
#[forbid(non_camel_case_types)];
pub trait Serializer {
// Primitive types: // Primitive types:
fn emit_nil(); fn emit_nil(&self);
fn emit_uint(v: uint); fn emit_uint(&self, v: uint);
fn emit_u64(v: u64); fn emit_u64(&self, v: u64);
fn emit_u32(v: u32); fn emit_u32(&self, v: u32);
fn emit_u16(v: u16); fn emit_u16(&self, v: u16);
fn emit_u8(v: u8); fn emit_u8(&self, v: u8);
fn emit_int(v: int); fn emit_int(&self, v: int);
fn emit_i64(v: i64); fn emit_i64(&self, v: i64);
fn emit_i32(v: i32); fn emit_i32(&self, v: i32);
fn emit_i16(v: i16); fn emit_i16(&self, v: i16);
fn emit_i8(v: i8); fn emit_i8(&self, v: i8);
fn emit_bool(v: bool); fn emit_bool(&self, v: bool);
fn emit_float(v: float); fn emit_float(&self, v: float);
fn emit_f64(v: f64); fn emit_f64(&self, v: f64);
fn emit_f32(v: f32); fn emit_f32(&self, v: f32);
fn emit_str(v: &str); fn emit_str(&self, v: &str);
// Compound types: // Compound types:
fn emit_enum(name: &str, f: fn()); fn emit_enum(&self, name: &str, f: fn());
fn emit_enum_variant(v_name: &str, v_id: uint, sz: uint, f: fn()); fn emit_enum_variant(&self, v_name: &str, v_id: uint, sz: uint, f: fn());
fn emit_enum_variant_arg(idx: uint, f: fn()); fn emit_enum_variant_arg(&self, idx: uint, f: fn());
fn emit_vec(len: uint, f: fn()); fn emit_vec(&self, len: uint, f: fn());
fn emit_vec_elt(idx: uint, f: fn()); fn emit_vec_elt(&self, idx: uint, f: fn());
fn emit_box(f: fn()); fn emit_box(&self, f: fn());
fn emit_uniq(f: fn()); fn emit_uniq(&self, f: fn());
fn emit_rec(f: fn()); fn emit_rec(&self, f: fn());
fn emit_rec_field(f_name: &str, f_idx: uint, f: fn()); fn emit_rec_field(&self, f_name: &str, f_idx: uint, f: fn());
fn emit_tup(sz: uint, f: fn()); fn emit_tup(&self, sz: uint, f: fn());
fn emit_tup_elt(idx: uint, f: fn()); fn emit_tup_elt(&self, idx: uint, f: fn());
} }
trait Deserializer { pub trait Deserializer {
// Primitive types: // Primitive types:
fn read_nil() -> (); fn read_nil(&self) -> ();
fn read_uint() -> uint; fn read_uint(&self) -> uint;
fn read_u64() -> u64; fn read_u64(&self) -> u64;
fn read_u32() -> u32; fn read_u32(&self) -> u32;
fn read_u16() -> u16; fn read_u16(&self) -> u16;
fn read_u8() -> u8; fn read_u8(&self) -> u8;
fn read_int() -> int; fn read_int(&self) -> int;
fn read_i64() -> i64; fn read_i64(&self) -> i64;
fn read_i32() -> i32; fn read_i32(&self) -> i32;
fn read_i16() -> i16; fn read_i16(&self) -> i16;
fn read_i8() -> i8; fn read_i8(&self) -> i8;
fn read_bool() -> bool; fn read_bool(&self) -> bool;
fn read_f64() -> f64; fn read_f64(&self) -> f64;
fn read_f32() -> f32; fn read_f32(&self) -> f32;
fn read_float() -> float; fn read_float(&self) -> float;
fn read_str() -> ~str; fn read_str(&self) -> ~str;
// Compound types: // Compound types:
fn read_enum<T>(name: ~str, f: fn() -> T) -> T; fn read_enum<T>(&self, name: ~str, f: fn() -> T) -> T;
fn read_enum_variant<T>(f: fn(uint) -> T) -> T; fn read_enum_variant<T>(&self, f: fn(uint) -> T) -> T;
fn read_enum_variant_arg<T>(idx: uint, f: fn() -> T) -> T; fn read_enum_variant_arg<T>(&self, idx: uint, f: fn() -> T) -> T;
fn read_vec<T>(f: fn(uint) -> T) -> T; fn read_vec<T>(&self, f: fn(uint) -> T) -> T;
fn read_vec_elt<T>(idx: uint, f: fn() -> T) -> T; fn read_vec_elt<T>(&self, idx: uint, f: fn() -> T) -> T;
fn read_box<T>(f: fn() -> T) -> T; fn read_box<T>(&self, f: fn() -> T) -> T;
fn read_uniq<T>(f: fn() -> T) -> T; fn read_uniq<T>(&self, f: fn() -> T) -> T;
fn read_rec<T>(f: fn() -> T) -> T; fn read_rec<T>(&self, f: fn() -> T) -> T;
fn read_rec_field<T>(f_name: ~str, f_idx: uint, f: fn() -> T) -> T; fn read_rec_field<T>(&self, f_name: ~str, f_idx: uint, f: fn() -> T) -> T;
fn read_tup<T>(sz: uint, f: fn() -> T) -> T; fn read_tup<T>(&self, sz: uint, f: fn() -> T) -> T;
fn read_tup_elt<T>(idx: uint, f: fn() -> T) -> T; fn read_tup_elt<T>(&self, idx: uint, f: fn() -> T) -> T;
} }
trait Serializable { pub trait Serializable {
fn serialize<S: Serializer>(s: S); fn serialize<S: Serializer>(&self, s: &S);
static fn deserialize<D: Deserializer>(d: D) -> self; static fn deserialize<D: Deserializer>(&self, d: &D) -> self;
} }
impl uint: Serializable { pub impl uint: Serializable {
fn serialize<S: Serializer>(s: S) { s.emit_uint(self) } fn serialize<S: Serializer>(&self, s: &S) { s.emit_uint(*self) }
static fn deserialize<D: Deserializer>(d: D) -> uint { d.read_uint() } static fn deserialize<D: Deserializer>(&self, d: &D) -> uint {
d.read_uint()
}
} }
impl u8: Serializable { pub impl u8: Serializable {
fn serialize<S: Serializer>(s: S) { s.emit_u8(self) } fn serialize<S: Serializer>(&self, s: &S) { s.emit_u8(*self) }
static fn deserialize<D: Deserializer>(d: D) -> u8 { d.read_u8() } static fn deserialize<D: Deserializer>(&self, d: &D) -> u8 {
d.read_u8()
}
} }
impl u16: Serializable { pub impl u16: Serializable {
fn serialize<S: Serializer>(s: S) { s.emit_u16(self) } fn serialize<S: Serializer>(&self, s: &S) { s.emit_u16(*self) }
static fn deserialize<D: Deserializer>(d: D) -> u16 { d.read_u16() } static fn deserialize<D: Deserializer>(&self, d: &D) -> u16 {
d.read_u16()
}
} }
impl u32: Serializable { pub impl u32: Serializable {
fn serialize<S: Serializer>(s: S) { s.emit_u32(self) } fn serialize<S: Serializer>(&self, s: &S) { s.emit_u32(*self) }
static fn deserialize<D: Deserializer>(d: D) -> u32 { d.read_u32() } static fn deserialize<D: Deserializer>(&self, d: &D) -> u32 {
d.read_u32()
}
} }
impl u64: Serializable { pub impl u64: Serializable {
fn serialize<S: Serializer>(s: S) { s.emit_u64(self) } fn serialize<S: Serializer>(&self, s: &S) { s.emit_u64(*self) }
static fn deserialize<D: Deserializer>(d: D) -> u64 { d.read_u64() } static fn deserialize<D: Deserializer>(&self, d: &D) -> u64 {
d.read_u64()
}
} }
impl int: Serializable { pub impl int: Serializable {
fn serialize<S: Serializer>(s: S) { s.emit_int(self) } fn serialize<S: Serializer>(&self, s: &S) { s.emit_int(*self) }
static fn deserialize<D: Deserializer>(d: D) -> int { d.read_int() } static fn deserialize<D: Deserializer>(&self, d: &D) -> int {
d.read_int()
}
} }
impl i8: Serializable { pub impl i8: Serializable {
fn serialize<S: Serializer>(s: S) { s.emit_i8(self) } fn serialize<S: Serializer>(&self, s: &S) { s.emit_i8(*self) }
static fn deserialize<D: Deserializer>(d: D) -> i8 { d.read_i8() } static fn deserialize<D: Deserializer>(&self, d: &D) -> i8 {
d.read_i8()
}
} }
impl i16: Serializable { pub impl i16: Serializable {
fn serialize<S: Serializer>(s: S) { s.emit_i16(self) } fn serialize<S: Serializer>(&self, s: &S) { s.emit_i16(*self) }
static fn deserialize<D: Deserializer>(d: D) -> i16 { d.read_i16() } static fn deserialize<D: Deserializer>(&self, d: &D) -> i16 {
d.read_i16()
}
} }
impl i32: Serializable { pub impl i32: Serializable {
fn serialize<S: Serializer>(s: S) { s.emit_i32(self) } fn serialize<S: Serializer>(&self, s: &S) { s.emit_i32(*self) }
static fn deserialize<D: Deserializer>(d: D) -> i32 { d.read_i32() } static fn deserialize<D: Deserializer>(&self, d: &D) -> i32 {
d.read_i32()
}
} }
impl i64: Serializable { pub impl i64: Serializable {
fn serialize<S: Serializer>(s: S) { s.emit_i64(self) } fn serialize<S: Serializer>(&self, s: &S) { s.emit_i64(*self) }
static fn deserialize<D: Deserializer>(d: D) -> i64 { d.read_i64() } static fn deserialize<D: Deserializer>(&self, d: &D) -> i64 {
d.read_i64()
}
} }
impl ~str: Serializable { pub impl ~str: Serializable {
fn serialize<S: Serializer>(s: S) { s.emit_str(self) } fn serialize<S: Serializer>(&self, s: &S) { s.emit_str(*self) }
static fn deserialize<D: Deserializer>(d: D) -> ~str { d.read_str() } static fn deserialize<D: Deserializer>(&self, d: &D) -> ~str {
d.read_str()
}
} }
impl float: Serializable { pub impl float: Serializable {
fn serialize<S: Serializer>(s: S) { s.emit_float(self) } fn serialize<S: Serializer>(&self, s: &S) { s.emit_float(*self) }
static fn deserialize<D: Deserializer>(d: D) -> float { d.read_float() } static fn deserialize<D: Deserializer>(&self, d: &D) -> float {
d.read_float()
}
} }
impl f32: Serializable { pub impl f32: Serializable {
fn serialize<S: Serializer>(s: S) { s.emit_f32(self) } fn serialize<S: Serializer>(&self, s: &S) { s.emit_f32(*self) }
static fn deserialize<D: Deserializer>(d: D) -> f32 { d.read_f32() } static fn deserialize<D: Deserializer>(&self, d: &D) -> f32 {
d.read_f32() }
} }
impl f64: Serializable { pub impl f64: Serializable {
fn serialize<S: Serializer>(s: S) { s.emit_f64(self) } fn serialize<S: Serializer>(&self, s: &S) { s.emit_f64(*self) }
static fn deserialize<D: Deserializer>(d: D) -> f64 { d.read_f64() } static fn deserialize<D: Deserializer>(&self, d: &D) -> f64 {
d.read_f64()
}
} }
impl bool: Serializable { pub impl bool: Serializable {
fn serialize<S: Serializer>(s: S) { s.emit_bool(self) } fn serialize<S: Serializer>(&self, s: &S) { s.emit_bool(*self) }
static fn deserialize<D: Deserializer>(d: D) -> bool { d.read_bool() } static fn deserialize<D: Deserializer>(&self, d: &D) -> bool {
d.read_bool()
}
} }
impl (): Serializable { pub impl (): Serializable {
fn serialize<S: Serializer>(s: S) { s.emit_nil() } fn serialize<S: Serializer>(&self, s: &S) { s.emit_nil() }
static fn deserialize<D: Deserializer>(d: D) -> () { d.read_nil() } static fn deserialize<D: Deserializer>(&self, d: &D) -> () {
d.read_nil()
}
} }
impl<T: Serializable> @T: Serializable { pub impl<T: Serializable> @T: Serializable {
fn serialize<S: Serializer>(s: S) { fn serialize<S: Serializer>(&self, s: &S) {
s.emit_box(|| (*self).serialize(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)) d.read_box(|| @deserialize(d))
} }
} }
impl<T: Serializable> ~T: Serializable { pub impl<T: Serializable> ~T: Serializable {
fn serialize<S: Serializer>(s: S) { fn serialize<S: Serializer>(&self, s: &S) {
s.emit_uniq(|| (*self).serialize(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)) d.read_uniq(|| ~deserialize(d))
} }
} }
impl<T: Serializable> ~[T]: Serializable { pub impl<T: Serializable> ~[T]: Serializable {
fn serialize<S: Serializer>(s: S) { fn serialize<S: Serializer>(&self, s: &S) {
do s.emit_vec(self.len()) { do s.emit_vec(self.len()) {
for self.eachi |i, e| { for self.eachi |i, e| {
s.emit_vec_elt(i, || e.serialize(s)) 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 d.read_vec |len| {
do vec::from_fn(len) |i| { do vec::from_fn(len) |i| {
d.read_vec_elt(i, || deserialize(d)) d.read_vec_elt(i, || deserialize(d))
@ -193,10 +228,10 @@ impl<T: Serializable> ~[T]: Serializable {
} }
} }
impl<T: Serializable> Option<T>: Serializable { pub impl<T: Serializable> Option<T>: Serializable {
fn serialize<S: Serializer>(s: S) { fn serialize<S: Serializer>(&self, s: &S) {
do s.emit_enum(~"option") { do s.emit_enum(~"option") {
match self { match *self {
None => do s.emit_enum_variant(~"none", 0u, 0u) { 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(~"option") {
do d.read_enum_variant |i| { do d.read_enum_variant |i| {
match i { match i {
@ -220,12 +255,12 @@ impl<T: Serializable> Option<T>: Serializable {
} }
} }
impl< pub impl<
T0: Serializable, T0: Serializable,
T1: Serializable T1: Serializable
> (T0, T1): Serializable { > (T0, T1): Serializable {
fn serialize<S: Serializer>(s: S) { fn serialize<S: Serializer>(&self, s: &S) {
match self { match *self {
(t0, t1) => { (t0, t1) => {
do s.emit_tup(2) { do s.emit_tup(2) {
s.emit_tup_elt(0, || t0.serialize(s)); 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) { do d.read_tup(2) {
( (
d.read_tup_elt(0, || deserialize(d)), d.read_tup_elt(0, || deserialize(d)),
@ -245,13 +280,13 @@ impl<
} }
} }
impl< pub impl<
T0: Serializable, T0: Serializable,
T1: Serializable, T1: Serializable,
T2: Serializable T2: Serializable
> (T0, T1, T2): Serializable { > (T0, T1, T2): Serializable {
fn serialize<S: Serializer>(s: S) { fn serialize<S: Serializer>(&self, s: &S) {
match self { match *self {
(t0, t1, t2) => { (t0, t1, t2) => {
do s.emit_tup(3) { do s.emit_tup(3) {
s.emit_tup_elt(0, || t0.serialize(s)); 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) { do d.read_tup(3) {
( (
d.read_tup_elt(0, || deserialize(d)), d.read_tup_elt(0, || deserialize(d)),
@ -273,14 +308,14 @@ impl<
} }
} }
impl< pub impl<
T0: Serializable, T0: Serializable,
T1: Serializable, T1: Serializable,
T2: Serializable, T2: Serializable,
T3: Serializable T3: Serializable
> (T0, T1, T2, T3): Serializable { > (T0, T1, T2, T3): Serializable {
fn serialize<S: Serializer>(s: S) { fn serialize<S: Serializer>(&self, s: &S) {
match self { match *self {
(t0, t1, t2, t3) => { (t0, t1, t2, t3) => {
do s.emit_tup(4) { do s.emit_tup(4) {
s.emit_tup_elt(0, || t0.serialize(s)); 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) { do d.read_tup(4) {
( (
d.read_tup_elt(0, || deserialize(d)), d.read_tup_elt(0, || deserialize(d)),
@ -304,15 +339,15 @@ impl<
} }
} }
impl< pub impl<
T0: Serializable, T0: Serializable,
T1: Serializable, T1: Serializable,
T2: Serializable, T2: Serializable,
T3: Serializable, T3: Serializable,
T4: Serializable T4: Serializable
> (T0, T1, T2, T3, T4): Serializable { > (T0, T1, T2, T3, T4): Serializable {
fn serialize<S: Serializer>(s: S) { fn serialize<S: Serializer>(&self, s: &S) {
match self { match *self {
(t0, t1, t2, t3, t4) => { (t0, t1, t2, t3, t4) => {
do s.emit_tup(5) { do s.emit_tup(5) {
s.emit_tup_elt(0, || t0.serialize(s)); 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) { do d.read_tup(5) {
( (
d.read_tup_elt(0, || deserialize(d)), d.read_tup_elt(0, || deserialize(d)),
@ -343,40 +379,32 @@ impl<
// //
// In some cases, these should eventually be coded as traits. // In some cases, these should eventually be coded as traits.
fn emit_from_vec<S: Serializer, T>(s: S, v: ~[T], f: fn(T)) { pub trait SerializerHelpers {
do s.emit_vec(v.len()) { fn emit_from_vec<T>(&self, v: ~[T], f: fn(v: &T));
for v.eachi |i, e| { }
do s.emit_vec_elt(i) {
f(*e) 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)
}
} }
} }
} }
} }
fn read_to_vec<D: Deserializer, T: Copy>(d: D, f: fn() -> T) -> ~[T] { pub trait DeserializerHelpers {
do d.read_vec |len| { fn read_to_vec<T>(&self, f: fn() -> T) -> ~[T];
do vec::from_fn(len) |i| { }
d.read_vec_elt(i, || 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())
}
} }
} }
} }
trait SerializerHelpers {
fn emit_from_vec<T>(v: ~[T], f: fn(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)
}
}

View file

@ -144,7 +144,6 @@ mod unicode;
mod test; mod test;
#[legacy_exports] #[legacy_exports]
mod serialization; mod serialization;
#[legacy_exports]
mod serialization2; mod serialization2;
// Local Variables: // Local Variables:

View file

@ -232,9 +232,24 @@ fn mk_ser_method(
bounds: @~[ast::bound_trait(ser_bound)], bounds: @~[ast::bound_trait(ser_bound)],
}]; }];
let ty_s = @{
id: cx.next_id(),
node: ast::ty_rptr(
@{
id: cx.next_id(),
node: ast::re_anon,
},
{
ty: cx.ty_path(span, ~[cx.ident_of(~"__S")], ~[]),
mutbl: ast::m_imm
}
),
span: span,
};
let ser_inputs = ~[{ let ser_inputs = ~[{
mode: ast::expl(ast::by_ref), mode: ast::infer(cx.next_id()),
ty: cx.ty_path(span, ~[cx.ident_of(~"__S")], ~[]), ty: ty_s,
ident: cx.ident_of(~"__s"), ident: cx.ident_of(~"__s"),
id: cx.next_id(), id: cx.next_id(),
}]; }];
@ -255,7 +270,7 @@ fn mk_ser_method(
ident: cx.ident_of(~"serialize"), ident: cx.ident_of(~"serialize"),
attrs: ~[], attrs: ~[],
tps: ser_tps, tps: ser_tps,
self_ty: { node: ast::sty_by_ref, span: span }, self_ty: { node: ast::sty_region(ast::m_imm), span: span },
purity: ast::impure_fn, purity: ast::impure_fn,
decl: ser_decl, decl: ser_decl,
body: ser_body, body: ser_body,
@ -288,9 +303,24 @@ fn mk_deser_method(
bounds: @~[ast::bound_trait(deser_bound)], bounds: @~[ast::bound_trait(deser_bound)],
}]; }];
let ty_d = @{
id: cx.next_id(),
node: ast::ty_rptr(
@{
id: cx.next_id(),
node: ast::re_anon,
},
{
ty: cx.ty_path(span, ~[cx.ident_of(~"__D")], ~[]),
mutbl: ast::m_imm
}
),
span: span,
};
let deser_inputs = ~[{ let deser_inputs = ~[{
mode: ast::expl(ast::by_ref), mode: ast::infer(cx.next_id()),
ty: cx.ty_path(span, ~[cx.ident_of(~"__D")], ~[]), ty: ty_d,
ident: cx.ident_of(~"__d"), ident: cx.ident_of(~"__d"),
id: cx.next_id(), id: cx.next_id(),
}]; }];
@ -608,11 +638,14 @@ fn mk_enum_ser_body(
} }
}; };
// ast for `match self { $(arms) }` // ast for `match *self { $(arms) }`
let match_expr = cx.expr( let match_expr = cx.expr(
span, span,
ast::expr_match( ast::expr_match(
cx.expr_var(span, ~"self"), cx.expr(
span,
ast::expr_unary(ast::deref, cx.expr_var(span, ~"self"))
),
arms arms
) )
); );

View file

@ -0,0 +1,73 @@
// xfail-test FIXME Blocked on (#3585)
extern mod std;
// These tests used to be separate files, but I wanted to refactor all
// the common code.
use cmp::Eq;
use std::ebml2;
use io::Writer;
use std::serialization2::{Serializer, Serializable, deserialize};
use std::prettyprint2;
fn test_ser_and_deser<A:Eq Serializable>(
a1: A,
expected: ~str
) {
// check the pretty printer:
let s = do io::with_str_writer |w| {
a1.serialize(&prettyprint2::Serializer(w))
};
debug!("s == %?", s);
assert s == expected;
// check the EBML serializer:
let bytes = do io::with_bytes_writer |wr| {
let ebml_w = &ebml2::Serializer(wr);
a1.serialize(ebml_w)
};
let d = ebml2::Doc(@bytes);
let a2: A = deserialize(&ebml2::Deserializer(d));
assert a1 == a2;
}
#[auto_serialize2]
enum Expr {
Val(uint),
Plus(@Expr, @Expr),
Minus(@Expr, @Expr)
}
impl Expr : cmp::Eq {
pure fn eq(other: &Expr) -> bool {
match self {
Val(e0a) => {
match *other {
Val(e0b) => e0a == e0b,
_ => false
}
}
Plus(e0a, e1a) => {
match *other {
Plus(e0b, e1b) => e0a == e0b && e1a == e1b,
_ => false
}
}
Minus(e0a, e1a) => {
match *other {
Minus(e0b, e1b) => e0a == e0b && e1a == e1b,
_ => false
}
}
}
}
pure fn ne(other: &Expr) -> bool { !self.eq(other) }
}
fn main() {
test_ser_and_deser(Plus(@Minus(@Val(3u), @Val(10u)),
@Plus(@Val(22u), @Val(5u))),
~"Plus(@Minus(@Val(3u), @Val(10u)), \
@Plus(@Val(22u), @Val(5u)))");
}

View file

@ -15,98 +15,71 @@ fn test_ser_and_deser<A:Eq Serializable>(
) { ) {
// check the pretty printer: // check the pretty printer:
let s = io::with_str_writer(|w| a1.serialize(w)); let s = do io::with_str_writer |w| {
a1.serialize(&prettyprint2::Serializer(w))
};
debug!("s == %?", s); debug!("s == %?", s);
assert s == expected; assert s == expected;
// check the EBML serializer: // check the EBML serializer:
let bytes = do io::with_bytes_writer |wr| { let bytes = do io::with_bytes_writer |wr| {
let ebml_w = ebml2::Serializer(wr); let ebml_w = &ebml2::Serializer(wr);
a1.serialize(ebml_w) a1.serialize(ebml_w)
}; };
let d = ebml2::Doc(@bytes); let d = ebml2::Doc(@bytes);
let a2: A = deserialize(ebml2::Deserializer(d)); let a2: A = deserialize(&ebml2::Deserializer(d));
assert a1 == a2; assert a1 == a2;
} }
#[auto_serialize2]
enum Expr {
Val(uint),
Plus(@Expr, @Expr),
Minus(@Expr, @Expr)
}
impl AnEnum : cmp::Eq { impl AnEnum : cmp::Eq {
pure fn eq(&&other: AnEnum) -> bool { pure fn eq(other: &AnEnum) -> bool {
self.v == other.v self.v == other.v
} }
pure fn ne(&&other: AnEnum) -> bool { !self.eq(other) } pure fn ne(other: &AnEnum) -> bool { !self.eq(other) }
} }
impl Point : cmp::Eq { impl Point : cmp::Eq {
pure fn eq(&&other: Point) -> bool { pure fn eq(other: &Point) -> bool {
self.x == other.x && self.y == other.y self.x == other.x && self.y == other.y
} }
pure fn ne(&&other: Point) -> bool { !self.eq(other) } pure fn ne(other: &Point) -> bool { !self.eq(other) }
} }
impl<T:cmp::Eq> Quark<T> : cmp::Eq { impl<T:cmp::Eq> Quark<T> : cmp::Eq {
pure fn eq(&&other: Quark<T>) -> bool { pure fn eq(other: &Quark<T>) -> bool {
match self { match self {
Top(ref q) => match other { Top(ref q) => {
Top(ref r) => q == r, match *other {
Bottom(_) => false Top(ref r) => q == r,
}, Bottom(_) => false
Bottom(ref q) => match other { }
Top(_) => false, },
Bottom(ref r) => q == r Bottom(ref q) => {
} match *other {
Top(_) => false,
Bottom(ref r) => q == r
}
},
} }
} }
pure fn ne(&&other: Quark<T>) -> bool { !self.eq(other) } pure fn ne(other: &Quark<T>) -> bool { !self.eq(other) }
} }
impl CLike : cmp::Eq { impl CLike : cmp::Eq {
pure fn eq(&&other: CLike) -> bool { pure fn eq(other: &CLike) -> bool {
self as int == other as int self as int == *other as int
} }
pure fn ne(&&other: CLike) -> bool { !self.eq(other) } pure fn ne(other: &CLike) -> bool { !self.eq(other) }
}
impl Expr : cmp::Eq {
pure fn eq(&&other: Expr) -> bool {
match self {
Val(e0a) => {
match other {
Val(e0b) => e0a == e0b,
_ => false
}
}
Plus(e0a, e1a) => {
match other {
Plus(e0b, e1b) => e0a == e0b && e1a == e1b,
_ => false
}
}
Minus(e0a, e1a) => {
match other {
Minus(e0b, e1b) => e0a == e0b && e1a == e1b,
_ => false
}
}
}
}
pure fn ne(&&other: Expr) -> bool { !self.eq(other) }
} }
#[auto_serialize2] #[auto_serialize2]
type Spanned<T> = {lo: uint, hi: uint, node: T}; type Spanned<T> = {lo: uint, hi: uint, node: T};
impl<T:cmp::Eq> Spanned<T> : cmp::Eq { impl<T:cmp::Eq> Spanned<T> : cmp::Eq {
pure fn eq(&&other: Spanned<T>) -> bool { pure fn eq(other: &Spanned<T>) -> bool {
self.lo == other.lo && self.hi == other.hi && self.node.eq(other.node) self.lo == other.lo && self.hi == other.hi && self.node == other.node
} }
pure fn ne(&&other: Spanned<T>) -> bool { !self.eq(other) } pure fn ne(other: &Spanned<T>) -> bool { !self.eq(other) }
} }
#[auto_serialize2] #[auto_serialize2]
@ -128,12 +101,6 @@ enum Quark<T> {
enum CLike { A, B, C } enum CLike { A, B, C }
fn main() { fn main() {
test_ser_and_deser(Plus(@Minus(@Val(3u), @Val(10u)),
@Plus(@Val(22u), @Val(5u))),
~"Plus(@Minus(@Val(3u), @Val(10u)), \
@Plus(@Val(22u), @Val(5u)))");
test_ser_and_deser({lo: 0u, hi: 5u, node: 22u}, test_ser_and_deser({lo: 0u, hi: 5u, node: 22u},
~"{lo: 0u, hi: 5u, node: 22u}"); ~"{lo: 0u, hi: 5u, node: 22u}");