Index: tests/language_strong/built_in_identifier_prefix_test.dart |
diff --git a/tests/language_strong/built_in_identifier_prefix_test.dart b/tests/language_strong/built_in_identifier_prefix_test.dart |
deleted file mode 100644 |
index 6c3934ad8f37f5df0147440d9f54cf5ebd46b2d1..0000000000000000000000000000000000000000 |
--- a/tests/language_strong/built_in_identifier_prefix_test.dart |
+++ /dev/null |
@@ -1,216 +0,0 @@ |
-// Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
-// for details. All rights reserved. Use of this source code is governed by a |
-// BSD-style license that can be found in the LICENSE file. |
- |
-// Test that built-in identifiers can be used as library prefixes. |
- |
-// From The Dart Programming Language Specification, section 11.30 |
-// "Identifier Reference": |
-// |
-// "A built-in identifier is one of the identifiers produced by the |
-// production BUILT IN IDENTIFIER. It is a compile-time error if a |
-// built-in identifier is used as the declared name of a class, type |
-// parameter or type alias. It is a compile-time error to use a |
-// built-in identifier other than dynamic as a type annotation." |
-// |
-// Observation: it is not illegal to use a built-in identifier as a library |
-// prefix. |
-// |
-// Observation: it is not legal to use a built-in identifier as a type |
-// annotation. A type annotation is not fully defined in the |
-// specification, so we assume this means that the grammar production |
-// "type" cannot match a built-in identifier. Unfortunately, this |
-// doesn't prevent us from using built-in identifiers *in* type |
-// annotations. For example, "final abstract foo;" is illegal as |
-// "abstract" is used as a type annotation. However, "final |
-// abstract<dynamic> foo;" is not illegal because "abstract" is used |
-// as a typeName. |
- |
-import "package:expect/expect.dart"; |
-import 'built_in_identifier_prefix_library_abstract.dart' as abstract; |
-import 'built_in_identifier_prefix_library_as.dart' as as; |
-import 'built_in_identifier_prefix_library_dynamic.dart' as dynamic; |
-import 'built_in_identifier_prefix_library_export.dart' as export; |
-import 'built_in_identifier_prefix_library_external.dart' as external; |
-import 'built_in_identifier_prefix_library_factory.dart' as factory; |
-import 'built_in_identifier_prefix_library_get.dart' as get; |
-import 'built_in_identifier_prefix_library_implements.dart' as implements; |
-import 'built_in_identifier_prefix_library_import.dart' as import; |
-import 'built_in_identifier_prefix_library_library.dart' as library; |
-import 'built_in_identifier_prefix_library_operator.dart' as operator; |
-import 'built_in_identifier_prefix_library_part.dart' as part; |
-import 'built_in_identifier_prefix_library_set.dart' as set; |
-import 'built_in_identifier_prefix_library_static.dart' as static; |
-import 'built_in_identifier_prefix_library_typedef.dart' as typedef; |
- |
-abstract.A _abstract = new abstract.A(); |
-as.A _as = new as.A(); |
-dynamic.A _dynamic = new dynamic.A(); |
-export.A _export = new export.A(); |
-external.A _external = new external.A(); |
-factory.A _factory = new factory.A(); |
-get.A _get = new get.A(); |
-implements.A _implements = new implements.A(); |
-import.A _import = new import.A(); |
-library.A _library = new library.A(); |
-operator.A _operator = new operator.A(); |
-part.A _part = new part.A(); |
-set.A _set = new set.A(); |
-static.A _static = new static.A(); |
-typedef.A _typedef = new typedef.A(); |
- |
-abstract<dynamic> generic_abstract = new abstract.A(); |
-as<dynamic> generic_as = new as.A(); |
-dynamic<dynamic> generic_dynamic = new dynamic.A(); |
-export<dynamic> generic_export = new export.A(); |
-external<dynamic> generic_external = new external.A(); |
-factory<dynamic> generic_factory = new factory.A(); |
-get<dynamic> generic_get = new get.A(); |
-implements<dynamic> generic_implements = new implements.A(); |
-import<dynamic> generic_import = new import.A(); |
-library<dynamic> generic_library = new library.A(); |
-operator<dynamic> generic_operator = new operator.A(); |
-part<dynamic> generic_part = new part.A(); |
-set<dynamic> generic_set = new set.A(); |
-static<dynamic> generic_static = new static.A(); |
-typedef<dynamic> generic_typedef = new typedef.A(); |
- |
-abstract.B<dynamic> dynamic_B_abstract = new abstract.B(); |
-as.B<dynamic> dynamic_B_as = new as.B(); |
-dynamic.B<dynamic> dynamic_B_dynamic = new dynamic.B(); |
-export.B<dynamic> dynamic_B_export = new export.B(); |
-external.B<dynamic> dynamic_B_external = new external.B(); |
-factory.B<dynamic> dynamic_B_factory = new factory.B(); |
-get.B<dynamic> dynamic_B_get = new get.B(); |
-implements.B<dynamic> dynamic_B_implements = new implements.B(); |
-import.B<dynamic> dynamic_B_import = new import.B(); |
-library.B<dynamic> dynamic_B_library = new library.B(); |
-operator.B<dynamic> dynamic_B_operator = new operator.B(); |
-part.B<dynamic> dynamic_B_part = new part.B(); |
-set.B<dynamic> dynamic_B_set = new set.B(); |
-static.B<dynamic> dynamic_B_static = new static.B(); |
-typedef.B<dynamic> dynamic_B_typedef = new typedef.B(); |
- |
-abstract.B<abstract<dynamic>> parameterized_B_abstract = new abstract.B(); |
-as.B<as<dynamic>> parameterized_B_as = new as.B(); |
-dynamic.B<dynamic<dynamic>> parameterized_B_dynamic = new dynamic.B(); |
-export.B<export<dynamic>> parameterized_B_export = new export.B(); |
-external.B<external<dynamic>> parameterized_B_external = new external.B(); |
-factory.B<factory<dynamic>> parameterized_B_factory = new factory.B(); |
-get.B<get<dynamic>> parameterized_B_get = new get.B(); |
-implements.B<implements<dynamic>> parameterized_B_implements = |
- new implements.B(); |
-import.B<import<dynamic>> parameterized_B_import = new import.B(); |
-library.B<library<dynamic>> parameterized_B_library = new library.B(); |
-operator.B<operator<dynamic>> parameterized_B_operator = new operator.B(); |
-part.B<part<dynamic>> parameterized_B_part = new part.B(); |
-set.B<set<dynamic>> parameterized_B_set = new set.B(); |
-static.B<static<dynamic>> parameterized_B_static = new static.B(); |
-typedef.B<typedef<dynamic>> parameterized_B_typedef = new typedef.B(); |
- |
-class UseA { |
- abstract.A abstract = new abstract.A(); |
- as.A as = new as.A(); |
- dynamic.A dynamic = new dynamic.A(); |
- export.A export = new export.A(); |
- external.A external = new external.A(); |
- factory.A factory = new factory.A(); |
- get.A get = new get.A(); |
- implements.A implements = new implements.A(); |
- import.A import = new import.A(); |
- library.A library = new library.A(); |
- operator.A operator = new operator.A(); |
- part.A part = new part.A(); |
- set.A set = new set.A(); |
- static.A static = new static.A(); |
- typedef.A typedef = new typedef.A(); |
-} |
- |
-main() { |
- bool assertionsEnabled = false; |
- assert(assertionsEnabled = true); |
- |
- Expect.isTrue(_abstract is abstract.A); |
- Expect.isTrue(_as is as.A); |
- Expect.isTrue(_dynamic is dynamic.A); |
- Expect.isTrue(_export is export.A); |
- Expect.isTrue(_external is external.A); |
- Expect.isTrue(_factory is factory.A); |
- Expect.isTrue(_get is get.A); |
- Expect.isTrue(_implements is implements.A); |
- Expect.isTrue(_import is import.A); |
- Expect.isTrue(_library is library.A); |
- Expect.isTrue(_operator is operator.A); |
- Expect.isTrue(_part is part.A); |
- Expect.isTrue(_set is set.A); |
- Expect.isTrue(_static is static.A); |
- Expect.isTrue(_typedef is typedef.A); |
- |
- Expect.isTrue(dynamic_B_abstract is abstract.B); |
- Expect.isTrue(dynamic_B_as is as.B); |
- Expect.isTrue(dynamic_B_dynamic is dynamic.B); |
- Expect.isTrue(dynamic_B_export is export.B); |
- Expect.isTrue(dynamic_B_external is external.B); |
- Expect.isTrue(dynamic_B_factory is factory.B); |
- Expect.isTrue(dynamic_B_get is get.B); |
- Expect.isTrue(dynamic_B_implements is implements.B); |
- Expect.isTrue(dynamic_B_import is import.B); |
- Expect.isTrue(dynamic_B_library is library.B); |
- Expect.isTrue(dynamic_B_operator is operator.B); |
- Expect.isTrue(dynamic_B_part is part.B); |
- Expect.isTrue(dynamic_B_set is set.B); |
- Expect.isTrue(dynamic_B_static is static.B); |
- Expect.isTrue(dynamic_B_typedef is typedef.B); |
- |
- var x = new UseA(); |
- Expect.isTrue(x.abstract is abstract.A); |
- Expect.isTrue(x.as is as.A); |
- Expect.isTrue(x.dynamic is dynamic.A); |
- Expect.isTrue(x.export is export.A); |
- Expect.isTrue(x.external is external.A); |
- Expect.isTrue(x.factory is factory.A); |
- Expect.isTrue(x.get is get.A); |
- Expect.isTrue(x.implements is implements.A); |
- Expect.isTrue(x.import is import.A); |
- Expect.isTrue(x.library is library.A); |
- Expect.isTrue(x.operator is operator.A); |
- Expect.isTrue(x.part is part.A); |
- Expect.isTrue(x.set is set.A); |
- Expect.isTrue(x.static is static.A); |
- Expect.isTrue(x.typedef is typedef.A); |
- |
- // Most of the following variables have malformed type annotations. |
- if (assertionsEnabled) return; |
- |
- Expect.isTrue(generic_abstract is abstract.A); |
- Expect.isTrue(generic_as is as.A); |
- Expect.isTrue(generic_dynamic is dynamic.A); |
- Expect.isTrue(generic_export is export.A); |
- Expect.isTrue(generic_external is external.A); |
- Expect.isTrue(generic_factory is factory.A); |
- Expect.isTrue(generic_get is get.A); |
- Expect.isTrue(generic_implements is implements.A); |
- Expect.isTrue(generic_import is import.A); |
- Expect.isTrue(generic_library is library.A); |
- Expect.isTrue(generic_operator is operator.A); |
- Expect.isTrue(generic_part is part.A); |
- Expect.isTrue(generic_set is set.A); |
- Expect.isTrue(generic_static is static.A); |
- Expect.isTrue(generic_typedef is typedef.A); |
- |
- Expect.isTrue(parameterized_B_abstract is abstract.B); |
- Expect.isTrue(parameterized_B_as is as.B); |
- Expect.isTrue(parameterized_B_dynamic is dynamic.B); |
- Expect.isTrue(parameterized_B_export is export.B); |
- Expect.isTrue(parameterized_B_external is external.B); |
- Expect.isTrue(parameterized_B_factory is factory.B); |
- Expect.isTrue(parameterized_B_get is get.B); |
- Expect.isTrue(parameterized_B_implements is implements.B); |
- Expect.isTrue(parameterized_B_import is import.B); |
- Expect.isTrue(parameterized_B_library is library.B); |
- Expect.isTrue(parameterized_B_operator is operator.B); |
- Expect.isTrue(parameterized_B_part is part.B); |
- Expect.isTrue(parameterized_B_set is set.B); |
- Expect.isTrue(parameterized_B_static is static.B); |
- Expect.isTrue(parameterized_B_typedef is typedef.B); |
-} |