https://github.com/akkartik/mu1/blob/master/063array.mu
1 scenario array-from-args [
2 run [
3 local-scope
4 x:&:@:num <- new-array 0, 1, 2
5 10:@:num/raw <- copy *x
6 ]
7 memory-should-contain [
8 10 <- 3
9 11 <- 0
10 12 <- 1
11 13 <- 2
12 ]
13 ]
14
15
16 def new-array -> result:&:@:_elem [
17 local-scope
18 capacity:num <- copy 0
19 {
20
21 curr-value:_elem, exists?:bool <- next-input
22 break-unless exists?
23 capacity <- add capacity, 1
24 loop
25 }
26 result <- new _elem:type, capacity
27 rewind-inputs
28 i:num <- copy 0
29 {
30
31 done?:bool <- greater-or-equal i, capacity
32 break-if done?
33 curr-value:_elem, exists?:bool <- next-input
34 assert exists?, [error in rewinding inputs to new-array]
35 *result <- put-index *result, i, curr-value
36 i <- add i, 1
37 loop
38 }
39 return result
40 ]
41
42
43
44 def fill array:&:@:num -> array:&:@:num [
45 local-scope
46 load-inputs
47 loopn:num <- copy 0
48 length:num <- length *array
49 {
50 length?:bool <- equal loopn, length
51 break-if length?
52 object:num, arg-received?:bool <- next-input
53 break-unless arg-received?
54 *array <- put-index *array, loopn, object
55 loopn <- add loopn, 1
56 loop
57 }
58 ]
59
60 scenario fill-on-an-empty-array [
61 local-scope
62 array:&:@:num <- new number:type, 3
63 run [
64 array <- fill array, 1 2 3
65 10:@:num/raw <- copy *array
66 ]
67 memory-should-contain [
68 10 <- 3
69 11 <- 1
70 12 <- 2
71 13 <- 3
72 ]
73 ]
74
75 scenario fill-overwrites-existing-values [
76 local-scope
77 array:&:@:num <- new number:type, 3
78 *array <- put-index *array, 0, 4
79 run [
80 array <- fill array, 1 2 3
81 10:@:num/raw <- copy *array
82 ]
83 memory-should-contain [
84 10 <- 3
85 11 <- 1
86 12 <- 2
87 13 <- 3
88 ]
89 ]
90
91 scenario fill-exits-gracefully-when-given-no-inputs [
92 local-scope
93 array:&:@:num <- new number:type, 3
94 run [
95 array <- fill array
96 10:@:num/raw <- copy *array
97 ]
98 memory-should-contain [
99 10 <- 3
100 11 <- 0
101 12 <- 0
102 13 <- 0
103 ]
104 ]
105
106
107
108 def swap array:&:@:num, index1:num, index2:num -> array:&:@:num [
109 local-scope
110 load-inputs
111 object1:num <- index *array, index1
112 object2:num <- index *array, index2
113 *array <- put-index *array, index1, object2
114 *array <- put-index *array, index2, object1
115 ]
116
117 scenario swap-works [
118 local-scope
119 array:&:@:num <- new number:type, 4
120 array <- fill array, 4 3 2 1
121 run [
122 array <- swap array, 0, 2
123 10:num/raw <- index *array, 0
124 11:num/raw <- index *array, 2
125 ]
126 memory-should-contain [
127 10 <- 2
128 11 <- 4
129 ]
130 ]
131
132
133
134 def reverse array:&:@:_elem -> array:&:@:_elem [
135 local-scope
136 load-inputs
137 start:num <- copy 0
138 length:num <- length *array
139 end:num <- subtract length, 1
140 {
141 done?:bool <- greater-or-equal start, end
142 break-if done?
143 array <- swap array, start, end
144 start <- add start, 1
145 end <- subtract end, 1
146 loop
147 }
148 ]
149
150 scenario reverse-array-odd-length [
151 local-scope
152 array:&:@:num <- new number:type, 3
153 array <- fill array, 3 2 1
154 run [
155 array <- reverse array
156 10:@:num/raw <- copy *array
157 ]
158 memory-should-contain [
159 10 <- 3
160 11 <- 1
161 12 <- 2
162 13 <- 3
163 ]
164 ]
165
166 scenario reverse-array-even-length [
167 local-scope
168 array:&:@:num <- new number:type, 4
169 array <- fill array, 4 3 2 1
170 run [
171 array <- reverse array
172 10:@:num/raw <- copy *array
173 ]
174 memory-should-contain [
175 10 <- 4
176 11 <- 1
177 12 <- 2
178 13 <- 3
179 14 <- 4
180 ]
181 ]