| Index: tools/servicec/lib/src/resources/java/dartino/ListReader.java
|
| diff --git a/tools/servicec/lib/src/resources/java/dartino/ListReader.java b/tools/servicec/lib/src/resources/java/dartino/ListReader.java
|
| deleted file mode 100644
|
| index 6e12a77f847893a97cf845fcdf1114f47da01fef..0000000000000000000000000000000000000000
|
| --- a/tools/servicec/lib/src/resources/java/dartino/ListReader.java
|
| +++ /dev/null
|
| @@ -1,17 +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.
|
| -
|
| -package dartino;
|
| -
|
| -class ListReader extends Reader {
|
| - public ListReader() { }
|
| -
|
| - public int length;
|
| -
|
| - Reader readListElement(Reader reader, int index, int size) {
|
| - reader.segment = segment;
|
| - reader.base = base + index * size;
|
| - return reader;
|
| - }
|
| -}
|
|
|