modify files view to use declared sdk libraries

compiler/java/com/google/dart/compiler/SystemLibrary.java

 // 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.
 
 package com.google.dart.compiler;
 
 import java.io.File;
 import java.net.URI;
 import java.net.URISyntaxException;
 
 /**
  * A library accessible via the "dart:<libname>.lib" protocol.
  */
 public class SystemLibrary {
 
   private final String shortName;
   private final String host;
   private final String pathToLib;
   private final File dirOrZip;
+  private String category;
+  private boolean documented;
+  private boolean implementation;
 
   /**
    * Define a new system library such that dart:[shortLibName] will automatically be expanded to
    * dart://[host]/[pathToLib]. For example this call
    *
    * <pre>
    *    new SystemLibrary("html.lib", "html", "dart_html.lib");
    * </pre>
    *
    * will define a new system library such that "dart:html.lib" to automatically be expanded to
    * "dart://html/dart_html.lib". The dirOrZip argument is either the root directory or a zip file
    * containing all files for this library.
    */
-  public SystemLibrary(String shortName, String host, String pathToLib, File dirOrZip) {
+  public SystemLibrary(String shortName, String host, String pathToLib, File dirOrZip, String category, 
+      boolean documented, boolean implementation) {
     this.shortName = shortName;
     this.host = host;
     this.pathToLib = pathToLib;
     this.dirOrZip = dirOrZip;
+    this.category = category;
+    this.documented = documented;
+    this.implementation = implementation;
+  }
+
+  public String getCategory() {
+    return category;
+  }
+ 
+  public boolean isDocumented() {
+    return documented;
+  }
+ 
+  public boolean isImplementation() {
+    return implementation;
   }
 
   public String getHost() {
     return host;
   }
 
   public String getPathToLib() {
     return pathToLib;
   }
 
   public String getShortName() {
     return shortName;
   }
 
+  public File getLibraryDir() {
+    return dirOrZip;
+  }
+
   public URI translateUri(URI dartUri) {
     if (!dirOrZip.exists()) {
       throw new RuntimeException("System library for " + dartUri + " does not exist: " + dirOrZip.getPath());
     }
     try {
       URI dirOrZipURI = dirOrZip.toURI();
       if (dirOrZip.isFile()) {
         return new URI("jar", "file:" + dirOrZipURI.getPath() + "!" + dartUri.getPath(), null);
       } else {
         return dirOrZipURI.resolve("." + dartUri.getPath());
       }
     } catch (URISyntaxException e) {
       throw new AssertionError();
     }
   }
   
   public File getFile() {
     return this.dirOrZip;
   }
 }