| main = foo::main; |
| library from "org-dartlang-test:///foo.dart" as foo { |
| |
| abstract class Key extends dart.core::Object /*hasConstConstructor*/ { |
| static final field dynamic _redirecting# = <dynamic>[#C1]/*isLegacy*/; |
| const constructor empty() → foo::Key |
| : super dart.core::Object::•() |
| ; |
| static factory •(dart.core::String value) → foo::Key |
| return new foo::ValueKey::•(value); |
| } |
| abstract class LocalKey extends foo::Key /*hasConstConstructor*/ { |
| const constructor •() → foo::LocalKey |
| : super foo::Key::empty() |
| ; |
| } |
| class ValueKey extends dart.core::Object implements foo::LocalKey /*hasConstConstructor*/ { |
| final field dart.core::String value; |
| const constructor •(dart.core::String value) → foo::ValueKey |
| : foo::ValueKey::value = value, super dart.core::Object::•() |
| ; |
| } |
| static method main() → void { |
| foo::Key k = new foo::ValueKey::•("t"); |
| dart.core::print("${k}"); |
| } |
| } |
| constants { |
| #C1 = constructor-tearoff foo::Key::• |
| } |