Use JavaFile instead of Dart File.

pkg/analyzer-experimental/lib/src/generated/sdk.dart

 // This code was auto-generated, is not intended to be edited, and is subject to
 // significant change. Please see the README file for more information.
 
 library engine.sdk;
 
 import 'dart:io';
 import 'dart:uri';
 import 'java_core.dart';
 import 'java_io.dart';
 import 'java_engine.dart';
@@ skipping 173 matching lines @@
  * category: "Tools",
  * platforms: 0),
  * };
  * </pre>
  */
 class SdkLibrariesReader {
   /**
    * Return the library map read from the given source.
    * @return the library map read from the given source
    */
-  LibraryMap readFrom(File librariesFile, String libraryFileContents) {
+  LibraryMap readFrom(JavaFile librariesFile, String libraryFileContents) {
     List<bool> foundError = [false];
     AnalysisErrorListener errorListener = new AnalysisErrorListener_5(foundError);
     Source source = new FileBasedSource.con2(null, librariesFile, false);
     StringScanner scanner = new StringScanner(source, libraryFileContents, errorListener);
     Parser parser = new Parser(source, errorListener);
     CompilationUnit unit = parser.parseCompilationUnit(scanner.tokenize());
     SdkLibrariesReader_LibraryBuilder libraryBuilder = new SdkLibrariesReader_LibraryBuilder();
     if (!foundError[0]) {
       unit.accept(libraryBuilder);
     }
@@ skipping 137 matching lines @@
    * The short name of the dart SDK core library.
    */
   static String DART_CORE = "dart:core";
   /**
    * The short name of the dart SDK html library.
    */
   static String DART_HTML = "dart:html";
   /**
    * The directory containing the SDK.
    */
-  File _sdkDirectory;
+  JavaFile _sdkDirectory;
   /**
    * The revision number of this SDK, or {@code "0"} if the revision number cannot be discovered.
    */
   String _sdkVersion;
   /**
    * The file containing the Dartium executable.
    */
-  File _dartiumExecutable;
+  JavaFile _dartiumExecutable;
   /**
    * The file containing the VM executable.
    */
-  File _vmExecutable;
+  JavaFile _vmExecutable;
   /**
    * A mapping from Dart library URI's to the library represented by that URI.
    */
   LibraryMap _libraryMap;
   /**
    * The name of the directory within the SDK directory that contains executables.
    */
   static String _BIN_DIRECTORY_NAME = "bin";
   /**
    * The name of the directory within the SDK directory that contains Chromium.
@@ skipping 61 matching lines @@
   /**
    * The name of the file containing the VM executable on non-Windows operating systems.
    */
   static String _VM_EXECUTABLE_NAME = "dart";
   /**
    * Return the default Dart SDK, or {@code null} if the directory containing the default SDK cannot
    * be determined (or does not exist).
    * @return the default Dart SDK
    */
   static DartSdk get defaultSdk {
-    File sdkDirectory = defaultSdkDirectory;
+    JavaFile sdkDirectory = defaultSdkDirectory;
     if (sdkDirectory == null) {
       return null;
     }
     return new DartSdk(sdkDirectory);
   }
   /**
    * Return the default directory for the Dart SDK, or {@code null} if the directory cannot be
    * determined (or does not exist). The default directory is provided by a {@link System} property
    * named {@code com.google.dart.sdk}, or, if the property is not defined, an environment variable
    * named {@code DART_SDK}.
    * @return the default directory for the Dart SDK
    */
-  static File get defaultSdkDirectory {
+  static JavaFile get defaultSdkDirectory {
     String sdkProperty = JavaSystemIO.getProperty(_DEFAULT_DIRECTORY_PROPERTY_NAME);
     if (sdkProperty == null) {
       sdkProperty = JavaSystemIO.getenv(_DART_SDK_ENVIRONMENT_VARIABLE_NAME);
       if (sdkProperty == null) {
         return null;
       }
     }
-    File sdkDirectory = new File(sdkProperty);
-    if (!sdkDirectory.existsSync()) {
+    JavaFile sdkDirectory = new JavaFile(sdkProperty);
+    if (!sdkDirectory.exists()) {
       return null;
     }
     return sdkDirectory;
   }
   /**
    * Initialize a newly created SDK to represent the Dart SDK installed in the given directory.
    * @param sdkDirectory the directory containing the SDK
    */
-  DartSdk(File sdkDirectory) {
-    this._sdkDirectory = getAbsoluteFile(sdkDirectory);
+  DartSdk(JavaFile sdkDirectory) {
+    this._sdkDirectory = sdkDirectory.getAbsoluteFile();
     initializeSdk();
     initializeLibraryMap();
   }
   /**
    * Return the file containing the Dartium executable, or {@code null} if it does not exist.
    * @return the file containing the Dartium executable
    */
-  File get dartiumExecutable {
+  JavaFile get dartiumExecutable {
     {
       if (_dartiumExecutable == null) {
-        File file = newRelativeFile(_sdkDirectory, dartiumBinaryName);
-        if (file.existsSync()) {
+        JavaFile file = new JavaFile.relative(_sdkDirectory, dartiumBinaryName);
+        if (file.exists()) {
           _dartiumExecutable = file;
         }
       }
     }
     return _dartiumExecutable;
   }
   /**
    * Return the directory where dartium can be found in the Dart SDK (the directory that will be the
    * working directory is Dartium is invoked without changing the default).
    * @return the directory where dartium can be found
    */
-  File get dartiumWorkingDirectory {
+  JavaFile get dartiumWorkingDirectory {
     if (OSUtilities.isWindows() || OSUtilities.isMac()) {
       return _sdkDirectory;
     } else {
-      return newRelativeFile(_sdkDirectory, _CHROMIUM_DIRECTORY_NAME);
+      return new JavaFile.relative(_sdkDirectory, _CHROMIUM_DIRECTORY_NAME);
     }
   }
   /**
    * Return the directory containing the SDK.
    * @return the directory containing the SDK
    */
-  File get directory => _sdkDirectory;
+  JavaFile get directory => _sdkDirectory;
   /**
    * Return the directory containing documentation for the SDK.
    * @return the SDK's documentation directory
    */
-  File get docDirectory => newRelativeFile(_sdkDirectory, _DOCS_DIRECTORY_NAME);
+  JavaFile get docDirectory => new JavaFile.relative(_sdkDirectory, _DOCS_DIRECTORY_NAME);
   /**
    * Return the auxiliary documentation file for the given library, or {@code null} if no such file
    * exists.
    * @param libraryName the name of the library associated with the documentation file to be
    * returned
    * @return the auxiliary documentation file for the library
    */
-  File getDocFileFor(String libraryName) {
-    File dir = docDirectory;
-    if (!dir.existsSync()) {
+  JavaFile getDocFileFor(String libraryName) {
+    JavaFile dir = docDirectory;
+    if (!dir.exists()) {
       return null;
     }
-    File libDir = newRelativeFile(dir, libraryName);
-    File docFile = newRelativeFile(libDir, "${libraryName}${_DOC_FILE_SUFFIX}");
-    if (docFile.existsSync()) {
+    JavaFile libDir = new JavaFile.relative(dir, libraryName);
+    JavaFile docFile = new JavaFile.relative(libDir, "${libraryName}${_DOC_FILE_SUFFIX}");
+    if (docFile.exists()) {
       return docFile;
     }
     return null;
   }
   /**
    * Return the directory within the SDK directory that contains the libraries.
    * @return the directory that contains the libraries
    */
-  File get libraryDirectory => newRelativeFile(_sdkDirectory, _LIB_DIRECTORY_NAME);
+  JavaFile get libraryDirectory => new JavaFile.relative(_sdkDirectory, _LIB_DIRECTORY_NAME);
   /**
    * Return the directory within the SDK directory that contains the packages.
    * @return the directory that contains the packages
    */
-  File get packageDirectory => newRelativeFile(directory, _PKG_DIRECTORY_NAME);
+  JavaFile get packageDirectory => new JavaFile.relative(directory, _PKG_DIRECTORY_NAME);
   /**
    * Return an array containing all of the libraries defined in this SDK.
    * @return the libraries defined in this SDK
    */
   List<SdkLibrary> get sdkLibraries => _libraryMap.sdkLibraries;
   /**
    * Return the revision number of this SDK, or {@code "0"} if the revision number cannot be
    * discovered.
    * @return the revision number of this SDK
    */
   String get sdkVersion {
     {
       if (_sdkVersion == null) {
         _sdkVersion = _DEFAULT_VERSION;
-        File revisionFile = newRelativeFile(_sdkDirectory, _REVISION_FILE_NAME);
+        JavaFile revisionFile = new JavaFile.relative(_sdkDirectory, _REVISION_FILE_NAME);
         try {
           String revision = revisionFile.readAsStringSync();
           if (revision != null) {
             _sdkVersion = revision;
           }
         } on IOException catch (exception) {
         }
       }
     }
     return _sdkVersion;
   }
   /**
    * Return an array containing the library URI's for the libraries defined in this SDK.
    * @return the library URI's for the libraries defined in this SDK
    */
   List<String> get uris => _libraryMap.uris;
   /**
    * Return the file containing the VM executable, or {@code null} if it does not exist.
    * @return the file containing the VM executable
    */
-  File get vmExecutable {
+  JavaFile get vmExecutable {
     {
       if (_vmExecutable == null) {
-        File file = newRelativeFile(newRelativeFile(_sdkDirectory, _BIN_DIRECTORY_NAME), binaryName);
-        if (file.existsSync()) {
+        JavaFile file = new JavaFile.relative(new JavaFile.relative(_sdkDirectory, _BIN_DIRECTORY_NAME), binaryName);
+        if (file.exists()) {
           _vmExecutable = file;
         }
       }
     }
     return _vmExecutable;
   }
   /**
    * Return {@code true} if this SDK includes documentation.
    * @return {@code true} if this installation of the SDK has documentation
    */
-  bool hasDocumentation() => docDirectory.existsSync();
+  bool hasDocumentation() => docDirectory.exists();
   /**
    * Return {@code true} if the Dartium binary is available.
    * @return {@code true} if the Dartium binary is available
    */
   bool isDartiumInstalled() => dartiumExecutable != null;
   /**
    * Return the file representing the library with the given {@code dart:} URI, or {@code null} if
    * the given URI does not denote a library in this SDK.
    * @param dartUri the URI of the library to be returned
    * @return the file representing the specified library
    */
-  File mapDartUri(String dartUri) {
+  JavaFile mapDartUri(String dartUri) {
     SdkLibrary library = _libraryMap.getLibrary(dartUri);
     if (library == null) {
       return null;
     }
-    return newRelativeFile(libraryDirectory, library.path);
+    return new JavaFile.relative(libraryDirectory, library.path);
   }
   /**
    * Ensure that the dart VM is executable. If it is not, make it executable and log that it was
    * necessary for us to do so.
    */
   void ensureVmIsExecutable() {
   }
   /**
    * Return the name of the file containing the VM executable.
    * @return the name of the file containing the VM executable
@@ skipping 16 matching lines @@
       return _DARTIUM_EXECUTABLE_NAME_MAC;
     } else {
       return _DARTIUM_EXECUTABLE_NAME_LINUX;
     }
   }
   /**
    * Read all of the configuration files to initialize the library maps.
    */
   void initializeLibraryMap() {
     try {
-      File librariesFile = newRelativeFile(newRelativeFile(libraryDirectory, _INTERNAL_DIR), _LIBRARIES_FILE);
+      JavaFile librariesFile = new JavaFile.relative(new JavaFile.relative(libraryDirectory, _INTERNAL_DIR), _LIBRARIES_FILE);
       String contents = librariesFile.readAsStringSync();
       _libraryMap = new SdkLibrariesReader().readFrom(librariesFile, contents);
     } on JavaException catch (exception) {
       AnalysisEngine.instance.logger.logError3(exception);
       _libraryMap = new LibraryMap();
     }
   }
   /**
    * Initialize the state of the SDK.
    */
   void initializeSdk() {
     if (!OSUtilities.isWindows()) {
       ensureVmIsExecutable();
     }
   }
 }