about summary refs log blame commit diff stats
path: root/src/tools/editor.h
blob: dd7de96e147f256483468d927d7fa62831cc7e3a (plain) (tree)
1
2
3
4
5
6
7
8
9
22
23
24
25
26
27
28
29
30
31
32
33
34
35<
/*
 * editor.h
 * vim: expandtab:ts=4:sts=4:sw=4
 *
 * Copyright (C) 2022 - 2023 Michael Vetter <jubalh@iodoru.org>
 * Copyright (C) 2022 MarcoPolo PasTonMolo  <marcopolopastonmolo@protonmail.com>
 *
 * This file is part of Profani-tty.
 *
 * Profani-tty is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 *
 * Profani-tty is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with Profani-tty.  If not, see <https://www.gnu.org/licenses/>.
 *
 * In addition, as a special exception, the copyright holders give permission to
 * link the code of portions of this program with the OpenSSL library under
 * certain conditions as described in each individual source file, and
 * distribute linked combinations including the two.
 *
 * You must obey the GNU General Public License in all respects for all of the
 * code used other than OpenSSL. If you modify file(s) with this exception, you
 * may extend this exception to your version of the file(s), but you are not
 * obligated to do so. If you do not wish to do so, delete this exception
 * statement from your version. If you delete this exception statement from all
 * source files in the program, then also delete it here.
 *
 */

#ifndef TOOLS_EDITOR_H
#define TOOLS_EDITOR_H

#include <glib.h>

gboolean get_message_from_editor(gchar* message, gchar** returned_message);

#endif
pan class="o"><- copy 23:literal, 24:literal ] +run: ingredient 0 is 23 +run: ingredient 1 is 24 +mem: storing 23 in location 1 +mem: storing 24 in location 2 :(before "End Types") // Book-keeping while running a recipe. //: Later layers will change this. struct routine { recipe_number running_recipe; index_t running_step_index; routine(recipe_number r) :running_recipe(r), running_step_index(0) {} bool completed() const; }; :(before "End Globals") routine* Current_routine = NULL; :(code) void run(recipe_number r) { routine rr(r); Current_routine = &rr; run_current_routine(); } void run_current_routine() { // curly on a separate line, because later layers will modify header while (!Current_routine->completed()) // later layers will modify condition { // Running One Instruction. if (current_instruction().is_label) { ++current_step_index(); continue; } trace("run") << "instruction " << current_recipe_name() << '/' << current_step_index(); trace("run") << current_instruction().to_string(); assert(Memory[0] == 0); // Read all ingredients. vector<vector<long long int> > ingredients; for (index_t i = 0; i < current_instruction().ingredients.size(); ++i) { trace("run") << "ingredient " << i << " is " << current_instruction().ingredients.at(i).name; ingredients.push_back(read_memory(current_instruction().ingredients.at(i))); } // Instructions below will write to 'products' or to 'instruction_counter'. vector<vector<long long int> > products; index_t instruction_counter = current_step_index(); //? cout << "AAA: " << current_instruction().to_string() << '\n'; //? 1 switch (current_instruction().operation) { // Primitive Recipe Implementations case COPY: { copy(ingredients.begin(), ingredients.end(), inserter(products, products.begin())); break; } // End Primitive Recipe Implementations default: { cout << "not a primitive op: " << current_instruction().operation << '\n'; } } //? cout << "BBB: " << current_instruction().to_string() << '\n'; //? 1 if (products.size() < current_instruction().products.size()) raise << "failed to write to all products! " << current_instruction().to_string(); //? cout << "CCC: " << current_instruction().to_string() << '\n'; //? 1 for (index_t i = 0; i < current_instruction().products.size(); ++i) { trace("run") << "product " << i << " is " << current_instruction().products.at(i).name; write_memory(current_instruction().products.at(i), products.at(i)); } //? cout << "DDD: " << current_instruction().to_string() << '\n'; //? 1 current_step_index() = instruction_counter+1; } stop_running_current_routine:; } //: Some helpers. //: We'll need to override these later as we change the definition of routine. //: Important that they return referrences into the routine. inline index_t& current_step_index() { return Current_routine->running_step_index; } inline const string& current_recipe_name() { return Recipe[Current_routine->running_recipe].name; } inline const instruction& current_instruction() { return Recipe[Current_routine->running_recipe].steps.at(Current_routine->running_step_index); } inline bool routine::completed() const { return running_step_index >= Recipe[running_recipe].steps.size(); } :(before "End Commandline Parsing") if (argc > 1) { for (int i = 1; i < argc; ++i) { load_permanently(argv[i]); } } :(before "End Main") if (!Run_tests) { setup(); Trace_stream = new trace_stream; //? Trace_stream->dump_layer = "all"; //? 2 transform_all(); recipe_number r = Recipe_number[string("main")]; //? Trace_stream->dump_layer = "all"; //? 1 if (r) run(r); //? dump_memory(); //? 1 teardown(); } :(code) void load_permanently(string filename) { ifstream fin(filename.c_str()); if (!fin) { raise << "no such file " << filename << '\n'; return; } fin >> std::noskipws; load(fin); transform_all(); fin.close(); // freeze everything so it doesn't get cleared by tests recently_added_recipes.clear(); recently_added_types.clear(); } //:: On startup, load everything in core.mu :(before "End Load Recipes") load_permanently("core.mu"); :(code) // helper for tests void run(string form) { vector<recipe_number> tmp = load(form); if (tmp.empty()) return; transform_all(); run(tmp.front()); } //:: Reading from memory, writing to memory. vector<long long int> read_memory(reagent x) { //? cout << "read_memory: " << x.to_string() << '\n'; //? 2 vector<long long int> result; if (isa_literal(x)) { result.push_back(x.value); return result; } index_t base = x.value; size_t size = size_of(x); for (index_t offset = 0; offset < size; ++offset) { int val = Memory[base+offset]; trace("mem") << "location " << base+offset << " is " << val; result.push_back(val); } return result; } void write_memory(reagent x, vector<long long int> data) { if (is_dummy(x)) return; index_t base = x.value; if (size_of(x) != data.size()) raise << "size mismatch in storing to " << x.to_string() << '\n'; for (index_t offset = 0; offset < data.size(); ++offset) { trace("mem") << "storing " << data.at(offset) << " in location " << base+offset; Memory[base+offset] = data.at(offset); } } :(code) size_t size_of(const reagent& r) { return size_of(r.types); } size_t size_of(const vector<type_number>& types) { // End size_of(types) Cases return 1; } bool is_dummy(const reagent& x) { return x.name == "_"; } bool isa_literal(const reagent& r) { return r.types.size() == 1 && r.types.at(0) == 0; } :(scenario run_label) recipe main [ +foo 1:integer <- copy 23:literal 2:integer <- copy 1:integer ] +run: instruction main/1 +run: instruction main/2 -run: instruction main/0 :(scenario run_dummy) recipe main [ _ <- copy 0:literal ] +run: instruction main/0