mu/cpp/035call

104 lines
3.0 KiB
Plaintext
Raw Normal View History

2015-04-17 18:22:59 +00:00
//: So far the recipes we define can't run each other. Let's fix that.
2015-04-24 17:19:03 +00:00
:(scenario calling_recipe)
2015-03-14 00:39:32 +00:00
recipe main [
f
]
recipe f [
3:integer <- add 2:literal, 2:literal
]
2015-03-24 06:59:59 +00:00
+mem: storing 4 in location 3
2015-04-24 17:19:03 +00:00
:(scenario return_on_fallthrough)
recipe main [
f
1:integer <- copy 34:literal
2:integer <- copy 34:literal
3:integer <- copy 34:literal
]
recipe f [
4:integer <- copy 34:literal
5:integer <- copy 34:literal
]
+run: instruction main/0
+run: instruction f/0
+run: instruction f/1
+run: instruction main/1
+run: instruction main/2
+run: instruction main/3
:(before "struct routine {")
// Everytime a recipe runs another, we interrupt it and start running the new
// recipe. When that finishes, we continue this one where we left off.
// This requires maintaining a 'stack' of interrupted recipes or 'calls'.
struct call {
recipe_number running_recipe;
2015-04-25 03:41:37 +00:00
size_t running_step_index;
2015-04-13 03:56:45 +00:00
// End call Fields
2015-04-25 03:41:37 +00:00
call(recipe_number r) :running_recipe(r), running_step_index(0) {}
};
typedef stack<call> call_stack;
:(replace{} "struct routine")
struct routine {
call_stack calls;
2015-04-13 03:56:45 +00:00
// End routine Fields
2015-03-27 17:51:27 +00:00
routine(recipe_number r);
2015-04-25 03:00:56 +00:00
bool completed() const;
2015-03-27 17:51:27 +00:00
};
:(code)
routine::routine(recipe_number r) {
calls.push(call(r));
}
//:: now update routine's helpers
2015-04-25 03:23:34 +00:00
:(replace{} "inline size_t& current_step_index()")
inline size_t& current_step_index() {
2015-04-25 03:41:37 +00:00
return Current_routine->calls.top().running_step_index;
}
2015-04-25 03:25:33 +00:00
:(replace{} "inline const string& current_recipe_name()")
inline const string& current_recipe_name() {
return Recipe[Current_routine->calls.top().running_recipe].name;
}
:(replace{} "inline vector<instruction>& steps()")
inline vector<instruction>& steps() {
return Recipe[Current_routine->calls.top().running_recipe].steps;
}
:(replace{} "inline const instruction& current_instruction()")
inline const instruction& current_instruction() {
2015-04-25 03:41:37 +00:00
return Recipe[Current_routine->calls.top().running_recipe].steps[Current_routine->calls.top().running_step_index];
}
2015-03-15 05:25:06 +00:00
2015-04-13 03:47:49 +00:00
:(replace{} "default:" following "End Primitive Recipe Implementations")
2015-03-15 00:10:33 +00:00
default: {
2015-04-17 18:22:59 +00:00
// not a primitive; try to look up the book of recipes
if (Recipe.find(current_instruction().operation) == Recipe.end()) {
raise << "undefined operation " << current_instruction().operation << ": " << current_instruction().name << '\n';
2015-03-15 00:10:33 +00:00
break;
}
Current_routine->calls.push(call(current_instruction().operation));
2015-04-25 03:37:55 +00:00
continue; // not done with caller; don't increment current_step_index()
2015-03-15 00:10:33 +00:00
}
//:: finally, we need to fix the termination conditions for the run loop
2015-03-17 03:41:12 +00:00
2015-04-25 03:00:56 +00:00
:(replace{} "inline bool routine::completed() const")
inline bool routine::completed() const {
return calls.empty();
}
2015-03-14 08:09:20 +00:00
:(before "Running One Instruction")
// when we reach the end of one call, we may reach the end of the one below
// it, and the one below that, and so on
2015-04-25 03:23:34 +00:00
while (current_step_index() >= steps().size()) {
Current_routine->calls.pop();
if (Current_routine->calls.empty()) return;
// todo: no results returned warning
2015-04-25 03:23:34 +00:00
++current_step_index();
2015-03-14 08:09:20 +00:00
}
2015-04-06 19:21:18 +00:00
:(before "End Includes")
#include <stack>
using std::stack;