#2825. Add tests for "Terminology" chapter of the spec. (#2855)

LanguageFeatures/Parts-with-imports/terminology_A01_t01.dart

@@ -0,0 +1,18 @@
+// Copyright (c) 2024, 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.
+
+/// @assertion It’s a compile-time error if a Dart file has two `part`
+/// directives with the same URI, so each included part file is included exactly
+/// once.
+///
+/// @description Check that it is a compile-time error if a Dart file has two
+/// `part` directives with the same URI.
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=enhanced-parts
+
+part 'terminology_A01_t01_part1.dart';
+
+main() {
+}

LanguageFeatures/Parts-with-imports/terminology_A01_t01_part1.dart

@@ -0,0 +1,21 @@
+// Copyright (c) 2024, 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.
+
+/// @assertion It’s a compile-time error if a Dart file has two `part`
+/// directives with the same URI, so each included part file is included exactly
+/// once.
+///
+/// @description Check that it is a compile-time error if a Dart file has two
+/// `part` directives with the same URI.
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=enhanced-parts
+
+part of 'terminology_A01_t01.dart';
+
+part 'terminology_A01_t01_part2.dart';
+part 'terminology_A01_t01_part2.dart';
+//    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified

LanguageFeatures/Parts-with-imports/terminology_A01_t01_part2.dart

@@ -0,0 +1,15 @@
+// Copyright (c) 2024, 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.
+
+/// @assertion It’s a compile-time error if a Dart file has two `part`
+/// directives with the same URI, so each included part file is included exactly
+/// once.
+///
+/// @description Check that it is a compile-time error if a Dart file has two
+/// `part` directives with the same URI.
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=enhanced-parts
+
+part of 'terminology_A01_t01_part1.dart';

LanguageFeatures/Parts-with-imports/terminology_A02_t01.dart

@@ -0,0 +1,17 @@
+// Copyright (c) 2024, 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.
+
+/// @assertion It’s a compile-time error if a `part` directive denotes a file
+/// which is not a part file.
+///
+/// @description Check that it is a compile-time error if a `part` directive
+/// denotes a file which is not a part file.
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=enhanced-parts
+
+part 'terminology_A02_t01_part1.dart';
+
+main() {
+}

LanguageFeatures/Parts-with-imports/terminology_A02_t01_part1.dart

@@ -0,0 +1,19 @@
+// Copyright (c) 2024, 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.
+
+/// @assertion It’s a compile-time error if a `part` directive denotes a file
+/// which is not a part file.
+///
+/// @description Check that it is a compile-time error if a `part` directive
+/// denotes a file which is not a part file.
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=enhanced-parts
+
+part of 'terminology_A02_t01.dart';
+
+part 'terminology_A02_t01_part2.dart';
+//    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified

LanguageFeatures/Parts-with-imports/terminology_A02_t01_part2.dart

@@ -0,0 +1,14 @@
+// Copyright (c) 2024, 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.
+
+/// @assertion It’s a compile-time error if a `part` directive denotes a file
+/// which is not a part file.
+///
+/// @description Check that it is a compile-time error if a `part` directive
+/// denotes a file which is not a part file.
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=enhanced-parts
+
+String foo = "foo";

LanguageFeatures/Parts-with-imports/terminology_A03_t01.dart

@@ -0,0 +1,17 @@
+// Copyright (c) 2024, 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.
+
+/// @assertion It’s a compile-time error if a part file is included by any Dart
+/// file other than the part file’s parent file.
+///
+/// @description Check that it is a compile-time error if a `part` directive
+/// denotes a file which is not a part file.
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=enhanced-parts
+
+part 'terminology_A03_t01_part1.dart';
+
+main() {
+}

LanguageFeatures/Parts-with-imports/terminology_A03_t01_part1.dart

@@ -0,0 +1,19 @@
+// Copyright (c) 2024, 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.
+
+/// @assertion It’s a compile-time error if a `part` directive denotes a file
+/// which is not a part file.
+///
+/// @description Check that it is a compile-time error if a `part` directive
+/// denotes a file which is not a part file.
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=enhanced-parts
+
+part of 'terminology_A03_t01.dart';
+
+part 'terminology_A03_t01_part2.dart';
+//    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified

LanguageFeatures/Parts-with-imports/terminology_A03_t01_part2.dart

@@ -0,0 +1,14 @@
+// Copyright (c) 2024, 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.
+
+/// @assertion It’s a compile-time error if a `part` directive denotes a file
+/// which is not a part file.
+///
+/// @description Check that it is a compile-time error if a `part` directive
+/// denotes a file which is not a part file.
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=enhanced-parts
+
+String foo = "foo";

LanguageFeatures/Parts-with-imports/terminology_A04_t01.dart

@@ -0,0 +1,16 @@
+// Copyright (c) 2024, 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.
+
+/// @assertion It’s a compile-time error if a part file is a sub-part of itself.
+///
+/// @description Check that it is a compile-time error if a part file is a
+/// sub-part of itself.
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=enhanced-parts
+
+part 'terminology_A04_t01_part1.dart';
+
+main() {
+}

LanguageFeatures/Parts-with-imports/terminology_A04_t01_part1.dart

@@ -0,0 +1,15 @@
+// Copyright (c) 2024, 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.
+
+/// @assertion It’s a compile-time error if a part file is a sub-part of itself.
+///
+/// @description Check that it is a compile-time error if a part file is a
+/// sub-part of itself.
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=enhanced-parts
+
+part of 'terminology_A04_t01.dart';
+
+part 'terminology_A04_t01_part2.dart';

LanguageFeatures/Parts-with-imports/terminology_A04_t01_part2.dart

@@ -0,0 +1,19 @@
+// Copyright (c) 2024, 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.
+
+/// @assertion It’s a compile-time error if a `part` directive denotes a file
+/// which is not a part file.
+///
+/// @description Check that it is a compile-time error if a `part` directive
+/// denotes a file which is not a part file.
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=enhanced-parts
+
+part of 'terminology_A04_t01_part1.dart';
+
+part 'terminology_A04_t01.dart';
+//    ^^^^^^^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified