blob: cb345caa123b5920a55aed1099e68fab0d360eb4 [file] [log] [blame]
// Copyright (c) 2022, 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 semantics of such an enum declaration, E, is defined as
/// introducing a (semantic) class, C, just like a similar class declaration.
/// ...
/// Enum values: For each <enumEntry> with name id and index i in the
/// comma-separated list of enum entries, a constant value is created, and a
/// static constant variable named id is created in C with that value. All the
/// constant values are associated, in some implementation dependent way, with
/// their name id as a string "id",
/// their index i as an int, and
/// their enum class’s name as a string, "Name",
/// all of which is accessible to the toString and index member of Enum, and to
/// the extension getter. The values are computed as follows.
/// id ↦ Name() (no arguments, equivalent to empty argument list)
/// id(args) ↦ Name(args)
/// id<types>(args) ↦ Name<types>(args)
/// id.named(args) ↦ Name._$named(args)
/// id<types>.named(args) ↦ Name<types>._$named(args)
/// where args are considered as occurring in a const context, and it’s a
/// compile-time error if they are then not compile-time constants.
/// @description Check computing of enum values
/// @author
// SharedOptions=--enable-experiment=enhanced-enums
import "../../Utils/expect.dart";
enum E1 {
e1(1, "2"),
e2.named(3, "4");
final String log;
final int val1;
final String val2;
const E1(this.val1, this.val2) : log = "E1()";
const E1.named(this.val1, this.val2) : log = "E1.named()";
enum E2<T1 extends num, T2> {
e1<int, String>(42, "Lily was here"),
e2<double, bool>.named(3.14, true);
final String log;
final T1 val1;
final T2 val2;
const E2(this.val1, this.val2) : log = "E2()";
const E2.named(this.val1, this.val2) : log = "E2.named()";
main() {
Expect.equals("E1()", E1.e1.log);
Expect.equals("E1.named()", E1.e2.log);
Expect.equals("E2()", E2.e1.log);
Expect.equals("E2.named()", E2.e2.log);
Expect.equals(1, E1.e1.val1);
Expect.equals("2", E1.e1.val2);
Expect.equals(3, E1.e2.val1);
Expect.equals("4", E1.e2.val2);
Expect.equals(42, E2.e1.val1);
Expect.equals("Lily was here", E2.e1.val2);
Expect.equals(3.14, E2.e2.val1);
Expect.equals(true, E2.e2.val2);