|  | library; | 
|  | import self as self; | 
|  | import "main_lib.dart" as mai; | 
|  |  | 
|  | import "org-dartlang-testcase:///main_lib.dart"; | 
|  |  | 
|  | class GalleryApp extends mai::StatefulWidget /*hasConstConstructor*/  { | 
|  | const constructor •({mai::Key? key = null}) → self::GalleryApp | 
|  | : super mai::StatefulWidget::•(key: key) | 
|  | ; | 
|  | } | 
|  | static method main() → dynamic | 
|  | ; | 
|  |  | 
|  | library; | 
|  | import self as mai; | 
|  | import "dart:core" as core; | 
|  |  | 
|  | class Key extends core::Object { | 
|  | synthetic constructor •() → mai::Key | 
|  | ; | 
|  | } | 
|  | class StatefulWidget extends core::Object /*hasConstConstructor*/  { | 
|  | final field mai::Key? key; | 
|  | const constructor •({mai::Key? key = null}) → mai::StatefulWidget | 
|  | : mai::StatefulWidget::key = key, super core::Object::•() | 
|  | ; | 
|  | } |