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 |