src/test/run-pass/method-self-arg-trait.rs

   1 // Copyright 2014 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.
   4 //
   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.
  10
  11 // Test method calls with self as an argument
  12
  13
  14 #![allow(unknown_features)]
  15 #![feature(box_syntax)]
  16
  17 static mut COUNT: u64 = 1;
  18
  19 #[derive(Copy, Clone)]
  20 struct Foo;
  21
  22 trait Bar : Sized {
  23     fn foo1(&self);
  24     fn foo2(self);
  25     fn foo3(self: Box<Self>);
  26
  27     fn bar1(&self) {
  28         unsafe { COUNT *= 7; }
  29     }
  30     fn bar2(self) {
  31         unsafe { COUNT *= 11; }
  32     }
  33     fn bar3(self: Box<Self>) {
  34         unsafe { COUNT *= 13; }
  35     }
  36 }
  37
  38 impl Bar for Foo {
  39     fn foo1(&self) {
  40         unsafe { COUNT *= 2; }
  41     }
  42
  43     fn foo2(self) {
  44         unsafe { COUNT *= 3; }
  45     }
  46
  47     fn foo3(self: Box<Foo>) {
  48         unsafe { COUNT *= 5; }
  49     }
  50 }
  51
  52 impl Foo {
  53     fn baz(self) {
  54         unsafe { COUNT *= 17; }
  55         // Test internal call.
  56         Bar::foo1(&self);
  57         Bar::foo2(self);
  58         Bar::foo3(box self);
  59
  60         Bar::bar1(&self);
  61         Bar::bar2(self);
  62         Bar::bar3(box self);
  63     }
  64 }
  65
  66 fn main() {
  67     let x = Foo;
  68     // Test external call.
  69     Bar::foo1(&x);
  70     Bar::foo2(x);
  71     Bar::foo3(box x);
  72
  73     Bar::bar1(&x);
  74     Bar::bar2(x);
  75     Bar::bar3(box x);
  76
  77     x.baz();
  78
  79     unsafe { assert_eq!(COUNT, 2*2*3*3*5*5*7*7*11*11*13*13*17); }
  80 }