// Copyright (c) 2013, 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.

// @dart = 2.9

library test.set_field_with_final;

import 'dart:mirrors';
import 'package:expect/expect.dart';

class C {
  final instanceField = 1;
  get instanceGetter => 2;
  static final staticFinal = 3;
  static get staticGetter => 4;
}

final toplevelFinal = 5;
get toplevelGetter => 6;

main() {
  InstanceMirror im = reflect(new C());
  Expect.throwsNoSuchMethodError(() => im.setField(#instanceField, 7));
  Expect.throwsNoSuchMethodError(() => im.setField(#instanceGetter, 8));

  ClassMirror cm = im.type;
  Expect.throwsNoSuchMethodError(() => cm.setField(#staticFinal, 9));
  Expect.throwsNoSuchMethodError(() => cm.setField(#staticGetter, 10));

  LibraryMirror lm = cm.owner as LibraryMirror;
  Expect.throwsNoSuchMethodError(() => lm.setField(#toplevelFinal, 11));
  Expect.throwsNoSuchMethodError(() => lm.setField(#toplevelGetter, 12));
}