2021-12-25 21:05:37 +00:00
|
|
|
#include <assert.h>
|
|
|
|
#include <ctype.h>
|
2022-01-25 04:15:43 +00:00
|
|
|
#ifdef __NetBSD__
|
|
|
|
#include <curses.h>
|
|
|
|
#else
|
2021-12-25 21:05:37 +00:00
|
|
|
#include <ncurses.h>
|
2022-01-25 04:15:43 +00:00
|
|
|
#endif
|
2021-12-25 21:05:37 +00:00
|
|
|
#include <stdlib.h>
|
|
|
|
#include <string.h>
|
|
|
|
#include <time.h>
|
|
|
|
#include <unistd.h>
|
|
|
|
|
|
|
|
#include "lua.h"
|
|
|
|
#include "lauxlib.h"
|
2022-01-03 02:25:11 +00:00
|
|
|
#include "lualib.h"
|
2021-12-25 21:05:37 +00:00
|
|
|
#include "teliva.h"
|
|
|
|
#include "tlv.h"
|
|
|
|
|
|
|
|
/*** Standard UI elements */
|
|
|
|
|
|
|
|
int menu_column = 0;
|
|
|
|
|
|
|
|
void draw_string_on_menu(const char* s) {
|
|
|
|
mvaddstr(LINES-1, menu_column, " ");
|
|
|
|
++menu_column;
|
|
|
|
mvaddstr(LINES-1, menu_column, s);
|
|
|
|
menu_column += strlen(s);
|
|
|
|
mvaddstr(LINES-1, menu_column, " ");
|
|
|
|
++menu_column;
|
|
|
|
}
|
|
|
|
|
|
|
|
void draw_menu_item(const char* key, const char* name) {
|
|
|
|
attroff(A_REVERSE);
|
|
|
|
draw_string_on_menu(key);
|
|
|
|
attron(A_REVERSE);
|
|
|
|
draw_string_on_menu(name);
|
|
|
|
}
|
|
|
|
|
2022-01-03 02:25:11 +00:00
|
|
|
static const char* trim(const char* in) {
|
|
|
|
static char result[1024];
|
|
|
|
int len = strlen(in);
|
|
|
|
assert(len < 1020);
|
|
|
|
const char* str = in;
|
|
|
|
const char* end = in+len-1;
|
|
|
|
while (isspace((unsigned char)*str)) {
|
|
|
|
++str;
|
|
|
|
--len;
|
|
|
|
}
|
|
|
|
while (isspace((unsigned char)*end)) {
|
|
|
|
--end;
|
|
|
|
--len;
|
|
|
|
}
|
|
|
|
memset(result, '\0', 1024);
|
|
|
|
memcpy(result, str, len);
|
|
|
|
return result;
|
|
|
|
}
|
|
|
|
|
2022-01-03 06:38:28 +00:00
|
|
|
const char* default_file_operations_predicate_body = "return false\n";
|
2022-01-03 05:33:49 +00:00
|
|
|
const char* file_operations_predicate_body;
|
2022-01-03 02:25:11 +00:00
|
|
|
int net_operations_permitted = false;
|
|
|
|
|
2021-12-26 00:16:48 +00:00
|
|
|
static void render_permissions(lua_State* L);
|
2021-12-26 02:55:01 +00:00
|
|
|
char* Previous_message;
|
2021-12-25 21:05:37 +00:00
|
|
|
static void draw_menu(lua_State* L) {
|
2021-12-25 22:59:18 +00:00
|
|
|
attron(A_BOLD|A_REVERSE);
|
|
|
|
color_set(COLOR_PAIR_MENU, NULL);
|
2021-12-25 21:05:37 +00:00
|
|
|
for (int x = 0; x < COLS; ++x)
|
|
|
|
mvaddch(LINES-1, x, ' ');
|
|
|
|
menu_column = 2;
|
|
|
|
draw_menu_item("^x", "exit");
|
|
|
|
draw_menu_item("^e", "edit");
|
2021-12-26 00:16:48 +00:00
|
|
|
draw_menu_item("^p", "perms");
|
2021-12-25 21:05:37 +00:00
|
|
|
|
2021-12-26 02:55:01 +00:00
|
|
|
/* if app ran successfully, render any app-specific items */
|
|
|
|
if (Previous_message == NULL) {
|
|
|
|
lua_getglobal(L, "menu");
|
|
|
|
int table = lua_gettop(L);
|
|
|
|
if (lua_istable(L, -1)) {
|
|
|
|
for (int i = 1; i <= luaL_getn(L, table); ++i) {
|
|
|
|
lua_rawgeti(L, table, i);
|
|
|
|
int menu_item = lua_gettop(L);
|
|
|
|
lua_rawgeti(L, menu_item, 1); /* key */
|
|
|
|
lua_rawgeti(L, menu_item, 2); /* value */
|
|
|
|
draw_menu_item(lua_tostring(L, -2), lua_tostring(L, -1));
|
|
|
|
lua_pop(L, 3);
|
|
|
|
}
|
2021-12-25 21:05:37 +00:00
|
|
|
}
|
2021-12-26 02:55:01 +00:00
|
|
|
lua_pop(L, 1);
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
/* otherwise render the flash message */
|
|
|
|
attron(COLOR_PAIR(COLOR_PAIR_ERROR));
|
2021-12-26 08:04:28 +00:00
|
|
|
addstr(" ");
|
2021-12-26 02:55:01 +00:00
|
|
|
addstr(Previous_message);
|
2021-12-26 08:04:28 +00:00
|
|
|
addstr(" ");
|
2021-12-26 02:55:01 +00:00
|
|
|
attroff(COLOR_PAIR(COLOR_PAIR_ERROR));
|
2021-12-25 21:05:37 +00:00
|
|
|
}
|
2021-12-25 23:20:42 +00:00
|
|
|
|
|
|
|
/* render app permissions on the right */
|
2021-12-26 00:16:48 +00:00
|
|
|
render_permissions(L);
|
|
|
|
|
|
|
|
attrset(A_NORMAL);
|
|
|
|
}
|
|
|
|
|
|
|
|
static void render_permissions(lua_State* L) {
|
2021-12-25 23:20:42 +00:00
|
|
|
attrset(A_NORMAL);
|
|
|
|
mvaddstr(LINES-1, COLS-12, "");
|
2022-01-03 02:25:11 +00:00
|
|
|
int file_colors = COLOR_PAIR_SAFE;
|
2022-01-03 06:38:28 +00:00
|
|
|
if (file_operations_predicate_body && strcmp("return false", trim(file_operations_predicate_body)) != 0)
|
2022-01-03 02:25:11 +00:00
|
|
|
file_colors = COLOR_PAIR_WARN;
|
2022-01-02 23:46:46 +00:00
|
|
|
int net_colors = net_operations_permitted ? COLOR_PAIR_WARN : COLOR_PAIR_SAFE;
|
2022-01-03 02:25:11 +00:00
|
|
|
if (file_colors == COLOR_PAIR_WARN && net_colors == COLOR_PAIR_WARN) {
|
2021-12-26 01:10:30 +00:00
|
|
|
file_colors = net_colors = COLOR_PAIR_RISK;
|
|
|
|
}
|
|
|
|
|
|
|
|
attron(COLOR_PAIR(file_colors));
|
2021-12-25 23:20:42 +00:00
|
|
|
addstr("file ");
|
|
|
|
attron(A_REVERSE);
|
|
|
|
addstr(" ");
|
2021-12-26 01:10:30 +00:00
|
|
|
attroff(COLOR_PAIR(file_colors));
|
|
|
|
|
|
|
|
attron(COLOR_PAIR(net_colors));
|
2021-12-25 23:20:42 +00:00
|
|
|
addstr(" ");
|
|
|
|
attroff(A_REVERSE);
|
|
|
|
addstr(" net");
|
2021-12-26 01:10:30 +00:00
|
|
|
attroff(COLOR_PAIR(net_colors));
|
2021-12-25 21:05:37 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void render_trusted_teliva_data(lua_State* L) {
|
|
|
|
init_pair(COLOR_PAIR_ERROR, COLOR_ERROR_FOREGROUND, COLOR_ERROR_BACKGROUND);
|
|
|
|
init_pair(COLOR_PAIR_MENU, COLOR_FOREGROUND, COLOR_BACKGROUND);
|
2021-12-26 01:10:30 +00:00
|
|
|
init_pair(COLOR_PAIR_SAFE, COLOR_SAFE_REVERSE, COLOR_FOREGROUND);
|
|
|
|
init_pair(COLOR_PAIR_WARN, COLOR_WARN_REVERSE, COLOR_FOREGROUND);
|
|
|
|
init_pair(COLOR_PAIR_RISK, COLOR_RISK_REVERSE, COLOR_FOREGROUND);
|
2021-12-25 21:05:37 +00:00
|
|
|
draw_menu(L);
|
|
|
|
}
|
|
|
|
|
|
|
|
/*** Error reporting */
|
|
|
|
|
|
|
|
const char* Previous_error = NULL;
|
|
|
|
|
|
|
|
/* return final y containing text */
|
|
|
|
static int render_wrapped_text(int y, int xmin, int xmax, const char* text) {
|
|
|
|
int x = xmin;
|
|
|
|
move(y, x);
|
|
|
|
for (int j = 0; j < strlen(text); ++j) {
|
|
|
|
char c = text[j];
|
|
|
|
if (c != '\n') {
|
|
|
|
addch(text[j]);
|
|
|
|
++x;
|
|
|
|
if (x >= xmax) {
|
|
|
|
++y;
|
|
|
|
x = xmin;
|
|
|
|
move(y, x);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
/* newline */
|
|
|
|
++y;
|
|
|
|
x = xmin;
|
|
|
|
move(y, x);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return y;
|
|
|
|
}
|
|
|
|
|
|
|
|
void render_previous_error(void) {
|
|
|
|
if (!Previous_error) return;
|
|
|
|
init_pair(COLOR_PAIR_ERROR, COLOR_ERROR_FOREGROUND, COLOR_ERROR_BACKGROUND);
|
|
|
|
attron(COLOR_PAIR(COLOR_PAIR_ERROR));
|
|
|
|
render_wrapped_text(LINES-10, COLS/2, COLS, Previous_error);
|
|
|
|
attroff(COLOR_PAIR(COLOR_PAIR_ERROR));
|
|
|
|
}
|
|
|
|
|
|
|
|
int report_in_developer_mode(lua_State* L, int status) {
|
|
|
|
if (status && !lua_isnil(L, -1)) {
|
|
|
|
Previous_error = strdup(lua_tostring(L, -1)); /* memory leak */
|
|
|
|
if (Previous_error == NULL) Previous_error = "(error object is not a string)";
|
|
|
|
lua_pop(L, 1);
|
|
|
|
for (int x = 0; x < COLS; ++x) {
|
|
|
|
mvaddch(LINES-2, x, ' ');
|
|
|
|
mvaddch(LINES-1, x, ' ');
|
|
|
|
}
|
|
|
|
render_previous_error();
|
|
|
|
mvaddstr(LINES-1, 0, "press any key to continue");
|
|
|
|
getch();
|
|
|
|
developer_mode(L);
|
|
|
|
}
|
|
|
|
return status;
|
|
|
|
}
|
|
|
|
|
|
|
|
/*** Developer mode, big picture view */
|
|
|
|
|
|
|
|
#define CURRENT_DEFINITION_LEN 256
|
|
|
|
|
|
|
|
static void big_picture_menu(void) {
|
|
|
|
attrset(A_REVERSE);
|
|
|
|
for (int x = 0; x < COLS; ++x)
|
|
|
|
mvaddch(LINES-1, x, ' ');
|
|
|
|
attrset(A_NORMAL);
|
|
|
|
menu_column = 2;
|
|
|
|
draw_menu_item("^x", "go back");
|
|
|
|
draw_menu_item("^g", "go to highlight");
|
|
|
|
draw_menu_item("Enter", "submit");
|
|
|
|
draw_menu_item("^h", "backspace");
|
|
|
|
draw_menu_item("^u", "clear");
|
|
|
|
draw_menu_item("^r", "recent changes");
|
2022-01-03 06:13:47 +00:00
|
|
|
draw_menu_item("^e", "recent events");
|
2021-12-25 21:05:37 +00:00
|
|
|
attrset(A_NORMAL);
|
|
|
|
}
|
|
|
|
|
|
|
|
static int is_current_definition(lua_State* L, const char* definition_name, int current_history_array_index, int history_array_location, int history_array_size) {
|
|
|
|
/* Sequentially scan back through history_array until current_history_array_index.
|
|
|
|
* Is there an earlier definition of definition_name? */
|
|
|
|
int oldtop = lua_gettop(L);
|
|
|
|
int found = 0;
|
|
|
|
for (int i = history_array_size; i > current_history_array_index; --i) {
|
|
|
|
lua_rawgeti(L, history_array_location, i);
|
|
|
|
int t = lua_gettop(L);
|
|
|
|
for (lua_pushnil(L); lua_next(L, t) != 0;) {
|
|
|
|
lua_pop(L, 1); // value
|
|
|
|
const char* curr = lua_tostring(L, -1);
|
|
|
|
if (strcmp(curr, definition_name) == 0) {
|
|
|
|
found = 1;
|
|
|
|
lua_pop(L, 1); // key
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
// leave key on stack for next iteration
|
|
|
|
}
|
|
|
|
lua_pop(L, 1); // history element
|
|
|
|
if (found)
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
if(oldtop != lua_gettop(L)) {
|
|
|
|
endwin();
|
|
|
|
printf("%d %d\n", oldtop, lua_gettop(L));
|
|
|
|
exit(1);
|
|
|
|
}
|
|
|
|
return !found;
|
|
|
|
}
|
|
|
|
|
|
|
|
void draw_definition_name(const char* definition_name) {
|
|
|
|
attron(COLOR_PAIR(COLOR_PAIR_SELECTABLE));
|
|
|
|
addstr(" ");
|
|
|
|
addstr(definition_name);
|
|
|
|
addstr(" ");
|
|
|
|
attroff(COLOR_PAIR(COLOR_PAIR_SELECTABLE));
|
|
|
|
addstr(" ");
|
|
|
|
}
|
|
|
|
|
|
|
|
void draw_highlighted_definition_name(const char* definition_name) {
|
|
|
|
attron(A_REVERSE);
|
|
|
|
addstr(" ");
|
|
|
|
addstr(definition_name);
|
|
|
|
addstr(" ");
|
|
|
|
attroff(A_REVERSE);
|
|
|
|
addstr(" ");
|
|
|
|
}
|
|
|
|
|
2022-01-03 18:23:25 +00:00
|
|
|
void assign_call_graph_depth_to_name(lua_State* L, int depth, const char* name) {
|
|
|
|
/* Maintain a global table mapping from function name to call-stack depth
|
|
|
|
* at first call to it.
|
|
|
|
*
|
|
|
|
* Won't be perfect; might get confused by shadowing locals. But we can't
|
|
|
|
* be perfect without a bidirectional mapping between interpreter state
|
|
|
|
* and source code. Which would make Lua either a lot less dynamic or a
|
|
|
|
* a lot more like Smalltalk. */
|
|
|
|
// push table
|
|
|
|
luaL_newmetatable(L, "__teliva_call_graph_depth");
|
|
|
|
int cgt = lua_gettop(L);
|
|
|
|
// if key doesn't already exist, set it
|
|
|
|
lua_getfield(L, cgt, name);
|
|
|
|
if (lua_isnil(L, -1)) {
|
|
|
|
lua_pushinteger(L, depth);
|
|
|
|
lua_setfield(L, cgt, name);
|
|
|
|
}
|
|
|
|
// clean up
|
2022-01-03 21:24:21 +00:00
|
|
|
lua_pop(L, 1); // value
|
2022-01-03 18:23:25 +00:00
|
|
|
lua_pop(L, 1); // table
|
|
|
|
}
|
|
|
|
|
2022-01-03 21:26:38 +00:00
|
|
|
int array_contains_string(lua_State* L, int array_index, const char* s) {
|
|
|
|
int oldtop = lua_gettop(L);
|
|
|
|
assert(lua_istable(L, array_index));
|
|
|
|
int array_size = luaL_getn(L, array_index);
|
|
|
|
int result = false;
|
|
|
|
for (int i = 1; i <= array_size; ++i) {
|
|
|
|
lua_rawgeti(L, array_index, i);
|
|
|
|
assert(lua_isstring(L, -1));
|
|
|
|
const char* curr = lua_tostring(L, -1);
|
|
|
|
result = result || (strcmp(curr, s) == 0);
|
|
|
|
lua_pop(L, 1); // current element
|
|
|
|
if (result) break;
|
|
|
|
}
|
|
|
|
assert(oldtop == lua_gettop(L));
|
|
|
|
return result;
|
|
|
|
}
|
|
|
|
|
|
|
|
void append_string_to_array(lua_State* L, int array_index, const char* s) {
|
|
|
|
assert(lua_istable(L, array_index));
|
|
|
|
int array_size = luaL_getn(L, array_index);
|
|
|
|
int new_index = array_size+1;
|
|
|
|
lua_pushstring(L, s);
|
|
|
|
lua_rawseti(L, array_index, new_index);
|
|
|
|
}
|
|
|
|
|
2022-01-04 07:36:44 +00:00
|
|
|
extern void save_caller_as(lua_State* L, const char* name, const char* caller_name);
|
|
|
|
void save_caller(lua_State* L, const char* name, int call_graph_depth) {
|
2022-01-03 21:26:38 +00:00
|
|
|
lua_Debug ar;
|
2022-01-04 07:36:44 +00:00
|
|
|
lua_getstack(L, 1, &ar);
|
2022-01-03 21:26:38 +00:00
|
|
|
lua_getinfo(L, "n", &ar);
|
2022-01-04 07:36:44 +00:00
|
|
|
if (ar.name) save_caller_as(L, name, ar.name);
|
|
|
|
else if (call_graph_depth == 2) save_caller_as(L, name, "main"); // the way Teliva calls `main` messes with debug info
|
|
|
|
}
|
|
|
|
|
2022-02-02 04:59:53 +00:00
|
|
|
char* caller(lua_State* L) {
|
|
|
|
static char result[1024] = {0};
|
|
|
|
lua_Debug ar;
|
|
|
|
lua_getstack(L, 1, &ar);
|
|
|
|
lua_getinfo(L, "n", &ar);
|
|
|
|
memset(result, '\0', 1024);
|
|
|
|
if (ar.name)
|
|
|
|
strncpy(result, ar.name, 1020);
|
|
|
|
return result;
|
|
|
|
}
|
|
|
|
|
2022-01-04 07:36:44 +00:00
|
|
|
void save_caller_as(lua_State* L, const char* name, const char* caller_name) {
|
2022-01-03 21:26:38 +00:00
|
|
|
// push table of caller tables
|
|
|
|
luaL_newmetatable(L, "__teliva_caller");
|
|
|
|
int ct = lua_gettop(L);
|
|
|
|
// if key doesn't already exist, map it to an empty caller table
|
|
|
|
lua_getfield(L, ct, name);
|
|
|
|
if (lua_isnil(L, -1)) {
|
|
|
|
lua_newtable(L);
|
|
|
|
lua_setfield(L, ct, name);
|
|
|
|
}
|
|
|
|
// append the caller's name to the caller table if necessary
|
|
|
|
lua_pop(L, 1); // old value
|
|
|
|
lua_getfield(L, ct, name); // new value = caller table
|
|
|
|
int curr_caller_index = lua_gettop(L);
|
|
|
|
lua_pushboolean(L, true);
|
2022-01-04 07:36:44 +00:00
|
|
|
lua_setfield(L, curr_caller_index, caller_name);
|
2022-01-03 21:26:38 +00:00
|
|
|
// clean up
|
|
|
|
lua_pop(L, 1); // caller table
|
|
|
|
lua_pop(L, 1); // table of caller tables
|
|
|
|
}
|
|
|
|
|
2022-01-04 07:36:44 +00:00
|
|
|
static void clear_caller(lua_State* L) {
|
|
|
|
int oldtop = lua_gettop(L);
|
|
|
|
luaL_newmetatable(L, "__teliva_caller");
|
|
|
|
int ct = lua_gettop(L);
|
|
|
|
lua_pushnil(L);
|
|
|
|
while (lua_next(L, ct) != 0) {
|
|
|
|
lua_pop(L, 1); /* old value */
|
|
|
|
lua_pushvalue(L, -1); /* duplicate key */
|
|
|
|
lua_pushnil(L); /* new value */
|
|
|
|
lua_settable(L, ct);
|
|
|
|
/* one copy of key left for lua_next */
|
|
|
|
}
|
|
|
|
lua_pop(L, 1);
|
|
|
|
assert(lua_gettop(L) == oldtop);
|
|
|
|
}
|
|
|
|
|
2022-01-26 05:00:38 +00:00
|
|
|
static int starts_with(const char* s, const char* pre) {
|
|
|
|
return strncmp(pre, s, strlen(pre)) == 0;
|
|
|
|
}
|
|
|
|
|
2021-12-25 21:05:37 +00:00
|
|
|
/* return true if submitted */
|
|
|
|
static int edit_current_definition(lua_State* L);
|
|
|
|
static void recent_changes_view(lua_State* L);
|
2022-01-03 17:58:34 +00:00
|
|
|
static const char* events_view();
|
2022-01-26 07:07:43 +00:00
|
|
|
void default_big_picture_view(lua_State* L) {
|
2021-12-25 21:05:37 +00:00
|
|
|
/* Without any intervening edits, big_picture_view always stably renders
|
|
|
|
* definitions in exactly the same spatial order, both in levels from top to
|
|
|
|
* bottom and in indexes within each level from left to right. */
|
|
|
|
int highlight_level = 0;
|
|
|
|
int highlight_index_within_level = 0;
|
|
|
|
int level_size[30] = {0}; /* number of indexes within each level */
|
|
|
|
char highlight[CURRENT_DEFINITION_LEN+1] = {0};
|
|
|
|
restart:
|
|
|
|
clear();
|
|
|
|
luaL_newmetatable(L, "__teliva_call_graph_depth");
|
|
|
|
int cgt = lua_gettop(L);
|
|
|
|
// special-case: we don't instrument the call to main, but it's always at depth 1
|
|
|
|
lua_pushinteger(L, 1);
|
|
|
|
lua_setfield(L, cgt, "main");
|
|
|
|
// segment definitions by depth
|
|
|
|
lua_getglobal(L, "teliva_program");
|
|
|
|
int history_array = lua_gettop(L);
|
|
|
|
int history_array_size = luaL_getn(L, history_array);
|
|
|
|
|
|
|
|
int y = 1;
|
|
|
|
attrset(A_BOLD);
|
|
|
|
mvaddstr(y, 0, "Big picture");
|
|
|
|
attrset(A_NORMAL);
|
|
|
|
y += 2;
|
|
|
|
mvaddstr(y, 0, "data: ");
|
|
|
|
// first: data (non-functions) that's not the Teliva menu or curses variables
|
|
|
|
if (highlight_level < 0) highlight_level = 0;
|
|
|
|
int level = 0;
|
|
|
|
int index_within_level = 0;
|
|
|
|
for (int i = history_array_size; i > 0; --i) {
|
|
|
|
lua_rawgeti(L, history_array, i);
|
|
|
|
int t = lua_gettop(L);
|
|
|
|
for (lua_pushnil(L); lua_next(L, t) != 0; lua_pop(L, 1)) {
|
|
|
|
const char* definition_name = lua_tostring(L, -2);
|
|
|
|
if (is_special_history_key(definition_name)) continue;
|
2022-01-26 05:00:38 +00:00
|
|
|
if (starts_with(definition_name, "doc:")) continue;
|
2021-12-25 21:05:37 +00:00
|
|
|
lua_getglobal(L, definition_name);
|
|
|
|
int is_userdata = lua_isuserdata(L, -1);
|
|
|
|
int is_function = lua_isfunction(L, -1);
|
|
|
|
lua_pop(L, 1);
|
|
|
|
if (strcmp(definition_name, "menu") != 0 // required by all Teliva programs
|
|
|
|
&& !is_function // functions are not data
|
|
|
|
&& !is_userdata // including curses window objects
|
|
|
|
// (unlikely to have an interesting definition)
|
|
|
|
) {
|
|
|
|
if (is_current_definition(L, definition_name, i, history_array, history_array_size)) {
|
|
|
|
if (level == highlight_level && index_within_level == highlight_index_within_level) {
|
|
|
|
draw_highlighted_definition_name(definition_name);
|
|
|
|
strncpy(highlight, definition_name, CURRENT_DEFINITION_LEN);
|
|
|
|
} else {
|
|
|
|
draw_definition_name(definition_name);
|
|
|
|
}
|
|
|
|
++index_within_level;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
lua_pop(L, 1); // history element
|
|
|
|
}
|
|
|
|
|
|
|
|
// second: menu and other userdata
|
|
|
|
for (int i = history_array_size; i > 0; --i) {
|
|
|
|
lua_rawgeti(L, history_array, i);
|
|
|
|
int t = lua_gettop(L);
|
|
|
|
for (lua_pushnil(L); lua_next(L, t) != 0; lua_pop(L, 1)) {
|
|
|
|
const char* definition_name = lua_tostring(L, -2);
|
|
|
|
if (is_special_history_key(definition_name)) continue;
|
2022-01-26 05:00:38 +00:00
|
|
|
if (starts_with(definition_name, "doc:")) continue;
|
2021-12-25 21:05:37 +00:00
|
|
|
lua_getglobal(L, definition_name);
|
|
|
|
int is_userdata = lua_isuserdata(L, -1);
|
|
|
|
lua_pop(L, 1);
|
|
|
|
if (strcmp(definition_name, "menu") == 0
|
|
|
|
|| is_userdata // including curses window objects
|
|
|
|
) {
|
|
|
|
if (is_current_definition(L, definition_name, i, history_array, history_array_size)) {
|
|
|
|
if (level == highlight_level && index_within_level == highlight_index_within_level) {
|
|
|
|
draw_highlighted_definition_name(definition_name);
|
|
|
|
strncpy(highlight, definition_name, CURRENT_DEFINITION_LEN);
|
|
|
|
} else {
|
|
|
|
draw_definition_name(definition_name);
|
|
|
|
}
|
|
|
|
++index_within_level;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
lua_pop(L, 1); // history element
|
|
|
|
}
|
|
|
|
level_size[level] = index_within_level;
|
|
|
|
level++;
|
|
|
|
|
2022-01-26 05:00:38 +00:00
|
|
|
// documentation (non-code) buffers
|
|
|
|
y += 2;
|
|
|
|
mvprintw(y, 0, "prose: ");
|
|
|
|
index_within_level = 0;
|
|
|
|
for (int i = history_array_size; i > 0; --i) {
|
|
|
|
lua_rawgeti(L, history_array, i);
|
|
|
|
int t = lua_gettop(L);
|
|
|
|
for (lua_pushnil(L); lua_next(L, t) != 0; lua_pop(L, 1)) {
|
|
|
|
const char* definition_name = lua_tostring(L, -2);
|
|
|
|
if (is_special_history_key(definition_name)) continue;
|
|
|
|
if (starts_with(definition_name, "doc:")) {
|
|
|
|
if (is_current_definition(L, definition_name, i, history_array, history_array_size)) {
|
|
|
|
if (level == highlight_level && index_within_level == highlight_index_within_level) {
|
|
|
|
draw_highlighted_definition_name(definition_name);
|
|
|
|
strncpy(highlight, definition_name, CURRENT_DEFINITION_LEN);
|
|
|
|
} else {
|
|
|
|
draw_definition_name(definition_name);
|
|
|
|
}
|
|
|
|
++index_within_level;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
lua_pop(L, 1); // history element
|
|
|
|
}
|
|
|
|
level_size[level] = index_within_level;
|
|
|
|
level++;
|
|
|
|
|
2021-12-25 21:05:37 +00:00
|
|
|
// functions by level
|
|
|
|
y += 2;
|
|
|
|
mvprintw(y, 0, "functions: ");
|
|
|
|
y++;
|
|
|
|
for (int depth = 1; ; ++depth) {
|
|
|
|
mvaddstr(y, 0, " ");
|
|
|
|
bool drew_anything = false;
|
|
|
|
index_within_level = 0;
|
|
|
|
for (int i = history_array_size; i > 0; --i) {
|
|
|
|
lua_rawgeti(L, history_array, i);
|
|
|
|
int t = lua_gettop(L);
|
|
|
|
for (lua_pushnil(L); lua_next(L, t) != 0; lua_pop(L, 1)) {
|
|
|
|
const char* definition_name = lua_tostring(L, -2);
|
|
|
|
if (is_special_history_key(definition_name)) continue;
|
|
|
|
lua_getfield(L, cgt, definition_name);
|
|
|
|
int definition_depth = lua_tointeger(L, -1);
|
|
|
|
if (definition_depth == depth) {
|
|
|
|
if (is_current_definition(L, definition_name, i, history_array, history_array_size)) {
|
|
|
|
if (level == highlight_level && index_within_level == highlight_index_within_level) {
|
|
|
|
draw_highlighted_definition_name(definition_name);
|
|
|
|
strncpy(highlight, definition_name, CURRENT_DEFINITION_LEN);
|
|
|
|
} else {
|
|
|
|
draw_definition_name(definition_name);
|
|
|
|
}
|
|
|
|
++index_within_level;
|
|
|
|
}
|
|
|
|
drew_anything = true;
|
|
|
|
}
|
|
|
|
lua_pop(L, 1); // depth of value
|
|
|
|
}
|
|
|
|
lua_pop(L, 1); // history element
|
|
|
|
}
|
|
|
|
y += 2;
|
|
|
|
if (!drew_anything) break;
|
|
|
|
level_size[level] = index_within_level;
|
|
|
|
level++;
|
|
|
|
}
|
|
|
|
|
|
|
|
// unused functions
|
|
|
|
mvaddstr(y, 0, " ");
|
|
|
|
/* no need to level++ because the final iteration above didn't draw anything */
|
|
|
|
index_within_level = 0;
|
|
|
|
for (int i = history_array_size; i > 0; --i) {
|
|
|
|
lua_rawgeti(L, history_array, i);
|
|
|
|
int t = lua_gettop(L);
|
|
|
|
for (lua_pushnil(L); lua_next(L, t) != 0; lua_pop(L, 1)) {
|
|
|
|
const char* definition_name = lua_tostring(L, -2);
|
|
|
|
if (is_special_history_key(definition_name)) continue;
|
|
|
|
lua_getglobal(L, definition_name);
|
|
|
|
int is_function = lua_isfunction(L, -1);
|
|
|
|
lua_pop(L, 1);
|
|
|
|
lua_getfield(L, cgt, definition_name);
|
|
|
|
if (is_function && lua_isnoneornil(L, -1)) {
|
|
|
|
if (is_current_definition(L, definition_name, i, history_array, history_array_size)) {
|
|
|
|
if (level == highlight_level && index_within_level == highlight_index_within_level) {
|
|
|
|
draw_highlighted_definition_name(definition_name);
|
|
|
|
strncpy(highlight, definition_name, CURRENT_DEFINITION_LEN);
|
|
|
|
} else {
|
|
|
|
draw_definition_name(definition_name);
|
|
|
|
}
|
|
|
|
++index_within_level;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
lua_pop(L, 1); // depth of value
|
|
|
|
}
|
|
|
|
lua_pop(L, 1); // history element
|
|
|
|
}
|
|
|
|
level_size[level] = index_within_level;
|
|
|
|
int max_level = level;
|
|
|
|
|
|
|
|
lua_settop(L, 0);
|
|
|
|
render_previous_error();
|
|
|
|
|
|
|
|
char query[CURRENT_DEFINITION_LEN+1] = {0};
|
|
|
|
int qlen = 0;
|
|
|
|
while (1) {
|
|
|
|
big_picture_menu();
|
|
|
|
for (int x = 0; x < COLS; ++x)
|
|
|
|
mvaddch(LINES-2, x, ' ');
|
|
|
|
//? mvprintw(20, 60, "%d %d\n", highlight_level, highlight_index_within_level);
|
|
|
|
mvprintw(LINES-2, 0, "Edit: %s", query);
|
|
|
|
int c = getch();
|
|
|
|
if (c == KEY_BACKSPACE || c == DELETE || c == CTRL_H) {
|
|
|
|
if (qlen != 0) query[--qlen] = '\0';
|
|
|
|
} else if (c == CTRL_X) {
|
|
|
|
return;
|
|
|
|
} else if (c == ENTER) {
|
|
|
|
if (query[0] != '\0') {
|
|
|
|
save_to_current_definition_and_editor_buffer(L, query);
|
|
|
|
int back_to_big_picture = edit_current_definition(L);
|
|
|
|
if (back_to_big_picture) goto restart;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
} else if (c == CTRL_U) {
|
|
|
|
qlen = 0;
|
|
|
|
query[qlen] = '\0';
|
|
|
|
} else if (c == CTRL_R) {
|
|
|
|
recent_changes_view(L);
|
|
|
|
goto restart;
|
|
|
|
} else if (c == KEY_LEFT) {
|
|
|
|
highlight_index_within_level--;
|
|
|
|
if (highlight_index_within_level < 0) highlight_index_within_level = 0;
|
|
|
|
goto restart;
|
|
|
|
} else if (c == KEY_RIGHT) {
|
|
|
|
highlight_index_within_level++;
|
|
|
|
if (highlight_index_within_level >= level_size[highlight_level])
|
|
|
|
highlight_index_within_level = level_size[highlight_level]-1;
|
|
|
|
if (highlight_index_within_level < 0) highlight_index_within_level = 0;
|
|
|
|
goto restart;
|
|
|
|
} else if (c == KEY_UP) {
|
|
|
|
highlight_level--;
|
|
|
|
if (highlight_level < 0) highlight_level = 0;
|
|
|
|
if (highlight_index_within_level >= level_size[highlight_level])
|
|
|
|
highlight_index_within_level = level_size[highlight_level]-1;
|
|
|
|
if (highlight_index_within_level < 0) highlight_index_within_level = 0;
|
|
|
|
goto restart;
|
|
|
|
} else if (c == KEY_DOWN) {
|
|
|
|
highlight_level++;
|
|
|
|
if (highlight_level > max_level) highlight_level = max_level;
|
|
|
|
if (highlight_index_within_level >= level_size[highlight_level])
|
|
|
|
highlight_index_within_level = level_size[highlight_level]-1;
|
|
|
|
if (highlight_index_within_level < 0) highlight_index_within_level = 0;
|
|
|
|
goto restart;
|
|
|
|
} else if (c == CTRL_G) {
|
|
|
|
save_to_current_definition_and_editor_buffer(L, highlight);
|
|
|
|
int back_to_big_picture = edit_current_definition(L);
|
|
|
|
if (back_to_big_picture) goto restart;
|
|
|
|
return;
|
2022-01-03 06:13:47 +00:00
|
|
|
} else if (c == CTRL_E) {
|
2022-01-03 17:58:34 +00:00
|
|
|
const char* definition = events_view();
|
|
|
|
if (definition) {
|
|
|
|
save_to_current_definition_and_editor_buffer(L, definition);
|
|
|
|
int back_to_big_picture = edit_current_definition(L);
|
|
|
|
if (back_to_big_picture) goto restart;
|
|
|
|
}
|
2022-01-03 06:13:47 +00:00
|
|
|
return;
|
2021-12-25 21:05:37 +00:00
|
|
|
} else if (isprint(c)) {
|
|
|
|
if (qlen < CURRENT_DEFINITION_LEN) {
|
|
|
|
query[qlen++] = c;
|
|
|
|
query[qlen] = '\0';
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
/* never gets here */
|
|
|
|
}
|
|
|
|
|
2022-01-26 23:22:55 +00:00
|
|
|
extern int edit(lua_State* L, char* filename, char* definition_name);
|
2022-01-26 07:07:43 +00:00
|
|
|
static int look_up_definition (lua_State* L, const char* name);
|
|
|
|
void big_picture_view(lua_State* L) {
|
|
|
|
int oldtop = lua_gettop(L);
|
2022-01-26 07:25:05 +00:00
|
|
|
if (!look_up_definition(L, "doc:main")) {
|
|
|
|
lua_settop(L, oldtop);
|
2022-01-26 07:07:43 +00:00
|
|
|
default_big_picture_view(L);
|
|
|
|
} else {
|
2022-01-27 08:40:33 +00:00
|
|
|
save_to_current_definition_and_editor_buffer(L, "doc:main");
|
|
|
|
int back_to_big_picture = edit_current_definition(L);
|
2022-01-26 07:07:43 +00:00
|
|
|
if (back_to_big_picture)
|
|
|
|
default_big_picture_view(L);
|
|
|
|
}
|
|
|
|
lua_settop(L, oldtop);
|
|
|
|
}
|
|
|
|
|
2021-12-25 21:05:37 +00:00
|
|
|
/* return true if:
|
|
|
|
* - editor_state exists, and
|
|
|
|
* - editor_state is applicable to the current image
|
|
|
|
* Implicitly loads current editor state. */
|
|
|
|
int editor_view_in_progress(lua_State* L) {
|
|
|
|
FILE* in = fopen("teliva_editor_state", "r");
|
|
|
|
if (in == NULL) return 0;
|
|
|
|
int oldtop = lua_gettop(L);
|
|
|
|
teliva_load_definition(L, in);
|
|
|
|
int t = lua_gettop(L);
|
|
|
|
lua_getfield(L, t, "image");
|
|
|
|
const char* image_name = lua_tostring(L, -1);
|
|
|
|
int result = (strcmp(image_name, Image_name) == 0);
|
|
|
|
lua_pop(L, 1); /* image value */
|
|
|
|
lua_setglobal(L, "__teliva_editor_state");
|
|
|
|
assert(lua_gettop(L) == oldtop);
|
|
|
|
return result;
|
|
|
|
}
|
|
|
|
|
2022-01-04 07:36:44 +00:00
|
|
|
char Current_definition[CURRENT_DEFINITION_LEN+1] = {0};
|
|
|
|
|
|
|
|
void draw_callers_of_current_definition(lua_State* L) {
|
|
|
|
int oldtop = lua_gettop(L);
|
|
|
|
luaL_newmetatable(L, "__teliva_caller");
|
|
|
|
int ct = lua_gettop(L);
|
|
|
|
lua_getfield(L, ct, Current_definition);
|
|
|
|
if (lua_isnil(L, -1)) {
|
|
|
|
lua_pop(L, 2);
|
|
|
|
assert(oldtop == lua_gettop(L));
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
int ctc = lua_gettop(L);
|
|
|
|
attron(COLOR_PAIR(COLOR_PAIR_FADE));
|
|
|
|
mvaddstr(0, 0, "callers: ");
|
|
|
|
attroff(COLOR_PAIR(COLOR_PAIR_FADE));
|
|
|
|
for (lua_pushnil(L); lua_next(L, ctc) != 0; lua_pop(L, 1)) {
|
|
|
|
const char* caller_name = lua_tostring(L, -2);
|
|
|
|
draw_definition_name(caller_name);
|
|
|
|
}
|
|
|
|
lua_pop(L, 2); // caller table, __teliva_caller
|
|
|
|
assert(oldtop == lua_gettop(L));
|
|
|
|
}
|
|
|
|
|
2021-12-25 21:05:37 +00:00
|
|
|
extern int resumeEdit(lua_State* L);
|
2022-01-26 23:22:55 +00:00
|
|
|
extern int editFrom(lua_State* L, char* filename, char* definition_name, int rowoff, int coloff, int cy, int cx);
|
2021-12-25 21:05:37 +00:00
|
|
|
int restore_editor_view(lua_State* L) {
|
|
|
|
lua_getglobal(L, "__teliva_editor_state");
|
|
|
|
int editor_state_index = lua_gettop(L);
|
|
|
|
lua_getfield(L, editor_state_index, "definition");
|
|
|
|
const char* definition = lua_tostring(L, -1);
|
|
|
|
save_to_current_definition_and_editor_buffer(L, definition);
|
|
|
|
lua_getfield(L, editor_state_index, "rowoff");
|
|
|
|
int rowoff = lua_tointeger(L, -1);
|
|
|
|
lua_getfield(L, editor_state_index, "coloff");
|
|
|
|
int coloff = lua_tointeger(L, -1);
|
|
|
|
lua_getfield(L, editor_state_index, "cy");
|
|
|
|
int cy = lua_tointeger(L, -1);
|
|
|
|
lua_getfield(L, editor_state_index, "cx");
|
|
|
|
int cx = lua_tointeger(L, -1);
|
|
|
|
lua_settop(L, editor_state_index);
|
2022-01-26 23:22:55 +00:00
|
|
|
int back_to_big_picture = editFrom(L, "teliva_editor_buffer", Current_definition, rowoff, coloff, cy, cx);
|
2022-01-26 04:45:00 +00:00
|
|
|
if (starts_with(Current_definition, "doc:")) {
|
|
|
|
load_editor_buffer_to_current_definition_in_image(L);
|
|
|
|
return back_to_big_picture;
|
|
|
|
}
|
2021-12-25 21:05:37 +00:00
|
|
|
// error handling
|
|
|
|
int oldtop = lua_gettop(L);
|
|
|
|
while (1) {
|
|
|
|
int status;
|
2022-01-26 04:36:26 +00:00
|
|
|
status = load_editor_buffer_to_current_definition_in_image_and_reload(L);
|
2021-12-25 21:05:37 +00:00
|
|
|
if (status == 0 || lua_isnil(L, -1))
|
|
|
|
break;
|
|
|
|
Previous_error = lua_tostring(L, -1);
|
|
|
|
if (Previous_error == NULL) Previous_error = "(error object is not a string)";
|
|
|
|
back_to_big_picture = resumeEdit(L);
|
|
|
|
lua_pop(L, 1);
|
|
|
|
}
|
|
|
|
if (lua_gettop(L) != oldtop) {
|
|
|
|
endwin();
|
2022-01-03 00:50:15 +00:00
|
|
|
printf("editFrom: memory leak %d -> %d\n", oldtop, lua_gettop(L));
|
2021-12-25 21:05:37 +00:00
|
|
|
exit(1);
|
|
|
|
}
|
|
|
|
return back_to_big_picture;
|
|
|
|
}
|
|
|
|
|
|
|
|
char** Argv = NULL;
|
|
|
|
extern void cleanup_curses(void);
|
|
|
|
void developer_mode(lua_State* L) {
|
|
|
|
/* clobber the app's ncurses colors; we'll restart the app when we rerun it. */
|
|
|
|
assume_default_colors(COLOR_FOREGROUND, COLOR_BACKGROUND);
|
|
|
|
init_pair(COLOR_PAIR_NORMAL, COLOR_FOREGROUND, COLOR_BACKGROUND);
|
|
|
|
init_pair(COLOR_PAIR_SELECTABLE, COLOR_SELECTABLE_FOREGROUND, COLOR_SELECTABLE_BACKGROUND);
|
|
|
|
init_pair(COLOR_PAIR_FADE, COLOR_FADE, COLOR_BACKGROUND);
|
|
|
|
init_pair(COLOR_PAIR_MENU_ALTERNATE, COLOR_MENU_ALTERNATE, COLOR_BACKGROUND);
|
|
|
|
init_pair(COLOR_PAIR_LUA_COMMENT, COLOR_LUA_COMMENT, COLOR_BACKGROUND);
|
|
|
|
init_pair(COLOR_PAIR_LUA_KEYWORD, COLOR_LUA_KEYWORD, COLOR_BACKGROUND);
|
|
|
|
init_pair(COLOR_PAIR_LUA_CONSTANT, COLOR_LUA_CONSTANT, COLOR_BACKGROUND);
|
|
|
|
init_pair(COLOR_PAIR_MATCH, COLOR_MATCH_FOREGROUND, COLOR_MATCH_BACKGROUND);
|
|
|
|
init_pair(COLOR_PAIR_ERROR, COLOR_ERROR_FOREGROUND, COLOR_ERROR_BACKGROUND);
|
|
|
|
nodelay(stdscr, 0); /* always make getch() block in developer mode */
|
|
|
|
curs_set(1); /* always display cursor in developer mode */
|
|
|
|
int switch_to_big_picture_view = 1;
|
|
|
|
if (editor_view_in_progress(L))
|
|
|
|
switch_to_big_picture_view = restore_editor_view(L);
|
|
|
|
if (switch_to_big_picture_view)
|
|
|
|
big_picture_view(L);
|
|
|
|
cleanup_curses();
|
|
|
|
execv(Argv[0], Argv);
|
|
|
|
/* never returns */
|
|
|
|
}
|
|
|
|
|
|
|
|
void save_editor_state(int rowoff, int coloff, int cy, int cx) {
|
|
|
|
if (strlen(Current_definition) == 0) return;
|
|
|
|
char outfilename[] = "teliva_editor_state_XXXXXX";
|
|
|
|
int outfd = mkstemp(outfilename);
|
|
|
|
if (outfd == -1) {
|
|
|
|
endwin();
|
|
|
|
perror("error in creating temporary file");
|
|
|
|
abort();
|
|
|
|
}
|
|
|
|
FILE* out = fdopen(outfd, "w");
|
|
|
|
assert(out != NULL);
|
|
|
|
fprintf(out, "- image: %s\n", Image_name);
|
|
|
|
fprintf(out, " definition: %s\n", Current_definition);
|
|
|
|
fprintf(out, " rowoff: %d\n", rowoff);
|
|
|
|
fprintf(out, " coloff: %d\n", coloff);
|
|
|
|
fprintf(out, " cy: %d\n", cy);
|
|
|
|
fprintf(out, " cx: %d\n", cx);
|
|
|
|
fclose(out);
|
|
|
|
rename(outfilename, "teliva_editor_state");
|
|
|
|
}
|
|
|
|
|
|
|
|
/* when found, return 1 and leave string on top of stack
|
|
|
|
* when not found, return 0
|
|
|
|
* caller is responsible for cleaning up the stack. */
|
|
|
|
static int look_up_definition (lua_State* L, const char* name) {
|
|
|
|
lua_getglobal(L, "teliva_program");
|
|
|
|
int history_array = lua_gettop(L);
|
|
|
|
/* iterate over mutations in teliva_program history in reverse order */
|
|
|
|
int history_array_size = luaL_getn(L, history_array);
|
|
|
|
for (int i = history_array_size; i > 0; --i) {
|
|
|
|
lua_rawgeti(L, history_array, i);
|
|
|
|
int table = lua_gettop(L);
|
|
|
|
/* iterate over bindings */
|
|
|
|
/* really we expect only one */
|
|
|
|
for (lua_pushnil(L); lua_next(L, table) != 0; lua_pop(L, 1)) {
|
|
|
|
const char* key = lua_tostring(L, -2);
|
|
|
|
if (strcmp(key, "__teliva_undo") == 0) {
|
|
|
|
int next_i = lua_tointeger(L, -1);
|
|
|
|
assert(next_i < i);
|
|
|
|
i = next_i + 1; /* account for decrement */
|
|
|
|
lua_pop(L, 1);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
if (is_special_history_key(key)) continue;
|
|
|
|
if (strcmp(key, name) == 0)
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
lua_pop(L, 1);
|
|
|
|
}
|
|
|
|
lua_pop(L, 1);
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
void save_to_current_definition_and_editor_buffer(lua_State* L, const char* definition) {
|
|
|
|
int oldtop = lua_gettop(L);
|
|
|
|
strncpy(Current_definition, definition, CURRENT_DEFINITION_LEN);
|
|
|
|
int status = look_up_definition(L, Current_definition);
|
|
|
|
char outfilename[] = "teliva_editor_buffer_XXXXXX";
|
|
|
|
int outfd = mkstemp(outfilename);
|
|
|
|
if (outfd == -1) {
|
|
|
|
endwin();
|
|
|
|
perror("save_to_current_definition_and_editor_buffer: error in creating temporary file");
|
|
|
|
abort();
|
|
|
|
}
|
|
|
|
FILE* out = fdopen(outfd, "w");
|
|
|
|
assert(out != NULL);
|
|
|
|
if (status)
|
|
|
|
fprintf(out, "%s", lua_tostring(L, -1));
|
|
|
|
fclose(out);
|
|
|
|
rename(outfilename, "teliva_editor_buffer");
|
|
|
|
lua_settop(L, oldtop);
|
|
|
|
}
|
|
|
|
|
|
|
|
/* I don't understand the best way to read all of a text file.
|
|
|
|
* I'm currently using fread, but its error handling is really designed for
|
|
|
|
* binary data containing fixed-size records. */
|
|
|
|
static void read_editor_buffer(char* out, int capacity) {
|
|
|
|
FILE* in = fopen("teliva_editor_buffer", "r");
|
|
|
|
fread(out, capacity, 1, in); /* TODO: handle overly large file */
|
|
|
|
fclose(in);
|
|
|
|
}
|
|
|
|
|
|
|
|
static void update_definition(lua_State* L, const char* name, char* new_contents) {
|
|
|
|
int oldtop = lua_gettop(L);
|
2022-01-26 04:53:46 +00:00
|
|
|
/* if contents are unmodified, return */
|
|
|
|
if (look_up_definition(L, name)) {
|
|
|
|
const char* old_contents = lua_tostring(L, -1);
|
|
|
|
bool contents_unmodified = (strcmp(old_contents, new_contents) == 0);
|
|
|
|
lua_settop(L, oldtop);
|
|
|
|
if (contents_unmodified) return;
|
|
|
|
}
|
2021-12-25 21:05:37 +00:00
|
|
|
lua_getglobal(L, "teliva_program");
|
|
|
|
int history_array = lua_gettop(L);
|
|
|
|
/* create a new table containing a single binding */
|
|
|
|
lua_createtable(L, /*number of fields per mutation*/2, 0);
|
|
|
|
lua_pushstring(L, new_contents);
|
|
|
|
assert(strlen(name) > 0);
|
|
|
|
lua_setfield(L, -2, name);
|
|
|
|
/* include timestamp at which binding was created */
|
|
|
|
time_t t;
|
|
|
|
time(&t);
|
|
|
|
char* time_string = ctime(&t);
|
|
|
|
lua_pushstring(L, time_string);
|
|
|
|
lua_setfield(L, -2, "__teliva_timestamp");
|
|
|
|
/* append the new table to the history of mutations */
|
|
|
|
int history_array_size = luaL_getn(L, history_array);
|
|
|
|
++history_array_size;
|
|
|
|
lua_rawseti(L, history_array, history_array_size);
|
|
|
|
lua_settop(L, oldtop);
|
|
|
|
}
|
|
|
|
|
|
|
|
extern void save_tlv(lua_State* L, char* filename);
|
2022-01-26 04:45:00 +00:00
|
|
|
void load_editor_buffer_to_current_definition_in_image(lua_State* L) {
|
|
|
|
char new_contents[8192] = {0};
|
|
|
|
read_editor_buffer(new_contents, 8190);
|
|
|
|
update_definition(L, Current_definition, new_contents);
|
|
|
|
save_tlv(L, Image_name);
|
|
|
|
}
|
|
|
|
|
2021-12-25 21:05:37 +00:00
|
|
|
extern int docall(lua_State* L, int narg, int clear);
|
2022-01-26 04:38:27 +00:00
|
|
|
int load_editor_buffer_to_current_definition_in_image_and_reload(lua_State* L) {
|
2021-12-25 21:05:37 +00:00
|
|
|
char new_contents[8192] = {0};
|
|
|
|
read_editor_buffer(new_contents, 8190);
|
|
|
|
update_definition(L, Current_definition, new_contents);
|
|
|
|
save_tlv(L, Image_name);
|
|
|
|
/* reload binding */
|
|
|
|
return luaL_loadbuffer(L, new_contents, strlen(new_contents), Current_definition)
|
|
|
|
|| docall(L, 0, 1);
|
|
|
|
}
|
|
|
|
|
|
|
|
/* return true if user chose to back into the big picture view */
|
|
|
|
/* But only if there are no errors. Otherwise things can get confusing. */
|
|
|
|
static int edit_current_definition(lua_State* L) {
|
2022-01-26 23:22:55 +00:00
|
|
|
int back_to_big_picture = edit(L, "teliva_editor_buffer", Current_definition);
|
2022-01-26 04:45:00 +00:00
|
|
|
if (starts_with(Current_definition, "doc:")) {
|
|
|
|
load_editor_buffer_to_current_definition_in_image(L);
|
|
|
|
return back_to_big_picture;
|
|
|
|
}
|
2021-12-25 21:05:37 +00:00
|
|
|
// error handling
|
|
|
|
int oldtop = lua_gettop(L);
|
|
|
|
while (1) {
|
|
|
|
int status;
|
2022-01-26 04:36:26 +00:00
|
|
|
status = load_editor_buffer_to_current_definition_in_image_and_reload(L);
|
2021-12-25 21:05:37 +00:00
|
|
|
if (status == 0 || lua_isnil(L, -1))
|
|
|
|
break;
|
|
|
|
Previous_error = lua_tostring(L, -1);
|
|
|
|
if (Previous_error == NULL) Previous_error = "(error object is not a string)";
|
|
|
|
back_to_big_picture = resumeEdit(L);
|
|
|
|
lua_pop(L, 1);
|
|
|
|
}
|
|
|
|
if (lua_gettop(L) != oldtop) {
|
|
|
|
endwin();
|
|
|
|
printf("edit_current_definition: memory leak %d -> %d\n", oldtop, lua_gettop(L));
|
|
|
|
exit(1);
|
|
|
|
}
|
|
|
|
return back_to_big_picture;
|
|
|
|
}
|
|
|
|
|
|
|
|
static void recent_changes_menu(int cursor, int history_array_size) {
|
|
|
|
attrset(A_REVERSE);
|
|
|
|
for (int x = 0; x < COLS; ++x)
|
|
|
|
mvaddch(LINES-1, x, ' ');
|
|
|
|
attrset(A_NORMAL);
|
|
|
|
menu_column = 2;
|
|
|
|
draw_menu_item("^x", "go back");
|
|
|
|
/* draw_menu_item("↓|space", "older"); */
|
|
|
|
attroff(A_REVERSE);
|
|
|
|
mvaddstr(LINES-1, menu_column, " ↓");
|
|
|
|
attron(COLOR_PAIR(COLOR_PAIR_MENU_ALTERNATE));
|
|
|
|
addstr("|");
|
|
|
|
attroff(COLOR_PAIR(COLOR_PAIR_MENU_ALTERNATE));
|
|
|
|
addstr("space ");
|
|
|
|
menu_column += 9; /* strlen isn't sufficient */
|
|
|
|
attron(A_REVERSE);
|
|
|
|
draw_string_on_menu("older");
|
|
|
|
/* draw_menu_item("↑|backspace|delete|^h", "newer"); */
|
|
|
|
attroff(A_REVERSE);
|
|
|
|
mvaddstr(LINES-1, menu_column, " ↑");
|
|
|
|
attron(COLOR_PAIR(COLOR_PAIR_MENU_ALTERNATE));
|
|
|
|
addstr("|");
|
|
|
|
attroff(COLOR_PAIR(COLOR_PAIR_MENU_ALTERNATE));
|
|
|
|
addstr("backspace");
|
|
|
|
attron(COLOR_PAIR(COLOR_PAIR_MENU_ALTERNATE));
|
|
|
|
addstr("|");
|
|
|
|
attroff(COLOR_PAIR(COLOR_PAIR_MENU_ALTERNATE));
|
|
|
|
addstr("delete");
|
|
|
|
attron(COLOR_PAIR(COLOR_PAIR_MENU_ALTERNATE));
|
|
|
|
addstr("|");
|
|
|
|
attroff(COLOR_PAIR(COLOR_PAIR_MENU_ALTERNATE));
|
|
|
|
addstr("^h ");
|
|
|
|
menu_column += 23;
|
|
|
|
attron(A_REVERSE);
|
|
|
|
draw_string_on_menu("newer");
|
|
|
|
draw_menu_item("^e", "edit note");
|
|
|
|
if (cursor < history_array_size)
|
|
|
|
draw_menu_item("^u", "undo everything after this");
|
|
|
|
attrset(A_NORMAL);
|
|
|
|
}
|
|
|
|
|
|
|
|
/* return final y containing text */
|
|
|
|
static int render_wrapped_lua_text(int y, int xmin, int xmax, const char* text) {
|
|
|
|
int x = xmin;
|
|
|
|
move(y, x);
|
|
|
|
for (int j = 0; j < strlen(text); ++j) {
|
|
|
|
char c = text[j];
|
|
|
|
if (c == '-' && j+1 < strlen(text) && text[j+1] == '-')
|
|
|
|
attron(COLOR_PAIR(COLOR_PAIR_LUA_COMMENT));
|
|
|
|
if (c != '\n') {
|
|
|
|
addch(text[j]);
|
|
|
|
++x;
|
|
|
|
if (x >= xmax) {
|
|
|
|
++y;
|
|
|
|
x = xmin;
|
|
|
|
move(y, x);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
/* newline */
|
|
|
|
++y;
|
|
|
|
x = xmin;
|
|
|
|
move(y, x);
|
|
|
|
attroff(COLOR_PAIR(COLOR_PAIR_LUA_COMMENT));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return y;
|
|
|
|
}
|
|
|
|
|
|
|
|
static void render_recent_changes(lua_State* L, int start_index) {
|
|
|
|
clear();
|
|
|
|
attrset(A_BOLD);
|
|
|
|
mvaddstr(1, 0, "Recent changes");
|
|
|
|
attrset(A_NORMAL);
|
|
|
|
int oldtop = lua_gettop(L);
|
|
|
|
lua_getglobal(L, "teliva_program");
|
|
|
|
int history_array = lua_gettop(L);
|
|
|
|
int history_array_size = luaL_getn(L, history_array);
|
|
|
|
int y = 3;
|
|
|
|
attron(A_REVERSE);
|
|
|
|
for (int i = start_index; i > 0; --i) {
|
|
|
|
attron(A_BOLD);
|
|
|
|
mvprintw(y, 0, "%3d. ", i);
|
|
|
|
attrset(A_NORMAL);
|
|
|
|
lua_rawgeti(L, history_array, i);
|
|
|
|
int t = lua_gettop(L);
|
|
|
|
for (lua_pushnil(L); lua_next(L, t) != 0; lua_pop(L, 1)) {
|
|
|
|
if (strcmp(lua_tostring(L, -2), "__teliva_undo") == 0) {
|
|
|
|
addstr("undo to ");
|
|
|
|
attron(A_BOLD);
|
|
|
|
printw("%d", lua_tointeger(L, -1));
|
|
|
|
attroff(A_BOLD);
|
|
|
|
y++;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
const char* definition_name = lua_tostring(L, -2);
|
|
|
|
if (is_special_history_key(definition_name)) continue;
|
|
|
|
addstr(definition_name);
|
|
|
|
/* save timestamp of binding if available */
|
|
|
|
lua_getfield(L, t, "__teliva_timestamp");
|
|
|
|
if (!lua_isnil(L, -1)) {
|
|
|
|
char buffer[128] = {0};
|
|
|
|
strncpy(buffer, lua_tostring(L, -1), 120);
|
|
|
|
if (buffer[strlen(buffer)-1] == '\n')
|
|
|
|
buffer[strlen(buffer)-1] = '\0';
|
|
|
|
attron(COLOR_PAIR(COLOR_PAIR_FADE));
|
|
|
|
printw(" %s", buffer);
|
|
|
|
attroff(COLOR_PAIR(COLOR_PAIR_FADE));
|
|
|
|
}
|
|
|
|
lua_pop(L, 1);
|
|
|
|
lua_getfield(L, t, "__teliva_note");
|
|
|
|
if (!lua_isnil(L, -1)) {
|
|
|
|
attron(COLOR_PAIR(COLOR_PAIR_FADE));
|
|
|
|
printw(" -- %s", lua_tostring(L, -1));
|
|
|
|
attroff(COLOR_PAIR(COLOR_PAIR_FADE));
|
|
|
|
}
|
|
|
|
lua_pop(L, 1);
|
|
|
|
y++;
|
|
|
|
const char* definition_contents = lua_tostring(L, -1);
|
|
|
|
y = render_wrapped_lua_text(y, 0, COLS, definition_contents);
|
|
|
|
y++;
|
|
|
|
if (y >= LINES-1) break; /* leave cruft on the stack */
|
|
|
|
}
|
|
|
|
lua_settop(L, t); /* clean up cruft on the stack */
|
|
|
|
lua_pop(L, 1); // history element
|
|
|
|
y++;
|
|
|
|
if (y >= LINES-1) break;
|
|
|
|
}
|
|
|
|
lua_pop(L, 1); // history array
|
|
|
|
if (lua_gettop(L) != oldtop) {
|
|
|
|
endwin();
|
|
|
|
printf("render_recent_changes: memory leak %d -> %d\n", oldtop, lua_gettop(L));
|
|
|
|
exit(1);
|
|
|
|
}
|
|
|
|
recent_changes_menu(start_index, history_array_size);
|
|
|
|
refresh();
|
|
|
|
}
|
|
|
|
|
|
|
|
static void add_undo_event(lua_State* L, int cursor) {
|
|
|
|
lua_getglobal(L, "teliva_program");
|
|
|
|
int history_array = lua_gettop(L);
|
|
|
|
/* create a new table containing the undo event */
|
|
|
|
lua_createtable(L, /*number of fields per mutation*/2, 0);
|
|
|
|
lua_pushinteger(L, cursor);
|
|
|
|
lua_setfield(L, -2, "__teliva_undo");
|
|
|
|
/* include timestamp at which event was created */
|
|
|
|
time_t t;
|
|
|
|
time(&t);
|
|
|
|
char* time_string = ctime(&t);
|
|
|
|
lua_pushstring(L, time_string);
|
|
|
|
lua_setfield(L, -2, "__teliva_timestamp");
|
|
|
|
/* append the new table to the history of mutations */
|
|
|
|
int history_array_size = luaL_getn(L, history_array);
|
|
|
|
++history_array_size;
|
|
|
|
lua_rawseti(L, history_array, history_array_size);
|
|
|
|
/* clean up */
|
|
|
|
lua_pop(L, 1);
|
|
|
|
}
|
|
|
|
|
|
|
|
static void save_note_to_editor_buffer(lua_State* L, int cursor) {
|
|
|
|
lua_getglobal(L, "teliva_program");
|
|
|
|
lua_rawgeti(L, -1, cursor);
|
|
|
|
lua_getfield(L, -1, "__teliva_note");
|
|
|
|
const char* contents = lua_tostring(L, -1);
|
|
|
|
char outfilename[] = "teliva_editor_buffer_XXXXXX";
|
|
|
|
int outfd = mkstemp(outfilename);
|
|
|
|
if (outfd == -1) {
|
|
|
|
endwin();
|
|
|
|
perror("save_note_to_editor_buffer: error in creating temporary file");
|
|
|
|
abort();
|
|
|
|
}
|
|
|
|
FILE* out = fdopen(outfd, "w");
|
|
|
|
assert(out != NULL);
|
|
|
|
if (contents != NULL)
|
|
|
|
fprintf(out, "%s", contents);
|
|
|
|
fclose(out);
|
|
|
|
rename(outfilename, "teliva_editor_buffer");
|
|
|
|
lua_pop(L, 3); /* contents, table at cursor, teliva_program */
|
|
|
|
}
|
|
|
|
|
|
|
|
static void load_note_from_editor_buffer(lua_State* L, int cursor) {
|
|
|
|
lua_getglobal(L, "teliva_program");
|
|
|
|
char new_contents[8192] = {0};
|
|
|
|
read_editor_buffer(new_contents, 8190);
|
|
|
|
lua_rawgeti(L, -1, cursor);
|
|
|
|
lua_pushstring(L, new_contents);
|
|
|
|
lua_setfield(L, -2, "__teliva_note");
|
|
|
|
lua_pop(L, 2); /* table at cursor, teliva_program */
|
|
|
|
}
|
|
|
|
|
2022-01-03 02:25:11 +00:00
|
|
|
extern void editNonCode(char* filename);
|
2021-12-25 21:05:37 +00:00
|
|
|
static void recent_changes_view(lua_State* L) {
|
|
|
|
lua_getglobal(L, "teliva_program");
|
|
|
|
int history_array = lua_gettop(L);
|
|
|
|
assert(history_array == 1);
|
|
|
|
int history_array_size = luaL_getn(L, history_array);
|
|
|
|
int cursor = history_array_size;
|
|
|
|
lua_pop(L, 1);
|
|
|
|
int quit = 0;
|
|
|
|
while (!quit) {
|
|
|
|
/* refresh state after each operation so we pick up modifications */
|
|
|
|
render_recent_changes(L, cursor);
|
|
|
|
int c = getch();
|
|
|
|
switch (c) {
|
|
|
|
case CTRL_X:
|
|
|
|
quit = 1;
|
|
|
|
break;
|
|
|
|
case KEY_DOWN:
|
|
|
|
case ' ':
|
|
|
|
if (cursor > 1) --cursor;
|
|
|
|
break;
|
|
|
|
case KEY_UP:
|
|
|
|
case KEY_BACKSPACE:
|
|
|
|
case DELETE:
|
|
|
|
case CTRL_H:
|
|
|
|
if (cursor < history_array_size) ++cursor;
|
|
|
|
break;
|
|
|
|
case CTRL_E:
|
|
|
|
save_note_to_editor_buffer(L, cursor);
|
|
|
|
/* big picture hotkey unnecessarily available here */
|
2022-01-03 00:55:23 +00:00
|
|
|
editNonCode("teliva_editor_buffer");
|
2021-12-25 21:05:37 +00:00
|
|
|
load_note_from_editor_buffer(L, cursor);
|
|
|
|
save_tlv(L, Image_name);
|
|
|
|
break;
|
|
|
|
case CTRL_U:
|
|
|
|
if (cursor < history_array_size) {
|
|
|
|
add_undo_event(L, cursor);
|
|
|
|
save_tlv(L, Image_name);
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
static int binding_exists (lua_State *L, const char *name) {
|
|
|
|
int result = 0;
|
|
|
|
lua_getglobal(L, name);
|
|
|
|
result = !lua_isnil(L, -1);
|
|
|
|
lua_pop(L, 1);
|
|
|
|
return result;
|
|
|
|
}
|
|
|
|
|
|
|
|
extern int dostring(lua_State* L, const char* s, const char* name);
|
|
|
|
static int load_definitions(lua_State* L) {
|
|
|
|
int status;
|
|
|
|
lua_getglobal(L, "teliva_program");
|
|
|
|
int history_array = lua_gettop(L);
|
|
|
|
/* iterate over mutations in teliva_program history in reverse order */
|
|
|
|
int history_array_size = luaL_getn(L, history_array);
|
|
|
|
for (int i = history_array_size; i > 0; --i) {
|
|
|
|
lua_rawgeti(L, history_array, i);
|
|
|
|
int table = lua_gettop(L);
|
|
|
|
/* iterate over bindings */
|
|
|
|
/* really we expect only one */
|
|
|
|
for (lua_pushnil(L); lua_next(L, table) != 0; lua_pop(L, 1)) {
|
|
|
|
const char* key = lua_tostring(L, -2);
|
|
|
|
if (strcmp(key, "__teliva_undo") == 0) {
|
|
|
|
int next_i = lua_tointeger(L, -1);
|
|
|
|
assert(next_i < i);
|
|
|
|
i = next_i + 1; /* account for decrement */
|
|
|
|
lua_pop(L, 1);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
if (is_special_history_key(key)) continue;
|
2022-01-26 04:45:00 +00:00
|
|
|
if (starts_with(key, "doc:")) continue;
|
2021-12-25 21:05:37 +00:00
|
|
|
if (binding_exists(L, key))
|
|
|
|
continue; // most recent binding trumps older ones
|
|
|
|
const char* value = lua_tostring(L, -1);
|
|
|
|
status = dostring(L, value, key);
|
|
|
|
if (status != 0) return report_in_developer_mode(L, status);
|
|
|
|
}
|
|
|
|
lua_pop(L, 1);
|
|
|
|
}
|
|
|
|
lua_pop(L, 1);
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
static int run_tests(lua_State* L) {
|
|
|
|
clear();
|
|
|
|
lua_pushinteger(L, 0);
|
|
|
|
lua_setglobal(L, "teliva_num_test_failures");
|
|
|
|
lua_pushnil(L);
|
|
|
|
lua_setglobal(L, "teliva_first_failure");
|
|
|
|
lua_pushvalue(L, LUA_GLOBALSINDEX);
|
|
|
|
int table = lua_gettop(L);
|
|
|
|
for (lua_pushnil(L); lua_next(L, table) != 0; lua_pop(L, 1)) {
|
|
|
|
const char* key = lua_tostring(L, -2);
|
|
|
|
if (strncmp("test_", key, strlen("test_")) != 0) continue;
|
|
|
|
if (!lua_isfunction(L, -1)) continue;
|
|
|
|
int status = lua_pcall(L, 0, 0, 0);
|
|
|
|
if (status) {
|
|
|
|
printw("E%d: %s", status, lua_tostring(L, -1));
|
|
|
|
/* increment teliva_num_test_failures */
|
|
|
|
lua_getglobal(L, "teliva_num_test_failures");
|
|
|
|
int num_failures = lua_tointeger(L, -1);
|
|
|
|
lua_pop(L, 1);
|
|
|
|
lua_pushinteger(L, num_failures+1);
|
|
|
|
lua_setglobal(L, "teliva_num_test_failures");
|
|
|
|
/* if unset, set teliva_first_failure */
|
|
|
|
lua_getglobal(L, "teliva_first_failure");
|
|
|
|
int first_failure_clear = lua_isnil(L, -1);
|
|
|
|
lua_pop(L, 1);
|
|
|
|
if (first_failure_clear)
|
|
|
|
lua_setglobal(L, "teliva_first_failure");
|
|
|
|
}
|
|
|
|
lua_pushnil(L); /* just to undo loop update */
|
|
|
|
}
|
|
|
|
lua_pop(L, 1);
|
|
|
|
lua_getglobal(L, "teliva_num_test_failures");
|
|
|
|
int num_failures = lua_tointeger(L, -1);
|
|
|
|
lua_pop(L, 1);
|
|
|
|
if (num_failures == 0) return 0;
|
|
|
|
if (num_failures == 1)
|
|
|
|
addstr("1 failure");
|
|
|
|
else
|
|
|
|
printw("%d failures", num_failures);
|
|
|
|
getch();
|
|
|
|
/* take first failure back to developer mode */
|
|
|
|
lua_getglobal(L, "teliva_first_failure");
|
|
|
|
assert(!lua_isnil(L, -1));
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
static void clear_call_graph(lua_State* L) {
|
|
|
|
int oldtop = lua_gettop(L);
|
|
|
|
luaL_newmetatable(L, "__teliva_call_graph_depth");
|
|
|
|
int cgt = lua_gettop(L);
|
|
|
|
lua_pushnil(L);
|
|
|
|
while (lua_next(L, cgt) != 0) {
|
|
|
|
lua_pop(L, 1); /* old value */
|
|
|
|
lua_pushvalue(L, -1); /* duplicate key */
|
|
|
|
lua_pushnil(L); /* new value */
|
|
|
|
lua_settable(L, cgt);
|
|
|
|
/* one copy of key left for lua_next */
|
|
|
|
}
|
|
|
|
lua_pop(L, 1);
|
|
|
|
assert(lua_gettop(L) == oldtop);
|
|
|
|
}
|
|
|
|
|
2022-01-03 06:13:47 +00:00
|
|
|
/*** Permissions */
|
|
|
|
|
2022-01-03 02:25:11 +00:00
|
|
|
/* Perform privilege calculations in a whole other isolated context. */
|
|
|
|
lua_State* trustedL = NULL;
|
|
|
|
|
|
|
|
void initialize_trustedL() {
|
|
|
|
trustedL = luaL_newstate();
|
|
|
|
lua_gc(trustedL, LUA_GCSTOP, 0); /* stop collector during initialization */
|
|
|
|
luaL_openlibs(trustedL);
|
|
|
|
/* TODO: Should we include ncurses? How to debug policies? */
|
|
|
|
lua_gc(trustedL, LUA_GCRESTART, 0);
|
|
|
|
}
|
|
|
|
|
2022-01-05 06:09:23 +00:00
|
|
|
static const char* user_configuration_filename() {
|
|
|
|
const char* home = getenv("HOME");
|
|
|
|
if (home == NULL) {
|
|
|
|
endwin();
|
|
|
|
fprintf(stderr, "$HOME is not set; unclear where to save permissions.\n");
|
|
|
|
abort();
|
|
|
|
}
|
|
|
|
static char config_filename[1024] = {0};
|
|
|
|
memset(config_filename, '\0', 1024);
|
|
|
|
const char* config_home = getenv("XDG_CONFIG_HOME");
|
|
|
|
if (config_home == NULL)
|
2022-02-02 04:59:53 +00:00
|
|
|
snprintf(config_filename, 1020, "%s/.teliva", home);
|
2022-01-05 06:09:23 +00:00
|
|
|
else
|
2022-02-02 04:59:53 +00:00
|
|
|
snprintf(config_filename, 1020, "%s/.teliva", config_home);
|
2022-01-05 06:09:23 +00:00
|
|
|
return config_filename;
|
|
|
|
}
|
|
|
|
|
2022-02-02 04:59:53 +00:00
|
|
|
int file_operation_permitted(const char* caller, const char* filename, const char* mode) {
|
2022-01-03 02:25:11 +00:00
|
|
|
int oldtop = lua_gettop(trustedL);
|
|
|
|
lua_getglobal(trustedL, "file_operation_permitted");
|
2022-02-02 04:59:53 +00:00
|
|
|
lua_pushstring(trustedL, caller);
|
2022-01-03 02:25:11 +00:00
|
|
|
lua_pushstring(trustedL, filename);
|
|
|
|
lua_pushstring(trustedL, mode);
|
2022-02-02 04:59:53 +00:00
|
|
|
if (lua_pcall(trustedL, 3 /*args*/, 1 /*result*/, /*errfunc*/0)) {
|
2022-01-03 02:25:11 +00:00
|
|
|
/* TODO: error handling. Or should we use errfunc above? */
|
|
|
|
}
|
2022-01-05 06:09:42 +00:00
|
|
|
if (!lua_isboolean(trustedL, -1)) {
|
|
|
|
endwin();
|
|
|
|
printf("Sorry, there's an error in permissions for this image.\n");
|
|
|
|
printf("Delete '%s' or try editing it by hand.\n", user_configuration_filename());
|
|
|
|
exit(1);
|
|
|
|
}
|
2022-01-03 02:25:11 +00:00
|
|
|
int should_allow = lua_toboolean(trustedL, -1);
|
|
|
|
lua_settop(trustedL, oldtop);
|
|
|
|
return should_allow;
|
|
|
|
}
|
2021-12-26 01:10:30 +00:00
|
|
|
|
|
|
|
static void permissions_menu() {
|
|
|
|
attrset(A_REVERSE);
|
|
|
|
for (int x = 0; x < COLS; ++x)
|
|
|
|
mvaddch(LINES-1, x, ' ');
|
|
|
|
attrset(A_NORMAL);
|
|
|
|
menu_column = 2;
|
|
|
|
draw_menu_item("^x", "go back");
|
2022-01-03 02:25:11 +00:00
|
|
|
draw_menu_item("^f", "edit file permissions");
|
2021-12-26 01:10:30 +00:00
|
|
|
draw_menu_item("^n", "toggle network permissions");
|
|
|
|
attrset(A_NORMAL);
|
|
|
|
}
|
|
|
|
|
2022-01-05 07:33:26 +00:00
|
|
|
void characterize_file_operations_predicate() {
|
|
|
|
static const char* test_filenames[] = { "foo", "/foo", "../foo", NULL };
|
|
|
|
static const char* test_modes[] = { "r", "r+", "w", "w+", "a", "a+", NULL };
|
|
|
|
int num_attempts = 0;
|
|
|
|
int num_rejections = 0;
|
|
|
|
int num_errors = 0;
|
|
|
|
for (const char** test_filename = test_filenames; *test_filename; ++test_filename) {
|
|
|
|
for (const char** test_mode = test_modes; *test_mode; ++test_mode) {
|
|
|
|
lua_getglobal(trustedL, "file_operation_permitted");
|
2022-02-02 04:59:53 +00:00
|
|
|
lua_pushstring(trustedL, "___");
|
2022-01-05 07:33:26 +00:00
|
|
|
lua_pushstring(trustedL, *test_filename);
|
|
|
|
lua_pushstring(trustedL, *test_mode);
|
2022-02-02 04:59:53 +00:00
|
|
|
if (lua_pcall(trustedL, 3 /*args*/, 1 /*result*/, /*errfunc*/0)) {
|
2022-01-05 07:33:26 +00:00
|
|
|
/* TODO: error handling. Or should we use errfunc above? */
|
|
|
|
}
|
|
|
|
++num_attempts;
|
|
|
|
if (!lua_isboolean(trustedL, -1)) {
|
|
|
|
++num_errors;
|
|
|
|
} else {
|
|
|
|
if (!lua_toboolean(trustedL, -1))
|
|
|
|
++num_rejections;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if (num_errors > 0) {
|
|
|
|
attron(COLOR_PAIR(COLOR_PAIR_ERROR));
|
|
|
|
addstr(" Throws errors some of the time. You should fix them before moving on. ");
|
|
|
|
attroff(COLOR_PAIR(COLOR_PAIR_ERROR));
|
|
|
|
}
|
|
|
|
else if (strcmp("return false", trim(file_operations_predicate_body)) == 0) {
|
|
|
|
attron(COLOR_PAIR(COLOR_PAIR_SAFE));
|
|
|
|
addstr("● Rejects all file operations.");
|
|
|
|
attroff(COLOR_PAIR(COLOR_PAIR_SAFE));
|
|
|
|
}
|
|
|
|
else if (strcmp("return true", trim(file_operations_predicate_body)) == 0) {
|
|
|
|
attron(COLOR_PAIR(COLOR_PAIR_WARN));
|
|
|
|
addstr("◯ Allows all file operations.");
|
|
|
|
attroff(COLOR_PAIR(COLOR_PAIR_WARN));
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
static const char* statuses[5] = {
|
|
|
|
"◯ Weakly suspected to allow all file operations.",
|
|
|
|
"◔ Weakly suspected to allow most file operations.",
|
|
|
|
"◑ Weakly suspected to allow many file operations.",
|
|
|
|
"◕ Weakly suspected to reject most file operations.",
|
|
|
|
"● Weakly suspected to reject all file operations.",
|
|
|
|
};
|
|
|
|
attron(COLOR_PAIR(COLOR_PAIR_FADE));
|
|
|
|
int frac = (float)num_rejections/num_attempts*4;
|
|
|
|
addstr(statuses[frac]);
|
|
|
|
attroff(COLOR_PAIR(COLOR_PAIR_FADE));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-01-03 02:25:11 +00:00
|
|
|
static void render_permissions_screen() {
|
2021-12-26 01:10:30 +00:00
|
|
|
clear();
|
|
|
|
attrset(A_BOLD);
|
2022-01-02 23:52:02 +00:00
|
|
|
mvaddstr(1, 5, "Permissions: What sensitive operations this app is allowed to perform");
|
|
|
|
mvaddstr(2, 5, "🚧 Be very careful granting permissions 🚧");
|
2021-12-26 01:10:30 +00:00
|
|
|
attrset(A_NORMAL);
|
|
|
|
|
2022-01-03 02:25:11 +00:00
|
|
|
mvaddstr(7, 5, "File operations");
|
2022-02-02 04:59:53 +00:00
|
|
|
mvaddstr(7, 30, "function file_operation_permitted(caller, filename, mode)");
|
2022-01-03 05:33:49 +00:00
|
|
|
int y = render_wrapped_text(8, 32, COLS-5, file_operations_predicate_body);
|
|
|
|
mvaddstr(y, 30, "end");
|
2022-01-05 07:33:26 +00:00
|
|
|
y++;
|
|
|
|
mvaddstr(y, 30, "");
|
|
|
|
characterize_file_operations_predicate();
|
2022-01-03 02:25:11 +00:00
|
|
|
y += 2;
|
2021-12-26 01:10:30 +00:00
|
|
|
|
2022-01-03 02:25:11 +00:00
|
|
|
int net_colors = net_operations_permitted ? COLOR_PAIR_WARN : COLOR_PAIR_SAFE;
|
|
|
|
mvaddstr(y, 5, "Network operations");
|
2021-12-26 01:10:30 +00:00
|
|
|
attron(COLOR_PAIR(net_colors));
|
|
|
|
attron(A_REVERSE);
|
|
|
|
switch (net_colors) {
|
|
|
|
case COLOR_PAIR_SAFE:
|
2022-01-03 02:25:11 +00:00
|
|
|
mvaddstr(y, 30, " never ");
|
2021-12-26 01:10:30 +00:00
|
|
|
break;
|
|
|
|
case COLOR_PAIR_WARN:
|
2022-01-03 02:25:11 +00:00
|
|
|
mvaddstr(y, 30, " always ");
|
2021-12-26 01:10:30 +00:00
|
|
|
break;
|
|
|
|
case COLOR_PAIR_RISK:
|
2022-01-03 02:25:11 +00:00
|
|
|
mvaddstr(y, 30, " ");
|
2021-12-26 01:10:30 +00:00
|
|
|
break;
|
|
|
|
default:
|
|
|
|
abort();
|
|
|
|
}
|
2022-01-03 05:33:49 +00:00
|
|
|
y++;
|
2021-12-26 01:10:30 +00:00
|
|
|
attroff(A_REVERSE);
|
|
|
|
attroff(COLOR_PAIR(net_colors));
|
2022-01-03 02:25:11 +00:00
|
|
|
mvaddstr(y, 30, "(No nuance available for network operations.)");
|
|
|
|
|
2022-01-03 06:38:28 +00:00
|
|
|
int file_operations_safe = strcmp("return false", trim(file_operations_predicate_body)) == 0;
|
2022-01-03 02:25:11 +00:00
|
|
|
int net_operations_safe = (net_operations_permitted == 0);
|
2022-01-03 05:33:49 +00:00
|
|
|
int file_operations_unsafe = strcmp("return true", trim(file_operations_predicate_body)) == 0;
|
2022-01-03 02:25:11 +00:00
|
|
|
int net_operations_unsafe = (net_operations_permitted != 0);
|
|
|
|
if (file_operations_safe && net_operations_safe) {
|
|
|
|
attron(COLOR_PAIR(COLOR_PAIR_SAFE));
|
|
|
|
mvaddstr(5, 5, "This app can't access private data or communicate with other computers.");
|
|
|
|
attroff(COLOR_PAIR(COLOR_PAIR_SAFE));
|
|
|
|
}
|
|
|
|
else if (file_operations_safe || net_operations_safe) {
|
|
|
|
attron(COLOR_PAIR(COLOR_PAIR_WARN));
|
|
|
|
if (net_operations_safe) {
|
|
|
|
mvaddstr(5, 5, "This app can access private data, but they can't leave this computer.");
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
mvaddstr(5, 5, "This app can communicate with other computers, but can't access private data.");
|
|
|
|
}
|
|
|
|
attroff(COLOR_PAIR(COLOR_PAIR_WARN));
|
|
|
|
}
|
|
|
|
else if (file_operations_unsafe && net_operations_unsafe) {
|
2021-12-26 01:10:30 +00:00
|
|
|
attron(COLOR_PAIR(COLOR_PAIR_RISK));
|
2022-01-02 23:52:02 +00:00
|
|
|
// idea: include pentagram emoji. But it isn't widely supported yet on Linux.
|
2022-01-05 07:33:26 +00:00
|
|
|
mvaddstr(5, 5, "😈 ⚠️ Teliva can't protect you if this app does something sketchy. Consider restricting permissions. ⚠️ 😈");
|
2021-12-26 01:10:30 +00:00
|
|
|
attroff(COLOR_PAIR(COLOR_PAIR_RISK));
|
|
|
|
}
|
2022-01-03 02:25:11 +00:00
|
|
|
else {
|
|
|
|
attron(COLOR_PAIR(COLOR_PAIR_RISK));
|
2022-01-05 07:33:26 +00:00
|
|
|
mvaddstr(5, 5, "🦮 🙈 Teliva can't tell how much it's protecting you. Consider simplifying permissions.");
|
2022-01-03 02:25:11 +00:00
|
|
|
attroff(COLOR_PAIR(COLOR_PAIR_RISK));
|
|
|
|
}
|
|
|
|
|
2021-12-26 01:10:30 +00:00
|
|
|
permissions_menu();
|
|
|
|
refresh();
|
|
|
|
}
|
|
|
|
|
2022-01-05 06:27:10 +00:00
|
|
|
/* Try running the function to test for errors. If code has an error, leave it
|
|
|
|
* on the stack and return non-zero */
|
|
|
|
int validate_file_operations_predicate() {
|
|
|
|
lua_getglobal(trustedL, "file_operation_permitted");
|
2022-02-02 04:59:53 +00:00
|
|
|
lua_pushstring(trustedL, "caller");
|
|
|
|
lua_pushstring(trustedL, "filename");
|
|
|
|
lua_pushstring(trustedL, "r"); /* open mode */
|
|
|
|
if (lua_pcall(trustedL, 3 /*args*/, 1 /*result*/, /*errfunc*/0)) {
|
2022-01-05 06:27:10 +00:00
|
|
|
/* TODO: error handling. Or should we use errfunc above? */
|
|
|
|
}
|
|
|
|
int status = 1;
|
|
|
|
if (lua_isboolean(trustedL, -1)) {
|
|
|
|
lua_pop(trustedL, 1);
|
|
|
|
status = 0;
|
|
|
|
}
|
|
|
|
return status;
|
|
|
|
}
|
|
|
|
|
2022-01-05 05:48:55 +00:00
|
|
|
static int load_file_operations_predicate(const char* body) {
|
|
|
|
char buffer[1024] = {0};
|
2022-02-02 04:59:53 +00:00
|
|
|
strcpy(buffer, "function file_operation_permitted(caller, filename, mode)\n");
|
2022-01-05 05:48:55 +00:00
|
|
|
strncat(buffer, body, 1020);
|
|
|
|
if (buffer[strlen(buffer)-1] != '\n')
|
|
|
|
strncat(buffer, "\n", 1020);
|
|
|
|
strncat(buffer, "end\n", 1020);
|
|
|
|
return luaL_loadbuffer(trustedL, buffer, strlen(buffer), "file_operation_permitted")
|
2022-01-05 06:27:10 +00:00
|
|
|
|| docall(trustedL, 0, 1)
|
|
|
|
|| validate_file_operations_predicate();
|
2022-01-05 05:48:55 +00:00
|
|
|
}
|
|
|
|
|
2022-01-26 05:23:20 +00:00
|
|
|
extern void editFilePermissions(char* filename);
|
|
|
|
extern void resumeFilePermissionsEdit();
|
2022-01-03 05:33:49 +00:00
|
|
|
static void edit_file_operations_predicate_body() {
|
|
|
|
static char file_operations_predicate_body_buffer[512];
|
2022-01-03 02:25:11 +00:00
|
|
|
/* save to disk */
|
2022-01-03 05:33:49 +00:00
|
|
|
char outfilename[] = "teliva_file_operations_predicate_body_XXXXXX";
|
2022-01-03 02:25:11 +00:00
|
|
|
int outfd = mkstemp(outfilename);
|
|
|
|
if (outfd == -1) {
|
|
|
|
endwin();
|
2022-01-03 05:33:49 +00:00
|
|
|
perror("edit_file_operations_predicate_body: error in creating temporary file");
|
2022-01-03 02:25:11 +00:00
|
|
|
abort();
|
|
|
|
}
|
|
|
|
FILE* out = fdopen(outfd, "w");
|
|
|
|
assert(out != NULL);
|
2022-01-03 05:33:49 +00:00
|
|
|
fprintf(out, "%s", file_operations_predicate_body);
|
2022-01-03 02:25:11 +00:00
|
|
|
fclose(out);
|
2022-01-03 05:33:49 +00:00
|
|
|
rename(outfilename, "teliva_file_operations_predicate_body");
|
2022-01-17 06:34:21 +00:00
|
|
|
Previous_error = "";
|
2022-01-26 05:23:20 +00:00
|
|
|
editFilePermissions("teliva_file_operations_predicate_body");
|
2022-01-03 02:25:11 +00:00
|
|
|
// error handling
|
|
|
|
assert(trustedL);
|
|
|
|
int oldtop = lua_gettop(trustedL);
|
|
|
|
while (1) {
|
|
|
|
int status;
|
2022-01-03 05:33:49 +00:00
|
|
|
memset(file_operations_predicate_body_buffer, '\0', 512);
|
|
|
|
FILE* in = fopen("teliva_file_operations_predicate_body", "r");
|
|
|
|
fread(file_operations_predicate_body_buffer, 500, 1, in); /* TODO: error message if file too large */
|
2022-01-03 02:25:11 +00:00
|
|
|
fclose(in);
|
2022-01-05 05:48:55 +00:00
|
|
|
status = load_file_operations_predicate(file_operations_predicate_body_buffer);
|
2022-01-03 02:25:11 +00:00
|
|
|
if (status == 0 || lua_isnil(trustedL, -1))
|
|
|
|
break;
|
|
|
|
Previous_error = lua_tostring(trustedL, -1);
|
|
|
|
if (Previous_error == NULL) Previous_error = "(error object is not a string)";
|
2022-01-26 05:23:20 +00:00
|
|
|
resumeFilePermissionsEdit();
|
2022-01-03 02:25:11 +00:00
|
|
|
lua_pop(trustedL, 1);
|
|
|
|
}
|
2022-01-03 05:33:49 +00:00
|
|
|
file_operations_predicate_body = file_operations_predicate_body_buffer;
|
2022-01-03 02:25:11 +00:00
|
|
|
if (lua_gettop(trustedL) != oldtop) {
|
|
|
|
endwin();
|
2022-01-03 05:33:49 +00:00
|
|
|
printf("edit_file_operations_predicate_body: memory leak %d -> %d\n", oldtop, lua_gettop(trustedL));
|
2022-01-03 02:25:11 +00:00
|
|
|
exit(1);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
static void permissions_view() {
|
2021-12-26 01:10:30 +00:00
|
|
|
while (true) {
|
2022-01-03 02:25:11 +00:00
|
|
|
render_permissions_screen();
|
2021-12-26 01:10:30 +00:00
|
|
|
int c = getch();
|
|
|
|
switch (c) {
|
|
|
|
case CTRL_X:
|
|
|
|
return;
|
|
|
|
case CTRL_F:
|
2022-01-03 05:33:49 +00:00
|
|
|
edit_file_operations_predicate_body();
|
2021-12-26 01:10:30 +00:00
|
|
|
break;
|
|
|
|
case CTRL_N:
|
2022-01-02 23:46:46 +00:00
|
|
|
net_operations_permitted = !net_operations_permitted;
|
2021-12-26 01:10:30 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-12-26 05:27:27 +00:00
|
|
|
static void save_permissions_to_user_configuration(lua_State* L) {
|
|
|
|
const char* rcfilename = user_configuration_filename();
|
|
|
|
FILE* in = fopen(rcfilename, "r"); /* can be NULL when rcfile doesn't exist */
|
|
|
|
char outfilename[] = "telivarc_XXXXXX";
|
|
|
|
int outfd = mkstemp(outfilename);
|
|
|
|
if (outfd == -1) {
|
|
|
|
endwin();
|
|
|
|
perror("error in creating temporary file");
|
|
|
|
abort();
|
|
|
|
}
|
|
|
|
FILE* out = fdopen(outfd, "w");
|
|
|
|
assert(out != NULL);
|
|
|
|
/* read entries from rcfilename and write them to outfilename. If image name
|
|
|
|
* matches the current Image_name, ignore. */
|
|
|
|
int oldtop = lua_gettop(L);
|
|
|
|
while (in && !feof(in)) {
|
|
|
|
teliva_load_definition(L, in);
|
|
|
|
if (lua_isnil(L, -1)) break;
|
|
|
|
lua_getfield(L, -1, "image_name");
|
|
|
|
const char* image_name = lua_tostring(L, -1);
|
|
|
|
if (strcmp(image_name, Image_name) != 0) {
|
|
|
|
fprintf(out, "- image_name: %s\n", image_name);
|
2022-01-03 05:33:49 +00:00
|
|
|
fprintf(out, " file_operations_predicate_body:\n");
|
|
|
|
lua_getfield(L, -2, "file_operations_predicate_body");
|
2022-01-03 02:25:11 +00:00
|
|
|
if (!lua_isnil(L, -1))
|
|
|
|
emit_multiline_string(out, lua_tostring(L, -1));
|
2022-01-03 05:33:49 +00:00
|
|
|
lua_pop(L, 1); /* file_operations_predicate_body */
|
2022-01-02 23:46:46 +00:00
|
|
|
lua_getfield(L, -2, "net_operations_permitted");
|
|
|
|
fprintf(out, " net_operations_permitted: %s\n", lua_tostring(L, -1));
|
|
|
|
lua_pop(L, 1); /* net_operations_permitted */
|
2021-12-26 05:27:27 +00:00
|
|
|
}
|
|
|
|
lua_pop(L, 1); /* image_name */
|
|
|
|
}
|
|
|
|
lua_settop(L, oldtop);
|
|
|
|
fprintf(out, "- image_name: %s\n", Image_name);
|
2022-01-03 05:33:49 +00:00
|
|
|
fprintf(out, " file_operations_predicate_body:\n");
|
|
|
|
assert(file_operations_predicate_body);
|
|
|
|
emit_multiline_string(out, file_operations_predicate_body);
|
2022-01-02 23:46:46 +00:00
|
|
|
fprintf(out, " net_operations_permitted: %d\n", net_operations_permitted);
|
2021-12-26 05:27:27 +00:00
|
|
|
fclose(out);
|
|
|
|
if (in) fclose(in);
|
|
|
|
rename(outfilename, rcfilename);
|
|
|
|
}
|
|
|
|
|
|
|
|
static void load_permissions_from_user_configuration(lua_State* L) {
|
2022-01-03 05:33:49 +00:00
|
|
|
static char file_operations_predicate_body_buffer[512];
|
2022-01-03 02:25:11 +00:00
|
|
|
initialize_trustedL();
|
2022-01-03 05:33:49 +00:00
|
|
|
file_operations_predicate_body = default_file_operations_predicate_body;
|
2022-01-05 05:48:55 +00:00
|
|
|
int status = load_file_operations_predicate(file_operations_predicate_body);
|
2022-01-03 02:25:11 +00:00
|
|
|
if (status != 0 && lua_isnil(trustedL, -1)) {
|
|
|
|
endwin();
|
2022-01-03 05:33:49 +00:00
|
|
|
printf("can't load default file operations predicate_body\n");
|
2022-01-03 02:25:11 +00:00
|
|
|
exit(1);
|
|
|
|
}
|
2021-12-26 05:27:27 +00:00
|
|
|
const char* rcfilename = user_configuration_filename();
|
|
|
|
FILE* in = fopen(rcfilename, "r");
|
|
|
|
if (in == NULL) return;
|
2022-01-03 05:33:49 +00:00
|
|
|
file_operations_predicate_body = default_file_operations_predicate_body;
|
|
|
|
assert(file_operations_predicate_body);
|
2021-12-26 05:27:27 +00:00
|
|
|
/* read entries from rcfilename and look for a match with the current
|
|
|
|
* Image_name. */
|
|
|
|
int oldtop = lua_gettop(L);
|
|
|
|
while (!feof(in)) {
|
|
|
|
teliva_load_definition(L, in);
|
|
|
|
if (lua_isnil(L, -1)) break;
|
|
|
|
lua_getfield(L, -1, "image_name");
|
|
|
|
const char* image_name = lua_tostring(L, -1);
|
|
|
|
if (strcmp(image_name, Image_name) == 0) {
|
2022-01-03 05:33:49 +00:00
|
|
|
lua_getfield(L, -2, "file_operations_predicate_body");
|
2022-01-03 02:25:11 +00:00
|
|
|
if (!lua_isnil(L, -1)) {
|
2022-01-03 05:33:49 +00:00
|
|
|
memset(file_operations_predicate_body_buffer, '\0', 512);
|
|
|
|
strncpy(file_operations_predicate_body_buffer, lua_tostring(L, -1), 500);
|
|
|
|
file_operations_predicate_body = file_operations_predicate_body_buffer;
|
2022-01-03 02:25:11 +00:00
|
|
|
}
|
2022-01-03 05:33:49 +00:00
|
|
|
lua_pop(L, 1); /* file_operations_predicate_body */
|
2022-01-02 23:46:46 +00:00
|
|
|
lua_getfield(L, -2, "net_operations_permitted");
|
|
|
|
net_operations_permitted = lua_tointeger(L, -1);
|
|
|
|
lua_pop(L, 1); /* net_operations_permitted */
|
2021-12-26 05:27:27 +00:00
|
|
|
}
|
|
|
|
lua_pop(L, 1); /* image_name */
|
|
|
|
}
|
|
|
|
lua_settop(L, oldtop);
|
|
|
|
fclose(in);
|
2022-01-03 02:25:11 +00:00
|
|
|
/* trusted section */
|
2022-01-03 05:33:49 +00:00
|
|
|
assert(file_operations_predicate_body);
|
2022-01-05 05:48:55 +00:00
|
|
|
status = load_file_operations_predicate(file_operations_predicate_body);
|
2022-01-03 02:25:11 +00:00
|
|
|
if (status == 0 || lua_isnil(trustedL, -1))
|
|
|
|
return;
|
|
|
|
/* TODO: more graceful error handling */
|
|
|
|
endwin();
|
2022-01-03 05:33:49 +00:00
|
|
|
printf("error in loading file operations predicate_body from %s\n", rcfilename);
|
2022-01-03 02:25:11 +00:00
|
|
|
exit(1);
|
2021-12-26 05:27:27 +00:00
|
|
|
}
|
|
|
|
|
2021-12-26 01:10:30 +00:00
|
|
|
void permissions_mode(lua_State* L) {
|
|
|
|
assume_default_colors(COLOR_FOREGROUND, COLOR_BACKGROUND);
|
|
|
|
init_pair(COLOR_PAIR_NORMAL, COLOR_FOREGROUND, COLOR_BACKGROUND);
|
|
|
|
init_pair(COLOR_PAIR_SELECTABLE, COLOR_SELECTABLE_FOREGROUND, COLOR_SELECTABLE_BACKGROUND);
|
|
|
|
init_pair(COLOR_PAIR_FADE, COLOR_FADE, COLOR_BACKGROUND);
|
|
|
|
init_pair(COLOR_PAIR_MENU_ALTERNATE, COLOR_MENU_ALTERNATE, COLOR_BACKGROUND);
|
|
|
|
init_pair(COLOR_PAIR_LUA_COMMENT, COLOR_LUA_COMMENT, COLOR_BACKGROUND);
|
|
|
|
init_pair(COLOR_PAIR_LUA_KEYWORD, COLOR_LUA_KEYWORD, COLOR_BACKGROUND);
|
|
|
|
init_pair(COLOR_PAIR_LUA_CONSTANT, COLOR_LUA_CONSTANT, COLOR_BACKGROUND);
|
|
|
|
init_pair(COLOR_PAIR_MATCH, COLOR_MATCH_FOREGROUND, COLOR_MATCH_BACKGROUND);
|
|
|
|
init_pair(COLOR_PAIR_ERROR, COLOR_ERROR_FOREGROUND, COLOR_ERROR_BACKGROUND);
|
|
|
|
/* permissions colors slightly different than in the menu */
|
|
|
|
init_pair(COLOR_PAIR_SAFE, COLOR_SAFE_NORMAL, COLOR_BACKGROUND);
|
|
|
|
init_pair(COLOR_PAIR_WARN, COLOR_WARN_NORMAL, COLOR_BACKGROUND);
|
|
|
|
init_pair(COLOR_PAIR_RISK, COLOR_RISK_NORMAL, COLOR_BACKGROUND);
|
|
|
|
nodelay(stdscr, 0); /* always make getch() block in developer mode */
|
|
|
|
curs_set(1); /* always display cursor in developer mode */
|
2022-01-03 02:25:11 +00:00
|
|
|
permissions_view();
|
2021-12-26 05:27:27 +00:00
|
|
|
save_permissions_to_user_configuration(L);
|
2021-12-26 01:10:30 +00:00
|
|
|
cleanup_curses();
|
|
|
|
execv(Argv[0], Argv);
|
|
|
|
/* never returns */
|
|
|
|
}
|
2021-12-26 05:26:47 +00:00
|
|
|
|
2022-01-03 06:13:47 +00:00
|
|
|
/*** (Audit) Events screen */
|
|
|
|
|
|
|
|
typedef struct {
|
|
|
|
char* line;
|
|
|
|
char* func;
|
|
|
|
} AuditEvent;
|
|
|
|
|
|
|
|
AuditEvent audit_event[1024];
|
|
|
|
int naudit = 0;
|
|
|
|
|
|
|
|
void append_to_audit_log(lua_State* L, const char* buffer) {
|
|
|
|
lua_Debug ar;
|
|
|
|
lua_getstack(L, 1, &ar);
|
|
|
|
lua_getinfo(L, "n", &ar);
|
|
|
|
if (!ar.name) return;
|
|
|
|
audit_event[naudit].line = strdup(buffer);
|
|
|
|
audit_event[naudit].func = strdup(ar.name);
|
|
|
|
++naudit;
|
|
|
|
assert(naudit < 1024);
|
|
|
|
}
|
|
|
|
|
|
|
|
static void events_menu() {
|
|
|
|
attrset(A_REVERSE);
|
|
|
|
for (int x = 0; x < COLS; ++x)
|
|
|
|
mvaddch(LINES-1, x, ' ');
|
|
|
|
attrset(A_NORMAL);
|
|
|
|
menu_column = 2;
|
|
|
|
draw_menu_item("^x", "go back");
|
2022-01-03 17:58:34 +00:00
|
|
|
draw_menu_item("Enter", "go to highlight");
|
2022-01-03 06:13:47 +00:00
|
|
|
attrset(A_NORMAL);
|
|
|
|
}
|
|
|
|
|
2022-01-03 17:58:34 +00:00
|
|
|
static void render_events(int cursor) {
|
2022-01-03 06:13:47 +00:00
|
|
|
clear();
|
|
|
|
attrset(A_BOLD);
|
|
|
|
mvaddstr(1, 0, "Recent events");
|
|
|
|
attrset(A_NORMAL);
|
|
|
|
for (int i = 0, y = 3; i < naudit; ++i, ++y) {
|
|
|
|
if (i >= LINES-1) break;
|
2022-01-03 06:52:57 +00:00
|
|
|
mvaddstr(y, 2, "");
|
2022-01-03 17:58:34 +00:00
|
|
|
if (i == cursor)
|
|
|
|
draw_highlighted_definition_name(audit_event[i].func);
|
|
|
|
else
|
|
|
|
draw_definition_name(audit_event[i].func);
|
2022-01-03 06:13:47 +00:00
|
|
|
mvaddstr(y, 16, audit_event[i].line);
|
|
|
|
}
|
|
|
|
events_menu();
|
|
|
|
refresh();
|
|
|
|
}
|
|
|
|
|
2022-01-03 17:58:34 +00:00
|
|
|
static const char* events_view() {
|
|
|
|
int cursor = 0;
|
2022-01-03 06:13:47 +00:00
|
|
|
while (true) {
|
2022-01-03 17:58:34 +00:00
|
|
|
render_events(cursor);
|
2022-01-03 06:13:47 +00:00
|
|
|
int c = getch();
|
|
|
|
switch (c) {
|
|
|
|
case CTRL_X:
|
2022-01-03 17:58:34 +00:00
|
|
|
return NULL;
|
|
|
|
case KEY_UP:
|
|
|
|
if (cursor > 0)
|
|
|
|
--cursor;
|
|
|
|
break;
|
|
|
|
case KEY_DOWN:
|
|
|
|
if (cursor < naudit-1)
|
|
|
|
++cursor;
|
|
|
|
break;
|
|
|
|
case ENTER:
|
|
|
|
return audit_event[cursor].func;
|
2022-01-03 06:13:47 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/*** Main */
|
|
|
|
|
2021-12-26 05:26:47 +00:00
|
|
|
char* Image_name = NULL;
|
|
|
|
extern void set_args (lua_State *L, char **argv, int n);
|
|
|
|
extern void load_tlv(lua_State* L, char* filename);
|
|
|
|
int handle_image(lua_State* L, char** argv, int n) {
|
|
|
|
int status;
|
|
|
|
set_args(L, argv, n);
|
|
|
|
/* parse and load file contents (teliva_program array) */
|
|
|
|
Image_name = argv[n];
|
|
|
|
load_tlv(L, Image_name);
|
|
|
|
//? save_tlv(L, Image_name); // manual test; should always return identical result, modulo key order
|
|
|
|
//? exit(1);
|
|
|
|
status = load_definitions(L);
|
|
|
|
if (status != 0) return 0;
|
|
|
|
status = run_tests(L);
|
|
|
|
if (status != 0) return report_in_developer_mode(L, status);
|
|
|
|
/* clear callgraph stats from running tests */
|
|
|
|
clear_call_graph(L);
|
2022-01-04 07:36:44 +00:00
|
|
|
clear_caller(L);
|
2021-12-26 05:27:27 +00:00
|
|
|
/* initialize permissions */
|
|
|
|
load_permissions_from_user_configuration(L);
|
2021-12-26 05:26:47 +00:00
|
|
|
/* call main() */
|
|
|
|
lua_getglobal(L, "main");
|
|
|
|
status = docall(L, 0, 1);
|
|
|
|
if (status != 0) return report_in_developer_mode(L, status);
|
|
|
|
return 0;
|
|
|
|
}
|