-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathfs_test.mbt
More file actions
129 lines (115 loc) · 3.02 KB
/
fs_test.mbt
File metadata and controls
129 lines (115 loc) · 3.02 KB
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
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
///|
fn create_then_remove_file(filename : String) -> Unit raise @sys.SysError {
let file = @sys.create_file(filename)
file.close()
return @sys.remove_file(filename)
}
///|
fn create_then_remove_dir(dirname : String) -> Unit raise @sys.SysError {
@sys.create_dir(dirname)
return @sys.remove_dir(dirname)
}
///|
test {
create_then_remove_file("blobs/temp.txt")
create_then_remove_dir("blobs/temp")
}
///|
fn create_when_exist(filename : String) -> Unit raise @sys.SysError {
// will clear file contents
let file = @sys.create_file(filename)
file.close()
}
///|
test {
create_when_exist("blobs/empty.txt")
}
///|
fn filesize(filename : String) -> Int raise Error {
let file = @sys.open_file(filename) catch {
_ => fail("Failed to open file: \{filename}")
}
let metadata = file.metadata() catch {
_ => fail("Failed to retrieve metadata for file: \{filename}")
}
metadata.filesize()
}
///|
fn isdir(filename : String) -> Bool raise Error {
let file = @sys.open_file(filename) catch {
_ => fail("Failed to open file: \{filename}")
}
let metadata = file.metadata() catch {
_ => fail("Failed to retrieve metadata for file: \{filename}")
}
metadata.is_dir()
}
///|
test {
assert_true(isdir("blobs/"))
assert_false(isdir("blobs/not_dir.txt"))
}
///|
test {
assert_eq(filesize("blobs/foo.txt"), 6)
assert_eq(filesize("blobs/bar.txt"), 17)
}
///|
fn read_all(filename : String) -> Bytes raise @sys.SysError {
let file = @sys.open_file(filename)
let bytes = file.read_all()
file.close()
return bytes
}
///|
fn read(filename : String, content : Bytes) -> Unit raise Error {
let file = @sys.open_file(filename)
let buf = FixedArray::make(content.length(), b'\x00')
let bytes_read = file.read(buf)
file.close()
for i in 0..<bytes_read {
if buf[i] != content[i] {
raise fail("buf[\{i}] = \{buf[i]}, content[\{i}] = \{content[i]}")
}
}
}
///|
test {
read("blobs/rfoo.txt", b"\x41\x42\x43\x44\x45\x46")
read(
"blobs/rbar.txt", b"\x31\x30\x0a\x31\x31\x0a\x31\x32\x0a\x31\x33\x0a\x31\x34\x0a\x31\x35",
)
}
///|
test {
assert_eq(read_all("blobs/rfoo.txt"), b"ABCDEF")
assert_eq(read_all("blobs/rbar.txt"), b"10\x0a11\x0a12\x0a13\x0a14\x0a15")
assert_true(
(try? read_all("not_exist.txt")).map_err(err => err.kind()) is Err(NotFound),
)
}
///|
fn write_all(filename : String, content : Bytes) -> Unit raise Error {
let file = @sys.create_file(filename) catch {
_ => fail("File::create(): \{filename} failed")
}
file.write_all(content) catch {
_ => fail("File::write_all(): \{filename} failed")
}
file.close()
}
///|
test {
write_all("blobs/wfoo.txt", b"\x41\x42\x43\x44\x45\x46")
write_all(
"blobs/wbar.txt", b"\x31\x30\x0a\x31\x31\x0a\x31\x32\x0a\x31\x33\x0a\x31\x34\x0a\x31\x35",
)
let bar2 = @sys.create_file("blobs/wbar2.txt")
bar2.write_all(b"\x31\x30\x0a")
bar2.write_all(b"\x31\x31\x0a")
bar2.write_all(b"\x31\x32\x0a")
bar2.write_all(b"\x31\x33\x0a")
bar2.write_all(b"\x31\x34\x0a")
bar2.write_all(b"\x31\x35")
bar2.close()
}