about summary refs log tree commit diff stats
path: root/090scenario_filesystem_test.mu
blob: b959c141f4d716bfc3d670f77db826efdd0b606a (plain) (blame)
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
# Check our support for fake file systems in scenarios.

scenario read-from-fake-file [
  local-scope
  assume-filesystem [
    [a] <- [
      |xyz|
    ]
  ]
  contents:address:source:character <- start-reading filesystem:address:filesystem, [a]
  1:character/raw <- read contents
  2:character/raw <- read contents
  3:character/raw <- read contents
  4:character/raw <- read contents
  _, 5:boolean/raw <- read contents
  memory-should-contain [
    1 <- 120  # x
    2 <- 121  # y
    3 <- 122  # z
    4 <- 10  # newline
    5 <- 1  # eof
  ]
]

scenario write-to-fake-file [
  local-scope
  assume-filesystem [
  ]
  sink:address:sink:character, writer:number/routine <- start-writing filesystem:address:filesystem, [a]
  sink <- write sink, 120/x
  sink <- write sink, 121/y
  close sink
  wait-for-routine writer
  contents-read-back:address:array:character <- slurp filesystem, [a]
  10:boolean/raw <- equal contents-read-back, [xy]
  memory-should-contain [
    10 <- 1  # file contents read back exactly match what was written
  ]
]

scenario write-to-fake-file-that-exists [
  local-scope
  assume-filesystem [
    [a] <- []
  ]
  sink:address:sink:character, writer:number/routine <- start-writing filesystem:address:filesystem, [a]
  sink <- write sink, 120/x
  sink <- write sink, 121/y
  close sink
  wait-for-routine writer
  contents-read-back:address:array:character <- slurp filesystem, [a]
  10:boolean/raw <- equal contents-read-back, [xy]
  memory-should-contain [
    10 <- 1  # file contents read back exactly match what was written
  ]
]

scenario write-to-existing-file-preserves-other-files [
  local-scope
  assume-filesystem [
    [a] <- []
    [b] <- [
      |bcd|
    ]
  ]
  sink:address:sink:character, writer:number/routine <- start-writing filesystem:address:filesystem, [a]
  sink <- write sink, 120/x
  sink <- write sink, 121/y
  close sink
  wait-for-routine writer
  contents-read-back:address:array:character <- slurp filesystem, [a]
  10:boolean/raw <- equal contents-read-back, [xy]
  other-file-contents:address:array:character <- slurp filesystem, [b]
  11:boolean/raw <- equal other-file-contents, [bcd
]
  memory-should-contain [
    10 <- 1  # file contents read back exactly match what was written
    11 <- 1  # other files also continue to persist unchanged
  ]
]

def slurp fs:address:filesystem, filename:address:array:character -> contents:address:array:character [
  local-scope
  load-ingredients
  source:address:source:character <- start-reading fs, filename
  buf:address:buffer <- new-buffer 30/capacity
  {
    c:character, done?:boolean, source <- read source
    break-if done?
    buf <- append buf, c
    loop
  }
  contents <- buffer-to-array buf
]