blob: f486581f2e14b72b5ba937a4dad64848491b49fe (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
package io
sealed interface Path {
val parts: List<String>
fun toAbsolutePath(relativeTo: Absolute): Absolute {
return relativeTo.resolve(this)
}
fun resolve(path: Path): Path
companion object {
val root = Absolute(listOf())
fun ofShell(string: String, userHome: Absolute): Path =
ofShell(string.split("/"), userHome)
fun ofShell(vararg parts: String, userHome: Absolute): Path =
ofShell(parts.toList(), userHome)
fun of(vararg parts: String): Path =
of(parts.toList())
fun of(string: String): Path =
of(string.split("/"))
fun ofShell(parts: List<String>, userHome: Absolute): Path {
if (parts.firstOrNull() == "~")
return userHome.resolve(Relative(parts.subList(1, parts.size).filter { it.isNotEmpty() }))
return of(parts)
}
fun of(parts: List<String>): Path {
if (parts.isEmpty())
return root
if (parts[0] == "") // Starts with a /
return Absolute(parts.subList(1, parts.size).filter { it.isNotEmpty() })
return Relative(parts.filter { it.isNotEmpty() })
}
}
data class Relative internal constructor(override val parts: List<String>) : Path {
override fun resolve(path: Path): Path {
if (path is Absolute) return path
return Relative(this.parts + path.parts)
}
}
data class Absolute internal constructor(override val parts: List<String>) : Path {
override fun resolve(path: Path): Absolute {
if (path is Absolute) return path
return Absolute(this.parts + path.parts)
}
fun relativize(path: Path): Relative = when (path) {
is Relative -> path
is Absolute -> {
var commonPrefix = true
val partList = mutableListOf<String>()
var returns = 0
for ((idx, part) in path.parts.withIndex()) {
if (idx < this.parts.size) {
if (this.parts[idx] == part && commonPrefix) {
continue
} else {
commonPrefix = false
returns++
}
}
partList.add(part)
}
Relative(List(returns) { ".." } + partList)
}
}
}
}
|
