-
Notifications
You must be signed in to change notification settings - Fork 0
/
testfs1.c
96 lines (75 loc) · 2.15 KB
/
testfs1.c
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
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "filesystem.h"
// RUN formatfs before conducting this test!
int main(int argc, char *argv[]) {
int ret;
File f;
char buf[1000];
// should fail, file doesn't exist
printf("ret from delete_file(\"blarg\") = %d\n",
delete_file("blarg"));
fs_print_error();
// should fail, file doesn't exist
printf("ret from open_file(\"blarg\", READ_ONLY) = %p\n",
open_file("blarg", READ_ONLY));
fs_print_error();
// should succeed
f=create_file("blarg", READ_ONLY);
printf("ret from create_file(\"blarg\", READ_ONLY) = %p\n",
f);
fs_print_error();
// should succeed
close_file(f);
printf("Executed close_file(f).\n");
fs_print_error();
// should fail, file now exists
f=create_file("blarg", READ_ONLY);
printf("ret from create_file(\"blarg\", READ_ONLY) = %p\n",
f);
fs_print_error();
// should succeed
close_file(f);
printf("Executed close_file(f).\n");
fs_print_error();
// should succeed
f=open_file("blarg", READ_ONLY);
printf("ret from open_file(\"blarg\", READ_ONLY) = %p\n",
f);
fs_print_error();
// should fail, file is open for read-only
ret=write_file(f, "hello", strlen("hello"));
printf("ret from write_file(f, \"hello\", strlen(\"hello\") = %d\n",
ret);
fs_print_error();
// should succeed
close_file(f);
printf("Executed close_file(f).\n");
fs_print_error();
// should succeed
f=open_file("blarg", READ_WRITE);
printf("ret from open_file(\"blarg\", READ_WRITE) = %p\n",
f);
fs_print_error();
// should succeed, file is now open for read-write
ret=write_file(f, "hello", strlen("hello"));
printf("ret from write_file(f, \"hello\", strlen(\"hello\") = %d\n",
ret);
fs_print_error();
// should succeed
printf("Seeking to beginning of file.\n");
seek_file(f, 0);
fs_print_error();
// should succeed
bzero(buf, 1000);
ret=read_file(f, buf, strlen("hello"));
printf("ret from read_file(f, buf, strlen(\"hello\") = %d\n",
ret);
printf("buf=\"%s\"\n", buf);
fs_print_error();
// should succeed
close_file(f);
printf("Executed close_file(f).\n");
fs_print_error();
}