LanguageFeatures/Augmentations/augmenting_variables_getters_setters_A01_t01.dart

// Copyright (c) 2025, 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 For purposes of augmentation, a variable declaration is treated
/// as implicitly defining a getter whose return type is the type of the
/// variable. If the variable is not final, or is late without an initializer,
/// then the variable declaration also implicitly defines a setter with a
/// parameter named `_` whose type is the type of the variable.
///
/// If the variable is abstract, then the getter and setter are incomplete,
/// otherwise they are complete. For non-abstract variables, the compiler
/// synthesizes a getter that accesses the backing storage and a setter that
/// updates it, so these members have bodies.
///
/// A getter can be augmented by another getter, and likewise a setter can be
/// augmented by a setter. This is true whether the getter or setter is
/// explicitly declared or implicitly declared using a variable declaration.
///
/// @description Checks that an incomplete getter may be augmented by a complete
/// augmenting getter.
/// @author sgrekhov22@gmail.com

// SharedOptions=--enable-experiment=augmentations

import '../../Utils/expect.dart';

String get topLevelGetter;
augment String get topLevelGetter => "x";

class C {
  static String get staticGetter;
  String get instanceGetter;
}

augment class C {
  augment static String get staticGetter => "x";
  augment String get instanceGetter => "x";
}

mixin M {
  static String get staticGetter;
  String get instanceGetter;
}

augment mixin M {
  augment static String get staticGetter => "x";
  augment String get instanceGetter => "x";
}

enum E {
  e0;
  static String get staticGetter;
  String get instanceGetter;
}

augment enum E {
  ;
  augment static String get staticGetter => "x";
  augment String get instanceGetter => "x";
}

class A {}

extension Ext on A {
  static String get staticGetter;
  String get instanceGetter;
}

augment extension Ext {
  augment static String get staticGetter => "x";
  augment String get instanceGetter => "x";
}

extension type ET(int _) {
  static String get staticGetter;
  String get instanceGetter;
}

augment extension type ET {
  augment static String get staticGetter => "x";
  augment String get instanceGetter => "x";
}

class MA = Object with M;

main() {
  Expect.equals("x", topLevelGetter);
  Expect.equals("x", C.staticGetter);
  Expect.equals("x", C().instanceGetter);
  Expect.equals("x", M.staticGetter);
  Expect.equals("x", MA().instanceGetter);
  Expect.equals("x", E.staticGetter);
  Expect.equals("x", E.e0.instanceGetter);
  Expect.equals("x", Ext.staticGetter);
  Expect.equals("x", A().instanceGetter);
  Expect.equals("x", ET.staticGetter);
  Expect.equals("x", ET(0).instanceGetter);
}