Rename fletch -> dartino

pkg/fletchc/lib/src/fletch_native_descriptor.dart

Index: pkg/fletchc/lib/src/fletch_native_descriptor.dart
diff --git a/pkg/fletchc/lib/src/fletch_native_descriptor.dart b/pkg/fletchc/lib/src/fletch_native_descriptor.dart
deleted file mode 100644
index 4293db3f00eb06e4298342b2ab5ea030e7b82f0e..0000000000000000000000000000000000000000
--- a/pkg/fletchc/lib/src/fletch_native_descriptor.dart
+++ /dev/null
@@ -1,55 +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.
-
-library fletchc.fletch_native_descriptor;
-
-import 'dart:convert' show
-    JSON;
-
-class FletchNativeDescriptor {
-  final String enumName;
-
-  final String cls;
-
-  final String name;
-
-  final int index;
-
-  FletchNativeDescriptor(this.enumName, this.cls, this.name, this.index);
-
-  String toString() => "FletchNativeDescriptor($enumName, $cls, $name, $index)";
-
-  static void decode(
-      String jsonData,
-      Map<String, FletchNativeDescriptor> natives,
-      Map<String, String> names) {
-    Map jsonObjects = JSON.decode(jsonData);
-    int index = 0;
-    for (Map native in jsonObjects['natives']) {
-      String cls = native['class'];
-      String name = native['name'];
-      void add(cls, name) {
-        natives['$cls.$name'] =
-            new FletchNativeDescriptor(native['enum'], cls, name, index);
-        natives['$cls._fletchNative$name'] =
-            new FletchNativeDescriptor(native['enum'], cls, name, index);
-      }
-      if (cls == "<none>") {
-        cls = null;
-        add("", name);
-        if (name.startsWith("_")) {
-          // For private top-level methods, create a public version as well.
-          // TODO(ahe): Modify the VM table of natives.
-          add("", name.substring(1));
-        }
-      } else {
-        add(cls, name);
-      }
-      index++;
-    }
-    for (Map name in jsonObjects['names']) {
-      names[name['name']] = name['value'];
-    }
-  }
-}