Add library mapping.

dart/frog/leg/library_map.dart

+// Copyright (c) 2012, the Dart 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 file.
+
+// TODO(ahe): Long term, it would probably be better if we do not use
+// executable code to define the locations of libraries.
+
+#library('library_map');
+
+/**
+ * Specifies the location of Dart platform libraries.
+ */
+final Map<String,String> DART2JS_LIBRARY_MAP = const <String> {
+  "core": "frog/leg/lib/core.dart",
+  "coreimpl": "frog/leg/lib/coreimpl.dart",
+  "_js_helper": "frog/leg/lib/js_helper.dart",
+  "dom": "lib/dom/frog/dom_frog.dart",
+  "html": "lib/html/frog/html_frog.dart",
+  "io": "frog/leg/lib/io.dart",
+  "isolate": "lib/isolate/isolate_leg.dart",
+  "json": "lib/json/json.dart",
+  "uri": "lib/uri/uri.dart",
+  "utf": "lib/utf/utf.dart",
+};

[zundel, 2012/03/26 22:08:20]

This looks just like the .property files we are cooking up for the editor.  I'd
like to use a common format between all platforms to keep everything seamlessly
in sync, which we can mull over once we get the dart2js libs in dart-sdk.

[ahe, 2012/03/28 15:31:43]

I don't mind a common format, I'm using a const map in the name of short-term
expediency.