diff --git a/Language/Classes/Abstract_Instance_Members/override_default_value_t01.dart b/Language/Classes/Abstract_Instance_Members/override_default_value_t01.dart index d57644c32d..a767bbb558 100644 --- a/Language/Classes/Abstract_Instance_Members/override_default_value_t01.dart +++ b/Language/Classes/Abstract_Instance_Members/override_default_value_t01.dart @@ -4,19 +4,20 @@ /// @assertion Unless explicitly stated otherwise, all ordinary rules that apply /// to methods apply to abstract methods. -/// It is a static warning if an instance method m1 overrides an instance member -/// m2, the signature of m2 explicitly specifies a default value for a formal -/// parameter p and the signature of m1 specifies a different default value for p -/// @description Checks that it is a static warning if an abstract method -/// overrides an instance method and has a different default value for its -/// optional parameter. +/// It is not an error or warning if an instance method m1 overrides an instance +/// member m2, the signature of m2 explicitly specifies a default value for a +/// formal parameter p and the signature of m1 specifies a different default +/// value for p +/// +/// @description Checks that it is not an error if an abstract method overrides +/// an instance method and has a different default value for its optional +/// parameter. /// /// See https://github.com/dart-lang/sdk/issues/34437#issuecomment-432093691 /// /// @issue 27476 /// @author msyabro - class A { foo([x = 1]) {} } diff --git a/Language/Classes/Abstract_Instance_Members/override_default_value_t02.dart b/Language/Classes/Abstract_Instance_Members/override_default_value_t02.dart index 64f10e588d..1fcdad786a 100644 --- a/Language/Classes/Abstract_Instance_Members/override_default_value_t02.dart +++ b/Language/Classes/Abstract_Instance_Members/override_default_value_t02.dart @@ -4,13 +4,14 @@ /// @assertion Unless explicitly stated otherwise, all ordinary rules that apply /// to methods apply to abstract methods. -/// It is a static warning if an instance method m1 overrides an instance member -/// m2, the signature of m2 explicitly specifies a default value for a formal -/// parameter p and the signature of m1 specifies a different default value for -/// p. -/// @description Checks that it is no static warning if an abstract method -/// overrides an instance method and does not explicitly specify a default value -/// for its optional parameter while the instance method does. +/// It is not an error or warning if an instance method m1 overrides an instance +/// member m2, the signature of m2 explicitly specifies a default value for a +/// formal parameter p and the signature of m1 specifies a different default +/// value for p +/// +/// @description Checks that it is not an error if an abstract method overrides +/// an instance method and does not explicitly specify a default value for its +/// optional parameter while the instance method does. /// /// See /// https://github.com/dart-lang/sdk/issues/34437#issuecomment-432093691 @@ -20,7 +21,6 @@ /// @issue 42195 /// @author msyabro - class A { foo([x = 1]) {} } diff --git a/Language/Classes/Abstract_Instance_Members/override_default_value_t03.dart b/Language/Classes/Abstract_Instance_Members/override_default_value_t03.dart index 0624303cd7..d25b047d6e 100644 --- a/Language/Classes/Abstract_Instance_Members/override_default_value_t03.dart +++ b/Language/Classes/Abstract_Instance_Members/override_default_value_t03.dart @@ -4,20 +4,20 @@ /// @assertion Unless explicitly stated otherwise, all ordinary rules that apply /// to methods apply to abstract methods. -/// It is a static warning if an instance method m1 overrides an instance member -/// m2, the signature of m2 explicitly specifies a default value for a formal -/// parameter p and the signature of m1 specifies a different default value for -/// p. -/// @description Checks that it is a static warning if an instance method -/// overrides an abstract method and has a different default value for its -/// optional parameter. +/// It is not an error or warning if an instance method m1 overrides an instance +/// member m2, the signature of m2 explicitly specifies a default value for a +/// formal parameter p and the signature of m1 specifies a different default +/// value for p +/// +/// @description Checks that it is not an error if an instance method overrides +/// an abstract method and has a different default value for its optional +/// parameter. /// /// See https://github.com/dart-lang/sdk/issues/34437#issuecomment-432093691 /// /// @issue 27476 /// @author msyabro - abstract class A { foo([x = 1]); } diff --git a/Language/Classes/Abstract_Instance_Members/override_default_value_t04.dart b/Language/Classes/Abstract_Instance_Members/override_default_value_t04.dart index 37b6c0bdac..e68a64c704 100644 --- a/Language/Classes/Abstract_Instance_Members/override_default_value_t04.dart +++ b/Language/Classes/Abstract_Instance_Members/override_default_value_t04.dart @@ -4,20 +4,20 @@ /// @assertion Unless explicitly stated otherwise, all ordinary rules that apply /// to methods apply to abstract methods. -/// It is a static warning if an instance method m1 overrides an instance member -/// m2, the signature of m2 explicitly specifies a default value for a formal -/// parameter p and the signature of m1 specifies a different default value for -/// p. -/// @description Checks that it is a static warning if an instance method -/// overrides an abstract method and does not explicitly specify a default value -/// for its optional parameter while the abstract method does. +/// It is not an error or warning if an instance method m1 overrides an instance +/// member m2, the signature of m2 explicitly specifies a default value for a +/// formal parameter p and the signature of m1 specifies a different default +/// value for p +/// +/// @description Checks that it is not an error if an instance method overrides +/// an abstract method and does not explicitly specify a default value for its +/// optional parameter while the abstract method does. /// /// See https://github.com/dart-lang/sdk/issues/34437#issuecomment-432093691 /// /// @issue 27476 /// @author msyabro - abstract class A { foo([x = 1]); } diff --git a/Language/Classes/Abstract_Instance_Members/override_default_value_t05.dart b/Language/Classes/Abstract_Instance_Members/override_default_value_t05.dart index c9f60af117..319b7b1b3c 100644 --- a/Language/Classes/Abstract_Instance_Members/override_default_value_t05.dart +++ b/Language/Classes/Abstract_Instance_Members/override_default_value_t05.dart @@ -4,20 +4,20 @@ /// @assertion Unless explicitly stated otherwise, all ordinary rules that apply /// to methods apply to abstract methods. -/// It is a static warning if an instance method m1 overrides an instance member -/// m2, the signature of m2 explicitly specifies a default value for a formal -/// parameter p and the signature of m1 specifies a different default value for -/// p. -/// @description Checks that it is a static warning if an abstract method -/// overrides an abstract method and has a different default value for its -/// optional parameter. +/// It is not an error or warning if an instance method m1 overrides an instance +/// member m2, the signature of m2 explicitly specifies a default value for a +/// formal parameter p and the signature of m1 specifies a different default +/// value for p +/// +/// @description Checks that it is not an error if an abstract method overrides +/// an abstract method and has a different default value for its optional +/// parameter. /// /// See https://github.com/dart-lang/sdk/issues/34437#issuecomment-432093691 /// /// @issue 27476 /// @author msyabro - abstract class A { foo([x = 1]); } diff --git a/Language/Classes/Abstract_Instance_Members/override_default_value_t06.dart b/Language/Classes/Abstract_Instance_Members/override_default_value_t06.dart index 4d98127997..26bcf439dc 100644 --- a/Language/Classes/Abstract_Instance_Members/override_default_value_t06.dart +++ b/Language/Classes/Abstract_Instance_Members/override_default_value_t06.dart @@ -4,17 +4,17 @@ /// @assertion Unless explicitly stated otherwise, all ordinary rules that apply /// to methods apply to abstract methods. -/// It is a static warning if an instance method m1 overrides an instance member -/// m2, the signature of m2 explicitly specifies a default value for a formal -/// parameter p and the signature of m1 specifies a different default value for -/// p. -/// @description Checks that it is a static warning if an abstract method -/// overrides an abstract method and does not explicitly specify a default value -/// for its optional parameter while the overridden method does. +/// It is not an error or warning if an instance method m1 overrides an instance +/// member m2, the signature of m2 explicitly specifies a default value for a +/// formal parameter p and the signature of m1 specifies a different default +/// value for p +/// +/// @description Checks that it is not an error if an abstract method overrides +/// an abstract method and does not explicitly specify a default value for its +/// optional parameter while the overridden method does. /// @author msyabro /// @issue 42195 - abstract class A { foo([x = 1]); } diff --git a/Language/Classes/Abstract_Instance_Members/override_default_value_t07.dart b/Language/Classes/Abstract_Instance_Members/override_default_value_t07.dart index 9369a474ba..a50241da46 100644 --- a/Language/Classes/Abstract_Instance_Members/override_default_value_t07.dart +++ b/Language/Classes/Abstract_Instance_Members/override_default_value_t07.dart @@ -4,16 +4,16 @@ /// @assertion Unless explicitly stated otherwise, all ordinary rules that apply /// to methods apply to abstract methods. -/// It is a static warning if an instance method m1 overrides an instance member -/// m2, the signature of m2 explicitly specifies a default value for a formal -/// parameter p and the signature of m1 specifies a different default value for -/// p. -/// @description Checks that there are no static warnings if an abstract method -/// overrides another abstract method and overridden method does not explicitly -/// specify a default value for its optional parameter. +/// It is not an error or warning if an instance method m1 overrides an instance +/// member m2, the signature of m2 explicitly specifies a default value for a +/// formal parameter p and the signature of m1 specifies a different default +/// value for p +/// +/// @description Checks that it is not an error if an abstract method overrides +/// another abstract method and overridden method does not explicitly specify a +/// default value for its optional parameter. /// @author msyabro - abstract class A { foo([x]); } diff --git a/Language/Classes/Abstract_Instance_Members/override_default_value_t08.dart b/Language/Classes/Abstract_Instance_Members/override_default_value_t08.dart index bf780fc0f1..3ec298acdb 100644 --- a/Language/Classes/Abstract_Instance_Members/override_default_value_t08.dart +++ b/Language/Classes/Abstract_Instance_Members/override_default_value_t08.dart @@ -4,16 +4,16 @@ /// @assertion Unless explicitly stated otherwise, all ordinary rules that apply /// to methods apply to abstract methods. -/// It is a static warning if an instance method m1 overrides an instance member -/// m2, the signature of m2 explicitly specifies a default value for a formal -/// parameter p and the signature of m1 specifies a different default value for -/// p. -/// @description Checks that there are no static warnings if an abstract method -/// overrides an instance method and overridden method does not explicitly -/// specify a default value for its optional parameter. +/// It is not an error or warning if an instance method m1 overrides an instance +/// member m2, the signature of m2 explicitly specifies a default value for a +/// formal parameter p and the signature of m1 specifies a different default +/// value for p +/// +/// @description Checks that it is not an error if an abstract method overrides +/// an instance method and overridden method does not explicitly specify a +/// default value for its optional parameter. /// @author msyabro - class C { foo([x]) {} } diff --git a/Language/Classes/Abstract_Instance_Members/override_default_value_t09.dart b/Language/Classes/Abstract_Instance_Members/override_default_value_t09.dart index 316608fae9..3385a396c3 100644 --- a/Language/Classes/Abstract_Instance_Members/override_default_value_t09.dart +++ b/Language/Classes/Abstract_Instance_Members/override_default_value_t09.dart @@ -4,16 +4,16 @@ /// @assertion Unless explicitly stated otherwise, all ordinary rules that apply /// to methods apply to abstract methods. -/// It is a static warning if an instance method m1 overrides an instance member -/// m2, the signature of m2 explicitly specifies a default value for a formal -/// parameter p and the signature of m1 specifies a different default value for -/// p. -/// @description Checks that there are no static warnings if an instance method -/// overrides an abstract method and overridden method does not explicitly -/// specify a default value for its optional parameter. +/// It is not an error or warning if an instance method m1 overrides an instance +/// member m2, the signature of m2 explicitly specifies a default value for a +/// formal parameter p and the signature of m1 specifies a different default +/// value for p +/// +/// @description Checks that it is not an error if an instance method overrides +/// an abstract method and overridden method does not explicitly specify a +/// default value for its optional parameter. /// @author msyabro - abstract class A { foo([x]); } diff --git a/Language/Classes/Abstract_Instance_Members/override_default_value_t10.dart b/Language/Classes/Abstract_Instance_Members/override_default_value_t10.dart index f6608b1770..ccade741b6 100644 --- a/Language/Classes/Abstract_Instance_Members/override_default_value_t10.dart +++ b/Language/Classes/Abstract_Instance_Members/override_default_value_t10.dart @@ -4,14 +4,14 @@ /// @assertion Unless explicitly stated otherwise, all ordinary rules that apply /// to methods apply to abstract methods. -/// It there is no static warning if an instance method m1 overrides an instance +/// It is not an error or warning if an instance method m1 overrides an instance /// member m2, the signature of m2 explicitly specifies a default value for a /// formal parameter p and the signature of m1 specifies a different default /// value for p /// -/// @description Checks that it is no static warning if an abstract method -/// overrides an instance method and has a different default value for its -/// optional parameter. Test type aliases +/// @description Checks that it is not an error if an abstract method overrides +/// an instance method and has a different default value for its optional +/// parameter. Test type aliases /// /// See https://github.com/dart-lang/language/commit/6df1612f667f7fdd28dd3b66a89e06b75ea98d2a /// @@ -21,6 +21,7 @@ class A { foo([x = 1]) {} } + typedef AAlias = A; class C extends AAlias { diff --git a/Language/Classes/Abstract_Instance_Members/override_less_positional_parameters_t01.dart b/Language/Classes/Abstract_Instance_Members/override_less_positional_parameters_t01.dart index 22b18b4a89..a84b10fd54 100644 --- a/Language/Classes/Abstract_Instance_Members/override_less_positional_parameters_t01.dart +++ b/Language/Classes/Abstract_Instance_Members/override_less_positional_parameters_t01.dart @@ -2,16 +2,16 @@ // 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 Unless explicitly stated otherwise, all ordinary rules that apply to methods -/// apply to abstract methods. +/// @assertion Unless explicitly stated otherwise, all ordinary rules that apply +/// to methods apply to abstract methods. /// It is a compile error if an instance method m1 overrides an instance member /// m2 and m1 has fewer positional parameters than m2. +/// /// @description Checks that it is a compile error if an instance method m1 /// overrides an abstract instance member m2 and m1 has fewer positional /// parameters than m2. /// @author iefremov - abstract class A { foo(var a, [x, y]); } diff --git a/Language/Classes/Abstract_Instance_Members/override_less_positional_parameters_t02.dart b/Language/Classes/Abstract_Instance_Members/override_less_positional_parameters_t02.dart index 281304f8be..ff18891095 100644 --- a/Language/Classes/Abstract_Instance_Members/override_less_positional_parameters_t02.dart +++ b/Language/Classes/Abstract_Instance_Members/override_less_positional_parameters_t02.dart @@ -2,16 +2,16 @@ // 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 Unless explicitly stated otherwise, all ordinary rules that apply to methods -/// apply to abstract methods. +/// @assertion Unless explicitly stated otherwise, all ordinary rules that apply +/// to methods apply to abstract methods. /// It is a compile error if an instance method m1 overrides an instance member /// m2 and m1 has fewer positional parameters than m2. +/// /// @description Checks that a compile error is produced if m1 has fewer /// optional positional parameters than abstract method m2 (2 vs 3) and neither /// have any required parameters. /// @author iefremov - abstract class A { f([var x, var y, var z]); } diff --git a/Language/Classes/Abstract_Instance_Members/override_less_positional_parameters_t03.dart b/Language/Classes/Abstract_Instance_Members/override_less_positional_parameters_t03.dart index 0ffd3df443..6a7c04d534 100644 --- a/Language/Classes/Abstract_Instance_Members/override_less_positional_parameters_t03.dart +++ b/Language/Classes/Abstract_Instance_Members/override_less_positional_parameters_t03.dart @@ -2,10 +2,11 @@ // 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 Unless explicitly stated otherwise, all ordinary rules that apply to methods -/// apply to abstract methods. +/// @assertion Unless explicitly stated otherwise, all ordinary rules that apply +/// to methods apply to abstract methods. /// It is a compile error if an instance method m1 overrides an instance member /// m2 and m1 has fewer positional parameters than m2. +/// /// @description Checks that it is a compile error if an instance method m1 /// overrides an abstract instance member m2 and m1 has fewer positional /// parameters than m2. Test type aliases diff --git a/Language/Classes/Instance_Methods/override_different_default_values_t01.dart b/Language/Classes/Instance_Methods/override_different_default_values_t01.dart index b19465d1b1..f8a2c9c6ff 100644 --- a/Language/Classes/Instance_Methods/override_different_default_values_t01.dart +++ b/Language/Classes/Instance_Methods/override_different_default_values_t01.dart @@ -2,16 +2,16 @@ // 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 static warning if an instance method m1 overrides an -/// instance member m2, the signature of m2 explicitly specifies a default -/// value for a formal parameter p and the signature of m1 specifies a different -/// default value for p. -/// @description Checks that it is a static warning if overridden and overriding +/// @assertion It is not an error or warning if an instance method m1 overrides +/// an instance member m2, the signature of m2 explicitly specifies a default +/// value for a formal parameter p and the signature of m1 specifies a different +/// default value for p +/// +/// @description Checks that it is not an error if overridden and overriding /// methods have different default values for their optional parameter. /// @issue 27476 /// @author msyabro - class A { foo([x = '']) {} } diff --git a/Language/Classes/Instance_Methods/override_different_default_values_t02.dart b/Language/Classes/Instance_Methods/override_different_default_values_t02.dart index 7984885f59..19b19301fb 100644 --- a/Language/Classes/Instance_Methods/override_different_default_values_t02.dart +++ b/Language/Classes/Instance_Methods/override_different_default_values_t02.dart @@ -2,17 +2,17 @@ // 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 static warning if an instance method m1 overrides an -/// instance member m2, the signature of m2 explicitly specifies a default -/// value for a formal parameter p and the signature of m1 specifies a different -/// default value for p. -/// @description Checks that it is a static warning if overridden method -/// explicitly specifies a default non-null value for its optional parameter and -/// overriding method does not. +/// @assertion It is not an error or warning if an instance method m1 overrides +/// an instance member m2, the signature of m2 explicitly specifies a default +/// value for a formal parameter p and the signature of m1 specifies a different +/// default value for p +/// +/// @description Checks that it is not an error if overridden method explicitly +/// specifies a default non-null value for its optional parameter and overriding +/// method does not. /// @issue 27476 /// @author msyabro - class A { foo([x = 0]) {} } diff --git a/Language/Classes/Instance_Methods/override_different_default_values_t03.dart b/Language/Classes/Instance_Methods/override_different_default_values_t03.dart index 44225fd5ad..e88b187778 100644 --- a/Language/Classes/Instance_Methods/override_different_default_values_t03.dart +++ b/Language/Classes/Instance_Methods/override_different_default_values_t03.dart @@ -2,14 +2,14 @@ // 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 no static warning if an instance method m1 overrides an -/// instance member m2, the signature of m2 explicitly specifies a default -/// value for a formal parameter p and the signature of m1 specifies a different -/// default value for p. +/// @assertion It is not an error or warning if an instance method m1 overrides +/// an instance member m2, the signature of m2 explicitly specifies a default +/// value for a formal parameter p and the signature of m1 specifies a different +/// default value for p /// -/// @description Checks that it is no static warning if overridden and overriding -/// methods have different default values for their optional parameter. Test type -/// aliases +/// @description Checks that it is not an error if overridden and overriding +/// methods have different default values for their optional parameter. Test +/// type aliases /// @issue 27476 /// @author sgrekhov@unipro.ru diff --git a/Language/Classes/Instance_Methods/override_fewer_parameters_t01.dart b/Language/Classes/Instance_Methods/override_fewer_parameters_t01.dart index aab777f167..b3fdfeae2e 100644 --- a/Language/Classes/Instance_Methods/override_fewer_parameters_t01.dart +++ b/Language/Classes/Instance_Methods/override_fewer_parameters_t01.dart @@ -2,21 +2,21 @@ // 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 static warning if an instance method m1 overrides an +/// @assertion It is a compile-time error if an instance method m1 overrides an /// instance member m2 and m1 has fewer positional parameters than m2. -/// @description Checks that it is a compile error if an instance method m1 -/// overrides an instance member m2 and m1 has fewer positional parameters -/// than m2. +/// +/// @description Checks that it is a compile error if an instance method `m1` +/// overrides an instance member m2 and m1 has fewer positional parameters than +/// `m2`. /// @author kaigorodov - class A { foo(var a, [x, y]) {} } class C extends A { foo(var a, [x]) {} -//^ +//^^^ // [analyzer] unspecified // [cfe] unspecified } diff --git a/Language/Classes/Instance_Methods/override_fewer_parameters_t02.dart b/Language/Classes/Instance_Methods/override_fewer_parameters_t02.dart index 78f663799a..79fa55a7a4 100644 --- a/Language/Classes/Instance_Methods/override_fewer_parameters_t02.dart +++ b/Language/Classes/Instance_Methods/override_fewer_parameters_t02.dart @@ -2,14 +2,14 @@ // 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 static warning if an instance method m1 overrides an +/// @assertion It is a compile-time error if an instance method m1 overrides an /// instance member m2 and m1 has fewer positional parameters than m2. -/// @description Checks that a compile error is produced if m1 has fewer -/// optional positional parameters than m2 (2 vs 3) and neither have any +/// +/// @description Checks that a compile error is produced if `m1` has fewer +/// optional positional parameters than `m2` (2 vs 3) and neither have any /// required parameters. /// @author vasya - class A { f([var x, var y, var z]) {} } diff --git a/Language/Classes/Instance_Methods/override_fewer_parameters_t03.dart b/Language/Classes/Instance_Methods/override_fewer_parameters_t03.dart index e28e6eb6b6..d455b791c2 100644 --- a/Language/Classes/Instance_Methods/override_fewer_parameters_t03.dart +++ b/Language/Classes/Instance_Methods/override_fewer_parameters_t03.dart @@ -2,10 +2,11 @@ // 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 static warning if an instance method m1 overrides an +/// @assertion It is a compile-time error if an instance method m1 overrides an /// instance member m2 and m1 has fewer positional parameters than m2. -/// @description Checks that a compile error is produced if m1 has fewer -/// optional positional parameters than m2 (2 vs 3) and neither have any +/// +/// @description Checks that a compile error is produced if `m1` has fewer +/// optional positional parameters than `m2` (2 vs 3) and neither have any /// required parameters. Test type aliases /// @author sgrekhov@unipro.ru diff --git a/Language/Classes/Instance_Methods/override_more_parameters_t01.dart b/Language/Classes/Instance_Methods/override_more_parameters_t01.dart index 980d405bfb..8d1103a64a 100644 --- a/Language/Classes/Instance_Methods/override_more_parameters_t01.dart +++ b/Language/Classes/Instance_Methods/override_more_parameters_t01.dart @@ -2,14 +2,14 @@ // 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 static warning if an instance method m1 overrides an +/// @assertion It is a compile-time error if an instance method m1 overrides an /// instance member m2 and m1 has a greater number of required parameters than /// m2. -/// @description Checks that a compile error is produced if m2 has one required -/// parameter and m1 has two required parameters. +/// +/// @description Checks that a compile error is produced if `m2` has one +/// required parameter and `m1` has two required parameters. /// @author vasya - class A { f(var x) { return x; } } diff --git a/Language/Classes/Instance_Methods/override_more_parameters_t02.dart b/Language/Classes/Instance_Methods/override_more_parameters_t02.dart index 4eada32964..9e1238bc49 100644 --- a/Language/Classes/Instance_Methods/override_more_parameters_t02.dart +++ b/Language/Classes/Instance_Methods/override_more_parameters_t02.dart @@ -2,14 +2,14 @@ // 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 static warning if an instance method m1 overrides an +/// @assertion It is a compile-time error if an instance method m1 overrides an /// instance member m2 and m1 has a greater number of required parameters than /// m2. -/// @description Checks that a compile error is produced if m2 has no parameters -/// and m1 has a single required parameter. +/// +/// @description Checks that a compile error is produced if `m2` has no +/// parameters and `m1` has a single required parameter. /// @author iefremov - class A { f() { } } diff --git a/Language/Classes/Instance_Methods/override_more_parameters_t03.dart b/Language/Classes/Instance_Methods/override_more_parameters_t03.dart index 35d46015d4..c68d539890 100644 --- a/Language/Classes/Instance_Methods/override_more_parameters_t03.dart +++ b/Language/Classes/Instance_Methods/override_more_parameters_t03.dart @@ -2,16 +2,18 @@ // 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 static warning if an instance method m1 overrides an +/// @assertion It is a compile-time error if an instance method m1 overrides an /// instance member m2 and m1 has a greater number of required parameters than /// m2. -/// @description Checks that a compile error is produced if m2 has no parameters -/// and m1 has a single required parameter. Test type aliases +/// +/// @description Checks that a compile error is produced if `m2` has no +/// parameters and `m1` has a single required parameter. Test type aliases /// @author sgrekhov@unipro.ru class A { f() { } } + typedef AAlias = A; class C extends AAlias { diff --git a/Language/Classes/Instance_Methods/override_named_parameters_t01.dart b/Language/Classes/Instance_Methods/override_named_parameters_t01.dart index 45b18711a5..feb0fe4df2 100644 --- a/Language/Classes/Instance_Methods/override_named_parameters_t01.dart +++ b/Language/Classes/Instance_Methods/override_named_parameters_t01.dart @@ -2,15 +2,15 @@ // 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 static warning if an instance method m1 overrides an +/// @assertion It is a compile-time error if an instance method m1 overrides an /// instance member m2 and m1 does not declare all the named parameters declared /// by m2. -/// @description Checks that it is a compile error if an instance method m1 -/// overrides an instance member m2 and m1 does not declare all the named -/// parameters declared by m2. +/// +/// @description Checks that it is a compile error if an instance method `m1` +/// overrides an instance member `m2` and `m1` does not declare all the named +/// parameters declared by `m2`. /// @author rodionov - class A { foo(var a, {x, y}) {} } diff --git a/Language/Classes/Instance_Methods/override_named_parameters_t02.dart b/Language/Classes/Instance_Methods/override_named_parameters_t02.dart index 1b00c71308..2cf5f8c706 100644 --- a/Language/Classes/Instance_Methods/override_named_parameters_t02.dart +++ b/Language/Classes/Instance_Methods/override_named_parameters_t02.dart @@ -2,14 +2,14 @@ // 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 static warning if an instance method m1 overrides an +/// @assertion It is a compile-time error if an instance method m1 overrides an /// instance member m2 and m1 does not declare all the named parameters declared /// by m2. -/// @description Checks that a compile error is produced if m1 has fewer named -/// parameters than m2 (1 vs. 0) and neither have any required parameters. +/// +/// @description Checks that a compile error is produced if `m1` has fewer named +/// parameters than `m2` (1 vs. 0) and neither have any required parameters. /// @author iefremov - class A { f({var x}) {} } diff --git a/Language/Classes/Instance_Methods/override_named_parameters_t03.dart b/Language/Classes/Instance_Methods/override_named_parameters_t03.dart index 91c319bf0e..c6185fa9fe 100644 --- a/Language/Classes/Instance_Methods/override_named_parameters_t03.dart +++ b/Language/Classes/Instance_Methods/override_named_parameters_t03.dart @@ -2,14 +2,14 @@ // 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 no static warning if an instance method m1 overrides an +/// @assertion It is no error or warning if an instance method m1 overrides an /// instance member m2 and m1 does not declare all the named parameters declared /// by m2. -/// @description Checks that there is no static warnings if m1 has the same set -/// of named parameters as m2 but in a different order. +/// +/// @description Checks that there is no error or warnings if `m1` has the same +/// set of named parameters as `m2` but in a different order. /// @author iefremov - class A { f({var x, var y}) { return x + y; diff --git a/Language/Classes/Instance_Methods/override_named_parameters_t04.dart b/Language/Classes/Instance_Methods/override_named_parameters_t04.dart index 582c8ca49e..bbad9da6d5 100644 --- a/Language/Classes/Instance_Methods/override_named_parameters_t04.dart +++ b/Language/Classes/Instance_Methods/override_named_parameters_t04.dart @@ -2,14 +2,14 @@ // 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 no static warning if an instance method m1 overrides an +/// @assertion It is no error or warning if an instance method m1 overrides an /// instance member m2 and m1 does not declare all the named parameters declared /// by m2. -/// @description Checks that there is no static warnings if m1 has the same -/// set of named parameters as m2 but in a different order. +/// +/// @description Checks that there is no error or warnings if `m1` has the same +/// set of named parameters as `m2` but in a different order. /// @author iefremov - class A { f({var x1, var x2, var y1, var y2}) { return '$x1$y2'; diff --git a/Language/Classes/Instance_Methods/override_named_parameters_t05.dart b/Language/Classes/Instance_Methods/override_named_parameters_t05.dart index fcca9b26a7..f8dee1b600 100644 --- a/Language/Classes/Instance_Methods/override_named_parameters_t05.dart +++ b/Language/Classes/Instance_Methods/override_named_parameters_t05.dart @@ -2,15 +2,15 @@ // 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 static warning if an instance method m1 overrides an +/// @assertion It is a compile-time error if an instance method m1 overrides an /// instance member m2 and m1 does not declare all the named parameters declared /// by m2. -/// @description Checks that a compile error is produced if m1 has almost the -/// same set of named parameters as m2 except for one of them having a different -/// name. +/// +/// @description Checks that a compile error is produced if `m1` has almost the +/// same set of named parameters as `m2` except for one of them having a +/// different name. /// @author rodionov - class A { f({var x, var y, var z}) {} } diff --git a/Language/Classes/Instance_Methods/override_named_parameters_t06.dart b/Language/Classes/Instance_Methods/override_named_parameters_t06.dart index 9862f90166..d1c367bae4 100644 --- a/Language/Classes/Instance_Methods/override_named_parameters_t06.dart +++ b/Language/Classes/Instance_Methods/override_named_parameters_t06.dart @@ -2,15 +2,15 @@ // 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 no static warning if an instance method m1 overrides an +/// @assertion It is no error or warning if an instance method m1 overrides an /// instance member m2 and m1 does not declare all the named parameters declared /// by m2. -/// @description Checks that there are no static warnings if m1 has the same set -/// of named parameters as m2 but in a different order when the class declaring -/// m1 is not a direct subtype of the class declaring m2. +/// +/// @description Checks that there are no error or warning if m1 has the same +/// set of named parameters as `m2` but in a different order when the class +/// declaring `m1` is not a direct subtype of the class declaring `m2`. /// @author iefremov - class A { f({var x, var y}) { return x + y; diff --git a/Language/Classes/Instance_Methods/override_named_parameters_t07.dart b/Language/Classes/Instance_Methods/override_named_parameters_t07.dart index 5ba12ebb5e..9de68b64b5 100644 --- a/Language/Classes/Instance_Methods/override_named_parameters_t07.dart +++ b/Language/Classes/Instance_Methods/override_named_parameters_t07.dart @@ -2,22 +2,24 @@ // 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 static warning if an instance method m1 overrides an +/// @assertion It is a compile-time error if an instance method m1 overrides an /// instance member m2 and m1 does not declare all the named parameters declared /// by m2. -/// @description Checks that it is a compile error if an instance method m1 -/// overrides an instance member m2 and m1 does not declare all the named -/// parameters declared by m2. Test type aliases +/// +/// @description Checks that it is a compile error if an instance method `m1` +/// overrides an instance member `m2` and `m1` does not declare all the named +/// parameters declared by `m2`. Test type aliases /// @author sgrekhov@unipro.ru class A { foo(var a, {x, y}) {} } + typedef AAlias = A; class C extends AAlias { foo(var a, {x}) {} -//^ +//^^^ // [analyzer] unspecified // [cfe] unspecified } diff --git a/Language/Classes/Instance_Methods/override_named_parameters_t08.dart b/Language/Classes/Instance_Methods/override_named_parameters_t08.dart index 5d0b11ebab..68aae9dec2 100644 --- a/Language/Classes/Instance_Methods/override_named_parameters_t08.dart +++ b/Language/Classes/Instance_Methods/override_named_parameters_t08.dart @@ -2,17 +2,19 @@ // 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 static warning if an instance method m1 overrides an -/// instance member m2 and m1 does not declare all the named parameters declared +/// @assertion It is a compile-time error if an instance method m1 overrides an +/// instance member m2 and m1 does not declare all the named parameters declared /// by m2. -/// @description Checks that a compile error is produced if m1 has fewer named -/// parameters than m2 (1 vs. 0) and neither have any required parameters. Test -/// type aliases +/// +/// @description Checks that a compile error is produced if `m1` has fewer named +/// parameters than `m2` (1 vs. 0) and neither have any required parameters. +/// Test type aliases /// @author sgrekhov@unipro.ru class A { f({var x}) {} } + typedef AAlias = A; class C extends AAlias { diff --git a/Language/Classes/Instance_Methods/override_named_parameters_t09.dart b/Language/Classes/Instance_Methods/override_named_parameters_t09.dart index 7ca078de76..fa162db8a1 100644 --- a/Language/Classes/Instance_Methods/override_named_parameters_t09.dart +++ b/Language/Classes/Instance_Methods/override_named_parameters_t09.dart @@ -2,11 +2,12 @@ // 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 no static warning if an instance method m1 overrides an +/// @assertion It is no error or warning if an instance method m1 overrides an /// instance member m2 and m1 does not declare all the named parameters declared /// by m2. -/// @description Checks that there is no static warnings if m1 has the same set -/// of named parameters as m2 but in a different order. Test type aliases +/// +/// @description Checks that there is no error or warnings if `m1` has the same +/// set of named parameters as `m2` but in a different order. Test type aliases /// @author sgrekhov@unipro.ru class A { diff --git a/Language/Classes/Instance_Methods/override_named_parameters_t10.dart b/Language/Classes/Instance_Methods/override_named_parameters_t10.dart index e5470faf3a..099e186222 100644 --- a/Language/Classes/Instance_Methods/override_named_parameters_t10.dart +++ b/Language/Classes/Instance_Methods/override_named_parameters_t10.dart @@ -2,17 +2,19 @@ // 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 static warning if an instance method m1 overrides an +/// @assertion It is a compile-time error if an instance method m1 overrides an /// instance member m2 and m1 does not declare all the named parameters declared /// by m2. -/// @description Checks that a compile error is produced if m1 has almost the -/// same set of named parameters as m2 except for one of them having a different -/// name. +/// +/// @description Checks that a compile error is produced if `m1` has almost the +/// same set of named parameters as `m2` except for one of them having a +/// different name. /// @author sgrekhov@unipro.ru class A { f({var x, var y, var z}) {} } + typedef AAlias = A; class C extends AAlias { diff --git a/Language/Classes/Instance_Methods/override_named_parameters_t11.dart b/Language/Classes/Instance_Methods/override_named_parameters_t11.dart index 8a771dcddd..3e3b1ec39f 100644 --- a/Language/Classes/Instance_Methods/override_named_parameters_t11.dart +++ b/Language/Classes/Instance_Methods/override_named_parameters_t11.dart @@ -2,12 +2,14 @@ // 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 no static warning if an instance method m1 overrides an +/// @assertion It is no error or warning if an instance method m1 overrides an /// instance member m2 and m1 does not declare all the named parameters declared /// by m2. -/// @description Checks that there are no static warnings if m1 has the same set -/// of named parameters as m2 but in a different order when the class declaring -/// m1 is not a direct subtype of the class declaring m2. Test type aliases +/// +/// @description Checks that there are no error or warnings if `m1` has the same +/// set of named parameters as `m2` but in a different order when the class +/// declaring `m1` is not a direct subtype of the class declaring `m2`. Test +/// type aliases /// @author sgrekhov@unipro.ru class A {