this repo has no description
at master 407 lines 12 kB view raw
1// Copyright 2020 CUE Authors 2// 3// Licensed under the Apache License, Version 2.0 (the "License"); 4// you may not use this file except in compliance with the License. 5// You may obtain a copy of the License at 6// 7// http://www.apache.org/licenses/LICENSE-2.0 8// 9// Unless required by applicable law or agreed to in writing, software 10// distributed under the License is distributed on an "AS IS" BASIS, 11// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 12// See the License for the specific language governing permissions and 13// limitations under the License. 14 15// Copyright 2009 The Go Authors. All rights reserved. 16// Use of this source code is governed by a BSD-style 17// license that can be found in the LICENSE file. 18 19// Package path implements utility routines for manipulating filename paths as 20// defined by targetted operating systems, and also paths that always use 21// forward slashes regardless of the operating system, such as URLs. 22package path 23 24import ( 25 "errors" 26 "strings" 27) 28 29// A lazybuf is a lazily constructed path buffer. 30// It supports append, reading previously appended bytes, 31// and retrieving the final string. It does not allocate a buffer 32// to hold the output until that output diverges. 33type lazybuf struct { 34 path string 35 buf []byte 36 w int 37 volAndPath string 38 volLen int 39} 40 41func (b *lazybuf) index(i int) byte { 42 if b.buf != nil { 43 return b.buf[i] 44 } 45 return b.path[i] 46} 47 48func (b *lazybuf) append(c byte) { 49 if b.buf == nil { 50 if b.w < len(b.path) && b.path[b.w] == c { 51 b.w++ 52 return 53 } 54 b.buf = make([]byte, len(b.path)) 55 copy(b.buf, b.path[:b.w]) 56 } 57 b.buf[b.w] = c 58 b.w++ 59} 60 61func (b *lazybuf) string() string { 62 if b.buf == nil { 63 return b.volAndPath[:b.volLen+b.w] 64 } 65 return b.volAndPath[:b.volLen] + string(b.buf[:b.w]) 66} 67 68// Clean returns the shortest path name equivalent to path 69// by purely lexical processing. The default value for os is Unix. 70// It applies the following rules 71// iteratively until no further processing can be done: 72// 73// 1. Replace multiple Separator elements with a single one. 74// 2. Eliminate each . path name element (the current directory). 75// 3. Eliminate each inner .. path name element (the parent directory) 76// along with the non-.. element that precedes it. 77// 4. Eliminate .. elements that begin a rooted path: 78// that is, replace "/.." by "/" at the beginning of a path, 79// assuming Separator is '/'. 80// 81// The returned path ends in a slash only if it represents a root directory, 82// such as "/" on Unix or `C:\` on Windows. 83// 84// Finally, any occurrences of slash are replaced by Separator. 85// 86// If the result of this process is an empty string, Clean 87// returns the string ".". 88// 89// See also Rob Pike, “Lexical File Names in Plan 9 or 90// Getting Dot-Dot Right,” 91// https://9p.io/sys/doc/lexnames.html 92func Clean(path string, os OS) string { 93 return clean(path, getOS(os)) 94} 95 96func clean(path string, os os) string { 97 originalPath := path 98 volLen := os.volumeNameLen(path) 99 path = path[volLen:] 100 if path == "" { 101 if volLen > 1 && originalPath[1] != ':' { 102 // should be UNC 103 return fromSlash(originalPath, os) 104 } 105 return originalPath + "." 106 } 107 rooted := os.IsPathSeparator(path[0]) 108 109 // Invariants: 110 // reading from path; r is index of next byte to process. 111 // writing to buf; w is index of next byte to write. 112 // dotdot is index in buf where .. must stop, either because 113 // it is the leading slash or it is a leading ../../.. prefix. 114 n := len(path) 115 out := lazybuf{path: path, volAndPath: originalPath, volLen: volLen} 116 r, dotdot := 0, 0 117 if rooted { 118 out.append(os.Separator) 119 r, dotdot = 1, 1 120 } 121 122 for r < n { 123 switch { 124 case os.IsPathSeparator(path[r]): 125 // empty path element 126 r++ 127 case path[r] == '.' && (r+1 == n || os.IsPathSeparator(path[r+1])): 128 // . element 129 r++ 130 case path[r] == '.' && path[r+1] == '.' && (r+2 == n || os.IsPathSeparator(path[r+2])): 131 // .. element: remove to last separator 132 r += 2 133 switch { 134 case out.w > dotdot: 135 // can backtrack 136 out.w-- 137 for out.w > dotdot && !os.IsPathSeparator(out.index(out.w)) { 138 out.w-- 139 } 140 case !rooted: 141 // cannot backtrack, but not rooted, so append .. element. 142 if out.w > 0 { 143 out.append(os.Separator) 144 } 145 out.append('.') 146 out.append('.') 147 dotdot = out.w 148 } 149 default: 150 // real path element. 151 // add slash if needed 152 if rooted && out.w != 1 || !rooted && out.w != 0 { 153 out.append(os.Separator) 154 } 155 // copy element 156 for ; r < n && !os.IsPathSeparator(path[r]); r++ { 157 out.append(path[r]) 158 } 159 } 160 } 161 162 // Turn empty string into "." 163 if out.w == 0 { 164 out.append('.') 165 } 166 167 return fromSlash(out.string(), os) 168} 169 170// ToSlash returns the result of replacing each separator character 171// in path with a slash ('/') character. Multiple separators are 172// replaced by multiple slashes. 173func ToSlash(path string, os OS) string { 174 return toSlash(path, getOS(os)) 175} 176 177func toSlash(path string, os os) string { 178 if os.Separator == '/' { 179 return path 180 } 181 return strings.ReplaceAll(path, string(os.Separator), "/") 182} 183 184// FromSlash returns the result of replacing each slash ('/') character 185// in path with a separator character. Multiple slashes are replaced 186// by multiple separators. 187func FromSlash(path string, os OS) string { 188 return fromSlash(path, getOS(os)) 189} 190 191func fromSlash(path string, os os) string { 192 if os.Separator == '/' { 193 return path 194 } 195 return strings.ReplaceAll(path, "/", string(os.Separator)) 196} 197 198// SplitList splits a list of paths joined by the OS-specific ListSeparator, 199// usually found in PATH or GOPATH environment variables. 200// Unlike strings.Split, SplitList returns an empty slice when passed an empty 201// string. 202func SplitList(path string, os OS) []string { 203 return getOS(os).splitList(path) 204} 205 206// Split splits path immediately following the final slash and returns them as 207// the list [dir, file], separating it into a directory and file name component. 208// If there is no slash in path, Split returns an empty dir and file set to 209// path. The returned values have the property that path = dir+file. 210// The default value for os is Unix. 211func Split(path string, os OS) []string { 212 x := getOS(os) 213 vol := volumeName(path, x) 214 i := len(path) - 1 215 for i >= len(vol) && !x.IsPathSeparator(path[i]) { 216 i-- 217 } 218 return []string{path[:i+1], path[i+1:]} 219} 220 221// Join joins any number of path elements into a single path, 222// separating them with an OS specific Separator. Empty elements 223// are ignored. The result is Cleaned. However, if the argument 224// list is empty or all its elements are empty, Join returns 225// an empty string. 226// On Windows, the result will only be a UNC path if the first 227// non-empty element is a UNC path. 228// The default value for os is Unix. 229func Join(elem []string, os OS) string { 230 return getOS(os).join(elem) 231} 232 233// Ext returns the file name extension used by path. 234// The extension is the suffix beginning at the final dot 235// in the final element of path; it is empty if there is 236// no dot. The default value for os is Unix. 237func Ext(path string, os OS) string { 238 x := getOS(os) 239 for i := len(path) - 1; i >= 0 && !x.IsPathSeparator(path[i]); i-- { 240 if path[i] == '.' { 241 return path[i:] 242 } 243 } 244 return "" 245} 246 247// Resolve reports the path of sub relative to dir. If sub is an absolute path, 248// or if dir is empty, it will return sub. If sub is empty, it will return dir. 249// Resolve calls Clean on the result. The default value for os is Unix. 250func Resolve(dir, sub string, os OS) string { 251 x := getOS(os) 252 if x.IsAbs(sub) { 253 return clean(sub, x) 254 } 255 dir = clean(dir, x) 256 return x.join([]string{dir, sub}) 257} 258 259// Rel returns a relative path that is lexically equivalent to targpath when 260// joined to basepath with an intervening separator. That is, 261// Join(basepath, Rel(basepath, targpath)) is equivalent to targpath itself. 262// On success, the returned path will always be relative to basepath, 263// even if basepath and targpath share no elements. 264// An error is returned if targpath can't be made relative to basepath or if 265// knowing the current working directory would be necessary to compute it. 266// Rel calls Clean on the result. The default value for os is Unix. 267func Rel(basepath, targpath string, os OS) (string, error) { 268 x := getOS(os) 269 baseVol := volumeName(basepath, x) 270 targVol := volumeName(targpath, x) 271 base := clean(basepath, x) 272 targ := clean(targpath, x) 273 if x.sameWord(targ, base) { 274 return ".", nil 275 } 276 base = base[len(baseVol):] 277 targ = targ[len(targVol):] 278 if base == "." { 279 base = "" 280 } 281 // Can't use IsAbs - `\a` and `a` are both relative in Windows. 282 baseSlashed := len(base) > 0 && base[0] == x.Separator 283 targSlashed := len(targ) > 0 && targ[0] == x.Separator 284 if baseSlashed != targSlashed || !x.sameWord(baseVol, targVol) { 285 return "", errors.New("Rel: can't make " + targpath + " relative to " + basepath) 286 } 287 // Position base[b0:bi] and targ[t0:ti] at the first differing elements. 288 bl := len(base) 289 tl := len(targ) 290 var b0, bi, t0, ti int 291 for { 292 for bi < bl && base[bi] != x.Separator { 293 bi++ 294 } 295 for ti < tl && targ[ti] != x.Separator { 296 ti++ 297 } 298 if !x.sameWord(targ[t0:ti], base[b0:bi]) { 299 break 300 } 301 if bi < bl { 302 bi++ 303 } 304 if ti < tl { 305 ti++ 306 } 307 b0 = bi 308 t0 = ti 309 } 310 if base[b0:bi] == ".." { 311 return "", errors.New("Rel: can't make " + targpath + " relative to " + basepath) 312 } 313 if b0 != bl { 314 // Base elements left. Must go up before going down. 315 seps := strings.Count(base[b0:bl], string(x.Separator)) 316 size := 2 + seps*3 317 if tl != t0 { 318 size += 1 + tl - t0 319 } 320 buf := make([]byte, size) 321 n := copy(buf, "..") 322 for i := 0; i < seps; i++ { 323 buf[n] = x.Separator 324 copy(buf[n+1:], "..") 325 n += 3 326 } 327 if t0 != tl { 328 buf[n] = x.Separator 329 copy(buf[n+1:], targ[t0:]) 330 } 331 return string(buf), nil 332 } 333 return targ[t0:], nil 334} 335 336// Base returns the last element of path. 337// Trailing path separators are removed before extracting the last element. 338// If the path is empty, Base returns ".". 339// If the path consists entirely of separators, Base returns a single separator. 340// The default value for os is Unix. 341func Base(path string, os OS) string { 342 x := getOS(os) 343 if path == "" { 344 return "." 345 } 346 // Strip trailing slashes. 347 for len(path) > 0 && x.IsPathSeparator(path[len(path)-1]) { 348 path = path[0 : len(path)-1] 349 } 350 // Throw away volume name 351 path = path[x.volumeNameLen(path):] 352 // Find the last element 353 i := len(path) - 1 354 for i >= 0 && !x.IsPathSeparator(path[i]) { 355 i-- 356 } 357 if i >= 0 { 358 path = path[i+1:] 359 } 360 // If empty now, it had only slashes. 361 if path == "" { 362 return string(x.Separator) 363 } 364 return path 365} 366 367// Dir returns all but the last element of path, typically the path's directory. 368// After dropping the final element, Dir calls Clean on the path and trailing 369// slashes are removed. 370// If the path is empty, Dir returns ".". 371// If the path consists entirely of separators, Dir returns a single separator. 372// The returned path does not end in a separator unless it is the root directory. 373// The default value for os is Unix. 374func Dir(path string, os OS) string { 375 x := getOS(os) 376 vol := volumeName(path, x) 377 i := len(path) - 1 378 for i >= len(vol) && !x.IsPathSeparator(path[i]) { 379 i-- 380 } 381 dir := clean(path[len(vol):i+1], x) 382 if dir == "." && len(vol) > 2 { 383 // must be UNC 384 return vol 385 } 386 return vol + dir 387} 388 389// IsAbs reports whether the path is absolute. The default value for os is Unix. 390// Note that because IsAbs has a default value, it cannot be used as 391// a validator. 392func IsAbs(path string, os OS) bool { 393 return getOS(os).IsAbs(path) 394} 395 396// VolumeName returns leading volume name. 397// Given "C:\foo\bar" it returns "C:" on Windows. 398// Given "\\host\share\foo" it returns "\\host\share". 399// On other platforms it returns "". 400// The default value for os is Windows. 401func VolumeName(path string, os OS) string { 402 return volumeName(path, getOS(os)) 403} 404 405func volumeName(path string, os os) string { 406 return path[:os.volumeNameLen(path)] 407}