Rename fletch -> dartino

tools/servicec/lib/src/resources/java/fletch/Builder.java

Index: tools/servicec/lib/src/resources/java/fletch/Builder.java
diff --git a/tools/servicec/lib/src/resources/java/fletch/Builder.java b/tools/servicec/lib/src/resources/java/fletch/Builder.java
deleted file mode 100644
index 61f9d7a82bc391e5e1bb5ff3ecac276e4d81588f..0000000000000000000000000000000000000000
--- a/tools/servicec/lib/src/resources/java/fletch/Builder.java
+++ /dev/null
@@ -1,103 +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 fletch;
-
-import java.nio.ByteBuffer;
-import java.nio.CharBuffer;
-
-class Builder {
-  public Builder() { }
-
-  public Builder(BuilderSegment segment, int base) {
-    this.segment = segment;
-    this.base = base;
-  }
-
-  public BuilderSegment segment() { return segment; }
-
-  public Object[] getSegments() {
-    Object[] result = new Object[2];
-    int segments = segment().builder().segments();
-    byte[][] segmentArray = new byte[segments][];
-    int[] sizeArray = new int[segments];
-    BuilderSegment current = segment;
-    for (int i = 0; i < segments; i++) {
-      segmentArray[i] = current.buffer().array();
-      sizeArray[i] = current.used();
-      current = current.next();
-    }
-    result[0] = segmentArray;
-    result[1] = sizeArray;
-    return result;
-  }
-
-  public Builder newStruct(Builder builder, int offset, int size) {
-    offset += base;
-    BuilderSegment s = segment;
-    while (true) {
-      int result = s.allocate(size);
-      ByteBuffer memory = s.buffer();
-      if (result >= 0) {
-        memory.putInt(offset + 0, (result << 2) | 1);
-        memory.putInt(offset + 4, 0);
-        builder.segment = s;
-        builder.base = result;
-        return builder;
-      }
-
-      BuilderSegment other = s.builder().findSegmentForBytes(size + 8);
-      int target = other.allocate(8);
-      memory.putInt(offset + 0, (target << 2) | 3);
-      memory.putInt(offset + 4, other.id());
-
-      s = other;
-      offset = target;
-    }
-  }
-
-  public ListBuilder newList(ListBuilder list,
-                             int offset,
-                             int length,
-                             int size) {
-    list.length = length;
-    offset += base;
-    size *= length;
-    BuilderSegment s = segment;
-    while (true) {
-      int result = s.allocate(size);
-      ByteBuffer memory = s.buffer();
-      if (result >= 0) {
-        memory.putInt(offset + 0, (result << 2) | 2);
-        memory.putInt(offset + 4, length);
-        list.segment = s;
-        list.base = result;
-        return list;
-      }
-
-      BuilderSegment other = s.builder().findSegmentForBytes(size + 8);
-      int target = other.allocate(8);
-      memory.putInt(offset + 0, (target << 2) | 3);
-      memory.putInt(offset + 4, other.id());
-
-      s = other;
-      offset = target;
-    }
-  }
-
-
-  public void newString(int offset, String value) {
-    int length = value.length();
-    ListBuilder stringBuilder = new ListBuilder();
-    newList(stringBuilder, offset, length, 2);
-    CharBuffer cb = stringBuilder.segment.buffer().asCharBuffer();
-    int base = stringBuilder.base / 2;
-    for (int i = 0; i < length; i++) {
-      cb.put(base + i, value.charAt(i));
-    }
-  }
-
-  protected BuilderSegment segment;
-  protected int base;
-}