| library /*isNonNullableByDefault*/; |
| import self as self; |
| import "dart:core" as core; |
| import "main_lib.dart" as mai; |
| |
| import "org-dartlang-testcase:///main_lib.dart"; |
| |
| static method main() → dynamic { |
| core::List<dynamic> list = <dynamic>[]; |
| if(list.{core::Iterable::isNotEmpty}{core::bool}) { |
| new mai::Class::•().{mai::Class::method}((null as{ForNonNullableByDefault} dynamic) as{TypeError,ForDynamic,ForNonNullableByDefault} mai::Enum){(mai::Enum) → core::int}; |
| } |
| } |
| |
| library /*isNonNullableByDefault*/; |
| import self as mai; |
| import "dart:core" as core; |
| |
| class Enum extends core::Object implements core::Enum /*isEnum*/ { |
| final field core::int index; |
| final field core::String _name; |
| static const field core::List<mai::Enum> values = #C4; |
| static const field mai::Enum a = #C3; |
| const constructor •(core::int index, core::String _name) → mai::Enum |
| : mai::Enum::index = index, mai::Enum::_name = _name, super core::Object::•() |
| ; |
| method toString() → core::String |
| return this.{mai::Enum::_name}{core::String}; |
| } |
| class Class extends core::Object { |
| synthetic constructor •() → mai::Class |
| : super core::Object::•() |
| ; |
| method method(mai::Enum e) → core::int |
| return e.{mai::Enum::index}{core::int}; |
| } |
| |
| constants { |
| #C1 = 0 |
| #C2 = "Enum.a" |
| #C3 = mai::Enum {index:#C1, _name:#C2} |
| #C4 = <mai::Enum*>[#C3] |
| } |
| |
| |
| Constructor coverage from constants: |
| org-dartlang-testcase:///main_lib.dart: |
| - Enum. (from org-dartlang-testcase:///main_lib.dart:5:6) |
| - Object. (from org-dartlang-sdk:///sdk/lib/core/object.dart:25:9) |