Index: sdk/lib/uri/helpers.dart |
diff --git a/sdk/lib/uri/helpers.dart b/sdk/lib/uri/helpers.dart |
deleted file mode 100644 |
index 2a16a47c7376c3116233fe64e5d12b99b807194a..0000000000000000000000000000000000000000 |
--- a/sdk/lib/uri/helpers.dart |
+++ /dev/null |
@@ -1,29 +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. |
- |
-part of dart.uri; |
- |
-String merge(String base, String reference) { |
- if (base == "") return "/$reference"; |
- return "${base.substring(0, base.lastIndexOf("/") + 1)}$reference"; |
-} |
- |
-String removeDotSegments(String path) { |
- List<String> output = []; |
- bool appendSlash = false; |
- for (String segment in path.split("/")) { |
- appendSlash = false; |
- if (segment == "..") { |
- if (!output.isEmpty && |
- ((output.length != 1) || (output[0] != ""))) output.removeLast(); |
- appendSlash = true; |
- } else if ("." == segment) { |
- appendSlash = true; |
- } else { |
- output.add(segment); |
- } |
- } |
- if (appendSlash) output.add(""); |
- return output.join("/"); |
-} |