Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
Expand Up @@ -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]) {}
}
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand All @@ -20,7 +21,6 @@
/// @issue 42195
/// @author msyabro


class A {
foo([x = 1]) {}
}
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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]);
}
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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]);
}
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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]);
}
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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]);
}
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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]);
}
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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]) {}
}
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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]);
}
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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
///
Expand All @@ -21,6 +21,7 @@
class A {
foo([x = 1]) {}
}

typedef AAlias = A;

class C extends AAlias {
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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]);
}
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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]);
}
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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 = '']) {}
}
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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]) {}
}
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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 [email protected]

Expand Down
Loading