| OLD | NEW |
| 1 #!mojo mojo:sky_viewer | 1 #!mojo mojo:sky_viewer |
| 2 <sky> | 2 <sky> |
| 3 <import src="dart-library.sky" as="library" /> | 3 <import src="dart-library.sky" as="library" /> |
| 4 <script> | 4 <script> |
| 5 import 'dart:async'; | 5 import 'dart:async'; |
| 6 import '/mojo/public/dart/application.dart'; | 6 import '/mojo/public/dart/application.dart'; |
| 7 import 'dart:mojo_bindings'; | |
| 8 import 'dart:mojo_core'; | |
| 9 import 'dart:typed_data'; | 7 import 'dart:typed_data'; |
| 10 import 'dart:sky.internals' as internals; | 8 import 'dart:sky.internals' as internals; |
| 9 import 'mojo:bindings'; |
| 10 import 'mojo:core'; |
| 11 | 11 |
| 12 import 'package:mojo/services/network/public/interfaces/network_service.mojom.da
rt'; | 12 import 'package:mojo/services/network/public/interfaces/network_service.mojom.da
rt'; |
| 13 import 'package:mojo/services/network/public/interfaces/url_loader.mojom.dart'; | 13 import 'package:mojo/services/network/public/interfaces/url_loader.mojom.dart'; |
| 14 import 'package:mojo/public/interfaces/application/shell.mojom.dart' as shell_mo
jom; | 14 import 'package:mojo/public/interfaces/application/shell.mojom.dart' as shell_mo
jom; |
| 15 | 15 |
| 16 class WGet extends Application { | 16 class WGet extends Application { |
| 17 NetworkServiceProxy _networkService; | 17 NetworkServiceProxy _networkService; |
| 18 UrlLoaderProxy _urlLoaderProxy; | 18 UrlLoaderProxy _urlLoaderProxy; |
| 19 | 19 |
| 20 WGet.fromHandle(MojoHandle handle) : super.fromHandle(handle); | 20 WGet.fromHandle(MojoHandle handle) : super.fromHandle(handle); |
| (...skipping 52 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 73 main() { | 73 main() { |
| 74 var messagePipe = new MojoMessagePipe(); | 74 var messagePipe = new MojoMessagePipe(); |
| 75 var wget = new WGet(messagePipe.endpoints[1]); | 75 var wget = new WGet(messagePipe.endpoints[1]); |
| 76 wget.listen(); | 76 wget.listen(); |
| 77 var shellProxy = new shell_mojom.ShellProxy.fromHandle(new MojoHandle(internal
s.takeShellProxyHandle())); | 77 var shellProxy = new shell_mojom.ShellProxy.fromHandle(new MojoHandle(internal
s.takeShellProxyHandle())); |
| 78 wget.initializeFromShellProxy(shellProxy, ["mojo:wget", "http://www.google.com
"], "mojo:wget"); | 78 wget.initializeFromShellProxy(shellProxy, ["mojo:wget", "http://www.google.com
"], "mojo:wget"); |
| 79 } | 79 } |
| 80 | 80 |
| 81 </script> | 81 </script> |
| 82 </sky> | 82 </sky> |
| OLD | NEW |