| OLD | NEW |
| (Empty) |
| 1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | |
| 2 // for details. All rights reserved. Use of this source code is governed by a | |
| 3 // BSD-style license that can be found in the LICENSE file. | |
| 4 | |
| 5 class A { | |
| 6 A() { NamingTest.count++; } | |
| 7 foo(a, b) { | |
| 8 Expect.equals(1, a); | |
| 9 Expect.equals(2, b); | |
| 10 } | |
| 11 } | |
| 12 | |
| 13 class MyException { | |
| 14 MyException() {} | |
| 15 } | |
| 16 | |
| 17 class debugger { | |
| 18 static final int __PROTO__ = 5; | |
| 19 | |
| 20 int x; | |
| 21 | |
| 22 factory debugger.F() { | |
| 23 return new debugger(1); | |
| 24 } | |
| 25 debugger(x) : this.x = x + 1 { } | |
| 26 debugger.C(x) : this.x = x + 2 { } | |
| 27 debugger.C$C(x) : this.x = x + 3 { } | |
| 28 debugger.C$I(x) : this.x = x + 4 { } | |
| 29 } | |
| 30 | |
| 31 class debugger$C { | |
| 32 int x; | |
| 33 | |
| 34 factory debugger$C.F() { | |
| 35 return new debugger$C(1); | |
| 36 } | |
| 37 debugger$C(x) : this.x = x + 5 { } | |
| 38 debugger$C.C(x) : this.x = x + 6 { } | |
| 39 debugger$C.C$C(x) : this.x = x + 7 { } | |
| 40 debugger$C.C$I(x) : this.x = x + 8 { } | |
| 41 } | |
| 42 | |
| 43 class debugger$C$C { | |
| 44 int x; | |
| 45 | |
| 46 factory debugger$C$C.F() { | |
| 47 return new debugger$C$C(1); | |
| 48 } | |
| 49 debugger$C$C(x) : this.x = x + 9 { } | |
| 50 debugger$C$C.C(x) : this.x = x + 10 { } | |
| 51 debugger$C$C.C$C(x) : this.x = x + 11 { } | |
| 52 debugger$C$C.C$I(x) : this.x = x + 12 { } | |
| 53 } | |
| 54 | |
| 55 class with extends debugger$C { | |
| 56 int y; | |
| 57 | |
| 58 factory with.F() { | |
| 59 return new with(1, 2); | |
| 60 } | |
| 61 with(x, y) : super(x), this.y = y + 1 { } | |
| 62 with.I(x, y) : super.C(x), this.y = y + 2 { } | |
| 63 with.C(x, y) : super.C$C(x), this.y = y + 3 { } | |
| 64 with.I$C(x, y) : super.C$I(x), this.y = y + 4 { } | |
| 65 with.C$C(x, y) : super(x), this.y = y + 5 { } | |
| 66 with.C$C$C(x, y) : super.C(x), this.y = y + 6 { } | |
| 67 with.$C$I(x, y) : super.C$C(x), this.y = y + 7 { } | |
| 68 with.$$I$C(x, y) : super.C$I(x), this.y = y + 8 { } | |
| 69 with.$(x, y) : super(x), this.y = y + 9 { } | |
| 70 with.$$(x, y) : super.C(x), this.y = y + 10 { } | |
| 71 } | |
| 72 | |
| 73 class with$I extends debugger$C { | |
| 74 int y; | |
| 75 | |
| 76 factory with$I.F() { | |
| 77 return new with$I(1, 2); | |
| 78 } | |
| 79 with$I(x, y) : super(x), this.y = y + 11 { } | |
| 80 with$I.I(x, y) : super.C(x), this.y = y + 12 { } | |
| 81 with$I.C(x, y) : super.C$C(x), this.y = y + 13 { } | |
| 82 with$I.I$C(x, y) : super.C$I(x), this.y = y + 14 { } | |
| 83 with$I.C$C(x, y) : super(x), this.y = y + 15 { } | |
| 84 with$I.C$C$C(x, y) : super.C(x), this.y = y + 16 { } | |
| 85 with$I.$C$I(x, y) : super.C$C(x), this.y = y + 17 { } | |
| 86 with$I.$$I$C(x, y) : super.C$I(x), this.y = y + 18 { } | |
| 87 with$I.$(x, y) : super(x), this.y = y + 19 { } | |
| 88 with$I.$$(x, y) : super.C(x), this.y = y + 20 { } | |
| 89 } | |
| 90 | |
| 91 class with$C extends debugger$C$C { | |
| 92 int y; | |
| 93 | |
| 94 factory with$C.F() { | |
| 95 return new with$C(1, 2); | |
| 96 } | |
| 97 with$C(x, y) : super(x), this.y = y + 21 { } | |
| 98 with$C.I(x, y) : super.C(x), this.y = y + 22 { } | |
| 99 with$C.C(x, y) : super.C$C(x), this.y = y + 23 { } | |
| 100 with$C.I$C(x, y) : super.C$I(x), this.y = y + 24 { } | |
| 101 with$C.C$C(x, y) : super(x), this.y = y + 25 { } | |
| 102 with$C.C$C$C(x, y) : super.C(x), this.y = y + 26 { } | |
| 103 with$C.$C$I(x, y) : super.C$C(x), this.y = y + 27 { } | |
| 104 with$C.$$I$C(x, y) : super.C$I(x), this.y = y + 28 { } | |
| 105 with$C.$(x, y) : super(x), this.y = y + 29 { } | |
| 106 with$C.$$(x, y) : super.C(x), this.y = y + 30 { } | |
| 107 } | |
| 108 | |
| 109 class with$I$C extends debugger$C$C { | |
| 110 int y; | |
| 111 | |
| 112 factory with$I$C.F() { | |
| 113 return new with$I$C(1, 2); | |
| 114 } | |
| 115 with$I$C(x, y) : super(x), this.y = y + 31 { } | |
| 116 with$I$C.I(x, y) : super.C(x), this.y = y + 32 { } | |
| 117 with$I$C.C(x, y) : super.C$C(x), this.y = y + 33 { } | |
| 118 with$I$C.I$C(x, y) : super.C$I(x), this.y = y + 34 { } | |
| 119 with$I$C.C$C(x, y) : super(x), this.y = y + 35 { } | |
| 120 with$I$C.C$C$C(x, y) : super.C(x), this.y = y + 36 { } | |
| 121 with$I$C.$C$I(x, y) : super.C$C(x), this.y = y + 37 { } | |
| 122 with$I$C.$$I$C(x, y) : super.C$I(x), this.y = y + 38 { } | |
| 123 with$I$C.$(x, y) : super(x), this.y = y + 39 { } | |
| 124 with$I$C.$$(x, y) : super.C(x), this.y = y + 40 { } | |
| 125 } | |
| 126 | |
| 127 class Tata { | |
| 128 var prototype; | |
| 129 | |
| 130 Tata() : this.prototype = 0 {} | |
| 131 | |
| 132 __PROTO__$() { return 12; } | |
| 133 } | |
| 134 | |
| 135 class Toto extends Tata { | |
| 136 var __PROTO__; | |
| 137 | |
| 138 Toto() : super(), this.__PROTO__ = 0 { } | |
| 139 | |
| 140 prototype$() { return 10; } | |
| 141 | |
| 142 titi() { | |
| 143 Expect.equals(0, prototype); | |
| 144 Expect.equals(0, __PROTO__); | |
| 145 prototype = 3; | |
| 146 __PROTO__ = 5; | |
| 147 Expect.equals(3, prototype); | |
| 148 Expect.equals(5, __PROTO__); | |
| 149 Expect.equals(10, prototype$()); | |
| 150 Expect.equals(12, __PROTO__$()); | |
| 151 Expect.equals(12, this.__PROTO__$()); | |
| 152 Expect.equals(10, this.prototype$()); | |
| 153 Expect.equals(12, __PROTO__$()); | |
| 154 } | |
| 155 } | |
| 156 | |
| 157 class Bug4082360 { | |
| 158 int x_; | |
| 159 Bug4082360() {} | |
| 160 | |
| 161 int get x() { return x_; } | |
| 162 void set x(int value) { x_ = value; } | |
| 163 | |
| 164 void indirectSet(int value) { x = value; } | |
| 165 | |
| 166 static void test() { | |
| 167 var bug = new Bug4082360(); | |
| 168 bug.indirectSet(42); | |
| 169 Expect.equals(42, bug.x_); | |
| 170 Expect.equals(42, bug.x); | |
| 171 } | |
| 172 } | |
| 173 | |
| 174 class Hoisting { | |
| 175 var f_; | |
| 176 Hoisting.negate(var x) { | |
| 177 f_ = () { return x; }; | |
| 178 } | |
| 179 | |
| 180 operator negate() { | |
| 181 var x = 3; | |
| 182 return () { return x + 1; }; | |
| 183 } | |
| 184 | |
| 185 operator[] (x) { | |
| 186 return () { return x + 3; }; | |
| 187 } | |
| 188 | |
| 189 static void test() { | |
| 190 var h = new Hoisting.negate(1); | |
| 191 Expect.equals(1, (h.f_)()); | |
| 192 var f = -h; | |
| 193 Expect.equals(4, f()); | |
| 194 Expect.equals(4, h.negate()()); | |
| 195 Expect.equals(7, h[4]()); | |
| 196 } | |
| 197 } | |
| 198 | |
| 199 // It is not possible to make sure that the backend uses the hardcoded names | |
| 200 // we are testing against. This test might therefore become rapidly out of date | |
| 201 class NamingTest { | |
| 202 static int count; | |
| 203 | |
| 204 static testExceptionNaming() { | |
| 205 // Exceptions use a hardcoded "e" as exception name. If the namer works | |
| 206 // correctly then it will be renamed in case of clashes. | |
| 207 var e = 3; | |
| 208 var caught = false; | |
| 209 try { | |
| 210 throw new MyException(); | |
| 211 } catch (var exc) { | |
| 212 try { | |
| 213 throw new MyException(); | |
| 214 } catch (var exc2) { | |
| 215 exc = 9; | |
| 216 } | |
| 217 Expect.equals(9, exc); | |
| 218 caught = true; | |
| 219 } | |
| 220 Expect.equals(true, caught); | |
| 221 Expect.equals(3, e); | |
| 222 } | |
| 223 | |
| 224 static testTmpNaming() { | |
| 225 Expect.equals(0, count); | |
| 226 var tmp$0 = 1; | |
| 227 var tmp$1 = 2; | |
| 228 new A().foo(tmp$0, tmp$1++); | |
| 229 Expect.equals(1, count); | |
| 230 Expect.equals(3, tmp$1); | |
| 231 } | |
| 232 | |
| 233 static testScopeNaming() { | |
| 234 // Alias scopes use a hardcoded "dartc_scp$<depth>" as names. | |
| 235 var dartc_scp$1 = 5; | |
| 236 var foo = 8; | |
| 237 var f = () { | |
| 238 var dartc_scp$1 = 15; | |
| 239 return foo + dartc_scp$1; | |
| 240 }; | |
| 241 Expect.equals(5, dartc_scp$1); | |
| 242 Expect.equals(23, f()); | |
| 243 } | |
| 244 | |
| 245 static testGlobalMangling() { | |
| 246 var x; | |
| 247 x = new debugger(0); | |
| 248 Expect.equals(1, x.x); | |
| 249 x = new debugger.C(0); | |
| 250 Expect.equals(2, x.x); | |
| 251 x = new debugger.C$C(0); | |
| 252 Expect.equals(3, x.x); | |
| 253 x = new debugger.C$I(0); | |
| 254 Expect.equals(4, x.x); | |
| 255 x = new debugger$C(0); | |
| 256 Expect.equals(5, x.x); | |
| 257 x = new debugger$C.C(0); | |
| 258 Expect.equals(6, x.x); | |
| 259 x = new debugger$C.C$C(0); | |
| 260 Expect.equals(7, x.x); | |
| 261 x = new debugger$C.C$I(0); | |
| 262 Expect.equals(8, x.x); | |
| 263 x = new debugger$C$C(0); | |
| 264 Expect.equals(9, x.x); | |
| 265 x = new debugger$C$C.C(0); | |
| 266 Expect.equals(10, x.x); | |
| 267 x = new debugger$C$C.C$C(0); | |
| 268 Expect.equals(11, x.x); | |
| 269 x = new debugger$C$C.C$I(0); | |
| 270 Expect.equals(12, x.x); | |
| 271 x = new with(0, 0); | |
| 272 Expect.equals(5, x.x); | |
| 273 Expect.equals(1, x.y); | |
| 274 x = new with.I(0, 0); | |
| 275 Expect.equals(6, x.x); | |
| 276 Expect.equals(2, x.y); | |
| 277 x = new with.C(0, 0); | |
| 278 Expect.equals(7, x.x); | |
| 279 Expect.equals(3, x.y); | |
| 280 x = new with.I$C(0, 0); | |
| 281 Expect.equals(8, x.x); | |
| 282 Expect.equals(4, x.y); | |
| 283 x = new with.C$C(0, 0); | |
| 284 Expect.equals(5, x.x); | |
| 285 Expect.equals(5, x.y); | |
| 286 x = new with.C$C$C(0, 0); | |
| 287 Expect.equals(6, x.x); | |
| 288 Expect.equals(6, x.y); | |
| 289 x = new with.$C$I(0, 0); | |
| 290 Expect.equals(7, x.x); | |
| 291 Expect.equals(7, x.y); | |
| 292 x = new with.$$I$C(0, 0); | |
| 293 Expect.equals(8, x.x); | |
| 294 Expect.equals(8, x.y); | |
| 295 x = new with.$(0, 0); | |
| 296 Expect.equals(5, x.x); | |
| 297 Expect.equals(9, x.y); | |
| 298 x = new with.$$(0, 0); | |
| 299 Expect.equals(6, x.x); | |
| 300 Expect.equals(10, x.y); | |
| 301 x = new with$I(0, 0); | |
| 302 Expect.equals(5, x.x); | |
| 303 Expect.equals(11, x.y); | |
| 304 x = new with$I.I(0, 0); | |
| 305 Expect.equals(6, x.x); | |
| 306 Expect.equals(12, x.y); | |
| 307 x = new with$I.C(0, 0); | |
| 308 Expect.equals(7, x.x); | |
| 309 Expect.equals(13, x.y); | |
| 310 x = new with$I.I$C(0, 0); | |
| 311 Expect.equals(8, x.x); | |
| 312 Expect.equals(14, x.y); | |
| 313 x = new with$I.C$C(0, 0); | |
| 314 Expect.equals(5, x.x); | |
| 315 Expect.equals(15, x.y); | |
| 316 x = new with$I.C$C$C(0, 0); | |
| 317 Expect.equals(6, x.x); | |
| 318 Expect.equals(16, x.y); | |
| 319 x = new with$I.$C$I(0, 0); | |
| 320 Expect.equals(7, x.x); | |
| 321 Expect.equals(17, x.y); | |
| 322 x = new with$I.$$I$C(0, 0); | |
| 323 Expect.equals(8, x.x); | |
| 324 Expect.equals(18, x.y); | |
| 325 x = new with$I.$(0, 0); | |
| 326 Expect.equals(5, x.x); | |
| 327 Expect.equals(19, x.y); | |
| 328 x = new with$I.$$(0, 0); | |
| 329 Expect.equals(6, x.x); | |
| 330 Expect.equals(20, x.y); | |
| 331 x = new with$C(0, 0); | |
| 332 Expect.equals(9, x.x); | |
| 333 Expect.equals(21, x.y); | |
| 334 x = new with$C.I(0, 0); | |
| 335 Expect.equals(10, x.x); | |
| 336 Expect.equals(22, x.y); | |
| 337 x = new with$C.C(0, 0); | |
| 338 Expect.equals(11, x.x); | |
| 339 Expect.equals(23, x.y); | |
| 340 x = new with$C.I$C(0, 0); | |
| 341 Expect.equals(12, x.x); | |
| 342 Expect.equals(24, x.y); | |
| 343 x = new with$C.C$C(0, 0); | |
| 344 Expect.equals(9, x.x); | |
| 345 Expect.equals(25, x.y); | |
| 346 x = new with$C.C$C$C(0, 0); | |
| 347 Expect.equals(10, x.x); | |
| 348 Expect.equals(26, x.y); | |
| 349 x = new with$C.$C$I(0, 0); | |
| 350 Expect.equals(11, x.x); | |
| 351 Expect.equals(27, x.y); | |
| 352 x = new with$C.$$I$C(0, 0); | |
| 353 Expect.equals(12, x.x); | |
| 354 Expect.equals(28, x.y); | |
| 355 x = new with$C.$(0, 0); | |
| 356 Expect.equals(9, x.x); | |
| 357 Expect.equals(29, x.y); | |
| 358 x = new with$C.$$(0, 0); | |
| 359 Expect.equals(10, x.x); | |
| 360 Expect.equals(30, x.y); | |
| 361 x = new with$I$C(0, 0); | |
| 362 Expect.equals(9, x.x); | |
| 363 Expect.equals(31, x.y); | |
| 364 x = new with$I$C.I(0, 0); | |
| 365 Expect.equals(10, x.x); | |
| 366 Expect.equals(32, x.y); | |
| 367 x = new with$I$C.C(0, 0); | |
| 368 Expect.equals(11, x.x); | |
| 369 Expect.equals(33, x.y); | |
| 370 x = new with$I$C.I$C(0, 0); | |
| 371 Expect.equals(12, x.x); | |
| 372 Expect.equals(34, x.y); | |
| 373 x = new with$I$C.C$C(0, 0); | |
| 374 Expect.equals(9, x.x); | |
| 375 Expect.equals(35, x.y); | |
| 376 x = new with$I$C.C$C$C(0, 0); | |
| 377 Expect.equals(10, x.x); | |
| 378 Expect.equals(36, x.y); | |
| 379 x = new with$I$C.$C$I(0, 0); | |
| 380 Expect.equals(11, x.x); | |
| 381 Expect.equals(37, x.y); | |
| 382 x = new with$I$C.$$I$C(0, 0); | |
| 383 Expect.equals(12, x.x); | |
| 384 Expect.equals(38, x.y); | |
| 385 x = new with$I$C.$(0, 0); | |
| 386 Expect.equals(9, x.x); | |
| 387 Expect.equals(39, x.y); | |
| 388 x = new with$I$C.$$(0, 0); | |
| 389 Expect.equals(10, x.x); | |
| 390 Expect.equals(40, x.y); | |
| 391 var wasCaught = false; | |
| 392 try { | |
| 393 throw new with(0, 0); | |
| 394 } catch(with e) { | |
| 395 wasCaught = true; | |
| 396 Expect.equals(5, e.x); | |
| 397 } | |
| 398 Expect.equals(true, wasCaught); | |
| 399 } | |
| 400 | |
| 401 static void testMemberMangling() { | |
| 402 Expect.equals(5, debugger.__PROTO__); | |
| 403 new Toto().titi(); | |
| 404 } | |
| 405 | |
| 406 static void testFactoryMangling() { | |
| 407 var o = new debugger.F(); | |
| 408 Expect.equals(2, o.x); | |
| 409 o = new debugger$C.F(); | |
| 410 Expect.equals(6, o.x); | |
| 411 o = new debugger$C$C.F(); | |
| 412 Expect.equals(10, o.x); | |
| 413 o = new with.F(); | |
| 414 Expect.equals(6, o.x); | |
| 415 Expect.equals(3, o.y); | |
| 416 o = new with$I.F(); | |
| 417 Expect.equals(6, o.x); | |
| 418 Expect.equals(13, o.y); | |
| 419 o = new with$C.F(); | |
| 420 Expect.equals(10, o.x); | |
| 421 Expect.equals(23, o.y); | |
| 422 o = new with$I$C.F(); | |
| 423 Expect.equals(10, o.x); | |
| 424 Expect.equals(33, o.y); | |
| 425 } | |
| 426 | |
| 427 static testFunctionParameters() { | |
| 428 a(with) { | |
| 429 return with; | |
| 430 } | |
| 431 | |
| 432 b(eval) { | |
| 433 return eval; | |
| 434 } | |
| 435 | |
| 436 c(arguments) { | |
| 437 return arguments; | |
| 438 } | |
| 439 | |
| 440 Expect.equals(10, a(10)); | |
| 441 Expect.equals(10, b(10)); | |
| 442 Expect.equals(10, c(10)); | |
| 443 } | |
| 444 | |
| 445 static testPseudoTokens() { | |
| 446 var EOS = 400; | |
| 447 var ILLEGAL = 99; | |
| 448 Expect.equals(499, EOS + ILLEGAL); | |
| 449 } | |
| 450 | |
| 451 static testDollar() { | |
| 452 Expect.equals(123, $(123).wrapped); | |
| 453 var x = new Object(), y = new Object(); | |
| 454 Expect.identical(x, $(x).wrapped); | |
| 455 Expect.identical(y, $(x).$add(y)); | |
| 456 Expect.identical(x, $(x).$negate()); | |
| 457 Expect.equals(123, $(x) + x); | |
| 458 Expect.equals(444, -$(x)); | |
| 459 } | |
| 460 | |
| 461 static void testMain() { | |
| 462 count = 0; | |
| 463 testExceptionNaming(); | |
| 464 testTmpNaming(); | |
| 465 testScopeNaming(); | |
| 466 testGlobalMangling(); | |
| 467 testMemberMangling(); | |
| 468 testFactoryMangling(); | |
| 469 testFunctionParameters(); | |
| 470 Bug4082360.test(); | |
| 471 Hoisting.test(); | |
| 472 testPseudoTokens(); | |
| 473 testDollar(); | |
| 474 } | |
| 475 } | |
| 476 | |
| 477 // Test that the generated JS names don't conflict with "$" | |
| 478 class DartQuery { | |
| 479 Object wrapped; | |
| 480 DartQuery(this.wrapped); | |
| 481 | |
| 482 $add(Object other) => other; | |
| 483 $negate() => wrapped; | |
| 484 | |
| 485 operator +(Object other) => 123; | |
| 486 operator negate() => 444; | |
| 487 } | |
| 488 | |
| 489 $add(Object first, Object second) => second; | |
| 490 DartQuery $(Object obj) => new DartQuery(obj); | |
| 491 | |
| 492 // Ensure we don't have false positive. named constructor and methods | |
| 493 // are in different namespaces, therefore it is ok to have a method | |
| 494 // called foo and a named constructor CLASS.foo | |
| 495 class Naming1Test { | |
| 496 Naming1Test.foo() { } | |
| 497 foo() { } | |
| 498 | |
| 499 static void main(args) { | |
| 500 var a = new Naming1Test.foo(); | |
| 501 a.foo(); | |
| 502 } | |
| 503 } | |
| 504 | |
| 505 // Ensure we don't have false positive. | |
| 506 class Naming2Test { | |
| 507 Naming2Test() { } | |
| 508 int get foo() { return 1; } | |
| 509 set foo(x) { } | |
| 510 | |
| 511 static void main(args) { | |
| 512 var a = new Naming2Test(); | |
| 513 Expect.throws(() => a.foo(2), (e) => e is ObjectNotClosureException); | |
| 514 } | |
| 515 } | |
| 516 | |
| 517 main() { | |
| 518 NamingTest.testMain(); | |
| 519 Naming1Test.main(null); | |
| 520 Naming2Test.main(null); | |
| 521 } | |
| OLD | NEW |