blob: 936ef7227203ed39fedde1d7a641fe59bc80cef8 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
class Directory(var dir_ : String)
{
if (!dir_.startsWith("/")) {
throw new RuntimeException("Invalid directory")
}
dir_ = dir_.replaceAll("/{2,}", "/")
def this(serialized : Array[byte]) = {
this(new String(serialized, "UTF-8"))
}
def dir = dir_
}
object Test extends Directory("/bab/dkkd//dkkdkd//kdkdk") with Application {
println(dir)
}
|