OLD | NEW |
1 // Copyright (c) 2015, the Fletch project authors. Please see the AUTHORS file | 1 // Copyright (c) 2015, the Fletch project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE.md file. | 3 // BSD-style license that can be found in the LICENSE.md file. |
4 | 4 |
5 // Generated file. Do not edit. | 5 // Generated file. Do not edit. |
6 | 6 |
7 library todomvc_service; | 7 library todomvc_service; |
8 | 8 |
9 import "dart:fletch"; | 9 import "dart:fletch"; |
10 import "dart:fletch.ffi"; | 10 import "dart:fletch.ffi"; |
11 import "dart:service" as service; | 11 import "dart:fletch.service" as service; |
12 import "struct.dart"; | 12 import "struct.dart"; |
13 | 13 |
14 final Channel _channel = new Channel(); | 14 final Channel _channel = new Channel(); |
15 final Port _port = new Port(_channel); | 15 final Port _port = new Port(_channel); |
16 final ForeignFunction _postResult = ForeignLibrary.main.lookup("PostResultToServ
ice"); | 16 final ForeignFunction _postResult = ForeignLibrary.main.lookup("PostResultToServ
ice"); |
17 | 17 |
18 bool _terminated = false; | 18 bool _terminated = false; |
19 TodoMVCService _impl; | 19 TodoMVCService _impl; |
20 | 20 |
21 abstract class TodoMVCService { | 21 abstract class TodoMVCService { |
(...skipping 197 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
219 void operator[]=(int index, int value) { segment.memory.setUint8(offset + inde
x * 1, value); } | 219 void operator[]=(int index, int value) { segment.memory.setUint8(offset + inde
x * 1, value); } |
220 } | 220 } |
221 | 221 |
222 class _PatchList extends ListReader<Patch> implements List<Patch> { | 222 class _PatchList extends ListReader<Patch> implements List<Patch> { |
223 Patch operator[](int index) => readListElement(new Patch(), index, 32); | 223 Patch operator[](int index) => readListElement(new Patch(), index, 32); |
224 } | 224 } |
225 | 225 |
226 class _PatchBuilderList extends ListBuilder<PatchBuilder> implements List<PatchB
uilder> { | 226 class _PatchBuilderList extends ListBuilder<PatchBuilder> implements List<PatchB
uilder> { |
227 PatchBuilder operator[](int index) => readListElement(new PatchBuilder(), inde
x, 32); | 227 PatchBuilder operator[](int index) => readListElement(new PatchBuilder(), inde
x, 32); |
228 } | 228 } |
OLD | NEW |