blob: 3afecf5cf07bb85a2ac11908f3371a3aa1368d69 (
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
|
scenario array-from-args [
run [
1:address:array:location <- init-array 0:literal, 1:literal, 2:literal
2:array:location <- copy 1:address:array:location/deref
]
memory should contain [
2 <- 3 # array length
3 <- 0
4 <- 1
5 <- 2
]
]
# create an array out of a list of scalar args
recipe init-array [
default-space:address:array:location <- new location:type, 30:literal
capacity:integer <- copy 0:literal
{
# while read curr-value
curr-value:location, exists?:boolean <- next-ingredient
break-unless exists?:boolean
capacity:integer <- add capacity:integer, 1:literal
loop
}
result:address:array:location <- new location:type, capacity:integer
rewind-ingredients
i:integer <- copy 0:literal
{
# while read curr-value
done?:boolean <- greater-or-equal i:integer, capacity:integer
break-if done?:boolean
curr-value:location, exists?:boolean <- next-ingredient
assert exists?:boolean, [error in rewinding ingredients to init-array]
tmp:address:location <- index-address result:address:array:location/deref, i:integer
tmp:address:location/deref <- copy curr-value:location
i:integer <- add i:integer, 1:literal
loop
}
reply result:address:array:location
]
|