blob: aa6bceb42cd4a29e8c5a0cf0c496fc4cf8642403 (
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
|
:(scenarios run)
:(scenario copy_literal)
recipe main [
1:integer <- copy 23:literal
]
+run: instruction 0
+run: ingredient 0 is 23
+mem: storing in location 1
:(scenario copy)
recipe main [
1:integer <- copy 23:literal
2:integer <- copy 1:integer
]
+run: instruction 1
+run: ingredient 0 is 1
+mem: location 1 is 23
+mem: storing in location 2
:(code)
void run(string form) {
run(add_recipe(form));
}
void run(recipe_number r) {
vector<instruction>& instructions(Recipe[r].steps);
int n = 0;
vector<instruction>::iterator p;
for (n = 0, p = instructions.begin(); p != instructions.end(); ++p, ++n) {
trace("run") << "instruction " << n;
switch (p->operation) {
// Primitive Recipe Implementations.
case 1: { // copy
trace("run") << "ingredient 0 is " << p->ingredients[0].name;
vector<int> data = read_memory(p->ingredients[0]);
write_memory(p->products[0], data);
break;
}
// End Primitive Recipe Implementations.
default:
raise << "undefined operation " << p->operation;
}
}
}
vector<int> read_memory(reagent x) {
vector<int> result;
if (x.types[0] == 0) { // literal
result.push_back(to_int(x.name));
return result;
}
int val = Memory[to_int(x.name)];
trace("mem") << "location " << x.name << " is " << val;
result.push_back(val);
return result;
}
void write_memory(reagent x, vector<int> data) {
int dest = to_int(x.name);
trace("mem") << "storing in location " << dest;
Memory[dest] = data[0];
}
:(code)
int to_int(string n) {
char* end = NULL;
int result = strtol(n.c_str(), &end, /*any base*/0);
assert(*end == '\0');
return result;
}
|