1 // Copyright 2012 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.
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.
11 #![feature(managed_boxes)]
13 use std::intrinsics::{TyDesc, get_tydesc, visit_tydesc, TyVisitor, Disr, Opaque};
19 impl TyVisitor for MyVisitor {
20 fn visit_bot(&mut self) -> bool {
21 self.types.push("bot".to_string());
22 println!("visited bot type");
25 fn visit_nil(&mut self) -> bool {
26 self.types.push("nil".to_string());
27 println!("visited nil type");
30 fn visit_bool(&mut self) -> bool {
31 self.types.push("bool".to_string());
32 println!("visited bool type");
35 fn visit_int(&mut self) -> bool {
36 self.types.push("int".to_string());
37 println!("visited int type");
40 fn visit_i8(&mut self) -> bool {
41 self.types.push("i8".to_string());
42 println!("visited i8 type");
45 fn visit_i16(&mut self) -> bool {
46 self.types.push("i16".to_string());
47 println!("visited i16 type");
50 fn visit_i32(&mut self) -> bool { true }
51 fn visit_i64(&mut self) -> bool { true }
53 fn visit_uint(&mut self) -> bool { true }
54 fn visit_u8(&mut self) -> bool { true }
55 fn visit_u16(&mut self) -> bool { true }
56 fn visit_u32(&mut self) -> bool { true }
57 fn visit_u64(&mut self) -> bool { true }
59 fn visit_f32(&mut self) -> bool { true }
60 fn visit_f64(&mut self) -> bool { true }
62 fn visit_char(&mut self) -> bool { true }
64 fn visit_estr_slice(&mut self) -> bool { true }
65 fn visit_estr_fixed(&mut self,
66 _sz: uint, _sz2: uint,
67 _align: uint) -> bool { true }
69 fn visit_box(&mut self, _mtbl: uint, _inner: *TyDesc) -> bool { true }
70 fn visit_uniq(&mut self, _mtbl: uint, _inner: *TyDesc) -> bool { true }
71 fn visit_ptr(&mut self, _mtbl: uint, _inner: *TyDesc) -> bool { true }
72 fn visit_rptr(&mut self, _mtbl: uint, _inner: *TyDesc) -> bool { true }
74 fn visit_evec_slice(&mut self, _mtbl: uint, _inner: *TyDesc) -> bool { true }
75 fn visit_evec_fixed(&mut self, _n: uint, _sz: uint, _align: uint,
76 _mtbl: uint, _inner: *TyDesc) -> bool { true }
78 fn visit_enter_rec(&mut self, _n_fields: uint,
79 _sz: uint, _align: uint) -> bool { true }
80 fn visit_rec_field(&mut self, _i: uint, _name: &str,
81 _mtbl: uint, _inner: *TyDesc) -> bool { true }
82 fn visit_leave_rec(&mut self, _n_fields: uint,
83 _sz: uint, _align: uint) -> bool { true }
85 fn visit_enter_class(&mut self, _name: &str, _named_fields: bool, _n_fields: uint,
86 _sz: uint, _align: uint) -> bool { true }
87 fn visit_class_field(&mut self, _i: uint, _name: &str, _named: bool,
88 _mtbl: uint, _inner: *TyDesc) -> bool { true }
89 fn visit_leave_class(&mut self, _name: &str, _named_fields: bool, _n_fields: uint,
90 _sz: uint, _align: uint) -> bool { true }
92 fn visit_enter_tup(&mut self, _n_fields: uint,
93 _sz: uint, _align: uint) -> bool { true }
94 fn visit_tup_field(&mut self, _i: uint, _inner: *TyDesc) -> bool { true }
95 fn visit_leave_tup(&mut self, _n_fields: uint,
96 _sz: uint, _align: uint) -> bool { true }
98 fn visit_enter_enum(&mut self, _n_variants: uint,
99 _get_disr: unsafe extern fn(ptr: *Opaque) -> Disr,
100 _sz: uint, _align: uint) -> bool { true }
101 fn visit_enter_enum_variant(&mut self,
105 _name: &str) -> bool { true }
106 fn visit_enum_variant_field(&mut self, _i: uint, _offset: uint, _inner: *TyDesc)
108 fn visit_leave_enum_variant(&mut self,
112 _name: &str) -> bool { true }
113 fn visit_leave_enum(&mut self,
115 _get_disr: unsafe extern fn(ptr: *Opaque) -> Disr,
116 _sz: uint, _align: uint) -> bool { true }
118 fn visit_enter_fn(&mut self, _purity: uint, _proto: uint,
119 _n_inputs: uint, _retstyle: uint) -> bool { true }
120 fn visit_fn_input(&mut self, _i: uint, _mode: uint, _inner: *TyDesc) -> bool { true }
121 fn visit_fn_output(&mut self, _retstyle: uint, _variadic: bool, _inner: *TyDesc)
123 fn visit_leave_fn(&mut self, _purity: uint, _proto: uint,
124 _n_inputs: uint, _retstyle: uint) -> bool { true }
127 fn visit_trait(&mut self, _name: &str) -> bool { true }
128 fn visit_param(&mut self, _i: uint) -> bool { true }
129 fn visit_self(&mut self) -> bool { true }
132 fn visit_ty<T>(v: &mut MyVisitor) {
133 unsafe { visit_tydesc(get_tydesc::<T>(), v as &mut TyVisitor) }
137 let mut v = MyVisitor {types: Vec::new()};
139 visit_ty::<bool>(&mut v);
140 visit_ty::<int>(&mut v);
141 visit_ty::<i8>(&mut v);
142 visit_ty::<i16>(&mut v);
144 for s in v.types.iter() {
145 println!("type: {}", (*s).clone());
148 let vec_types: Vec<String> = v.types.clone().move_iter().collect();
149 assert_eq!(vec_types, vec!("bool".to_string(), "int".to_string(),
150 "i8".to_string(), "i16".to_string()));