| Index: samples/todomvc/todomvc_service.idl
|
| diff --git a/samples/todomvc/todomvc_service.idl b/samples/todomvc/todomvc_service.idl
|
| deleted file mode 100644
|
| index e6e9ab7d8abad78da85a8c7e505c4f0c4c906e45..0000000000000000000000000000000000000000
|
| --- a/samples/todomvc/todomvc_service.idl
|
| +++ /dev/null
|
| @@ -1,51 +0,0 @@
|
| -// Copyright (c) 2015, the Dartino project authors. Please see the AUTHORS file
|
| -// for details. All rights reserved. Use of this source code is governed by a
|
| -// BSD-style license that can be found in the LICENSE.md file.
|
| -
|
| -service TodoMVCService {
|
| - void createItem(BoxedString* title);
|
| - void clearItems();
|
| -
|
| - // Event dispatching.
|
| - void dispatch(uint16 id);
|
| -
|
| - // Synchronization should be considered internal.
|
| - PatchSet* sync();
|
| - void reset();
|
| -}
|
| -
|
| -// Primary structures.
|
| -
|
| -struct Node {
|
| - union {
|
| - void nil;
|
| - int32 num;
|
| - bool truth;
|
| - String str;
|
| - Cons cons;
|
| - }
|
| -}
|
| -
|
| -struct Cons {
|
| - Node* fst;
|
| - Node* snd;
|
| -
|
| - uint16 deleteEvent;
|
| - uint16 completeEvent;
|
| - uint16 uncompleteEvent;
|
| -}
|
| -
|
| -// Utility structures.
|
| -
|
| -struct Patch {
|
| - List<uint8> path;
|
| - Node content;
|
| -}
|
| -
|
| -struct PatchSet {
|
| - List<Patch> patches;
|
| -}
|
| -
|
| -struct BoxedString {
|
| - String str;
|
| -}
|
|
|