Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(2)

Side by Side Diff: tests/compiler/dart2js/simple_inferrer_test.dart

Issue 108613003: != is a shortcut to == true, so it returns a boolean. (Closed) Base URL: http://dart.googlecode.com/svn/branches/bleeding_edge/dart/
Patch Set: Created 7 years ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch | Annotate | Revision Log
« no previous file with comments | « sdk/lib/_internal/compiler/implementation/inferrer/inferrer_visitor.dart ('k') | no next file » | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file
2 // for details. All rights reserved. Use of this source code is governed by a 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. 3 // BSD-style license that can be found in the LICENSE file.
4 4
5 import 'package:expect/expect.dart'; 5 import 'package:expect/expect.dart';
6 import "package:async_helper/async_helper.dart"; 6 import "package:async_helper/async_helper.dart";
7 import 7 import
8 '../../../sdk/lib/_internal/compiler/implementation/types/types.dart' 8 '../../../sdk/lib/_internal/compiler/implementation/types/types.dart'
9 show TypeMask; 9 show TypeMask;
10 10
(...skipping 520 matching lines...) Expand 10 before | Expand all | Expand 10 after
531 if (a != null) return null; 531 if (a != null) return null;
532 return a; 532 return a;
533 } 533 }
534 534
535 testReturnNull6() { 535 testReturnNull6() {
536 var a = topLeveGetter(); 536 var a = topLeveGetter();
537 if (a == null) return 42; 537 if (a == null) return 42;
538 return a; 538 return a;
539 } 539 }
540 540
541 testReturnNotEquals() {
542 return new A() != 54;
543 }
544
541 testReturnInvokeDynamicGetter() => new A().myFactory(); 545 testReturnInvokeDynamicGetter() => new A().myFactory();
542 546
543 var topLevelConstList = const [42]; 547 var topLevelConstList = const [42];
544 548
545 get topLevelGetter => 42; 549 get topLevelGetter => 42;
546 returnDynamic() => topLevelGetter(42); 550 returnDynamic() => topLevelGetter(42);
547 returnTopLevelGetter() => topLevelGetter; 551 returnTopLevelGetter() => topLevelGetter;
548 552
549 class A { 553 class A {
550 factory A() = A.generative; 554 factory A() = A.generative;
(...skipping 137 matching lines...) Expand 10 before | Expand all | Expand 10 after
688 testCascade2(); 692 testCascade2();
689 testSpecialization1(); 693 testSpecialization1();
690 testSpecialization2(); 694 testSpecialization2();
691 testSpecialization3(); 695 testSpecialization3();
692 testReturnNull1(topLevelGetter()); 696 testReturnNull1(topLevelGetter());
693 testReturnNull2(topLevelGetter()); 697 testReturnNull2(topLevelGetter());
694 testReturnNull3(topLevelGetter()); 698 testReturnNull3(topLevelGetter());
695 testReturnNull4(); 699 testReturnNull4();
696 testReturnNull5(); 700 testReturnNull5();
697 testReturnNull6(); 701 testReturnNull6();
702 testReturnNotEquals();
698 } 703 }
699 """; 704 """;
700 705
701 void main() { 706 void main() {
702 Uri uri = new Uri(scheme: 'source'); 707 Uri uri = new Uri(scheme: 'source');
703 var compiler = compilerFor(TEST, uri); 708 var compiler = compilerFor(TEST, uri);
704 asyncTest(() => compiler.runCompiler(uri).then((_) { 709 asyncTest(() => compiler.runCompiler(uri).then((_) {
705 var typesTask = compiler.typesTask; 710 var typesTask = compiler.typesTask;
706 var typesInferrer = typesTask.typesInferrer; 711 var typesInferrer = typesTask.typesInferrer;
707 712
(...skipping 122 matching lines...) Expand 10 before | Expand all | Expand 10 after
830 findElement(compiler, 'CascadeHelper'))); 835 findElement(compiler, 'CascadeHelper')));
831 checkReturn('testSpecialization1', typesTask.numType); 836 checkReturn('testSpecialization1', typesTask.numType);
832 checkReturn('testSpecialization2', typesTask.dynamicType); 837 checkReturn('testSpecialization2', typesTask.dynamicType);
833 checkReturn('testSpecialization3', typesTask.uint31Type.nullable()); 838 checkReturn('testSpecialization3', typesTask.uint31Type.nullable());
834 checkReturn('testReturnNull1', typesTask.nullType); 839 checkReturn('testReturnNull1', typesTask.nullType);
835 checkReturn('testReturnNull2', typesTask.nullType); 840 checkReturn('testReturnNull2', typesTask.nullType);
836 checkReturn('testReturnNull3', typesTask.dynamicType); 841 checkReturn('testReturnNull3', typesTask.dynamicType);
837 checkReturn('testReturnNull4', typesTask.nullType); 842 checkReturn('testReturnNull4', typesTask.nullType);
838 checkReturn('testReturnNull5', typesTask.nullType); 843 checkReturn('testReturnNull5', typesTask.nullType);
839 checkReturn('testReturnNull6', typesTask.dynamicType); 844 checkReturn('testReturnNull6', typesTask.dynamicType);
845 checkReturn('testReturnNotEquals', typesTask.boolType);
840 })); 846 }));
841 } 847 }
OLDNEW
« no previous file with comments | « sdk/lib/_internal/compiler/implementation/inferrer/inferrer_visitor.dart ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698