pkg/linter/test/rules/avoid_redundant_argument_values_test.dart

// 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.

import 'package:analyzer/src/diagnostic/diagnostic.dart' as diag;
import 'package:test_reflective_loader/test_reflective_loader.dart';

import '../rule_test_support.dart';

void main() {
  defineReflectiveSuite(() {
    defineReflectiveTests(AvoidRedundantArgumentValuesTest);
    defineReflectiveTests(AvoidRedundantArgumentValuesNamedArgsAnywhereTest);
  });
}

@reflectiveTest
class AvoidRedundantArgumentValuesNamedArgsAnywhereTest extends LintRuleTest {
  @override
  String get lintRule => LintNames.avoid_redundant_argument_values;

  Future<void> test_namedArgumentBeforePositional() async {
    await assertDiagnosticsFromMarkup(r'''
void foo(int a, int b, {bool c = true}) {}

void f() {
  foo(0, c: [!true!], 1);
}
''');
  }
}

@reflectiveTest
class AvoidRedundantArgumentValuesTest extends LintRuleTest {
  @override
  String get lintRule => LintNames.avoid_redundant_argument_values;

  Future<void> test_annotation() async {
    await assertNoDiagnostics(r'''
@A(p: false)
class A {
  final bool p;
  const A({this.p = true});
}
''');
  }

  Future<void> test_annotation_redundant() async {
    await assertDiagnosticsFromMarkup(r'''
@A(p: [!true!])
class A {
  final bool p;
  const A({this.p = true});
}
''');
  }

  Future<void> test_constructor_inBody_redundant() async {
    await assertDiagnosticsFromMarkup(r'''
void f() {
  A(p: [!true!]);
}
class A {
  A({bool p = true});
}
''');
  }

  Future<void> test_constructor_inBody_tearoff_redundant() async {
    await assertDiagnosticsFromMarkup(r'''
void f() {
  var aNew = A.new;
  aNew(p: [!true!]);
}
class A {
  A({bool p = true});
}
''');
  }

  Future<void> test_constructor_primary_redundant() async {
    await assertDiagnosticsFromMarkup(r'''
void f() {
  A(p: [!true!]);
}
class A({bool p = true});
''');
  }

  /// https://github.com/dart-lang/linter/issues/3617
  Future<void> test_enumDeclaration() async {
    await assertDiagnosticsFromMarkup(r'''
enum TestEnum {
  a(test: [!false!]);

  const TestEnum({this.test = false});

  final bool test;
}
''');
  }

  @FailingTest(issue: 'https://github.com/dart-lang/linter/issues/3447')
  Future<void> test_fromEnvironment() async {
    await assertNoDiagnostics(r'''
const bool someDefine = bool.fromEnvironment('someDefine');

void f({bool test = true}) {}

void g() {
  f(
    test: !someDefine,
  );
}
''');
  }

  Future<void> test_function_optionalPositional_followedByPositional() async {
    await assertNoDiagnostics(r'''
void f() {
  g(0, 1);
}
void g([int a = 0, int? b]) {}
''');
  }

  Future<void> test_function_optionalPositional_subsequent_different() async {
    await assertNoDiagnostics(r'''
void f() {
  g(0, 2);
}
void g([int? a, int? b = 1]) {}
''');
  }

  Future<void> test_function_optionalPositional_subsequent_redundant() async {
    await assertDiagnosticsFromMarkup(r'''
void f() {
  g(0, [!1!]);
}
void g([int? a, int? b = 1]) {}
''');
  }

  Future<void> test_localFunction_optionalNamed_different() async {
    await assertNoDiagnostics(r'''
void f() {
  void g({bool p = true}) {}
  g(p: false);
}
''');
  }

  Future<void> test_localFunction_optionalNamed_redundant() async {
    await assertDiagnosticsFromMarkup(r'''
void f() {
  void g({bool p = true}) {}
  g(p: [!true!]);
}
''');
  }

  Future<void> test_method_noDefault() async {
    await assertNoDiagnostics(r'''
void f(A a) {
  a.g(p: false);
}
class A {
  void g({bool? p}) {}
}
''');
  }

  Future<void> test_method_optionalNamed_variable() async {
    await assertNoDiagnostics(r'''
void f(A a, bool v) {
  a.g(p: v);
}
class A {
  void g({bool p = true}) {}
}
''');
  }

  Future<void> test_method_redundant() async {
    await assertDiagnosticsFromMarkup(r'''
void f(A a) {
  a.g(p: [!true!]);
}
class A {
  void g({bool p = true}) {}
}
''');
  }

  Future<void> test_redirectingFactoryConstructor() async {
    await assertNoDiagnostics(r'''
class A {
  factory A([int? value]) = B;
  A._();
}
class B extends A {
  B([int? value = 2]) : super._();
}
void f() {
  A();
  A(null);
  A(1);
}
''');
  }

  Future<void> test_redirectingFactoryConstructor_cyclic() async {
    await assertDiagnostics(
      r'''
class A {
  factory A.foo() = A.bar;
  factory A.bar() = A.foo;
}
void f() {
  A.foo();
}
''',
      [
        // No lint.
        error(diag.recursiveFactoryRedirect, 30, 5),
        error(diag.recursiveFactoryRedirect, 57, 5),
      ],
    );
  }

  Future<void> test_redirectingFactoryConstructor_multipleOptional() async {
    await assertNoDiagnostics(r'''
class A {
  factory A([int? one, int? two]) = B;
  A._();
}
class B extends A {
  int? one;
  int? two;
  B([this.one = 2, this.two = 2]) : super._();
}
void f() {
  A();
  A(null, null);
  A(1, 1);
}
''');
  }

  Future<void> test_redirectingFactoryConstructor_named() async {
    await assertNoDiagnostics(r'''
class A {
  factory A({int? value}) = B;
  A._();
}
class B extends A {
  B({int? value = 2}) : super._();
}
void f() {
  A();
  A(value: null);
  A(value: 1);
}
''');
  }

  Future<void> test_redirectingFactoryConstructor_named_redundant() async {
    await assertDiagnosticsFromMarkup(r'''
class A {
  factory A({int? value}) = B;
  A._();
}
class B extends A {
  B({int? value = 2}) : super._();
}
void f() {
  A(value: [!2!]);
}
''');
  }

  Future<void>
  test_redirectingFactoryConstructor_namedArgumentsAnywhere() async {
    await assertNoDiagnostics(r'''
class A {
  factory A(int? one, int? two, {int? three}) = B;
  A._();
}
class B extends A {
  B(int? one, int? two, {int? three = 3}) : super._();
}
void f() {
  A(1, 2);
  A(1, three: null, 2);
  A(1, 2, three: null);
  A(1, three: 4, 2);
  A(three: 4, 1, 2);
}
''');
  }

  Future<void>
  test_redirectingFactoryConstructor_namedArgumentsAnywhere_redundant() async {
    await assertDiagnosticsFromMarkup(r'''
class A {
  factory A(int? one, int? two, {int? three}) = B;
  A._();
}
class B extends A {
  B(int? one, int? two, {int? three = 3}) : super._();
}
void f() {
  A(1, three: [!3!], 2);
}
''');
  }

  Future<void> test_redirectingFactoryConstructor_nested() async {
    await assertNoDiagnostics(r'''
class A {
  factory A([num? value]) = B;
  A._();
}
class B extends A {
  factory B([num? value]) = C;
  B._() : super._();
}
class C extends B {
  num? value;
  C([this.value = 2]) : super._();

  @override
  String toString() => '$value';
}
void f() {
  A();
  A(null);
  A(1);
}
''');
  }

  Future<void> test_redirectingFactoryConstructor_redundant() async {
    await assertDiagnosticsFromMarkup(r'''
class A {
  factory A([int? value]) = B;
  A._();
}
class B extends A {
  B([int? value = 2]) : super._();
}
void f() {
  A([!2!]);
}
''');
  }

  Future<void> test_redirectingGenerativeConstructor() async {
    await assertNoDiagnostics(r'''
class A {
  A([int? value]) : this._(value);
  A._([int? value = 2]);
}
void f() {
  A(2);
}
''');
  }

  Future<void> test_redirectingGenerativeConstructor_named() async {
    await assertNoDiagnostics(r'''
class A {
  A({int? value}) : this._(value: value);
  A._({int? value = 2});
}
void f() {
  A(value: 2);
}
''');
  }

  Future<void> test_redirectingGenerativeConstructor_named_redundant() async {
    await assertDiagnosticsFromMarkup(r'''
class A {
  A({int? value}) : this._(value: value);
  A._({int? value = 2});
}
void f() {
  A(value: [!null!]);
}
''');
  }

  Future<void> test_redirectingGenerativeConstructor_redundant() async {
    await assertDiagnosticsFromMarkup(r'''
class A {
  A([int? value]) : this._(value);
  A._([int? value = 2]);
}
void f() {
  A([!null!]);
}
''');
  }

  Future<void> test_requiredNullable() async {
    await assertNoDiagnostics(r'''
void f({required int? x}) { }

void main() {
  f(x: null);
}
''');
  }

  @FailingTest(issue: 'https://github.com/dart-lang/linter/issues/4967')
  Future<void> test_toListOptionalGrowable() async {
    await assertDiagnosticsFromMarkup(r'''
void main() {
  [].toList([!growable!]: true);
}
''');
  }
}