| Index: sdk/lib/_internal/compiler/implementation/filenames.dart
|
| diff --git a/sdk/lib/_internal/compiler/implementation/filenames.dart b/sdk/lib/_internal/compiler/implementation/filenames.dart
|
| deleted file mode 100644
|
| index 32aca5374e2a00286af112f15b79aa18e1d5aa44..0000000000000000000000000000000000000000
|
| --- a/sdk/lib/_internal/compiler/implementation/filenames.dart
|
| +++ /dev/null
|
| @@ -1,34 +0,0 @@
|
| -// 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.
|
| -
|
| -library filenames;
|
| -
|
| -import 'dart:io' show Platform;
|
| -
|
| -// For information about how to convert Windows file names to URIs:
|
| -// http://blogs.msdn.com/b/ie/archive/2006/12/06/file-uris-in-windows.aspx
|
| -
|
| -String nativeToUriPath(String filename) {
|
| - // TODO(ahe): It would be nice to use a Dart library instead.
|
| - if (!Platform.isWindows) return filename;
|
| - filename = filename.replaceAll('\\', '/');
|
| - if (filename.length > 2 && filename[1] == ':') {
|
| - filename = "/$filename";
|
| - }
|
| - return filename;
|
| -}
|
| -
|
| -String uriPathToNative(String path) {
|
| - // TODO(ahe): It would be nice to use a Dart library instead.
|
| - if (!Platform.isWindows) return path;
|
| - if (path.length > 3 && path[0] == '/' && path[2] == ':') {
|
| - return path.substring(1).replaceAll('/', '\\');
|
| - } else {
|
| - return path.replaceAll('/', '\\');
|
| - }
|
| -}
|
| -
|
| -final Uri currentDirectory = Uri.base;
|
| -
|
| -String appendSlash(String path) => path.endsWith('/') ? path : '$path/';
|
|
|