blob: 039f10c8bbea26453f9c9c56f62997f1a777954d (
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
|
//: Clean syntax to manipulate and check the keyboard in scenarios.
//: Instruction 'assume-keyboard' implicitly creates a variable called
//: 'keyboard' that is accessible inside other 'run' instructions in the
//: scenario.
:(scenarios run_mu_scenario)
:(scenario keyboard_in_scenario)
scenario keyboard-in-scenario [
assume-keyboard [abc]
run [
1:character, 2:boolean, keyboard:address <- read-key keyboard:address
3:character, 4:boolean, keyboard:address <- read-key keyboard:address
5:character, 6:boolean, keyboard:address <- read-key keyboard:address
7:character, 8:boolean, keyboard:address <- read-key keyboard:address
]
memory-should-contain [
1 <- 97 # 'a'
2 <- 1
3 <- 98 # 'b'
4 <- 1
5 <- 99 # 'c'
6 <- 1
7 <- 0 # eof
8 <- 1
]
]
:(before "End Scenario Globals")
const size_t KEYBOARD = Next_predefined_global_for_scenarios++;
:(before "End Predefined Scenario Locals In Run")
Name[tmp_recipe.at(0)]["keyboard"] = KEYBOARD;
:(before "End Rewrite Instruction(curr)")
// rewrite `assume-keyboard string` to
// ```
// keyboard:address <- new string # hacky reuse of location
// keyboard:address <- init-fake-keyboard keyboard:address
// ```
if (curr.name == "assume-keyboard") {
// insert first instruction
curr.operation = Recipe_number["new"];
assert(curr.products.empty());
curr.products.push_back(reagent("keyboard:address"));
curr.products.at(0).set_value(KEYBOARD);
result.steps.push_back(curr); // hacky that "Rewrite Instruction" is converting to multiple instructions
// leave second instruction in curr
curr.clear();
curr.operation = Recipe_number["init-fake-keyboard"];
assert(curr.ingredients.empty());
curr.ingredients.push_back(reagent("keyboard:address"));
curr.ingredients.at(0).set_value(KEYBOARD);
assert(curr.products.empty());
curr.products.push_back(reagent("keyboard:address"));
curr.products.at(0).set_value(KEYBOARD);
}
|