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; |
- } |
-} |