Rob Pike | 536b1f2 | 2008-10-23 17:13:34 -0700 | [diff] [blame] | 1 | // Copyright 2009 The Go Authors. All rights reserved. |
| 2 | // Use of this source code is governed by a BSD-style |
| 3 | // license that can be found in the LICENSE file. |
| 4 | |
Russ Cox | 3b864e4 | 2009-08-12 13:18:37 -0700 | [diff] [blame] | 5 | package reflect_test |
Rob Pike | 536b1f2 | 2008-10-23 17:13:34 -0700 | [diff] [blame] | 6 | |
| 7 | import ( |
Russ Cox | 1cecac8 | 2010-01-24 23:33:59 -0800 | [diff] [blame] | 8 | "container/vector" |
Russ Cox | 6672b40 | 2010-06-14 11:23:11 -0700 | [diff] [blame] | 9 | "fmt" |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 10 | "io" |
| 11 | "os" |
| 12 | . "reflect" |
| 13 | "testing" |
| 14 | "unsafe" |
Rob Pike | 536b1f2 | 2008-10-23 17:13:34 -0700 | [diff] [blame] | 15 | ) |
| 16 | |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 17 | type integer int |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 18 | type T struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 19 | a int |
| 20 | b float64 |
| 21 | c string |
| 22 | d *int |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 23 | } |
Rob Pike | 536b1f2 | 2008-10-23 17:13:34 -0700 | [diff] [blame] | 24 | |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 25 | type pair struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 26 | i interface{} |
| 27 | s string |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 28 | } |
| 29 | |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 30 | func isDigit(c uint8) bool { return '0' <= c && c <= '9' } |
Rob Pike | 536b1f2 | 2008-10-23 17:13:34 -0700 | [diff] [blame] | 31 | |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 32 | func assert(t *testing.T, s, want string) { |
| 33 | if s != want { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 34 | t.Errorf("have %#q want %#q", s, want) |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 35 | } |
| 36 | } |
| 37 | |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 38 | func typestring(i interface{}) string { return Typeof(i).String() } |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 39 | |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 40 | var typeTests = []pair{ |
Robert Griesemer | a05a546 | 2009-11-06 16:33:53 -0800 | [diff] [blame] | 41 | pair{struct{ x int }{}, "int"}, |
| 42 | pair{struct{ x int8 }{}, "int8"}, |
| 43 | pair{struct{ x int16 }{}, "int16"}, |
| 44 | pair{struct{ x int32 }{}, "int32"}, |
| 45 | pair{struct{ x int64 }{}, "int64"}, |
| 46 | pair{struct{ x uint }{}, "uint"}, |
| 47 | pair{struct{ x uint8 }{}, "uint8"}, |
| 48 | pair{struct{ x uint16 }{}, "uint16"}, |
| 49 | pair{struct{ x uint32 }{}, "uint32"}, |
| 50 | pair{struct{ x uint64 }{}, "uint64"}, |
| 51 | pair{struct{ x float }{}, "float"}, |
| 52 | pair{struct{ x float32 }{}, "float32"}, |
| 53 | pair{struct{ x float64 }{}, "float64"}, |
| 54 | pair{struct{ x int8 }{}, "int8"}, |
| 55 | pair{struct{ x (**int8) }{}, "**int8"}, |
| 56 | pair{struct{ x (**integer) }{}, "**reflect_test.integer"}, |
| 57 | pair{struct{ x ([32]int32) }{}, "[32]int32"}, |
| 58 | pair{struct{ x ([]int8) }{}, "[]int8"}, |
| 59 | pair{struct{ x (map[string]int32) }{}, "map[string] int32"}, |
| 60 | pair{struct{ x (chan<- string) }{}, "chan<- string"}, |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 61 | pair{struct { |
| 62 | x struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 63 | c chan *int32 |
| 64 | d float32 |
| 65 | } |
Robert Griesemer | 7151d23 | 2009-11-05 18:27:30 -0800 | [diff] [blame] | 66 | }{}, |
| 67 | "struct { c chan *int32; d float32 }", |
| 68 | }, |
Robert Griesemer | a05a546 | 2009-11-06 16:33:53 -0800 | [diff] [blame] | 69 | pair{struct{ x (func(a int8, b int32)) }{}, "func(int8, int32)"}, |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 70 | pair{struct { |
| 71 | x struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 72 | c func(chan *integer, *int8) |
| 73 | } |
Robert Griesemer | 7151d23 | 2009-11-05 18:27:30 -0800 | [diff] [blame] | 74 | }{}, |
| 75 | "struct { c func(chan *reflect_test.integer, *int8) }", |
| 76 | }, |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 77 | pair{struct { |
| 78 | x struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 79 | a int8 |
| 80 | b int32 |
| 81 | } |
Robert Griesemer | 7151d23 | 2009-11-05 18:27:30 -0800 | [diff] [blame] | 82 | }{}, |
| 83 | "struct { a int8; b int32 }", |
| 84 | }, |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 85 | pair{struct { |
| 86 | x struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 87 | a int8 |
| 88 | b int8 |
| 89 | c int32 |
| 90 | } |
Robert Griesemer | 7151d23 | 2009-11-05 18:27:30 -0800 | [diff] [blame] | 91 | }{}, |
| 92 | "struct { a int8; b int8; c int32 }", |
| 93 | }, |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 94 | pair{struct { |
| 95 | x struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 96 | a int8 |
| 97 | b int8 |
| 98 | c int8 |
| 99 | d int32 |
| 100 | } |
Robert Griesemer | 7151d23 | 2009-11-05 18:27:30 -0800 | [diff] [blame] | 101 | }{}, |
| 102 | "struct { a int8; b int8; c int8; d int32 }", |
| 103 | }, |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 104 | pair{struct { |
| 105 | x struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 106 | a int8 |
| 107 | b int8 |
| 108 | c int8 |
| 109 | d int8 |
| 110 | e int32 |
| 111 | } |
Robert Griesemer | 7151d23 | 2009-11-05 18:27:30 -0800 | [diff] [blame] | 112 | }{}, |
| 113 | "struct { a int8; b int8; c int8; d int8; e int32 }", |
| 114 | }, |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 115 | pair{struct { |
| 116 | x struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 117 | a int8 |
| 118 | b int8 |
| 119 | c int8 |
| 120 | d int8 |
| 121 | e int8 |
| 122 | f int32 |
| 123 | } |
Robert Griesemer | 7151d23 | 2009-11-05 18:27:30 -0800 | [diff] [blame] | 124 | }{}, |
| 125 | "struct { a int8; b int8; c int8; d int8; e int8; f int32 }", |
| 126 | }, |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 127 | pair{struct { |
| 128 | x struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 129 | a int8 "hi there" |
| 130 | } |
Robert Griesemer | 7151d23 | 2009-11-05 18:27:30 -0800 | [diff] [blame] | 131 | }{}, |
| 132 | `struct { a int8 "hi there" }`, |
| 133 | }, |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 134 | pair{struct { |
| 135 | x struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 136 | a int8 "hi \x00there\t\n\"\\" |
| 137 | } |
Robert Griesemer | 7151d23 | 2009-11-05 18:27:30 -0800 | [diff] [blame] | 138 | }{}, |
| 139 | `struct { a int8 "hi \x00there\t\n\"\\" }`, |
| 140 | }, |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 141 | pair{struct { |
| 142 | x struct { |
Russ Cox | 6672b40 | 2010-06-14 11:23:11 -0700 | [diff] [blame] | 143 | f func(args ...int) |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 144 | } |
Robert Griesemer | 7151d23 | 2009-11-05 18:27:30 -0800 | [diff] [blame] | 145 | }{}, |
Russ Cox | 6672b40 | 2010-06-14 11:23:11 -0700 | [diff] [blame] | 146 | "struct { f func(...int) }", |
Robert Griesemer | 7151d23 | 2009-11-05 18:27:30 -0800 | [diff] [blame] | 147 | }, |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 148 | pair{struct { |
| 149 | x (interface { |
Robert Griesemer | 1be05bb | 2010-02-24 13:24:37 -0800 | [diff] [blame] | 150 | a(func(func(int) int) func(func(int)) int) |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 151 | b() |
| 152 | }) |
Robert Griesemer | 7151d23 | 2009-11-05 18:27:30 -0800 | [diff] [blame] | 153 | }{}, |
Russ Cox | 7abb4b3 | 2010-01-26 10:40:28 -0800 | [diff] [blame] | 154 | "interface { a(func(func(int) int) func(func(int)) int); b() }", |
Robert Griesemer | 7151d23 | 2009-11-05 18:27:30 -0800 | [diff] [blame] | 155 | }, |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 156 | } |
| 157 | |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 158 | var valueTests = []pair{ |
| 159 | pair{(int8)(0), "8"}, |
| 160 | pair{(int16)(0), "16"}, |
| 161 | pair{(int32)(0), "32"}, |
| 162 | pair{(int64)(0), "64"}, |
| 163 | pair{(uint8)(0), "8"}, |
| 164 | pair{(uint16)(0), "16"}, |
| 165 | pair{(uint32)(0), "32"}, |
| 166 | pair{(uint64)(0), "64"}, |
Russ Cox | 45bdf03 | 2010-06-20 12:16:25 -0700 | [diff] [blame] | 167 | pair{(float32)(0), "256.25"}, |
| 168 | pair{(float64)(0), "512.125"}, |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 169 | pair{(string)(""), "stringy cheese"}, |
| 170 | pair{(bool)(false), "true"}, |
| 171 | pair{(*int8)(nil), "*int8(0)"}, |
| 172 | pair{(**int8)(nil), "**int8(0)"}, |
Russ Cox | c6cb303 | 2010-08-03 00:53:32 -0700 | [diff] [blame] | 173 | pair{[5]int32{}, "[5]int32{0, 0, 0, 0, 0}"}, |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 174 | pair{(**integer)(nil), "**reflect_test.integer(0)"}, |
| 175 | pair{(map[string]int32)(nil), "map[string] int32{<can't iterate on maps>}"}, |
| 176 | pair{(chan<- string)(nil), "chan<- string"}, |
Russ Cox | c6cb303 | 2010-08-03 00:53:32 -0700 | [diff] [blame] | 177 | pair{struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 178 | c chan *int32 |
| 179 | d float32 |
Russ Cox | c6cb303 | 2010-08-03 00:53:32 -0700 | [diff] [blame] | 180 | }{}, |
Robert Griesemer | 7151d23 | 2009-11-05 18:27:30 -0800 | [diff] [blame] | 181 | "struct { c chan *int32; d float32 }{chan *int32, 0}", |
| 182 | }, |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 183 | pair{(func(a int8, b int32))(nil), "func(int8, int32)(0)"}, |
Russ Cox | c6cb303 | 2010-08-03 00:53:32 -0700 | [diff] [blame] | 184 | pair{struct{ c func(chan *integer, *int8) }{}, |
Robert Griesemer | 7151d23 | 2009-11-05 18:27:30 -0800 | [diff] [blame] | 185 | "struct { c func(chan *reflect_test.integer, *int8) }{func(chan *reflect_test.integer, *int8)(0)}", |
| 186 | }, |
Russ Cox | c6cb303 | 2010-08-03 00:53:32 -0700 | [diff] [blame] | 187 | pair{struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 188 | a int8 |
| 189 | b int32 |
Russ Cox | c6cb303 | 2010-08-03 00:53:32 -0700 | [diff] [blame] | 190 | }{}, |
Robert Griesemer | 7151d23 | 2009-11-05 18:27:30 -0800 | [diff] [blame] | 191 | "struct { a int8; b int32 }{0, 0}", |
| 192 | }, |
Russ Cox | c6cb303 | 2010-08-03 00:53:32 -0700 | [diff] [blame] | 193 | pair{struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 194 | a int8 |
| 195 | b int8 |
| 196 | c int32 |
Russ Cox | c6cb303 | 2010-08-03 00:53:32 -0700 | [diff] [blame] | 197 | }{}, |
Robert Griesemer | 7151d23 | 2009-11-05 18:27:30 -0800 | [diff] [blame] | 198 | "struct { a int8; b int8; c int32 }{0, 0, 0}", |
| 199 | }, |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 200 | } |
| 201 | |
| 202 | func testType(t *testing.T, i int, typ Type, want string) { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 203 | s := typ.String() |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 204 | if s != want { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 205 | t.Errorf("#%d: have %#q, want %#q", i, s, want) |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 206 | } |
| 207 | } |
| 208 | |
| 209 | func TestTypes(t *testing.T) { |
| 210 | for i, tt := range typeTests { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 211 | testType(t, i, NewValue(tt.i).(*StructValue).Field(0).Type(), tt.s) |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 212 | } |
| 213 | } |
| 214 | |
Adam Langley | a8a678f | 2009-10-21 19:51:27 -0700 | [diff] [blame] | 215 | func TestSet(t *testing.T) { |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 216 | for i, tt := range valueTests { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 217 | v := NewValue(tt.i) |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 218 | switch v := v.(type) { |
Russ Cox | 3b864e4 | 2009-08-12 13:18:37 -0700 | [diff] [blame] | 219 | case *IntValue: |
Russ Cox | 45bdf03 | 2010-06-20 12:16:25 -0700 | [diff] [blame] | 220 | switch v.Type().Kind() { |
| 221 | case Int: |
| 222 | v.Set(132) |
| 223 | case Int8: |
| 224 | v.Set(8) |
| 225 | case Int16: |
| 226 | v.Set(16) |
| 227 | case Int32: |
| 228 | v.Set(32) |
| 229 | case Int64: |
| 230 | v.Set(64) |
| 231 | } |
Russ Cox | 3b864e4 | 2009-08-12 13:18:37 -0700 | [diff] [blame] | 232 | case *UintValue: |
Russ Cox | 45bdf03 | 2010-06-20 12:16:25 -0700 | [diff] [blame] | 233 | switch v.Type().Kind() { |
| 234 | case Uint: |
| 235 | v.Set(132) |
| 236 | case Uint8: |
| 237 | v.Set(8) |
| 238 | case Uint16: |
| 239 | v.Set(16) |
| 240 | case Uint32: |
| 241 | v.Set(32) |
| 242 | case Uint64: |
| 243 | v.Set(64) |
| 244 | } |
Russ Cox | 3b864e4 | 2009-08-12 13:18:37 -0700 | [diff] [blame] | 245 | case *FloatValue: |
Russ Cox | 45bdf03 | 2010-06-20 12:16:25 -0700 | [diff] [blame] | 246 | switch v.Type().Kind() { |
| 247 | case Float: |
| 248 | v.Set(128.5) |
| 249 | case Float32: |
| 250 | v.Set(256.25) |
| 251 | case Float64: |
| 252 | v.Set(512.125) |
| 253 | } |
| 254 | case *ComplexValue: |
| 255 | switch v.Type().Kind() { |
| 256 | case Complex: |
| 257 | v.Set(53200.0 + 100i) |
| 258 | case Complex64: |
| 259 | v.Set(532.125 + 10i) |
| 260 | case Complex128: |
| 261 | v.Set(564.25 + 1i) |
| 262 | } |
Russ Cox | 3b864e4 | 2009-08-12 13:18:37 -0700 | [diff] [blame] | 263 | case *StringValue: |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 264 | v.Set("stringy cheese") |
Russ Cox | 3b864e4 | 2009-08-12 13:18:37 -0700 | [diff] [blame] | 265 | case *BoolValue: |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 266 | v.Set(true) |
Rob Pike | 536b1f2 | 2008-10-23 17:13:34 -0700 | [diff] [blame] | 267 | } |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 268 | s := valueToString(v) |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 269 | if s != tt.s { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 270 | t.Errorf("#%d: have %#q, want %#q", i, s, tt.s) |
Rob Pike | 536b1f2 | 2008-10-23 17:13:34 -0700 | [diff] [blame] | 271 | } |
| 272 | } |
Rob Pike | 536b1f2 | 2008-10-23 17:13:34 -0700 | [diff] [blame] | 273 | } |
| 274 | |
Adam Langley | a8a678f | 2009-10-21 19:51:27 -0700 | [diff] [blame] | 275 | func TestSetValue(t *testing.T) { |
| 276 | for i, tt := range valueTests { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 277 | v := NewValue(tt.i) |
Adam Langley | a8a678f | 2009-10-21 19:51:27 -0700 | [diff] [blame] | 278 | switch v := v.(type) { |
| 279 | case *IntValue: |
Russ Cox | 45bdf03 | 2010-06-20 12:16:25 -0700 | [diff] [blame] | 280 | switch v.Type().Kind() { |
| 281 | case Int: |
| 282 | v.SetValue(NewValue(int(132))) |
| 283 | case Int8: |
| 284 | v.SetValue(NewValue(int8(8))) |
| 285 | case Int16: |
| 286 | v.SetValue(NewValue(int16(16))) |
| 287 | case Int32: |
| 288 | v.SetValue(NewValue(int32(32))) |
| 289 | case Int64: |
| 290 | v.SetValue(NewValue(int64(64))) |
| 291 | } |
Adam Langley | a8a678f | 2009-10-21 19:51:27 -0700 | [diff] [blame] | 292 | case *UintValue: |
Russ Cox | 45bdf03 | 2010-06-20 12:16:25 -0700 | [diff] [blame] | 293 | switch v.Type().Kind() { |
| 294 | case Uint: |
| 295 | v.SetValue(NewValue(uint(132))) |
| 296 | case Uint8: |
| 297 | v.SetValue(NewValue(uint8(8))) |
| 298 | case Uint16: |
| 299 | v.SetValue(NewValue(uint16(16))) |
| 300 | case Uint32: |
| 301 | v.SetValue(NewValue(uint32(32))) |
| 302 | case Uint64: |
| 303 | v.SetValue(NewValue(uint64(64))) |
| 304 | } |
Adam Langley | a8a678f | 2009-10-21 19:51:27 -0700 | [diff] [blame] | 305 | case *FloatValue: |
Russ Cox | 45bdf03 | 2010-06-20 12:16:25 -0700 | [diff] [blame] | 306 | switch v.Type().Kind() { |
| 307 | case Float: |
| 308 | v.SetValue(NewValue(float(128.5))) |
| 309 | case Float32: |
| 310 | v.SetValue(NewValue(float32(256.25))) |
| 311 | case Float64: |
| 312 | v.SetValue(NewValue(float64(512.125))) |
| 313 | } |
| 314 | case *ComplexValue: |
| 315 | switch v.Type().Kind() { |
| 316 | case Complex: |
| 317 | v.SetValue(NewValue(complex(53200.0 + 100i))) |
| 318 | case Complex64: |
| 319 | v.SetValue(NewValue(complex64(532.125 + 10i))) |
| 320 | case Complex128: |
| 321 | v.SetValue(NewValue(complex128(564.25 + 1i))) |
| 322 | } |
| 323 | |
Adam Langley | a8a678f | 2009-10-21 19:51:27 -0700 | [diff] [blame] | 324 | case *StringValue: |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 325 | v.SetValue(NewValue("stringy cheese")) |
Adam Langley | a8a678f | 2009-10-21 19:51:27 -0700 | [diff] [blame] | 326 | case *BoolValue: |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 327 | v.SetValue(NewValue(true)) |
Adam Langley | a8a678f | 2009-10-21 19:51:27 -0700 | [diff] [blame] | 328 | } |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 329 | s := valueToString(v) |
Adam Langley | a8a678f | 2009-10-21 19:51:27 -0700 | [diff] [blame] | 330 | if s != tt.s { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 331 | t.Errorf("#%d: have %#q, want %#q", i, s, tt.s) |
Adam Langley | a8a678f | 2009-10-21 19:51:27 -0700 | [diff] [blame] | 332 | } |
| 333 | } |
| 334 | } |
| 335 | |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 336 | var _i = 7 |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 337 | |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 338 | var valueToStringTests = []pair{ |
| 339 | pair{123, "123"}, |
Russ Cox | 45bdf03 | 2010-06-20 12:16:25 -0700 | [diff] [blame] | 340 | pair{123.5, "123.5"}, |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 341 | pair{byte(123), "123"}, |
| 342 | pair{"abc", "abc"}, |
| 343 | pair{T{123, 456.75, "hello", &_i}, "reflect_test.T{123, 456.75, hello, *int(&7)}"}, |
| 344 | pair{new(chan *T), "*chan *reflect_test.T(&chan *reflect_test.T)"}, |
| 345 | pair{[10]int{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, "[10]int{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}"}, |
| 346 | pair{&[10]int{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, "*[10]int(&[10]int{1, 2, 3, 4, 5, 6, 7, 8, 9, 10})"}, |
| 347 | pair{[]int{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, "[]int{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}"}, |
| 348 | pair{&[]int{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, "*[]int(&[]int{1, 2, 3, 4, 5, 6, 7, 8, 9, 10})"}, |
Rob Pike | 536b1f2 | 2008-10-23 17:13:34 -0700 | [diff] [blame] | 349 | } |
| 350 | |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 351 | func TestValueToString(t *testing.T) { |
| 352 | for i, test := range valueToStringTests { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 353 | s := valueToString(NewValue(test.i)) |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 354 | if s != test.s { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 355 | t.Errorf("#%d: have %#q, want %#q", i, s, test.s) |
Rob Pike | 419e1e0 | 2008-11-12 19:05:05 -0800 | [diff] [blame] | 356 | } |
| 357 | } |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 358 | } |
Rob Pike | 419e1e0 | 2008-11-12 19:05:05 -0800 | [diff] [blame] | 359 | |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 360 | func TestArrayElemSet(t *testing.T) { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 361 | v := NewValue([10]int{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}) |
| 362 | v.(*ArrayValue).Elem(4).(*IntValue).Set(123) |
| 363 | s := valueToString(v) |
| 364 | const want = "[10]int{1, 2, 3, 4, 123, 6, 7, 8, 9, 10}" |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 365 | if s != want { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 366 | t.Errorf("[10]int: have %#q want %#q", s, want) |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 367 | } |
Rob Pike | a45f947 | 2008-11-04 22:54:11 -0800 | [diff] [blame] | 368 | |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 369 | v = NewValue([]int{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}) |
| 370 | v.(*SliceValue).Elem(4).(*IntValue).Set(123) |
| 371 | s = valueToString(v) |
| 372 | const want1 = "[]int{1, 2, 3, 4, 123, 6, 7, 8, 9, 10}" |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 373 | if s != want1 { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 374 | t.Errorf("[]int: have %#q want %#q", s, want1) |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 375 | } |
| 376 | } |
Rob Pike | a45f947 | 2008-11-04 22:54:11 -0800 | [diff] [blame] | 377 | |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 378 | func TestPtrPointTo(t *testing.T) { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 379 | var ip *int32 |
| 380 | var i int32 = 1234 |
| 381 | vip := NewValue(&ip) |
| 382 | vi := NewValue(i) |
| 383 | vip.(*PtrValue).Elem().(*PtrValue).PointTo(vi) |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 384 | if *ip != 1234 { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 385 | t.Errorf("got %d, want 1234", *ip) |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 386 | } |
Robert Griesemer | a48b35e | 2010-08-17 15:12:28 -0700 | [diff] [blame] | 387 | |
| 388 | ip = nil |
| 389 | vp := NewValue(ip).(*PtrValue) |
| 390 | vp.PointTo(vp.Elem()) |
| 391 | if ip != nil { |
| 392 | t.Errorf("got non-nil (%p), want nil", ip) |
| 393 | } |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 394 | } |
Rob Pike | a45f947 | 2008-11-04 22:54:11 -0800 | [diff] [blame] | 395 | |
Russ Cox | 7295b61 | 2010-04-20 17:02:08 -0700 | [diff] [blame] | 396 | func TestPtrSetNil(t *testing.T) { |
| 397 | var i int32 = 1234 |
| 398 | ip := &i |
| 399 | vip := NewValue(&ip) |
| 400 | vip.(*PtrValue).Elem().(*PtrValue).Set(nil) |
| 401 | if ip != nil { |
| 402 | t.Errorf("got non-nil (%d), want nil", *ip) |
| 403 | } |
| 404 | } |
| 405 | |
| 406 | func TestMapSetNil(t *testing.T) { |
| 407 | m := make(map[string]int) |
| 408 | vm := NewValue(&m) |
| 409 | vm.(*PtrValue).Elem().(*MapValue).Set(nil) |
| 410 | if m != nil { |
| 411 | t.Errorf("got non-nil (%p), want nil", m) |
| 412 | } |
| 413 | } |
| 414 | |
| 415 | |
Rob Pike | e02f2b5 | 2009-11-08 21:57:59 -0800 | [diff] [blame] | 416 | func TestAll(t *testing.T) { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 417 | testType(t, 1, Typeof((int8)(0)), "int8") |
| 418 | testType(t, 2, Typeof((*int8)(nil)).(*PtrType).Elem(), "int8") |
Rob Pike | a45f947 | 2008-11-04 22:54:11 -0800 | [diff] [blame] | 419 | |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 420 | typ := Typeof((*struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 421 | c chan *int32 |
| 422 | d float32 |
| 423 | })(nil)) |
| 424 | testType(t, 3, typ, "*struct { c chan *int32; d float32 }") |
| 425 | etyp := typ.(*PtrType).Elem() |
| 426 | testType(t, 4, etyp, "struct { c chan *int32; d float32 }") |
| 427 | styp := etyp.(*StructType) |
| 428 | f := styp.Field(0) |
| 429 | testType(t, 5, f.Type, "chan *int32") |
Rob Pike | a93c5c8 | 2009-07-16 18:21:14 -0700 | [diff] [blame] | 430 | |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 431 | f, present := styp.FieldByName("d") |
Rob Pike | a93c5c8 | 2009-07-16 18:21:14 -0700 | [diff] [blame] | 432 | if !present { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 433 | t.Errorf("FieldByName says present field is absent") |
Rob Pike | a93c5c8 | 2009-07-16 18:21:14 -0700 | [diff] [blame] | 434 | } |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 435 | testType(t, 6, f.Type, "float32") |
Rob Pike | a45f947 | 2008-11-04 22:54:11 -0800 | [diff] [blame] | 436 | |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 437 | f, present = styp.FieldByName("absent") |
Rob Pike | a93c5c8 | 2009-07-16 18:21:14 -0700 | [diff] [blame] | 438 | if present { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 439 | t.Errorf("FieldByName says absent field is present") |
Rob Pike | a93c5c8 | 2009-07-16 18:21:14 -0700 | [diff] [blame] | 440 | } |
| 441 | |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 442 | typ = Typeof([32]int32{}) |
| 443 | testType(t, 7, typ, "[32]int32") |
| 444 | testType(t, 8, typ.(*ArrayType).Elem(), "int32") |
Rob Pike | a45f947 | 2008-11-04 22:54:11 -0800 | [diff] [blame] | 445 | |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 446 | typ = Typeof((map[string]*int32)(nil)) |
| 447 | testType(t, 9, typ, "map[string] *int32") |
| 448 | mtyp := typ.(*MapType) |
| 449 | testType(t, 10, mtyp.Key(), "string") |
| 450 | testType(t, 11, mtyp.Elem(), "*int32") |
Rob Pike | bdbb958 | 2008-11-05 08:17:01 -0800 | [diff] [blame] | 451 | |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 452 | typ = Typeof((chan<- string)(nil)) |
| 453 | testType(t, 12, typ, "chan<- string") |
| 454 | testType(t, 13, typ.(*ChanType).Elem(), "string") |
Rob Pike | 5a1cbe8 | 2008-11-05 13:01:33 -0800 | [diff] [blame] | 455 | |
| 456 | // make sure tag strings are not part of element type |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 457 | typ = Typeof(struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 458 | d []uint32 "TAG" |
| 459 | }{}).(*StructType).Field(0).Type |
| 460 | testType(t, 14, typ, "[]uint32") |
Rob Pike | 536b1f2 | 2008-10-23 17:13:34 -0700 | [diff] [blame] | 461 | } |
Russ Cox | 387df5e | 2008-11-24 14:51:33 -0800 | [diff] [blame] | 462 | |
Russ Cox | 839a684 | 2009-01-20 14:40:40 -0800 | [diff] [blame] | 463 | func TestInterfaceGet(t *testing.T) { |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 464 | var inter struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 465 | e interface{} |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 466 | } |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 467 | inter.e = 123.456 |
| 468 | v1 := NewValue(&inter) |
| 469 | v2 := v1.(*PtrValue).Elem().(*StructValue).Field(0) |
| 470 | assert(t, v2.Type().String(), "interface { }") |
| 471 | i2 := v2.(*InterfaceValue).Interface() |
| 472 | v3 := NewValue(i2) |
| 473 | assert(t, v3.Type().String(), "float") |
Russ Cox | 387df5e | 2008-11-24 14:51:33 -0800 | [diff] [blame] | 474 | } |
Russ Cox | d0e30cd | 2008-12-10 15:55:59 -0800 | [diff] [blame] | 475 | |
Russ Cox | ac6ebfd | 2009-04-06 21:28:04 -0700 | [diff] [blame] | 476 | func TestInterfaceValue(t *testing.T) { |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 477 | var inter struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 478 | e interface{} |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 479 | } |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 480 | inter.e = 123.456 |
| 481 | v1 := NewValue(&inter) |
| 482 | v2 := v1.(*PtrValue).Elem().(*StructValue).Field(0) |
| 483 | assert(t, v2.Type().String(), "interface { }") |
| 484 | v3 := v2.(*InterfaceValue).Elem() |
| 485 | assert(t, v3.Type().String(), "float") |
Russ Cox | 64627b0 | 2009-04-15 00:55:58 -0700 | [diff] [blame] | 486 | |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 487 | i3 := v2.Interface() |
Russ Cox | ca6a0fe | 2009-09-15 09:41:59 -0700 | [diff] [blame] | 488 | if _, ok := i3.(float); !ok { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 489 | t.Error("v2.Interface() did not return float, got ", Typeof(i3)) |
Russ Cox | 4b8c13d | 2009-04-14 19:03:57 -0700 | [diff] [blame] | 490 | } |
Russ Cox | ac6ebfd | 2009-04-06 21:28:04 -0700 | [diff] [blame] | 491 | } |
| 492 | |
Ian Lance Taylor | ca9765d | 2009-04-14 06:46:01 -0700 | [diff] [blame] | 493 | func TestFunctionValue(t *testing.T) { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 494 | v := NewValue(func() {}) |
Ian Lance Taylor | ca9765d | 2009-04-14 06:46:01 -0700 | [diff] [blame] | 495 | if v.Interface() != v.Interface() { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 496 | t.Fatalf("TestFunction != itself") |
Ian Lance Taylor | ca9765d | 2009-04-14 06:46:01 -0700 | [diff] [blame] | 497 | } |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 498 | assert(t, v.Type().String(), "func()") |
Ian Lance Taylor | ca9765d | 2009-04-14 06:46:01 -0700 | [diff] [blame] | 499 | } |
| 500 | |
Russ Cox | 839a684 | 2009-01-20 14:40:40 -0800 | [diff] [blame] | 501 | func TestCopyArray(t *testing.T) { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 502 | a := []int{1, 2, 3, 4, 10, 9, 8, 7} |
| 503 | b := []int{11, 22, 33, 44, 1010, 99, 88, 77, 66, 55, 44} |
| 504 | c := []int{11, 22, 33, 44, 1010, 99, 88, 77, 66, 55, 44} |
| 505 | va := NewValue(&a) |
| 506 | vb := NewValue(&b) |
Russ Cox | d0e30cd | 2008-12-10 15:55:59 -0800 | [diff] [blame] | 507 | for i := 0; i < len(b); i++ { |
| 508 | if b[i] != c[i] { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 509 | t.Fatalf("b != c before test") |
Russ Cox | d0e30cd | 2008-12-10 15:55:59 -0800 | [diff] [blame] | 510 | } |
| 511 | } |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 512 | aa := va.(*PtrValue).Elem().(*SliceValue) |
| 513 | ab := vb.(*PtrValue).Elem().(*SliceValue) |
Russ Cox | d47d888 | 2008-12-18 22:37:22 -0800 | [diff] [blame] | 514 | for tocopy := 1; tocopy <= 7; tocopy++ { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 515 | aa.SetLen(tocopy) |
| 516 | ArrayCopy(ab, aa) |
| 517 | aa.SetLen(8) |
Russ Cox | d0e30cd | 2008-12-10 15:55:59 -0800 | [diff] [blame] | 518 | for i := 0; i < tocopy; i++ { |
| 519 | if a[i] != b[i] { |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 520 | t.Errorf("(i) tocopy=%d a[%d]=%d, b[%d]=%d", |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 521 | tocopy, i, a[i], i, b[i]) |
Russ Cox | d0e30cd | 2008-12-10 15:55:59 -0800 | [diff] [blame] | 522 | } |
| 523 | } |
| 524 | for i := tocopy; i < len(b); i++ { |
| 525 | if b[i] != c[i] { |
| 526 | if i < len(a) { |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 527 | t.Errorf("(ii) tocopy=%d a[%d]=%d, b[%d]=%d, c[%d]=%d", |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 528 | tocopy, i, a[i], i, b[i], i, c[i]) |
Russ Cox | d0e30cd | 2008-12-10 15:55:59 -0800 | [diff] [blame] | 529 | } else { |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 530 | t.Errorf("(iii) tocopy=%d b[%d]=%d, c[%d]=%d", |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 531 | tocopy, i, b[i], i, c[i]) |
Russ Cox | d0e30cd | 2008-12-10 15:55:59 -0800 | [diff] [blame] | 532 | } |
Russ Cox | d47d888 | 2008-12-18 22:37:22 -0800 | [diff] [blame] | 533 | } else { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 534 | t.Logf("tocopy=%d elem %d is okay\n", tocopy, i) |
Russ Cox | d0e30cd | 2008-12-10 15:55:59 -0800 | [diff] [blame] | 535 | } |
| 536 | } |
| 537 | } |
| 538 | } |
Russ Cox | 484ba93 | 2009-01-09 00:17:46 -0800 | [diff] [blame] | 539 | |
Russ Cox | 839a684 | 2009-01-20 14:40:40 -0800 | [diff] [blame] | 540 | func TestBigUnnamedStruct(t *testing.T) { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 541 | b := struct{ a, b, c, d int64 }{1, 2, 3, 4} |
| 542 | v := NewValue(b) |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 543 | b1 := v.Interface().(struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 544 | a, b, c, d int64 |
| 545 | }) |
Russ Cox | 484ba93 | 2009-01-09 00:17:46 -0800 | [diff] [blame] | 546 | if b1.a != b.a || b1.b != b.b || b1.c != b.c || b1.d != b.d { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 547 | t.Errorf("NewValue(%v).Interface().(*Big) = %v", b, b1) |
Russ Cox | 484ba93 | 2009-01-09 00:17:46 -0800 | [diff] [blame] | 548 | } |
| 549 | } |
| 550 | |
Rob Pike | ed2ac9b | 2009-01-16 12:48:07 -0800 | [diff] [blame] | 551 | type big struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 552 | a, b, c, d, e int64 |
Russ Cox | 484ba93 | 2009-01-09 00:17:46 -0800 | [diff] [blame] | 553 | } |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 554 | |
Russ Cox | 839a684 | 2009-01-20 14:40:40 -0800 | [diff] [blame] | 555 | func TestBigStruct(t *testing.T) { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 556 | b := big{1, 2, 3, 4, 5} |
| 557 | v := NewValue(b) |
| 558 | b1 := v.Interface().(big) |
Russ Cox | 484ba93 | 2009-01-09 00:17:46 -0800 | [diff] [blame] | 559 | if b1.a != b.a || b1.b != b.b || b1.c != b.c || b1.d != b.d || b1.e != b.e { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 560 | t.Errorf("NewValue(%v).Interface().(big) = %v", b, b1) |
Russ Cox | 484ba93 | 2009-01-09 00:17:46 -0800 | [diff] [blame] | 561 | } |
| 562 | } |
Daniel Nadasi | c4ad4f9 | 2009-04-01 22:20:18 -0700 | [diff] [blame] | 563 | |
| 564 | type Basic struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 565 | x int |
| 566 | y float32 |
Daniel Nadasi | c4ad4f9 | 2009-04-01 22:20:18 -0700 | [diff] [blame] | 567 | } |
| 568 | |
Russ Cox | 64627b0 | 2009-04-15 00:55:58 -0700 | [diff] [blame] | 569 | type NotBasic Basic |
| 570 | |
Daniel Nadasi | c4ad4f9 | 2009-04-01 22:20:18 -0700 | [diff] [blame] | 571 | type DeepEqualTest struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 572 | a, b interface{} |
| 573 | eq bool |
Daniel Nadasi | c4ad4f9 | 2009-04-01 22:20:18 -0700 | [diff] [blame] | 574 | } |
| 575 | |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 576 | var deepEqualTests = []DeepEqualTest{ |
Daniel Nadasi | c4ad4f9 | 2009-04-01 22:20:18 -0700 | [diff] [blame] | 577 | // Equalities |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 578 | DeepEqualTest{1, 1, true}, |
| 579 | DeepEqualTest{int32(1), int32(1), true}, |
| 580 | DeepEqualTest{0.5, 0.5, true}, |
| 581 | DeepEqualTest{float32(0.5), float32(0.5), true}, |
| 582 | DeepEqualTest{"hello", "hello", true}, |
| 583 | DeepEqualTest{make([]int, 10), make([]int, 10), true}, |
| 584 | DeepEqualTest{&[3]int{1, 2, 3}, &[3]int{1, 2, 3}, true}, |
| 585 | DeepEqualTest{Basic{1, 0.5}, Basic{1, 0.5}, true}, |
| 586 | DeepEqualTest{os.Error(nil), os.Error(nil), true}, |
| 587 | DeepEqualTest{map[int]string{1: "one", 2: "two"}, map[int]string{2: "two", 1: "one"}, true}, |
Russ Cox | a439f66 | 2009-07-01 16:45:09 -0700 | [diff] [blame] | 588 | |
Daniel Nadasi | c4ad4f9 | 2009-04-01 22:20:18 -0700 | [diff] [blame] | 589 | // Inequalities |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 590 | DeepEqualTest{1, 2, false}, |
| 591 | DeepEqualTest{int32(1), int32(2), false}, |
| 592 | DeepEqualTest{0.5, 0.6, false}, |
| 593 | DeepEqualTest{float32(0.5), float32(0.6), false}, |
| 594 | DeepEqualTest{"hello", "hey", false}, |
| 595 | DeepEqualTest{make([]int, 10), make([]int, 11), false}, |
| 596 | DeepEqualTest{&[3]int{1, 2, 3}, &[3]int{1, 2, 4}, false}, |
| 597 | DeepEqualTest{Basic{1, 0.5}, Basic{1, 0.6}, false}, |
| 598 | DeepEqualTest{Basic{1, 0}, Basic{2, 0}, false}, |
| 599 | DeepEqualTest{map[int]string{1: "one", 3: "two"}, map[int]string{2: "two", 1: "one"}, false}, |
| 600 | DeepEqualTest{map[int]string{1: "one", 2: "txo"}, map[int]string{2: "two", 1: "one"}, false}, |
| 601 | DeepEqualTest{map[int]string{1: "one"}, map[int]string{2: "two", 1: "one"}, false}, |
| 602 | DeepEqualTest{map[int]string{2: "two", 1: "one"}, map[int]string{1: "one"}, false}, |
| 603 | DeepEqualTest{nil, 1, false}, |
| 604 | DeepEqualTest{1, nil, false}, |
Russ Cox | a439f66 | 2009-07-01 16:45:09 -0700 | [diff] [blame] | 605 | |
Daniel Nadasi | c4ad4f9 | 2009-04-01 22:20:18 -0700 | [diff] [blame] | 606 | // Mismatched types |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 607 | DeepEqualTest{1, 1.0, false}, |
| 608 | DeepEqualTest{int32(1), int64(1), false}, |
| 609 | DeepEqualTest{0.5, "hello", false}, |
| 610 | DeepEqualTest{[]int{1, 2, 3}, [3]int{1, 2, 3}, false}, |
| 611 | DeepEqualTest{&[3]interface{}{1, 2, 4}, &[3]interface{}{1, 2, "s"}, false}, |
| 612 | DeepEqualTest{Basic{1, 0.5}, NotBasic{1, 0.5}, false}, |
| 613 | DeepEqualTest{map[uint]string{1: "one", 2: "two"}, map[int]string{2: "two", 1: "one"}, false}, |
Daniel Nadasi | c4ad4f9 | 2009-04-01 22:20:18 -0700 | [diff] [blame] | 614 | } |
| 615 | |
| 616 | func TestDeepEqual(t *testing.T) { |
Russ Cox | ca6a0fe | 2009-09-15 09:41:59 -0700 | [diff] [blame] | 617 | for _, test := range deepEqualTests { |
Daniel Nadasi | c4ad4f9 | 2009-04-01 22:20:18 -0700 | [diff] [blame] | 618 | if r := DeepEqual(test.a, test.b); r != test.eq { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 619 | t.Errorf("DeepEqual(%v, %v) = %v, want %v", test.a, test.b, r, test.eq) |
Daniel Nadasi | c4ad4f9 | 2009-04-01 22:20:18 -0700 | [diff] [blame] | 620 | } |
| 621 | } |
| 622 | } |
| 623 | |
Russ Cox | 4866223 | 2009-06-25 14:25:38 -0700 | [diff] [blame] | 624 | func TestTypeof(t *testing.T) { |
Russ Cox | ca6a0fe | 2009-09-15 09:41:59 -0700 | [diff] [blame] | 625 | for _, test := range deepEqualTests { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 626 | v := NewValue(test.a) |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 627 | if v == nil { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 628 | continue |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 629 | } |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 630 | typ := Typeof(test.a) |
Russ Cox | 4866223 | 2009-06-25 14:25:38 -0700 | [diff] [blame] | 631 | if typ != v.Type() { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 632 | t.Errorf("Typeof(%v) = %v, but NewValue(%v).Type() = %v", test.a, typ, test.a, v.Type()) |
Russ Cox | 4866223 | 2009-06-25 14:25:38 -0700 | [diff] [blame] | 633 | } |
| 634 | } |
| 635 | } |
| 636 | |
Rob Pike | 1880b90 | 2009-07-10 11:20:10 -0700 | [diff] [blame] | 637 | type Recursive struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 638 | x int |
| 639 | r *Recursive |
Rob Pike | 1880b90 | 2009-07-10 11:20:10 -0700 | [diff] [blame] | 640 | } |
| 641 | |
Daniel Nadasi | c4ad4f9 | 2009-04-01 22:20:18 -0700 | [diff] [blame] | 642 | func TestDeepEqualRecursiveStruct(t *testing.T) { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 643 | a, b := new(Recursive), new(Recursive) |
| 644 | *a = Recursive{12, a} |
| 645 | *b = Recursive{12, b} |
Daniel Nadasi | c4ad4f9 | 2009-04-01 22:20:18 -0700 | [diff] [blame] | 646 | if !DeepEqual(a, b) { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 647 | t.Error("DeepEqual(recursive same) = false, want true") |
Daniel Nadasi | c4ad4f9 | 2009-04-01 22:20:18 -0700 | [diff] [blame] | 648 | } |
| 649 | } |
| 650 | |
Russ Cox | 45bdf03 | 2010-06-20 12:16:25 -0700 | [diff] [blame] | 651 | type _Complex struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 652 | a int |
Russ Cox | 45bdf03 | 2010-06-20 12:16:25 -0700 | [diff] [blame] | 653 | b [3]*_Complex |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 654 | c *string |
| 655 | d map[float]float |
Rob Pike | 1880b90 | 2009-07-10 11:20:10 -0700 | [diff] [blame] | 656 | } |
| 657 | |
Daniel Nadasi | c4ad4f9 | 2009-04-01 22:20:18 -0700 | [diff] [blame] | 658 | func TestDeepEqualComplexStruct(t *testing.T) { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 659 | m := make(map[float]float) |
| 660 | stra, strb := "hello", "hello" |
Russ Cox | 45bdf03 | 2010-06-20 12:16:25 -0700 | [diff] [blame] | 661 | a, b := new(_Complex), new(_Complex) |
| 662 | *a = _Complex{5, [3]*_Complex{a, b, a}, &stra, m} |
| 663 | *b = _Complex{5, [3]*_Complex{b, a, a}, &strb, m} |
Daniel Nadasi | c4ad4f9 | 2009-04-01 22:20:18 -0700 | [diff] [blame] | 664 | if !DeepEqual(a, b) { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 665 | t.Error("DeepEqual(complex same) = false, want true") |
Daniel Nadasi | c4ad4f9 | 2009-04-01 22:20:18 -0700 | [diff] [blame] | 666 | } |
| 667 | } |
| 668 | |
| 669 | func TestDeepEqualComplexStructInequality(t *testing.T) { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 670 | m := make(map[float]float) |
| 671 | stra, strb := "hello", "helloo" // Difference is here |
Russ Cox | 45bdf03 | 2010-06-20 12:16:25 -0700 | [diff] [blame] | 672 | a, b := new(_Complex), new(_Complex) |
| 673 | *a = _Complex{5, [3]*_Complex{a, b, a}, &stra, m} |
| 674 | *b = _Complex{5, [3]*_Complex{b, a, a}, &strb, m} |
Daniel Nadasi | c4ad4f9 | 2009-04-01 22:20:18 -0700 | [diff] [blame] | 675 | if DeepEqual(a, b) { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 676 | t.Error("DeepEqual(complex different) = true, want false") |
Daniel Nadasi | c4ad4f9 | 2009-04-01 22:20:18 -0700 | [diff] [blame] | 677 | } |
| 678 | } |
Rob Pike | 93831d2 | 2009-04-29 22:16:53 -0700 | [diff] [blame] | 679 | |
| 680 | |
| 681 | func check2ndField(x interface{}, offs uintptr, t *testing.T) { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 682 | s := NewValue(x).(*StructValue) |
| 683 | f := s.Type().(*StructType).Field(1) |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 684 | if f.Offset != offs { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 685 | t.Error("mismatched offsets in structure alignment:", f.Offset, offs) |
Rob Pike | 93831d2 | 2009-04-29 22:16:53 -0700 | [diff] [blame] | 686 | } |
| 687 | } |
| 688 | |
| 689 | // Check that structure alignment & offsets viewed through reflect agree with those |
| 690 | // from the compiler itself. |
| 691 | func TestAlignment(t *testing.T) { |
| 692 | type T1inner struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 693 | a int |
Rob Pike | 93831d2 | 2009-04-29 22:16:53 -0700 | [diff] [blame] | 694 | } |
| 695 | type T1 struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 696 | T1inner |
| 697 | f int |
Rob Pike | 93831d2 | 2009-04-29 22:16:53 -0700 | [diff] [blame] | 698 | } |
| 699 | type T2inner struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 700 | a, b int |
Rob Pike | 93831d2 | 2009-04-29 22:16:53 -0700 | [diff] [blame] | 701 | } |
| 702 | type T2 struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 703 | T2inner |
| 704 | f int |
Rob Pike | 93831d2 | 2009-04-29 22:16:53 -0700 | [diff] [blame] | 705 | } |
| 706 | |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 707 | x := T1{T1inner{2}, 17} |
| 708 | check2ndField(x, uintptr(unsafe.Pointer(&x.f))-uintptr(unsafe.Pointer(&x)), t) |
Rob Pike | 93831d2 | 2009-04-29 22:16:53 -0700 | [diff] [blame] | 709 | |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 710 | x1 := T2{T2inner{2, 3}, 17} |
| 711 | check2ndField(x1, uintptr(unsafe.Pointer(&x1.f))-uintptr(unsafe.Pointer(&x1)), t) |
Rob Pike | 93831d2 | 2009-04-29 22:16:53 -0700 | [diff] [blame] | 712 | } |
Rob Pike | a8f6e38 | 2009-05-12 14:57:44 -0700 | [diff] [blame] | 713 | |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 714 | type IsNiller interface { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 715 | IsNil() bool |
Rob Pike | a8f6e38 | 2009-05-12 14:57:44 -0700 | [diff] [blame] | 716 | } |
| 717 | |
| 718 | func Nil(a interface{}, t *testing.T) { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 719 | n := NewValue(a).(*StructValue).Field(0).(IsNiller) |
Rob Pike | a8f6e38 | 2009-05-12 14:57:44 -0700 | [diff] [blame] | 720 | if !n.IsNil() { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 721 | t.Errorf("%v should be nil", a) |
Rob Pike | a8f6e38 | 2009-05-12 14:57:44 -0700 | [diff] [blame] | 722 | } |
| 723 | } |
| 724 | |
| 725 | func NotNil(a interface{}, t *testing.T) { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 726 | n := NewValue(a).(*StructValue).Field(0).(IsNiller) |
Rob Pike | a8f6e38 | 2009-05-12 14:57:44 -0700 | [diff] [blame] | 727 | if n.IsNil() { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 728 | t.Errorf("value of type %v should not be nil", NewValue(a).Type().String()) |
Rob Pike | a8f6e38 | 2009-05-12 14:57:44 -0700 | [diff] [blame] | 729 | } |
| 730 | } |
| 731 | |
| 732 | func TestIsNil(t *testing.T) { |
| 733 | // These do not implement IsNil |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 734 | doNotNil := []interface{}{int(0), float32(0), struct{ a int }{}} |
Russ Cox | ca6a0fe | 2009-09-15 09:41:59 -0700 | [diff] [blame] | 735 | for _, ts := range doNotNil { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 736 | ty := Typeof(ts) |
| 737 | v := MakeZero(ty) |
Russ Cox | ca6a0fe | 2009-09-15 09:41:59 -0700 | [diff] [blame] | 738 | if _, ok := v.(IsNiller); ok { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 739 | t.Errorf("%s is nilable; should not be", ts) |
Rob Pike | a8f6e38 | 2009-05-12 14:57:44 -0700 | [diff] [blame] | 740 | } |
| 741 | } |
| 742 | |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 743 | // These do implement IsNil. |
| 744 | // Wrap in extra struct to hide interface type. |
| 745 | doNil := []interface{}{ |
Robert Griesemer | a05a546 | 2009-11-06 16:33:53 -0800 | [diff] [blame] | 746 | struct{ x *int }{}, |
| 747 | struct{ x interface{} }{}, |
| 748 | struct{ x map[string]int }{}, |
| 749 | struct{ x func() bool }{}, |
| 750 | struct{ x chan int }{}, |
| 751 | struct{ x []string }{}, |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 752 | } |
Russ Cox | ca6a0fe | 2009-09-15 09:41:59 -0700 | [diff] [blame] | 753 | for _, ts := range doNil { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 754 | ty := Typeof(ts).(*StructType).Field(0).Type |
| 755 | v := MakeZero(ty) |
Russ Cox | ca6a0fe | 2009-09-15 09:41:59 -0700 | [diff] [blame] | 756 | if _, ok := v.(IsNiller); !ok { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 757 | t.Errorf("%s %T is not nilable; should be", ts, v) |
Rob Pike | a8f6e38 | 2009-05-12 14:57:44 -0700 | [diff] [blame] | 758 | } |
| 759 | } |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 760 | |
Rob Pike | a8f6e38 | 2009-05-12 14:57:44 -0700 | [diff] [blame] | 761 | // Check the implementations |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 762 | var pi struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 763 | x *int |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 764 | } |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 765 | Nil(pi, t) |
| 766 | pi.x = new(int) |
| 767 | NotNil(pi, t) |
Rob Pike | a8f6e38 | 2009-05-12 14:57:44 -0700 | [diff] [blame] | 768 | |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 769 | var si struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 770 | x []int |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 771 | } |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 772 | Nil(si, t) |
| 773 | si.x = make([]int, 10) |
| 774 | NotNil(si, t) |
Rob Pike | a8f6e38 | 2009-05-12 14:57:44 -0700 | [diff] [blame] | 775 | |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 776 | var ci struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 777 | x chan int |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 778 | } |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 779 | Nil(ci, t) |
| 780 | ci.x = make(chan int) |
| 781 | NotNil(ci, t) |
Rob Pike | a8f6e38 | 2009-05-12 14:57:44 -0700 | [diff] [blame] | 782 | |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 783 | var mi struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 784 | x map[int]int |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 785 | } |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 786 | Nil(mi, t) |
| 787 | mi.x = make(map[int]int) |
| 788 | NotNil(mi, t) |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 789 | |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 790 | var ii struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 791 | x interface{} |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 792 | } |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 793 | Nil(ii, t) |
| 794 | ii.x = 2 |
| 795 | NotNil(ii, t) |
Rob Pike | a8f6e38 | 2009-05-12 14:57:44 -0700 | [diff] [blame] | 796 | |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 797 | var fi struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 798 | x func(t *testing.T) |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 799 | } |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 800 | Nil(fi, t) |
| 801 | fi.x = TestIsNil |
| 802 | NotNil(fi, t) |
Rob Pike | a8f6e38 | 2009-05-12 14:57:44 -0700 | [diff] [blame] | 803 | } |
Russ Cox | 96cfd15 | 2009-05-21 11:50:20 -0700 | [diff] [blame] | 804 | |
| 805 | func TestInterfaceExtraction(t *testing.T) { |
| 806 | var s struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 807 | w io.Writer |
Russ Cox | 96cfd15 | 2009-05-21 11:50:20 -0700 | [diff] [blame] | 808 | } |
| 809 | |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 810 | s.w = os.Stdout |
| 811 | v := Indirect(NewValue(&s)).(*StructValue).Field(0).Interface() |
Russ Cox | 96cfd15 | 2009-05-21 11:50:20 -0700 | [diff] [blame] | 812 | if v != s.w.(interface{}) { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 813 | t.Error("Interface() on interface: ", v, s.w) |
Russ Cox | 96cfd15 | 2009-05-21 11:50:20 -0700 | [diff] [blame] | 814 | } |
| 815 | } |
Russ Cox | f966623 | 2009-05-21 14:06:43 -0700 | [diff] [blame] | 816 | |
| 817 | func TestInterfaceEditing(t *testing.T) { |
| 818 | // strings are bigger than one word, |
| 819 | // so the interface conversion allocates |
| 820 | // memory to hold a string and puts that |
| 821 | // pointer in the interface. |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 822 | var i interface{} = "hello" |
Russ Cox | f966623 | 2009-05-21 14:06:43 -0700 | [diff] [blame] | 823 | |
| 824 | // if i pass the interface value by value |
| 825 | // to NewValue, i should get a fresh copy |
| 826 | // of the value. |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 827 | v := NewValue(i) |
Russ Cox | f966623 | 2009-05-21 14:06:43 -0700 | [diff] [blame] | 828 | |
| 829 | // and setting that copy to "bye" should |
| 830 | // not change the value stored in i. |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 831 | v.(*StringValue).Set("bye") |
Russ Cox | f966623 | 2009-05-21 14:06:43 -0700 | [diff] [blame] | 832 | if i.(string) != "hello" { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 833 | t.Errorf(`Set("bye") changed i to %s`, i.(string)) |
Russ Cox | f966623 | 2009-05-21 14:06:43 -0700 | [diff] [blame] | 834 | } |
| 835 | |
| 836 | // the same should be true of smaller items. |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 837 | i = 123 |
| 838 | v = NewValue(i) |
| 839 | v.(*IntValue).Set(234) |
Russ Cox | f966623 | 2009-05-21 14:06:43 -0700 | [diff] [blame] | 840 | if i.(int) != 123 { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 841 | t.Errorf("Set(234) changed i to %d", i.(int)) |
Russ Cox | f966623 | 2009-05-21 14:06:43 -0700 | [diff] [blame] | 842 | } |
| 843 | } |
David Symonds | d4e57ff | 2009-06-15 18:35:04 -0700 | [diff] [blame] | 844 | |
| 845 | func TestNilPtrValueSub(t *testing.T) { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 846 | var pi *int |
Russ Cox | 64f4e0b | 2009-07-07 11:03:12 -0700 | [diff] [blame] | 847 | if pv := NewValue(pi).(*PtrValue); pv.Elem() != nil { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 848 | t.Error("NewValue((*int)(nil)).(*PtrValue).Elem() != nil") |
David Symonds | d4e57ff | 2009-06-15 18:35:04 -0700 | [diff] [blame] | 849 | } |
| 850 | } |
Russ Cox | 764b6ec | 2009-07-08 13:55:57 -0700 | [diff] [blame] | 851 | |
Russ Cox | 5ddaf9a | 2009-07-08 15:00:54 -0700 | [diff] [blame] | 852 | func TestMap(t *testing.T) { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 853 | m := map[string]int{"a": 1, "b": 2} |
| 854 | mv := NewValue(m).(*MapValue) |
Russ Cox | 764b6ec | 2009-07-08 13:55:57 -0700 | [diff] [blame] | 855 | if n := mv.Len(); n != len(m) { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 856 | t.Errorf("Len = %d, want %d", n, len(m)) |
Russ Cox | 764b6ec | 2009-07-08 13:55:57 -0700 | [diff] [blame] | 857 | } |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 858 | keys := mv.Keys() |
| 859 | i := 0 |
| 860 | newmap := MakeMap(mv.Type().(*MapType)) |
Russ Cox | 764b6ec | 2009-07-08 13:55:57 -0700 | [diff] [blame] | 861 | for k, v := range m { |
| 862 | // Check that returned Keys match keys in range. |
| 863 | // These aren't required to be in the same order, |
| 864 | // but they are in this implementation, which makes |
| 865 | // the test easier. |
| 866 | if i >= len(keys) { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 867 | t.Errorf("Missing key #%d %q", i, k) |
Russ Cox | 764b6ec | 2009-07-08 13:55:57 -0700 | [diff] [blame] | 868 | } else if kv := keys[i].(*StringValue); kv.Get() != k { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 869 | t.Errorf("Keys[%d] = %q, want %q", i, kv.Get(), k) |
Russ Cox | 764b6ec | 2009-07-08 13:55:57 -0700 | [diff] [blame] | 870 | } |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 871 | i++ |
Russ Cox | 764b6ec | 2009-07-08 13:55:57 -0700 | [diff] [blame] | 872 | |
| 873 | // Check that value lookup is correct. |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 874 | vv := mv.Elem(NewValue(k)) |
Russ Cox | 45bdf03 | 2010-06-20 12:16:25 -0700 | [diff] [blame] | 875 | if vi := vv.(*IntValue).Get(); vi != int64(v) { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 876 | t.Errorf("Key %q: have value %d, want %d", vi, v) |
Russ Cox | 764b6ec | 2009-07-08 13:55:57 -0700 | [diff] [blame] | 877 | } |
| 878 | |
| 879 | // Copy into new map. |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 880 | newmap.SetElem(NewValue(k), NewValue(v)) |
Russ Cox | 764b6ec | 2009-07-08 13:55:57 -0700 | [diff] [blame] | 881 | } |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 882 | vv := mv.Elem(NewValue("not-present")) |
Russ Cox | 764b6ec | 2009-07-08 13:55:57 -0700 | [diff] [blame] | 883 | if vv != nil { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 884 | t.Errorf("Invalid key: got non-nil value %s", valueToString(vv)) |
Russ Cox | 764b6ec | 2009-07-08 13:55:57 -0700 | [diff] [blame] | 885 | } |
| 886 | |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 887 | newm := newmap.Interface().(map[string]int) |
Russ Cox | 764b6ec | 2009-07-08 13:55:57 -0700 | [diff] [blame] | 888 | if len(newm) != len(m) { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 889 | t.Errorf("length after copy: newm=%d, m=%d", newm, m) |
Russ Cox | 764b6ec | 2009-07-08 13:55:57 -0700 | [diff] [blame] | 890 | } |
| 891 | |
| 892 | for k, v := range newm { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 893 | mv, ok := m[k] |
Russ Cox | 764b6ec | 2009-07-08 13:55:57 -0700 | [diff] [blame] | 894 | if mv != v { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 895 | t.Errorf("newm[%q] = %d, but m[%q] = %d, %v", k, v, k, mv, ok) |
Russ Cox | 764b6ec | 2009-07-08 13:55:57 -0700 | [diff] [blame] | 896 | } |
| 897 | } |
Russ Cox | 5ddaf9a | 2009-07-08 15:00:54 -0700 | [diff] [blame] | 898 | |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 899 | newmap.SetElem(NewValue("a"), nil) |
| 900 | v, ok := newm["a"] |
Russ Cox | 764b6ec | 2009-07-08 13:55:57 -0700 | [diff] [blame] | 901 | if ok { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 902 | t.Errorf("newm[\"a\"] = %d after delete", v) |
Russ Cox | 764b6ec | 2009-07-08 13:55:57 -0700 | [diff] [blame] | 903 | } |
Russ Cox | 7295b61 | 2010-04-20 17:02:08 -0700 | [diff] [blame] | 904 | |
| 905 | mv = NewValue(&m).(*PtrValue).Elem().(*MapValue) |
| 906 | mv.Set(nil) |
| 907 | if m != nil { |
| 908 | t.Errorf("mv.Set(nil) failed") |
| 909 | } |
Russ Cox | 764b6ec | 2009-07-08 13:55:57 -0700 | [diff] [blame] | 910 | } |
Russ Cox | 5ddaf9a | 2009-07-08 15:00:54 -0700 | [diff] [blame] | 911 | |
| 912 | func TestChan(t *testing.T) { |
| 913 | for loop := 0; loop < 2; loop++ { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 914 | var c chan int |
| 915 | var cv *ChanValue |
Russ Cox | 5ddaf9a | 2009-07-08 15:00:54 -0700 | [diff] [blame] | 916 | |
| 917 | // check both ways to allocate channels |
| 918 | switch loop { |
| 919 | case 1: |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 920 | c = make(chan int, 1) |
| 921 | cv = NewValue(c).(*ChanValue) |
Russ Cox | 5ddaf9a | 2009-07-08 15:00:54 -0700 | [diff] [blame] | 922 | case 0: |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 923 | cv = MakeChan(Typeof(c).(*ChanType), 1) |
| 924 | c = cv.Interface().(chan int) |
Russ Cox | 5ddaf9a | 2009-07-08 15:00:54 -0700 | [diff] [blame] | 925 | } |
| 926 | |
| 927 | // Send |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 928 | cv.Send(NewValue(2)) |
Russ Cox | 5ddaf9a | 2009-07-08 15:00:54 -0700 | [diff] [blame] | 929 | if i := <-c; i != 2 { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 930 | t.Errorf("reflect Send 2, native recv %d", i) |
Russ Cox | 5ddaf9a | 2009-07-08 15:00:54 -0700 | [diff] [blame] | 931 | } |
| 932 | |
| 933 | // Recv |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 934 | c <- 3 |
Russ Cox | 5ddaf9a | 2009-07-08 15:00:54 -0700 | [diff] [blame] | 935 | if i := cv.Recv().(*IntValue).Get(); i != 3 { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 936 | t.Errorf("native send 3, reflect Recv %d", i) |
Russ Cox | 5ddaf9a | 2009-07-08 15:00:54 -0700 | [diff] [blame] | 937 | } |
| 938 | |
| 939 | // TryRecv fail |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 940 | val := cv.TryRecv() |
Russ Cox | 5ddaf9a | 2009-07-08 15:00:54 -0700 | [diff] [blame] | 941 | if val != nil { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 942 | t.Errorf("TryRecv on empty chan: %s", valueToString(val)) |
Russ Cox | 5ddaf9a | 2009-07-08 15:00:54 -0700 | [diff] [blame] | 943 | } |
| 944 | |
| 945 | // TryRecv success |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 946 | c <- 4 |
| 947 | val = cv.TryRecv() |
Russ Cox | 5ddaf9a | 2009-07-08 15:00:54 -0700 | [diff] [blame] | 948 | if val == nil { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 949 | t.Errorf("TryRecv on ready chan got nil") |
Russ Cox | 5ddaf9a | 2009-07-08 15:00:54 -0700 | [diff] [blame] | 950 | } else if i := val.(*IntValue).Get(); i != 4 { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 951 | t.Errorf("native send 4, TryRecv %d", i) |
Russ Cox | 5ddaf9a | 2009-07-08 15:00:54 -0700 | [diff] [blame] | 952 | } |
| 953 | |
| 954 | // TrySend fail |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 955 | c <- 100 |
| 956 | ok := cv.TrySend(NewValue(5)) |
| 957 | i := <-c |
Russ Cox | 5ddaf9a | 2009-07-08 15:00:54 -0700 | [diff] [blame] | 958 | if ok { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 959 | t.Errorf("TrySend on full chan succeeded: value %d", i) |
Russ Cox | 5ddaf9a | 2009-07-08 15:00:54 -0700 | [diff] [blame] | 960 | } |
| 961 | |
| 962 | // TrySend success |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 963 | ok = cv.TrySend(NewValue(6)) |
Russ Cox | 5ddaf9a | 2009-07-08 15:00:54 -0700 | [diff] [blame] | 964 | if !ok { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 965 | t.Errorf("TrySend on empty chan failed") |
Russ Cox | 5ddaf9a | 2009-07-08 15:00:54 -0700 | [diff] [blame] | 966 | } else { |
| 967 | if i = <-c; i != 6 { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 968 | t.Errorf("TrySend 6, recv %d", i) |
Russ Cox | 5ddaf9a | 2009-07-08 15:00:54 -0700 | [diff] [blame] | 969 | } |
| 970 | } |
Russ Cox | 653cef1 | 2009-08-26 10:47:18 -0700 | [diff] [blame] | 971 | |
| 972 | // Close |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 973 | c <- 123 |
| 974 | cv.Close() |
Russ Cox | 653cef1 | 2009-08-26 10:47:18 -0700 | [diff] [blame] | 975 | if cv.Closed() { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 976 | t.Errorf("closed too soon - 1") |
Russ Cox | 653cef1 | 2009-08-26 10:47:18 -0700 | [diff] [blame] | 977 | } |
| 978 | if i := cv.Recv().(*IntValue).Get(); i != 123 { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 979 | t.Errorf("send 123 then close; Recv %d", i) |
Russ Cox | 653cef1 | 2009-08-26 10:47:18 -0700 | [diff] [blame] | 980 | } |
| 981 | if cv.Closed() { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 982 | t.Errorf("closed too soon - 2") |
Russ Cox | 653cef1 | 2009-08-26 10:47:18 -0700 | [diff] [blame] | 983 | } |
| 984 | if i := cv.Recv().(*IntValue).Get(); i != 0 { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 985 | t.Errorf("after close Recv %d", i) |
Russ Cox | 653cef1 | 2009-08-26 10:47:18 -0700 | [diff] [blame] | 986 | } |
| 987 | if !cv.Closed() { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 988 | t.Errorf("not closed") |
Russ Cox | 653cef1 | 2009-08-26 10:47:18 -0700 | [diff] [blame] | 989 | } |
Russ Cox | 5ddaf9a | 2009-07-08 15:00:54 -0700 | [diff] [blame] | 990 | } |
| 991 | |
| 992 | // check creation of unbuffered channel |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 993 | var c chan int |
| 994 | cv := MakeChan(Typeof(c).(*ChanType), 0) |
| 995 | c = cv.Interface().(chan int) |
Russ Cox | 5ddaf9a | 2009-07-08 15:00:54 -0700 | [diff] [blame] | 996 | if cv.TrySend(NewValue(7)) { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 997 | t.Errorf("TrySend on sync chan succeeded") |
Russ Cox | 5ddaf9a | 2009-07-08 15:00:54 -0700 | [diff] [blame] | 998 | } |
| 999 | if cv.TryRecv() != nil { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 1000 | t.Errorf("TryRecv on sync chan succeeded") |
Russ Cox | 5ddaf9a | 2009-07-08 15:00:54 -0700 | [diff] [blame] | 1001 | } |
Russ Cox | de7920e | 2009-08-26 12:42:22 -0700 | [diff] [blame] | 1002 | |
| 1003 | // len/cap |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 1004 | cv = MakeChan(Typeof(c).(*ChanType), 10) |
| 1005 | c = cv.Interface().(chan int) |
Russ Cox | de7920e | 2009-08-26 12:42:22 -0700 | [diff] [blame] | 1006 | for i := 0; i < 3; i++ { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 1007 | c <- i |
Russ Cox | de7920e | 2009-08-26 12:42:22 -0700 | [diff] [blame] | 1008 | } |
| 1009 | if l, m := cv.Len(), cv.Cap(); l != len(c) || m != cap(c) { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 1010 | t.Errorf("Len/Cap = %d/%d want %d/%d", l, m, len(c), cap(c)) |
Russ Cox | de7920e | 2009-08-26 12:42:22 -0700 | [diff] [blame] | 1011 | } |
| 1012 | |
Russ Cox | 5ddaf9a | 2009-07-08 15:00:54 -0700 | [diff] [blame] | 1013 | } |
| 1014 | |
Russ Cox | bba278a | 2009-07-08 18:16:09 -0700 | [diff] [blame] | 1015 | // Difficult test for function call because of |
| 1016 | // implicit padding between arguments. |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 1017 | func dummy(b byte, c int, d byte) (i byte, j int, k byte) { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 1018 | return b, c, d |
Russ Cox | bba278a | 2009-07-08 18:16:09 -0700 | [diff] [blame] | 1019 | } |
| 1020 | |
| 1021 | func TestFunc(t *testing.T) { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 1022 | ret := NewValue(dummy).(*FuncValue).Call([]Value{NewValue(byte(10)), NewValue(20), NewValue(byte(30))}) |
Russ Cox | bba278a | 2009-07-08 18:16:09 -0700 | [diff] [blame] | 1023 | if len(ret) != 3 { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 1024 | t.Fatalf("Call returned %d values, want 3", len(ret)) |
Russ Cox | bba278a | 2009-07-08 18:16:09 -0700 | [diff] [blame] | 1025 | } |
| 1026 | |
Russ Cox | 45bdf03 | 2010-06-20 12:16:25 -0700 | [diff] [blame] | 1027 | i := ret[0].(*UintValue).Get() |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 1028 | j := ret[1].(*IntValue).Get() |
Russ Cox | 45bdf03 | 2010-06-20 12:16:25 -0700 | [diff] [blame] | 1029 | k := ret[2].(*UintValue).Get() |
Russ Cox | bba278a | 2009-07-08 18:16:09 -0700 | [diff] [blame] | 1030 | if i != 10 || j != 20 || k != 30 { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 1031 | t.Errorf("Call returned %d, %d, %d; want 10, 20, 30", i, j, k) |
Russ Cox | bba278a | 2009-07-08 18:16:09 -0700 | [diff] [blame] | 1032 | } |
| 1033 | } |
Russ Cox | 12ebbe7 | 2009-07-09 17:27:49 -0700 | [diff] [blame] | 1034 | |
| 1035 | type Point struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 1036 | x, y int |
Russ Cox | 12ebbe7 | 2009-07-09 17:27:49 -0700 | [diff] [blame] | 1037 | } |
| 1038 | |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 1039 | func (p Point) Dist(scale int) int { return p.x*p.x*scale + p.y*p.y*scale } |
Russ Cox | 12ebbe7 | 2009-07-09 17:27:49 -0700 | [diff] [blame] | 1040 | |
| 1041 | func TestMethod(t *testing.T) { |
| 1042 | // Non-curried method of type. |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 1043 | p := Point{3, 4} |
| 1044 | i := Typeof(p).Method(0).Func.Call([]Value{NewValue(p), NewValue(10)})[0].(*IntValue).Get() |
Russ Cox | 12ebbe7 | 2009-07-09 17:27:49 -0700 | [diff] [blame] | 1045 | if i != 250 { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 1046 | t.Errorf("Type Method returned %d; want 250", i) |
Russ Cox | 12ebbe7 | 2009-07-09 17:27:49 -0700 | [diff] [blame] | 1047 | } |
| 1048 | |
| 1049 | // Curried method of value. |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 1050 | i = NewValue(p).Method(0).Call([]Value{NewValue(10)})[0].(*IntValue).Get() |
Russ Cox | 12ebbe7 | 2009-07-09 17:27:49 -0700 | [diff] [blame] | 1051 | if i != 250 { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 1052 | t.Errorf("Value Method returned %d; want 250", i) |
Russ Cox | 12ebbe7 | 2009-07-09 17:27:49 -0700 | [diff] [blame] | 1053 | } |
| 1054 | |
| 1055 | // Curried method of interface value. |
| 1056 | // Have to wrap interface value in a struct to get at it. |
| 1057 | // Passing it to NewValue directly would |
| 1058 | // access the underlying Point, not the interface. |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 1059 | var s = struct { |
| 1060 | x interface { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 1061 | Dist(int) int |
| 1062 | } |
| 1063 | }{p} |
| 1064 | pv := NewValue(s).(*StructValue).Field(0) |
| 1065 | i = pv.Method(0).Call([]Value{NewValue(10)})[0].(*IntValue).Get() |
Russ Cox | 12ebbe7 | 2009-07-09 17:27:49 -0700 | [diff] [blame] | 1066 | if i != 250 { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 1067 | t.Errorf("Interface Method returned %d; want 250", i) |
Russ Cox | 12ebbe7 | 2009-07-09 17:27:49 -0700 | [diff] [blame] | 1068 | } |
| 1069 | } |
Russ Cox | 92e9257 | 2009-07-10 16:32:26 -0700 | [diff] [blame] | 1070 | |
| 1071 | func TestInterfaceSet(t *testing.T) { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 1072 | p := &Point{3, 4} |
Russ Cox | 92e9257 | 2009-07-10 16:32:26 -0700 | [diff] [blame] | 1073 | |
| 1074 | var s struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 1075 | I interface{} |
| 1076 | P interface { |
| 1077 | Dist(int) int |
| 1078 | } |
Russ Cox | 92e9257 | 2009-07-10 16:32:26 -0700 | [diff] [blame] | 1079 | } |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 1080 | sv := NewValue(&s).(*PtrValue).Elem().(*StructValue) |
| 1081 | sv.Field(0).(*InterfaceValue).Set(NewValue(p)) |
Russ Cox | 92e9257 | 2009-07-10 16:32:26 -0700 | [diff] [blame] | 1082 | if q := s.I.(*Point); q != p { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 1083 | t.Errorf("i: have %p want %p", q, p) |
Russ Cox | 92e9257 | 2009-07-10 16:32:26 -0700 | [diff] [blame] | 1084 | } |
| 1085 | |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 1086 | pv := sv.Field(1).(*InterfaceValue) |
| 1087 | pv.Set(NewValue(p)) |
Russ Cox | 92e9257 | 2009-07-10 16:32:26 -0700 | [diff] [blame] | 1088 | if q := s.P.(*Point); q != p { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 1089 | t.Errorf("i: have %p want %p", q, p) |
Russ Cox | 92e9257 | 2009-07-10 16:32:26 -0700 | [diff] [blame] | 1090 | } |
Russ Cox | 3b864e4 | 2009-08-12 13:18:37 -0700 | [diff] [blame] | 1091 | |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 1092 | i := pv.Method(0).Call([]Value{NewValue(10)})[0].(*IntValue).Get() |
Russ Cox | 92e9257 | 2009-07-10 16:32:26 -0700 | [diff] [blame] | 1093 | if i != 250 { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 1094 | t.Errorf("Interface Method returned %d; want 250", i) |
Russ Cox | 92e9257 | 2009-07-10 16:32:26 -0700 | [diff] [blame] | 1095 | } |
| 1096 | } |
Robert Griesemer | a288095 | 2009-08-05 15:56:44 -0700 | [diff] [blame] | 1097 | |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 1098 | type T1 struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 1099 | a string |
| 1100 | int |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 1101 | } |
Robert Griesemer | a288095 | 2009-08-05 15:56:44 -0700 | [diff] [blame] | 1102 | |
| 1103 | func TestAnonymousFields(t *testing.T) { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 1104 | var field StructField |
| 1105 | var ok bool |
| 1106 | var t1 T1 |
| 1107 | type1 := Typeof(t1).(*StructType) |
Robert Griesemer | a288095 | 2009-08-05 15:56:44 -0700 | [diff] [blame] | 1108 | if field, ok = type1.FieldByName("int"); !ok { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 1109 | t.Error("no field 'int'") |
Robert Griesemer | a288095 | 2009-08-05 15:56:44 -0700 | [diff] [blame] | 1110 | } |
| 1111 | if field.Index[0] != 1 { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 1112 | t.Error("field index should be 1; is", field.Index) |
Robert Griesemer | a288095 | 2009-08-05 15:56:44 -0700 | [diff] [blame] | 1113 | } |
| 1114 | } |
| 1115 | |
| 1116 | type FTest struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 1117 | s interface{} |
| 1118 | name string |
| 1119 | index []int |
| 1120 | value int |
Robert Griesemer | a288095 | 2009-08-05 15:56:44 -0700 | [diff] [blame] | 1121 | } |
| 1122 | |
Russ Cox | 92543da | 2009-08-24 17:04:12 -0700 | [diff] [blame] | 1123 | type D1 struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 1124 | d int |
Russ Cox | 92543da | 2009-08-24 17:04:12 -0700 | [diff] [blame] | 1125 | } |
| 1126 | type D2 struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 1127 | d int |
Russ Cox | 92543da | 2009-08-24 17:04:12 -0700 | [diff] [blame] | 1128 | } |
| 1129 | |
Robert Griesemer | a288095 | 2009-08-05 15:56:44 -0700 | [diff] [blame] | 1130 | type S0 struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 1131 | a, b, c int |
| 1132 | D1 |
| 1133 | D2 |
Robert Griesemer | a288095 | 2009-08-05 15:56:44 -0700 | [diff] [blame] | 1134 | } |
| 1135 | |
| 1136 | type S1 struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 1137 | b int |
| 1138 | S0 |
Robert Griesemer | a288095 | 2009-08-05 15:56:44 -0700 | [diff] [blame] | 1139 | } |
| 1140 | |
| 1141 | type S2 struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 1142 | a int |
| 1143 | *S1 |
Robert Griesemer | a288095 | 2009-08-05 15:56:44 -0700 | [diff] [blame] | 1144 | } |
| 1145 | |
Russ Cox | 92543da | 2009-08-24 17:04:12 -0700 | [diff] [blame] | 1146 | type S1x struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 1147 | S1 |
Russ Cox | 92543da | 2009-08-24 17:04:12 -0700 | [diff] [blame] | 1148 | } |
| 1149 | |
| 1150 | type S1y struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 1151 | S1 |
Russ Cox | 92543da | 2009-08-24 17:04:12 -0700 | [diff] [blame] | 1152 | } |
| 1153 | |
| 1154 | type S3 struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 1155 | S1x |
| 1156 | S2 |
| 1157 | d, e int |
| 1158 | *S1y |
Robert Griesemer | a288095 | 2009-08-05 15:56:44 -0700 | [diff] [blame] | 1159 | } |
| 1160 | |
| 1161 | type S4 struct { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 1162 | *S4 |
| 1163 | a int |
Robert Griesemer | a288095 | 2009-08-05 15:56:44 -0700 | [diff] [blame] | 1164 | } |
| 1165 | |
Robert Griesemer | 77334b98 | 2009-11-05 14:23:20 -0800 | [diff] [blame] | 1166 | var fieldTests = []FTest{ |
| 1167 | FTest{struct{}{}, "", nil, 0}, |
| 1168 | FTest{struct{}{}, "foo", nil, 0}, |
| 1169 | FTest{S0{a: 'a'}, "a", []int{0}, 'a'}, |
| 1170 | FTest{S0{}, "d", nil, 0}, |
| 1171 | FTest{S1{S0: S0{a: 'a'}}, "a", []int{1, 0}, 'a'}, |
| 1172 | FTest{S1{b: 'b'}, "b", []int{0}, 'b'}, |
| 1173 | FTest{S1{}, "S0", []int{1}, 0}, |
| 1174 | FTest{S1{S0: S0{c: 'c'}}, "c", []int{1, 2}, 'c'}, |
| 1175 | FTest{S2{a: 'a'}, "a", []int{0}, 'a'}, |
| 1176 | FTest{S2{}, "S1", []int{1}, 0}, |
| 1177 | FTest{S2{S1: &S1{b: 'b'}}, "b", []int{1, 0}, 'b'}, |
| 1178 | FTest{S2{S1: &S1{S0: S0{c: 'c'}}}, "c", []int{1, 1, 2}, 'c'}, |
| 1179 | FTest{S2{}, "d", nil, 0}, |
| 1180 | FTest{S3{}, "S1", nil, 0}, |
| 1181 | FTest{S3{S2: S2{a: 'a'}}, "a", []int{1, 0}, 'a'}, |
| 1182 | FTest{S3{}, "b", nil, 0}, |
| 1183 | FTest{S3{d: 'd'}, "d", []int{2}, 0}, |
| 1184 | FTest{S3{e: 'e'}, "e", []int{3}, 'e'}, |
| 1185 | FTest{S4{a: 'a'}, "a", []int{1}, 'a'}, |
| 1186 | FTest{S4{}, "b", nil, 0}, |
Robert Griesemer | a288095 | 2009-08-05 15:56:44 -0700 | [diff] [blame] | 1187 | } |
| 1188 | |
| 1189 | func TestFieldByIndex(t *testing.T) { |
| 1190 | for _, test := range fieldTests { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 1191 | s := Typeof(test.s).(*StructType) |
| 1192 | f := s.FieldByIndex(test.index) |
Robert Griesemer | a288095 | 2009-08-05 15:56:44 -0700 | [diff] [blame] | 1193 | if f.Name != "" { |
| 1194 | if test.index != nil { |
| 1195 | if f.Name != test.name { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 1196 | t.Errorf("%s.%s found; want %s", s.Name(), f.Name, test.name) |
Robert Griesemer | a288095 | 2009-08-05 15:56:44 -0700 | [diff] [blame] | 1197 | } |
| 1198 | } else { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 1199 | t.Errorf("%s.%s found", s.Name(), f.Name) |
Robert Griesemer | a288095 | 2009-08-05 15:56:44 -0700 | [diff] [blame] | 1200 | } |
| 1201 | } else if len(test.index) > 0 { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 1202 | t.Errorf("%s.%s not found", s.Name(), test.name) |
Robert Griesemer | a288095 | 2009-08-05 15:56:44 -0700 | [diff] [blame] | 1203 | } |
| 1204 | |
| 1205 | if test.value != 0 { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 1206 | v := NewValue(test.s).(*StructValue).FieldByIndex(test.index) |
Robert Griesemer | a288095 | 2009-08-05 15:56:44 -0700 | [diff] [blame] | 1207 | if v != nil { |
| 1208 | if x, ok := v.Interface().(int); ok { |
| 1209 | if x != test.value { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 1210 | t.Errorf("%s%v is %d; want %d", s.Name(), test.index, x, test.value) |
Robert Griesemer | a288095 | 2009-08-05 15:56:44 -0700 | [diff] [blame] | 1211 | } |
| 1212 | } else { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 1213 | t.Errorf("%s%v value not an int", s.Name(), test.index) |
Robert Griesemer | a288095 | 2009-08-05 15:56:44 -0700 | [diff] [blame] | 1214 | } |
| 1215 | } else { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 1216 | t.Errorf("%s%v value not found", s.Name(), test.index) |
Robert Griesemer | a288095 | 2009-08-05 15:56:44 -0700 | [diff] [blame] | 1217 | } |
| 1218 | } |
| 1219 | } |
| 1220 | } |
| 1221 | |
| 1222 | func TestFieldByName(t *testing.T) { |
| 1223 | for _, test := range fieldTests { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 1224 | s := Typeof(test.s).(*StructType) |
| 1225 | f, found := s.FieldByName(test.name) |
Robert Griesemer | a288095 | 2009-08-05 15:56:44 -0700 | [diff] [blame] | 1226 | if found { |
| 1227 | if test.index != nil { |
| 1228 | // Verify field depth and index. |
| 1229 | if len(f.Index) != len(test.index) { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 1230 | t.Errorf("%s.%s depth %d; want %d", s.Name(), test.name, len(f.Index), len(test.index)) |
Robert Griesemer | a288095 | 2009-08-05 15:56:44 -0700 | [diff] [blame] | 1231 | } else { |
| 1232 | for i, x := range f.Index { |
| 1233 | if x != test.index[i] { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 1234 | t.Errorf("%s.%s.Index[%d] is %d; want %d", s.Name(), test.name, i, x, test.index[i]) |
Robert Griesemer | a288095 | 2009-08-05 15:56:44 -0700 | [diff] [blame] | 1235 | } |
| 1236 | } |
| 1237 | } |
| 1238 | } else { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 1239 | t.Errorf("%s.%s found", s.Name(), f.Name) |
Robert Griesemer | a288095 | 2009-08-05 15:56:44 -0700 | [diff] [blame] | 1240 | } |
| 1241 | } else if len(test.index) > 0 { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 1242 | t.Errorf("%s.%s not found", s.Name(), test.name) |
Robert Griesemer | a288095 | 2009-08-05 15:56:44 -0700 | [diff] [blame] | 1243 | } |
Russ Cox | 3b864e4 | 2009-08-12 13:18:37 -0700 | [diff] [blame] | 1244 | |
Robert Griesemer | a288095 | 2009-08-05 15:56:44 -0700 | [diff] [blame] | 1245 | if test.value != 0 { |
Robert Griesemer | d65a5cc | 2009-12-15 15:40:16 -0800 | [diff] [blame] | 1246 | v := NewValue(test.s).(*StructValue).FieldByName(test.name) |
Robert Griesemer | a288095 | 2009-08-05 15:56:44 -0700 | [diff] [blame] | 1247 | if v != nil { |
| 1248 | if x, ok := v.Interface().(int); ok { |
| 1249 | if x != test.value { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 1250 | t.Errorf("%s.%s is %d; want %d", s.Name(), test.name, x, test.value) |
Robert Griesemer | a288095 | 2009-08-05 15:56:44 -0700 | [diff] [blame] | 1251 | } |
| 1252 | } else { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 1253 | t.Errorf("%s.%s value not an int", s.Name(), test.name) |
Robert Griesemer | a288095 | 2009-08-05 15:56:44 -0700 | [diff] [blame] | 1254 | } |
| 1255 | } else { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 1256 | t.Errorf("%s.%s value not found", s.Name(), test.name) |
Robert Griesemer | a288095 | 2009-08-05 15:56:44 -0700 | [diff] [blame] | 1257 | } |
| 1258 | } |
| 1259 | } |
| 1260 | } |
Russ Cox | 1cecac8 | 2010-01-24 23:33:59 -0800 | [diff] [blame] | 1261 | |
| 1262 | func TestImportPath(t *testing.T) { |
| 1263 | if path := Typeof(vector.Vector{}).PkgPath(); path != "container/vector" { |
| 1264 | t.Errorf("Typeof(vector.Vector{}).PkgPath() = %q, want \"container/vector\"", path) |
| 1265 | } |
| 1266 | } |
Russ Cox | 6672b40 | 2010-06-14 11:23:11 -0700 | [diff] [blame] | 1267 | |
| 1268 | func TestDotDotDot(t *testing.T) { |
| 1269 | // Test example from FuncType.DotDotDot documentation. |
| 1270 | var f func(x int, y ...float) |
| 1271 | typ := Typeof(f).(*FuncType) |
| 1272 | if typ.NumIn() == 2 && typ.In(0) == Typeof(int(0)) { |
| 1273 | sl, ok := typ.In(1).(*SliceType) |
| 1274 | if ok { |
| 1275 | if sl.Elem() == Typeof(float(0)) { |
| 1276 | // ok |
| 1277 | return |
| 1278 | } |
| 1279 | } |
| 1280 | } |
| 1281 | |
| 1282 | // Failed |
| 1283 | t.Errorf("want NumIn() = 2, In(0) = int, In(1) = []float") |
| 1284 | s := fmt.Sprintf("have NumIn() = %d", typ.NumIn()) |
| 1285 | for i := 0; i < typ.NumIn(); i++ { |
| 1286 | s += fmt.Sprintf(", In(%d) = %s", i, typ.In(i)) |
| 1287 | } |
| 1288 | t.Error(s) |
| 1289 | } |
Russ Cox | 2d5e732 | 2010-09-27 14:09:10 -0400 | [diff] [blame] | 1290 | |
| 1291 | type inner struct{} |
| 1292 | |
| 1293 | type outer struct { |
| 1294 | inner |
| 1295 | } |
| 1296 | |
| 1297 | func (*inner) m() {} |
| 1298 | func (*outer) m() {} |
| 1299 | |
| 1300 | func TestNestedMethods(t *testing.T) { |
| 1301 | typ := Typeof((*outer)(nil)) |
| 1302 | if typ.NumMethod() != 1 || typ.Method(0).Func.Get() != NewValue((*outer).m).(*FuncValue).Get() { |
| 1303 | t.Errorf("Wrong method table for outer: (m=%p)", (*outer).m) |
| 1304 | for i := 0; i < typ.NumMethod(); i++ { |
| 1305 | m := typ.Method(i) |
| 1306 | t.Errorf("\t%d: %s %#x\n", i, m.Name, m.Func.Get()) |
| 1307 | } |
| 1308 | } |
| 1309 | } |