Get library data from lib/_internal/libraries.dart.

lib/_internal/libraries.dart

Index: lib/_internal/libraries.dart
diff --git a/lib/_internal/libraries.dart b/lib/_internal/libraries.dart
index 93358230d117d357e861c5883db95de7a1d3b75a..f6a9ace436f2fffd2008ccb7558e1aee37fd22bf 100644
--- a/lib/_internal/libraries.dart
+++ b/lib/_internal/libraries.dart
@@ -22,7 +22,6 @@ const int VM_PLATFORM = 2;
  */
 const Map<String, LibraryInfo> LIBRARIES = const <LibraryInfo> {
 
-  // Used by VM applications
   "builtin": const LibraryInfo(
       "builtin/builtin_runtime.dart",
       category: "Server",
@@ -42,12 +41,12 @@ const Map<String, LibraryInfo> LIBRARIES = const <LibraryInfo> {
       "coreimpl/coreimpl_runtime.dart",
       implementation: true,
       dart2jsPath: "compiler/implementation/lib/coreimpl.dart",
-      dart2jsPatchPath: "compiler/implementation/lib/coreimpl.dartp"),
+      dart2jsPatchPath: "compiler/implementation/lib/coreimpl_patch.dart"),
 
   "crypto": const LibraryInfo(
       "crypto/crypto.dart"),
 
-  // dom/dom_frog.dart is a placeholder for dartium dom
+  // dom/dom_frog.dart is a placeholder for dartium DOM.
   "dom_deprecated": const LibraryInfo(
       "dom/dom_dart2js.dart",
       implementation: true,
@@ -65,19 +64,19 @@ const Map<String, LibraryInfo> LIBRARIES = const <LibraryInfo> {
       dart2jsPath: "compiler/implementation/lib/io.dart"),
 
   "isolate": const LibraryInfo(
-      "isolate/isolate.dart"),
+      "isolate/isolate.dart",
+      dart2jsPatchPath: "compiler/implementation/lib/isolate_patch.dart"),
 
   "json": const LibraryInfo(
       "json/json.dart"),
 
   "math": const LibraryInfo(
       "math/math.dart",
-      dart2jsPatchPath: "compiler/implementation/lib/math.dartp"),
+      dart2jsPatchPath: "compiler/implementation/lib/math_patch.dart"),
 
   "mirrors": const LibraryInfo(
       "mirrors/mirrors.dart"),
 
-  // Used by Dartium applications
   "nativewrappers": const LibraryInfo(
       "html/nativewrappers.dart",
       category: "Client",
@@ -94,14 +93,12 @@ const Map<String, LibraryInfo> LIBRARIES = const <LibraryInfo> {
   "web": const LibraryInfo(
       "web/web.dart"),
 
-  // Used by dart2js
   "_js_helper": const LibraryInfo(
       "compiler/implementation/lib/js_helper.dart",
       category: "Internal",
       documented: false,
       platforms: DART2JS_PLATFORM),
 
-  // Used by dart2js
   "_interceptors": const LibraryInfo(
       "compiler/implementation/lib/interceptors.dart",
       category: "Internal",
@@ -140,13 +137,13 @@ class LibraryInfo {
   final String dart2jsPatchPath;
 
   /**
-   * True if this library is documented and should be shown to the user
+   * True if this library is documented and should be shown to the user.
    */
   final bool documented;
 
   /**
-   * Bit flags indicating which platforms consume this library
-   * See [DART2JS_LIBRARY] and [VM_LIBRARY]
+   * Bit flags indicating which platforms consume this library.
+   * See [DART2JS_LIBRARY] and [VM_LIBRARY].
    */
   final int platforms;
 
@@ -154,8 +151,8 @@ class LibraryInfo {
    * True if the library contains implementation details for another library.
    * The implication is that these libraries are less commonly used
    * and that tools like Dart Editor should not show these libraries
-   * in a list of all libraries unless the user specifically asks the tool to do so.
-   * (e.g. "coreimpl" contains implementation for the "core" library).
+   * in a list of all libraries unless the user specifically asks the tool to
+   * do so. (E.g. "coreimpl" contains implementation for the "core" library).
    */
   final bool implementation;
 
@@ -170,6 +167,9 @@ class LibraryInfo {
   bool isDart2JsLibrary() => (platforms & DART2JS_PLATFORM) != 0;
   bool isVmLibrary() => (platforms & VM_PLATFORM) != 0;
 
-  String getDart2JsPath() => dart2jsPath != null ? "lib/$dart2jsPath" : "lib/$path";
-  String getDart2jsPatchPath() => dart2jsPatchPath != null ? "lib/$dart2jsPatchPath" : null;
+  String getDart2JsPath() =>
+      dart2jsPath != null ? "lib/$dart2jsPath" : "lib/$path";
+
+  String getDart2jsPatchPath() =>
+      dart2jsPatchPath != null ? "lib/$dart2jsPatchPath" : null;
 }