Issue #1109: Libraries_and_Scripts test updated, new tests added.

Author: iarkh

Language/Libraries_and_Scripts/Scripts/main_declaration_t05.dart

@@ -5,7 +5,7 @@
 /// @assertion Let L be a library that exports a declaration D named main. It is
 /// a compile-time error unless D is a function declaration.
 ///
-/// @description Checks that it is a compile-time error if library exports
+/// @description Checks that it is not a compile-time error if library exports
 /// declaration named main and this declaration is not a function. Test that
 /// library prefix named 'main' is not an error
 /// @author [email protected]

Language/Libraries_and_Scripts/Scripts/main_declaration_t06.dart

@@ -5,7 +5,7 @@
 /// @assertion Let L be a library that exports a declaration D named main. It is
 /// a compile-time error unless D is a function declaration.
 ///
-/// @description Checks that it is a compile-time error if library exports
+/// @description Checks that it is a not compile-time error if library exports
 /// declaration named main and this declaration is not a function. Test that
 /// library name 'main' is not an error
 /// @author [email protected]

Language/Libraries_and_Scripts/Scripts/main_required_parameters_t04.dart

@@ -0,0 +1,12 @@
+// Copyright (c) 2021, 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 A script is a library whose exported namespace (19.2) includes a
+/// top-level function declaration named main that has either zero, one or two
+/// required arguments.
+///
+/// @description Checks main function can have zero required arguments
+/// @author [email protected]
+
+main() {}

Language/Libraries_and_Scripts/Scripts/main_required_parameters_t05.dart

@@ -0,0 +1,14 @@
+// Copyright (c) 2021, 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 Let L be a library that exports a declaration D named main.
+/// ...
+/// It is a compile-time error if D declares more than two required positional
+/// parameters, or if there are any required named parameters.
+///
+/// @description Checks that main function can have 'var args' argument.
+/// @author [email protected]
+
+void main(var args) {
+}

Language/Libraries_and_Scripts/Scripts/top_level_main_t01.dart

@@ -2,20 +2,29 @@
 // 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 is a run time error if S does not declare or export either:
-/// • A top-level function named main, or
-/// • A top-level getter named main that returns a function.
-/// @description Checks that it is a run time error if script does not declare a
-/// top level function main()
-/// @runtime-error
-/// @author vasya
+/// @assertion A Dart program will typically be executed by executing a script.
+/// @description Checks that dart returns correct exit code if main function
+/// presents in the executed dart script.
+/// @author iarkh
 /// @issue 42487
 
+import "../../../Utils/expect.dart";
+import "dart:io";
 
-library Script_without_main;
+run_main() async {
+  String executable = Platform.resolvedExecutable;
+  String eScript = Platform.script.toString().replaceAll(".dart", "_lib.dart");
+  int called = 0;
 
-class C {}
+  await Process.run(
+      executable, [...Platform.executableArguments, eScript])
+      .then((ProcessResult results) {
+    Expect.equals(0, results.exitCode);
+    called++;
+  });
+  Expect.equals(1, called);
+}
 
-void f() {}
-
-final constX = 1;
+main(List<String> args) {
+    run_main();
+}

Language/Libraries_and_Scripts/Scripts/top_level_main_t01_lib.dart

@@ -0,0 +1,13 @@
+// Copyright (c) 2011, 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.
+
+library Script_with_main;
+
+class C {}
+
+void f() {}
+
+final constX = 1;
+
+main() {}

Language/Libraries_and_Scripts/Scripts/top_level_main_t06.dart

@@ -0,0 +1,27 @@
+// Copyright (c) 2021, 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 A Dart program will typically be executed by executing a script.
+/// @description Checks that dart returns correct (non-zero) exit code if [main]
+/// function is absent in the executed dart script.
+/// @author iarkh
+/// @issue 42487
+
+import "../../../Utils/expect.dart";
+import "dart:io";
+
+run_main() async {
+  String executable = Platform.resolvedExecutable;
+  String eScript = Platform.script.toString().replaceAll(".dart", "_lib.dart");
+  int called = 0;
+  await Process.run(executable, [eScript]).then((ProcessResult results) {
+    Expect.notEquals(0, results);
+    called++;
+  });
+  Expect.equals(1, called);
+}
+
+main(List<String> args) {
+    run_main();
+}

Language/Libraries_and_Scripts/Scripts/top_level_main_t06_lib.dart

@@ -0,0 +1,11 @@
+// Copyright (c) 2021, 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.
+
+library Script_without_main;
+
+class C {}
+
+void f() {}
+
+final constX = 1;

Language/Libraries_and_Scripts/top_level_syntax_t20.dart

@@ -0,0 +1,42 @@
+// Copyright (c) 2021, 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 A library consists of (a possibly empty) set of imports, a set
+/// of exports, and a set of top level declarations. A top level declaration
+/// is either a class, a type alias declaration, a function or a variable
+/// declaration. The members of a library L are those top level declarations
+/// given within L.
+/// topLevelDefinition:
+///   classDefinition |
+///   enumType |
+///   typeAlias |
+///   external? functionSignature ';' |
+///   external? getterSignature ';' |
+///   external? setterSignature ';' |
+///   functionSignature functionBody |
+///   returnType? get identifier functionBody |
+///   returnType? set identifier formalParameterList functionBody |
+///   (final | const) type? staticFinalDeclarationList ';' |
+///   variableDeclaration ';'
+/// ;
+/// @description Checks that a library containing correct top level non-function
+/// type alias definitions is parsed without errors.
+/// @author iarkh
+
+
+import "top_level_syntax_t20_lib.dart";
+
+main() {
+  AAlias a = AAlias();
+  BAlias b = = BAlias();
+
+  CAlias1 c1 = CAlias1();
+  CAlias1<String> c2 = CAlias1<String>();
+
+  CAlias2 c3 = CAlias2();
+  CAlias2<num> c4 = CAlias2();
+  CAlias2<int> c5 = C<int>();
+  C<int> c6 = CAlias2<int>();
+  CAlias2<double> c7 = CAlias2<double>();
+}

Language/Libraries_and_Scripts/top_level_syntax_t20_lib.dart

@@ -0,0 +1,15 @@
+// Copyright (c) 2021, 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.
+
+library Libraries_and_Scripts_A01_t21_lib;
+
+class A {}
+class B extends A {}
+class C<T> {}
+
+typedef AAlias = A;
+typedef BAlias = B;
+typedef CAlias1<T> = C<T>;
+typedef CAlias2<T extends num> = C<T>;
+