| OLD | NEW |
| 1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2014, 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 // This code was auto-generated, is not intended to be edited, and is subject to | 5 // This code was auto-generated, is not intended to be edited, and is subject to |
| 6 // significant change. Please see the README file for more information. | 6 // significant change. Please see the README file for more information. |
| 7 | 7 |
| 8 library engine.element_test; | 8 library engine.element_test; |
| 9 | 9 |
| 10 import 'package:analyzer/src/generated/java_core.dart'; | 10 import 'package:analyzer/src/generated/java_core.dart'; |
| (...skipping 4429 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 4440 JUnitTestCase.assertFalse(_typeA.isMoreSpecificThan(_uB)); | 4440 JUnitTestCase.assertFalse(_typeA.isMoreSpecificThan(_uB)); |
| 4441 } | 4441 } |
| 4442 | 4442 |
| 4443 void test_isMoreSpecificThan_reflexivity() { | 4443 void test_isMoreSpecificThan_reflexivity() { |
| 4444 for (DartType u in _us) { | 4444 for (DartType u in _us) { |
| 4445 JUnitTestCase.assertTrue(u.isMoreSpecificThan(u)); | 4445 JUnitTestCase.assertTrue(u.isMoreSpecificThan(u)); |
| 4446 } | 4446 } |
| 4447 } | 4447 } |
| 4448 | 4448 |
| 4449 void test_isMoreSpecificThan_someElementOnLHSIsNotASubtypeOfAnyElementOnRHS()
{ | 4449 void test_isMoreSpecificThan_someElementOnLHSIsNotASubtypeOfAnyElementOnRHS()
{ |
| 4450 // Unions are not subtypes when some element is not a subtype | 4450 // Unions are subtypes when some element is a subtype |
| 4451 JUnitTestCase.assertFalse(_uAB.isMoreSpecificThan(_uB)); | 4451 JUnitTestCase.assertTrue(_uAB.isMoreSpecificThan(_uB)); |
| 4452 JUnitTestCase.assertFalse(_uAB.isMoreSpecificThan(_typeB)); | 4452 JUnitTestCase.assertTrue(_uAB.isMoreSpecificThan(_typeB)); |
| 4453 } | 4453 } |
| 4454 | 4454 |
| 4455 void test_isMoreSpecificThan_subtypeOfSomeElement() { | 4455 void test_isMoreSpecificThan_subtypeOfSomeElement() { |
| 4456 // Subtypes of elements are sub types | 4456 // Subtypes of elements are sub types |
| 4457 JUnitTestCase.assertTrue(_typeB.isMoreSpecificThan(_uA)); | 4457 JUnitTestCase.assertTrue(_typeB.isMoreSpecificThan(_uA)); |
| 4458 } | 4458 } |
| 4459 | 4459 |
| 4460 void test_isSubtypeOf_allElementsOnLHSAreSubtypesOfSomeElementOnRHS() { | 4460 void test_isSubtypeOf_allElementsOnLHSAreSubtypesOfSomeElementOnRHS() { |
| 4461 // Unions are subtypes when all elements are subtypes | 4461 // Unions are subtypes when all elements are subtypes |
| 4462 JUnitTestCase.assertTrue(_uAB.isSubtypeOf(_uA)); | 4462 JUnitTestCase.assertTrue(_uAB.isSubtypeOf(_uA)); |
| (...skipping 11 matching lines...) Expand all Loading... |
| 4474 JUnitTestCase.assertFalse(_typeA.isSubtypeOf(_uB)); | 4474 JUnitTestCase.assertFalse(_typeA.isSubtypeOf(_uB)); |
| 4475 } | 4475 } |
| 4476 | 4476 |
| 4477 void test_isSubtypeOf_reflexivity() { | 4477 void test_isSubtypeOf_reflexivity() { |
| 4478 for (DartType u in _us) { | 4478 for (DartType u in _us) { |
| 4479 JUnitTestCase.assertTrue(u.isSubtypeOf(u)); | 4479 JUnitTestCase.assertTrue(u.isSubtypeOf(u)); |
| 4480 } | 4480 } |
| 4481 } | 4481 } |
| 4482 | 4482 |
| 4483 void test_isSubtypeOf_someElementOnLHSIsNotASubtypeOfAnyElementOnRHS() { | 4483 void test_isSubtypeOf_someElementOnLHSIsNotASubtypeOfAnyElementOnRHS() { |
| 4484 // Unions are not subtypes when some element is not a subtype | 4484 // Unions are subtypes when some element is a subtype |
| 4485 JUnitTestCase.assertFalse(_uAB.isSubtypeOf(_uB)); | 4485 JUnitTestCase.assertTrue(_uAB.isSubtypeOf(_uB)); |
| 4486 JUnitTestCase.assertFalse(_uAB.isSubtypeOf(_typeB)); | 4486 JUnitTestCase.assertTrue(_uAB.isSubtypeOf(_typeB)); |
| 4487 } | 4487 } |
| 4488 | 4488 |
| 4489 void test_isSubtypeOf_subtypeOfSomeElement() { | 4489 void test_isSubtypeOf_subtypeOfSomeElement() { |
| 4490 // Subtypes of elements are sub types | 4490 // Subtypes of elements are sub types |
| 4491 JUnitTestCase.assertTrue(_typeB.isSubtypeOf(_uA)); | 4491 JUnitTestCase.assertTrue(_typeB.isSubtypeOf(_uA)); |
| 4492 } | 4492 } |
| 4493 | 4493 |
| 4494 void test_nestedUnionsCollapse() { | 4494 void test_nestedUnionsCollapse() { |
| 4495 UnionType u = UnionTypeImpl.union([_uAB, _typeA]) as UnionType; | 4495 UnionType u = UnionTypeImpl.union([_uAB, _typeA]) as UnionType; |
| 4496 for (DartType t in u.elements) { | 4496 for (DartType t in u.elements) { |
| (...skipping 246 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 4743 UnionTypeImplTest.dartSuite(); | 4743 UnionTypeImplTest.dartSuite(); |
| 4744 VoidTypeImplTest.dartSuite(); | 4744 VoidTypeImplTest.dartSuite(); |
| 4745 ClassElementImplTest.dartSuite(); | 4745 ClassElementImplTest.dartSuite(); |
| 4746 CompilationUnitElementImplTest.dartSuite(); | 4746 CompilationUnitElementImplTest.dartSuite(); |
| 4747 ElementLocationImplTest.dartSuite(); | 4747 ElementLocationImplTest.dartSuite(); |
| 4748 ElementImplTest.dartSuite(); | 4748 ElementImplTest.dartSuite(); |
| 4749 HtmlElementImplTest.dartSuite(); | 4749 HtmlElementImplTest.dartSuite(); |
| 4750 LibraryElementImplTest.dartSuite(); | 4750 LibraryElementImplTest.dartSuite(); |
| 4751 MultiplyDefinedElementImplTest.dartSuite(); | 4751 MultiplyDefinedElementImplTest.dartSuite(); |
| 4752 } | 4752 } |
| OLD | NEW |