LanguageFeatures/Augmentations/metadata_A01_t06.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 All declarations can be augmented with metadata annotations
/// and/or doc comments directly preceding an augmenting declaration.
///
/// In both cases, these should be appended to existing metadata or doc
/// comments. For metadata annotations, these may trigger additional macro
/// applications.
///
/// @description Check that augmenting metadata is appended to the introductory
/// declaration (not replaces it). Test setters.
/// @author sgrekhov22@gmail.com

// SharedOptions=--enable-experiment=macros
library metadata_A01_t06;

import 'dart:mirrors';
import '../../Utils/expect.dart';
part 'metadata_A01_t06_lib.dart';

class Meta1 {
  const Meta1();
}

class Meta2 {
  const Meta2();
}

var expected = ['metadata_A01_t06.Meta1', 'metadata_A01_t06.Meta2'];

@Meta1()
void set topLevelSetter(String _) {}

class C {
  @Meta1()
  static void set staticSetter(String _) {}
  @Meta1()
  void set instanceSetter(String _) {}
}

mixin M {
  @Meta1()
  static void set staticSetter(String _) {}
  @Meta1()
  void set instanceSetter(String _) {}
}

enum E {
  e0;
  @Meta1()
  static void set staticSetter(String _) {}
  @Meta1()
  void set instanceSetter(String _) {}
}

class A {}

extension Ext on A {
  @Meta1()
  static void set staticSetter(String _) {}
  @Meta1()
  void set instanceSetter(String _) {}
}

extension type ET(int id) {
  @Meta1()
  static void set staticSetter(String _) {}
  @Meta1()
  void set instanceSetter(String _) {}
}

main() {
  Symbol libName = MirrorSystem.getSymbol('metadata_A01_t06');
  LibraryMirror libraryMirror = currentMirrorSystem().findLibrary(libName);
  var symbol = MirrorSystem .getSymbol("topLevelSetter=");
  DeclarationMirror varMirror =
    libraryMirror.declarations[symbol] as DeclarationMirror;
  Expect.isTrue(expected.contains(MirrorSystem.getName(
      varMirror.metadata[0].type.qualifiedName)));
  Expect.isTrue(expected.contains(MirrorSystem.getName(
      varMirror.metadata[1].type.qualifiedName)));

  testType(C);
  testType(M);
  testType(E);
  // Extensions and extension types cannot be reflected therefore it is not
  // possible to check their metadata.
}

void testType(Type t) {
  ClassMirror classMirror = reflectClass(t);
  var varNames = ['staticSetter=', 'instanceSetter='];
  for (var name in varNames) {
    Symbol symbol = MirrorSystem .getSymbol(name);
    DeclarationMirror varMirror =
        classMirror.declarations[symbol] as DeclarationMirror;
    Expect.isTrue(expected.contains(MirrorSystem.getName(
        varMirror.metadata[0].type.qualifiedName)));
    Expect.isTrue(expected.contains(MirrorSystem.getName(
        varMirror.metadata[1].type.qualifiedName)));
  }
}