LanguageFeatures/Augmentation-libraries/augmented_expression_A03_t01.dart

// Copyright (c) 2024, 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 The exact result of an `augmented` expression depends on what is
/// being augmented, but it generally follows the same rules as any normal
/// identifier:
/// ...
/// - Augmenting fields: Within an augmenting field, augmented can only be used
///   in an initializer expression, and refers to the original field's
///   initializer expression, which is immediately evaluated.
///
/// It is a compile-time error to use augmented in an augmenting field's
/// initializer if the member being augmented is not a field with an initializer
///
/// @description Checks that within an augmenting field `augmented` invokes the
/// original field's initializer expression.
/// @author sgrekhov22@gmail.com

// SharedOptions=--enable-experiment=macros

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

const augmented = "Augmented constant, shouldn't be used";

String topLevelVariable = "Original";
final String finalTopLevelVariable = "Original";

class C {
  static String staticVariable = "Original";
  static final String finalStaticVariable = "Original";
  String instanceVariable = "Original";
  final String finalInstanceVariable = "Original";
  final String augmented = "C.augmented, shouldn't be used";
}

mixin M {
  static String staticVariable = "Original";
  static final String finalStaticVariable = "Original";
  String instanceVariable = "Original";
  final String finalInstanceVariable = "Original";
  final String augmented = "M.augmented, shouldn't be used";
}

enum E {
  e1;

  static String staticVariable = "Original";
  static final String finalStaticVariable = "Original";
  final String finalInstanceVariable = "Original";
  final String augmented = "E.augmented, shouldn't be used";
}

class A {}

extension Ext on A {
  static String staticVariable = "Original";
  static final String finalStaticVariable = "Original";
  static final String augmented = "Ext.augmented, shouldn't be used";
}

class MA = Object with M;

main() {
  Expect.equals("Augment: Original", topLevelVariable);
  Expect.equals("Augment: Original", finalTopLevelVariable);
  Expect.equals("Augment: Original", C.staticVariable);
  Expect.equals("Augment: Original", C.finalStaticVariable);
  Expect.equals("Augment: Original", C().instanceVariable);
  Expect.equals("Augment: Original", C().finalInstanceVariable);
  Expect.equals("Augment: Original", M.staticVariable);
  Expect.equals("Augment: Original", M.finalStaticVariable);
  Expect.equals("Augment: Original", MA().instanceVariable);
  Expect.equals("Augment: Original", MA().finalInstanceVariable);
  Expect.equals("Augment: Original", E.staticVariable);
  Expect.equals("Augment: Original", E.finalStaticVariable);
  Expect.equals("Augment: Original", E.e1.finalInstanceVariable);
}