//: Helper for various programming environments: run arbitrary mu code and
//: return some result in string form.
:(scenario run_interactive_code)
recipe main [
1:number/raw <- copy 0
2:address:array:character <- new [1:number/raw <- copy 34]
run-interactive 2:address:array:character
3:number/raw <- copy 1:number/raw
]
+mem: storing 34 in location 3
:(scenario run_interactive_empty)
recipe main [
1:address:array:character <- copy 0/raw
2:address:array:character <- run-interactive 1:address:array:character
]
# result is null
+mem: storing 0 in location 2
//: run code in 'interactive mode', i.e. with errors+warnings off and return:
//: stringified output in case we want to print it to screen
//: any errors+warnings encountered
//: simulated screen any prints went to
//: any 'app' layer traces generated
:(before "End Primitive Recipe Declarations")
RUN_INTERACTIVE,
:(before "End Primitive Recipe Numbers")
Recipe_ordinal["run-interactive"] = RUN_INTERACTIVE;
:(before "End Primitive Recipe Checks")
case RUN_INTERACTIVE: {
if (SIZE(inst.ingredients) != 1) {
raise_error << maybe(Recipe[r].name) << "'run-interactive' requires exactly one ingredient, but got " << inst.to_string() << '\n' << end();
break;
}
if (!is_mu_string(inst.ingredients.at(0))) {
raise_error << maybe(Recipe[r].name) << "first ingredient of 'run-interactive' should be a string, but got " << inst.ingredients.at(0).to_string() << '\n' << end();
break;
}
break;
}
:(before "End Primitive Recipe Implementations")
case RUN_INTERACTIVE: {
bool new_code_pushed_to_stack = run_interactive(ingredients.at(0).at(0));
if (!new_code_pushed_to_stack) {
products.resize(5);
products.at(0).push_back(0);
products.at(1).push_back(trace_error_warning_contents());
products.at(2).push_back(0);
products.at(3).push_back(trace_app_contents());
products.at(4).push_back(1); // completed
run_code_end();
break; // done with this instruction
}
else {
continue; // not done with caller; don't increment current_step_index()
}
}
:(before "End Globals")
bool Track_most_recent_products = false;
:(before "End Tracing")
trace_stream* Save_trace_stream = NULL;
string Save_trace_file;
:(before "End Setup")
Track_most_recent_products = false;
:(code)
// reads a string, tries to call it as code (treating it as a test), saving
// all warnings.
// returns true if successfully called (no errors found during load and transform)
bool run_interactive(long long int address) {
assert(Recipe_ordinal.find("interactive") != Recipe_ordinal.end() && Recipe_ordinal["interactive"] != 0);
// try to sandbox the run as best you can
// todo: test this
if (!Current_scenario) {
for (long long int i = 1; i < Reserved_for_tests; ++i)
Memory.erase(i);
}
string command = trim(strip_comments(read_mu_string(address)));
if (command.empty()) return false;
Recipe.erase(Recipe_ordinal["interactive"]);
Name[Recipe_ordinal["interactive"]].clear();
run_code_begin();
// don't kill the current routine on parse errors
routine* save_current_routine = Current_routine;
Current_routine = NULL;
// call run(string) but without the scheduling
load(string("recipe interactive [\n") +
"local-scope\n" +
"screen:address:screen <- next-ingredient\n" +
"$start-tracking-products\n" +
command + "\n" +
"$stop-tracking-products\n" +
"reply screen\n" +
"]\n");
transform_all();
Current_routine = save_current_routine;
if (trace_count("error") > 0) return false;
// now call 'sandbox' which will run 'interactive' in a separate routine,
// and wait for it
if (Save_trace_stream) {
++Save_trace_stream->callstack_depth;
trace("trace") << "run-interactive: incrementing callstack depth to " << Save_trace_stream->callstack_depth << end();
assert(Save_trace_stream->callstack_depth < 9000); // 9998-101 plus cushion
}
Current_routine->calls.push_front(call(Recipe_ordinal["sandbox"]));
return true;
}
void run_code_begin() {
// stuff to undo later, in run_code_end()
Hide_warnings = true;
Hide_errors = true;
Disable_redefine_warnings = true;
Save_trace_stream = Trace_stream;
Save_trace_file = Trace_file;
Trace_file = "";
Trace_stream = new trace_stream;
Trace_stream->collect_depth = App_depth;
}
void run_code_end() {
Hide_warnings = false;
Hide_errors = false;
Disable_redefine_warnings = false;
delete Trace_stream;
Trace_stream = Save_trace_stream;
Save_trace_stream = NULL;
Trace_file = Save_trace_file;
Save_trace_file.clear();
}
:(before "End Load Recipes")
load(string(
"recipe interactive [\n") + // just a dummy version to initialize the Recipe_ordinal and so on
"]\n" +
"recipe sandbox [\n" +
"local-scope\n" +
"screen:address:screen/shared <- new-fake-screen 30, 5\n" +
"r:number/routine_id <- start-running interactive:recipe, screen\n" +
"limit-time r, 100000/instructions\n" +
"wait-for-routine r\n" +
"sandbox-state:number <- routine-state r/routine_id\n" +
"completed?:boolean <- equal sandbox-state, 1/completed\n" +
"output:address:array:character <- $most-recent-products\n" +
"warnings:address:array:character <- save-errors-warnings\n" +
"stashes:address:array:character <- save-app-trace\n" +
"$cleanup-run-interactive\n" +
"reply output, warnings, screen, stashes, completed?\n" +
"]\n");
transform_all();
recently_added_recipes.clear();
//: adjust errors/warnings in the sandbox
:(after "string maybe(string s)")
if (s == "interactive") return "";
:(scenario run_interactive_comments)
recipe main [
1:address:array:character <- new [# ab
add 2, 2]
2:address:array:character <- run-interactive 1:address:array:character
3:array:character <- copy *2:address:array:character
]
+mem: storing 52 in location 4
:(before "End Primitive Recipe Declarations")
_START_TRACKING_PRODUCTS,
:(before "End Primitive Recipe Numbers")
Recipe_ordinal["$start-tracking-products"] = _START_TRACKING_PRODUCTS;
:(before "End Primitive Recipe Checks")
case _START_TRACKING_PRODUCTS: {
break;
}
:(before "End Primitive Recipe Implementations")
case _START_TRACKING_PRODUCTS: {
Track_most_recent_products = true;
break;
}
:(before "End Primitive Recipe Declarations")
_STOP_TRACKING_PRODUCTS,
:(before "End Primitive Recipe Numbers")
Recipe_ordinal["$stop-tracking-products"] = _STOP_TRACKING_PRODUCTS;
:(before "End Primitive Recipe Checks")
case _STOP_TRACKING_PRODUCTS: {
break;
}
:(before "End Primitive Recipe Implementations")
case _STOP_TRACKING_PRODUCTS: {
Track_most_recent_products = false;
break;
}
:(before "End Primitive Recipe Declarations")
_MOST_RECENT_PRODUCTS,
:(before "End Primitive Recipe Numbers")
Recipe_ordinal["$most-recent-products"] = _MOST_RECENT_PRODUCTS;
:(before "End Primitive Recipe Checks")
case _MOST_RECENT_PRODUCTS: {
break;
}
:(before "End Primitive Recipe Implementations")
case _MOST_RECENT_PRODUCTS: {
products.resize(1);
products.at(0).push_back(new_mu_string(Most_recent_products));
break;
}
:(before "End Primitive Recipe Declarations")
SAVE_ERRORS_WARNINGS,
:(before "End Primitive Recipe Numbers")
Recipe_ordinal["save-errors-warnings"] = SAVE_ERRORS_WARNINGS;
:(before "End Primitive Recipe Checks")
case SAVE_ERRORS_WARNINGS: {
break;
}
:(before "End Primitive Recipe Implementations")
case SAVE_ERRORS_WARNINGS: {
products.resize(1);
products.at(0).push_back(trace_error_warning_contents());
break;
}
:(before "End Primitive Recipe Declarations")
SAVE_APP_TRACE,
:(before "End Primitive Recipe Numbers")
Recipe_ordinal["save-app-trace"] = SAVE_APP_TRACE;
:(before "End Primitive Recipe Checks")
case SAVE_APP_TRACE: {
break;
}
:(before "End Primitive Recipe Implementations")
case SAVE_APP_TRACE: {
products.resize(1);
products.at(0).push_back(trace_app_contents());
break;
}
:(before "End Primitive Recipe Declarations")
_CLEANUP_RUN_INTERACTIVE,
:(before "End Primitive Recipe Numbers")
Recipe_ordinal["$cleanup-run-interactive"] = _CLEANUP_RUN_INTERACTIVE;
:(before "End Primitive Recipe Checks")
case _CLEANUP_RUN_INTERACTIVE: {
break;
}
:(before "End Primitive Recipe Implementations")
case _CLEANUP_RUN_INTERACTIVE: {
run_code_end();
break;
}
:(scenario "run_interactive_returns_stringified_result")
recipe main [
# try to interactively add 2 and 2
1:address:array:character <- new [add 2, 2]
2:address:array:character <- run-interactive 1:address:array:character
10:array:character <- copy 2:address:array:character/lookup
]
# first letter in the output should be '4' in unicode
+mem: storing 52 in location 11
:(scenario "run_interactive_returns_string")
recipe main [
# try to interactively add 2 and 2
1:address:array:character <- new [
x:address:array:character <- new [a]
y:address:array:character <- new [b]
z:address:array:character <- string-append x:address:array:character, y:address:array:character
]
2:address:array:character <- run-interactive 1:address:array:character
10:array:character <- copy 2:address:array:character/lookup
]
# output contains "ab"
+mem: storing 97 in location 11
+mem: storing 98 in location 12
:(scenario "run_interactive_returns_errors")
recipe main [
# run a command that generates an error
1:address:array:character <- new [x:number <- copy 34
get x:number, foo:offset]
2:address:array:character, 3:address:array:character <- run-interactive 1:address:array:character
10:array:character <- copy 3:address:array:character/lookup
]
# error should be "unknown element foo in container number"
+mem: storing 117 in location 11
+mem: storing 110 in location 12
+mem: storing 107 in location 13
+mem: storing 110 in location 14
# ...
:(scenario run_interactive_with_comment)
recipe main [
# 2 instructions, with a comment after the first
1:address:array:number <- new [a:number <- copy 0 # abc
b:number <- copy 0
]
2:address:array:character, 3:address:array:character <- run-interactive 1:address:array:character
]
# no errors
+mem: storing 0 in location 3
:(before "End Globals")
string Most_recent_products;
:(before "End Setup")
Most_recent_products = "";
:(before "End of Instruction")
if (Track_most_recent_products) {
track_most_recent_products(current_instruction(), products);
}
:(code)
void track_most_recent_products(const instruction& instruction, const vector<vector<double> >& products) {
ostringstream out;
for (long long int i = 0; i < SIZE(products); ++i) {
// string
if (i < SIZE(instruction.products)) {
if (is_mu_string(instruction.products.at(i))) {
if (!scalar(products.at(i))) {
tb_shutdown();
cerr << read_mu_string(trace_error_warning_contents()) << '\n';
cerr << SIZE(products.at(i)) << ": ";
for (long long int j = 0; j < SIZE(products.at(i)); ++j)
cerr << no_scientific(products.at(i).at(j)) << ' ';
cerr << '\n';
}
assert(scalar(products.at(i)));
out << read_mu_string(products.at(i).at(0)) << '\n';
continue;
}
// End Record Product Special-cases
}
for (long long int j = 0; j < SIZE(products.at(i)); ++j)
out << no_scientific(products.at(i).at(j)) << ' ';
out << '\n';
}
Most_recent_products = out.str();
}
:(code)
string strip_comments(string in) {
ostringstream result;
for (long long int i = 0; i < SIZE(in); ++i) {
if (in.at(i) != '#') {
result << in.at(i);
}
else {
while (i+1 < SIZE(in) && in.at(i+1) != '\n')
++i;
}
}
return result.str();
}
long long int stringified_value_of_location(long long int address) {
// convert to string
ostringstream out;
out << no_scientific(Memory[address]);
return new_mu_string(out.str());
}
long long int trace_error_warning_contents() {
if (!Trace_stream) return 0;
ostringstream out;
for (vector<trace_line>::iterator p = Trace_stream->past_lines.begin(); p != Trace_stream->past_lines.end(); ++p) {
if (p->depth > Warning_depth) continue;
out << p->contents;
if (*--p->contents.end() != '\n') out << '\n';
}
string result = out.str();
if (result.empty()) return 0;
truncate(result);
return new_mu_string(result);
}
long long int trace_app_contents() {
if (!Trace_stream) return 0;
ostringstream out;
for (vector<trace_line>::iterator p = Trace_stream->past_lines.begin(); p != Trace_stream->past_lines.end(); ++p) {
if (p->depth != App_depth) continue;
out << p->contents;
if (*--p->contents.end() != '\n') out << '\n';
}
string result = out.str();
if (result.empty()) return 0;
truncate(result);
return new_mu_string(result);
}
void truncate(string& x) {
if (SIZE(x) > 512) {
x.erase(512);
*x.rbegin() = '\n';
*++x.rbegin() = '.';
*++++x.rbegin() = '.';
}
}
//: simpler version of run-interactive: doesn't do any running, just loads
//: recipes and reports errors+warnings.
:(before "End Primitive Recipe Declarations")
RELOAD,
:(before "End Primitive Recipe Numbers")
Recipe_ordinal["reload"] = RELOAD;
:(before "End Primitive Recipe Checks")
case RELOAD: {
if (SIZE(inst.ingredients) != 1) {
raise_error << maybe(Recipe[r].name) << "'reload' requires exactly one ingredient, but got " << inst.to_string() << '\n' << end();
break;
}
if (!is_mu_string(inst.ingredients.at(0))) {
raise_error << maybe(Recipe[r].name) << "first ingredient of 'reload' should be a string, but got " << inst.ingredients.at(0).original_string << '\n' << end();
break;
}
break;
}
:(before "End Primitive Recipe Implementations")
case RELOAD: {
// clear any containers in advance
for (long long int i = 0; i < SIZE(recently_added_types); ++i) {
Type_ordinal.erase(Type[recently_added_types.at(i)].name);
Type.erase(recently_added_types.at(i));
}
string code = read_mu_string(ingredients.at(0).at(0));
run_code_begin();
routine* save_current_routine = Current_routine;
Current_routine = NULL;
vector<recipe_ordinal> recipes_reloaded = load(code);
for (long long int i = 0; i < SIZE(recipes_reloaded); ++i) {
Name.erase(recipes_reloaded.at(i));
}
transform_all();
Trace_stream->newline(); // flush trace
Current_routine = save_current_routine;
products.resize(1);
products.at(0).push_back(trace_error_warning_contents());
run_code_end(); // wait until we're done with the trace contents
break;
}
:(scenario reload_continues_past_error)
recipe main [
local-scope
x:address:array:character <- new [recipe foo [
get 1234:number, foo:offset
]]
reload x
1:number/raw <- copy 34
]
+mem: storing 34 in location 1