| Index: compiler/java/com/google/dart/compiler/PackageLibraryManager.java
|
| ===================================================================
|
| --- compiler/java/com/google/dart/compiler/PackageLibraryManager.java (revision 11969)
|
| +++ compiler/java/com/google/dart/compiler/PackageLibraryManager.java (working copy)
|
| @@ -306,10 +306,13 @@
|
| }
|
|
|
| protected SystemLibrary[] getDefaultLibraries() {
|
| - return SDK_LIBRARY_MANAGER.getDefaultLibraries();
|
| -
|
| + return SDK_LIBRARY_MANAGER.getDefaultLibraries();
|
| }
|
|
|
| + public Collection<SystemLibrary> getSystemLibraries(){
|
| + return SDK_LIBRARY_MANAGER.getAllSystemLibraries();
|
| + }
|
| +
|
| public File getSdkLibPath() {
|
| return SDK_LIBRARY_MANAGER.getSdkLibPath();
|
| }
|
|
|