1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585 |
- /* vim: tabstop=4 shiftwidth=4 noexpandtab
- * This file is part of ToaruOS and is released under the terms
- * of the NCSA / University of Illinois License - see LICENSE.md
- * Copyright (C) 2018 K. Lange
- *
- * Experimental rline replacement with syntax highlighting, based
- * on bim's highlighting and line editing.
- *
- */
- #define _XOPEN_SOURCE
- #define _DEFAULT_SOURCE
- #include <stdio.h>
- #include <stdlib.h>
- #include <stdint.h>
- #include <ctype.h>
- #include <termios.h>
- #include <string.h>
- #include <wchar.h>
- #include <unistd.h>
- #include <locale.h>
- #include <poll.h>
- #include <sys/ioctl.h>
- #include <toaru/decodeutf8.h>
- #include <toaru/rline.h>
- #define ENTER_KEY '\n'
- #define BACKSPACE_KEY 0x08
- #define DELETE_KEY 0x7F
- /**
- * Same structures as in bim.
- * A single character has:
- * - A codepoint (Unicode) of up to 21 bits.
- * - Flags for syntax highlighting.
- * - A display width for rendering.
- */
- typedef struct {
- uint32_t display_width:4;
- uint32_t flags:7;
- uint32_t codepoint:21;
- } __attribute__((packed)) char_t;
- /**
- * We generally only have the one line,
- * but this matches bim for compatibility reasons.
- */
- typedef struct {
- int available;
- int actual;
- int istate;
- char_t text[0];
- } line_t;
- /**
- * We operate on a single line of text.
- * Maybe we can expand this in the future
- * for continuations of edits such as when
- * a quote is unclosed?
- */
- static line_t * the_line = NULL;
- /**
- * Line editor state
- */
- static int loading = 0;
- static int column = 0;
- static int offset = 0;
- static int width = 0;
- static int buf_size_max = 0;
- /**
- * Prompt strings.
- * Defaults to just a "> " prompt with no right side.
- * Support for right side prompts is important
- * for the ToaruOS shell.
- */
- static int prompt_width = 2;
- static char * prompt = "> ";
- static int prompt_right_width = 0;
- static char * prompt_right = "";
- int rline_exp_set_prompts(char * left, char * right, int left_width, int right_width) {
- prompt = left;
- prompt_right = right;
- prompt_width = left_width;
- prompt_right_width = right_width;
- return 0;
- }
- /**
- * Extra shell commands to highlight as keywords.
- * These are basically just copied from the
- * shell's tab completion database on startup.
- */
- static char ** shell_commands = {0};
- static int shell_commands_len = 0;
- int rline_exp_set_shell_commands(char ** cmds, int len) {
- shell_commands = cmds;
- shell_commands_len = len;
- return 0;
- }
- /**
- * Tab completion callback.
- * Compatible with the original rline version.
- */
- static rline_callback_t tab_complete_func = NULL;
- int rline_exp_set_tab_complete_func(rline_callback_t func) {
- tab_complete_func = func;
- return 0;
- }
- static int _unget = -1;
- static void _ungetc(int c) {
- _unget = c;
- }
- static int getch(int immediate) {
- if (_unget != -1) {
- int out = _unget;
- _unget = -1;
- return out;
- }
- if (immediate) {
- return getc(stdin);
- }
- struct pollfd fds[1];
- fds[0].fd = STDIN_FILENO;
- fds[0].events = POLLIN;
- int ret = poll(fds,1,10);
- if (ret > 0 && fds[0].revents & POLLIN) {
- unsigned char buf[1];
- read(STDIN_FILENO, buf, 1);
- return buf[0];
- } else {
- return -1;
- }
- }
- /**
- * Convert from Unicode string to utf-8.
- */
- static int to_eight(uint32_t codepoint, char * out) {
- memset(out, 0x00, 7);
- if (codepoint < 0x0080) {
- out[0] = (char)codepoint;
- } else if (codepoint < 0x0800) {
- out[0] = 0xC0 | (codepoint >> 6);
- out[1] = 0x80 | (codepoint & 0x3F);
- } else if (codepoint < 0x10000) {
- out[0] = 0xE0 | (codepoint >> 12);
- out[1] = 0x80 | ((codepoint >> 6) & 0x3F);
- out[2] = 0x80 | (codepoint & 0x3F);
- } else if (codepoint < 0x200000) {
- out[0] = 0xF0 | (codepoint >> 18);
- out[1] = 0x80 | ((codepoint >> 12) & 0x3F);
- out[2] = 0x80 | ((codepoint >> 6) & 0x3F);
- out[3] = 0x80 | ((codepoint) & 0x3F);
- } else if (codepoint < 0x4000000) {
- out[0] = 0xF8 | (codepoint >> 24);
- out[1] = 0x80 | (codepoint >> 18);
- out[2] = 0x80 | ((codepoint >> 12) & 0x3F);
- out[3] = 0x80 | ((codepoint >> 6) & 0x3F);
- out[4] = 0x80 | ((codepoint) & 0x3F);
- } else {
- out[0] = 0xF8 | (codepoint >> 30);
- out[1] = 0x80 | ((codepoint >> 24) & 0x3F);
- out[2] = 0x80 | ((codepoint >> 18) & 0x3F);
- out[3] = 0x80 | ((codepoint >> 12) & 0x3F);
- out[4] = 0x80 | ((codepoint >> 6) & 0x3F);
- out[5] = 0x80 | ((codepoint) & 0x3F);
- }
- return strlen(out);
- }
- /**
- * Obtain codepoint display width.
- *
- * This is copied from bim. Supports a few useful
- * things like rendering escapes as codepoints.
- */
- static int codepoint_width(wchar_t codepoint) {
- if (codepoint == '\t') {
- return 1; /* Recalculate later */
- }
- if (codepoint < 32) {
- /* We render these as ^@ */
- return 2;
- }
- if (codepoint == 0x7F) {
- /* Renders as ^? */
- return 2;
- }
- if (codepoint > 0x7f && codepoint < 0xa0) {
- /* Upper control bytes <xx> */
- return 4;
- }
- if (codepoint == 0xa0) {
- /* Non-breaking space _ */
- return 1;
- }
- /* Skip wcwidth for anything under 256 */
- if (codepoint > 256) {
- /* Higher codepoints may be wider (eg. Japanese) */
- int out = wcwidth(codepoint);
- if (out >= 1) return out;
- /* Invalid character, render as [U+ABCD] or [U+ABCDEF] */
- return (codepoint < 0x10000) ? 8 : 10;
- }
- return 1;
- }
- void recalculate_tabs(line_t * line) {
- int j = 0;
- for (int i = 0; i < line->actual; ++i) {
- if (line->text[i].codepoint == '\t') {
- line->text[i].display_width = 4 - (j % 4);
- }
- j += line->text[i].display_width;
- }
- }
- /**
- * Color themes have also been copied from bim.
- *
- * Slimmed down to only the ones we use for syntax
- * highlighting; the UI colors have been removed.
- */
- static const char * COLOR_FG = "@9";
- static const char * COLOR_BG = "@9";
- static const char * COLOR_ALT_FG = "@5";
- static const char * COLOR_ALT_BG = "@9";
- static const char * COLOR_KEYWORD = "@4";
- static const char * COLOR_STRING = "@2";
- static const char * COLOR_COMMENT = "@5";
- static const char * COLOR_TYPE = "@3";
- static const char * COLOR_PRAGMA = "@1";
- static const char * COLOR_NUMERAL = "@1";
- static const char * COLOR_RED = "@1";
- static const char * COLOR_GREEN = "@2";
- /**
- * Themes are selected from the $RLINE_THEME
- * environment variable.
- */
- static void rline_exp_load_colorscheme_default(void) {
- COLOR_FG = "@9";
- COLOR_BG = "@9";
- COLOR_ALT_FG = "@10";
- COLOR_ALT_BG = "@9";
- COLOR_KEYWORD = "@14";
- COLOR_STRING = "@2";
- COLOR_COMMENT = "@10";
- COLOR_TYPE = "@3";
- COLOR_PRAGMA = "@1";
- COLOR_NUMERAL = "@1";
- COLOR_RED = "@1";
- COLOR_GREEN = "@2";
- }
- static void rline_exp_load_colorscheme_sunsmoke(void) {
- COLOR_FG = "2;230;230;230";
- COLOR_BG = "@9";
- COLOR_ALT_FG = "2;122;122;122";
- COLOR_ALT_BG = "2;46;43;46";
- COLOR_KEYWORD = "2;51;162;230";
- COLOR_STRING = "2;72;176;72";
- COLOR_COMMENT = "2;158;153;129;3";
- COLOR_TYPE = "2;230;206;110";
- COLOR_PRAGMA = "2;194;70;54";
- COLOR_NUMERAL = "2;230;43;127";
- COLOR_RED = "2;222;53;53";
- COLOR_GREEN = "2;55;167;0";
- }
- /**
- * Syntax highlighting flags.
- */
- #define FLAG_NONE 0
- #define FLAG_KEYWORD 1
- #define FLAG_STRING 2
- #define FLAG_COMMENT 3
- #define FLAG_TYPE 4
- #define FLAG_PRAGMA 5
- #define FLAG_NUMERAL 6
- #define FLAG_SELECT 7
- #define FLAG_STRING2 8
- #define FLAG_DIFFPLUS 9
- #define FLAG_DIFFMINUS 10
- #define FLAG_CONTINUES (1 << 6)
- /**
- * Syntax definition for ToaruOS shell
- */
- static char * syn_sh_keywords[] = {
- "cd","exit","export","help","history","if",
- "empty?","equals?","return","export-cmd",
- "source","exec","not","while","then","else",
- NULL,
- };
- static int variable_char(uint8_t c) {
- if (c >= 'A' && c <= 'Z') return 1;
- if (c >= 'a' && c <= 'z') return 1;
- if (c >= '0' && c <= '9') return 1;
- if (c == '_') return 1;
- if (c == '?') return 1;
- return 0;
- }
- static int syn_sh_extended(line_t * line, int i, int c, int last, int * out_left) {
- (void)last;
- if (c == '#' && last != '\\') {
- *out_left = (line->actual + 1) - i;
- return FLAG_COMMENT;
- }
- if (line->text[i].codepoint == '\'' && last != '\\') {
- int last = 0;
- for (int j = i+1; j < line->actual + 1; ++j) {
- int c = line->text[j].codepoint;
- if (last != '\\' && c == '\'') {
- *out_left = j - i;
- return FLAG_STRING;
- }
- if (last == '\\' && c == '\\') {
- last = 0;
- }
- last = c;
- }
- *out_left = (line->actual + 1) - i; /* unterminated string */
- return FLAG_STRING;
- }
- if (line->text[i].codepoint == '$' && last != '\\') {
- if (i < line->actual - 1 && line->text[i+1].codepoint == '{') {
- int j = i + 2;
- for (; j < line->actual+1; ++j) {
- if (line->text[j].codepoint == '}') break;
- }
- *out_left = (j - i);
- return FLAG_NUMERAL;
- }
- int j = i + 1;
- for (; j < line->actual + 1; ++j) {
- if (!variable_char(line->text[j].codepoint)) break;
- }
- *out_left = (j - i) - 1;
- return FLAG_NUMERAL;
- }
- if (line->text[i].codepoint == '"' && last != '\\') {
- int last = 0;
- for (int j = i+1; j < line->actual + 1; ++j) {
- int c = line->text[j].codepoint;
- if (last != '\\' && c == '"') {
- *out_left = j - i;
- return FLAG_STRING;
- }
- if (last == '\\' && c == '\\') {
- last = 0;
- }
- last = c;
- }
- *out_left = (line->actual + 1) - i; /* unterminated string */
- return FLAG_STRING;
- }
- return 0;
- }
- static int syn_sh_iskeywordchar(int c) {
- if (isalnum(c)) return 1;
- if (c == '-') return 1;
- if (c == '_') return 1;
- if (c == '?') return 1;
- return 0;
- }
- static char * syn_py_keywords[] = {
- "class","def","return","del","if","else","elif",
- "for","while","continue","break","assert",
- "as","and","or","except","finally","from",
- "global","import","in","is","lambda","with",
- "nonlocal","not","pass","raise","try","yield",
- NULL
- };
- static char * syn_py_types[] = {
- "True","False","None",
- "object","set","dict","int","str","bytes",
- NULL
- };
- int syn_c_iskeywordchar(int c) {
- if (isalnum(c)) return 1;
- if (c == '_') return 1;
- return 0;
- }
- static int syn_py_extended(line_t * line, int i, int c, int last, int * out_left) {
- if (i == 0 && c == 'i') {
- /* Check for import */
- char * import = "import ";
- for (int j = 0; j < line->actual + 1; ++j) {
- if (import[j] == '\0') {
- *out_left = j - 2;
- return FLAG_PRAGMA;
- }
- if (line->text[j].codepoint != import[j]) break;
- }
- }
- if (c == '#') {
- *out_left = (line->actual + 1) - i;
- return FLAG_COMMENT;
- }
- if (c == '@') {
- for (int j = i+1; j < line->actual + 1; ++j) {
- if (!syn_c_iskeywordchar(line->text[j].codepoint)) {
- *out_left = j - i - 1;
- return FLAG_PRAGMA;
- }
- *out_left = (line->actual + 1) - i;
- return FLAG_PRAGMA;
- }
- }
- if ((!last || !syn_c_iskeywordchar(last)) && isdigit(c)) {
- if (c == '0' && i < line->actual - 1 && line->text[i+1].codepoint == 'x') {
- int j = 2;
- for (; i + j < line->actual && isxdigit(line->text[i+j].codepoint); ++j);
- if (i + j < line->actual && syn_c_iskeywordchar(line->text[i+j].codepoint)) {
- return FLAG_NONE;
- }
- *out_left = j - 1;
- return FLAG_NUMERAL;
- } else {
- int j = 1;
- while (i + j < line->actual && isdigit(line->text[i+j].codepoint)) {
- j++;
- }
- if (i + j < line->actual && syn_c_iskeywordchar(line->text[i+j].codepoint)) {
- return FLAG_NONE;
- }
- *out_left = j - 1;
- return FLAG_NUMERAL;
- }
- }
- if (line->text[i].codepoint == '\'') {
- if (i + 2 < line->actual && line->text[i+1].codepoint == '\'' && line->text[i+2].codepoint == '\'') {
- /* Begin multiline */
- for (int j = i + 3; j < line->actual - 2; ++j) {
- if (line->text[j].codepoint == '\'' &&
- line->text[j+1].codepoint == '\'' &&
- line->text[j+2].codepoint == '\'') {
- *out_left = (j+2) - i;
- return FLAG_STRING;
- }
- }
- return FLAG_STRING | FLAG_CONTINUES;
- }
- int last = 0;
- for (int j = i+1; j < line->actual; ++j) {
- int c = line->text[j].codepoint;
- if (last != '\\' && c == '\'') {
- *out_left = j - i;
- return FLAG_STRING;
- }
- if (last == '\\' && c == '\\') {
- last = 0;
- }
- last = c;
- }
- *out_left = (line->actual + 1) - i; /* unterminated string */
- return FLAG_STRING;
- }
- if (line->text[i].codepoint == '"') {
- if (i + 2 < line->actual && line->text[i+1].codepoint == '"' && line->text[i+2].codepoint == '"') {
- /* Begin multiline */
- for (int j = i + 3; j < line->actual - 2; ++j) {
- if (line->text[j].codepoint == '"' &&
- line->text[j+1].codepoint == '"' &&
- line->text[j+2].codepoint == '"') {
- *out_left = (j+2) - i;
- return FLAG_STRING;
- }
- }
- return FLAG_STRING2 | FLAG_CONTINUES;
- }
- int last = 0;
- for (int j = i+1; j < line->actual; ++j) {
- int c = line->text[j].codepoint;
- if (last != '\\' && c == '"') {
- *out_left = j - i;
- return FLAG_STRING;
- }
- if (last == '\\' && c == '\\') {
- last = 0;
- }
- last = c;
- }
- *out_left = (line->actual + 1) - i; /* unterminated string */
- return FLAG_STRING;
- }
- return 0;
- }
- static int syn_py_finish(line_t * line, int * left, int state) {
- /* TODO support multiline quotes */
- if (state == (FLAG_STRING | FLAG_CONTINUES)) {
- for (int j = 0; j < line->actual - 2; ++j) {
- if (line->text[j].codepoint == '\'' &&
- line->text[j+1].codepoint == '\'' &&
- line->text[j+2].codepoint == '\'') {
- *left = (j+3);
- return FLAG_STRING;
- }
- }
- return FLAG_STRING | FLAG_CONTINUES;
- }
- if (state == (FLAG_STRING2 | FLAG_CONTINUES)) {
- for (int j = 0; j < line->actual - 2; ++j) {
- if (line->text[j].codepoint == '"' &&
- line->text[j+1].codepoint == '"' &&
- line->text[j+2].codepoint == '"') {
- *left = (j+3);
- return FLAG_STRING2;
- }
- }
- return FLAG_STRING2 | FLAG_CONTINUES;
- }
- return 0;
- }
- /**
- * Convert syntax hilighting flag to color code
- */
- static const char * flag_to_color(int _flag) {
- int flag = _flag & 0x3F;
- switch (flag) {
- case FLAG_KEYWORD:
- return COLOR_KEYWORD;
- case FLAG_STRING:
- case FLAG_STRING2: /* allows python to differentiate " and ' */
- return COLOR_STRING;
- case FLAG_COMMENT:
- return COLOR_COMMENT;
- case FLAG_TYPE:
- return COLOR_TYPE;
- case FLAG_NUMERAL:
- return COLOR_NUMERAL;
- case FLAG_PRAGMA:
- return COLOR_PRAGMA;
- case FLAG_DIFFPLUS:
- return COLOR_GREEN;
- case FLAG_DIFFMINUS:
- return COLOR_RED;
- case FLAG_SELECT:
- return COLOR_FG;
- default:
- return COLOR_FG;
- }
- }
- static struct syntax_definition {
- char * name;
- char ** keywords;
- char ** types;
- int (*extended)(line_t *, int, int, int, int *);
- int (*iskwchar)(int);
- int (*finishml)(line_t *, int *, int); /* TODO: How do we use this here? */
- } syntaxes[] = {
- {"python",syn_py_keywords,syn_py_types,syn_py_extended,syn_c_iskeywordchar,syn_py_finish},
- {"esh",syn_sh_keywords,NULL,syn_sh_extended,syn_sh_iskeywordchar,NULL},
- {NULL}
- };
- static struct syntax_definition * syntax;
- int rline_exp_set_syntax(char * name) {
- for (struct syntax_definition * s = syntaxes; s->name; ++s) {
- if (!strcmp(name,s->name)) {
- syntax = s;
- return 0;
- }
- }
- return 1;
- }
- /**
- * Compare a line against a list of keywords
- */
- static int check_line(line_t * line, int c, char * str, int last) {
- if (syntax->iskwchar(last)) return 0;
- for (int i = c; i < line->actual; ++i, ++str) {
- if (*str == '\0' && !syntax->iskwchar(line->text[i].codepoint)) return 1;
- if (line->text[i].codepoint == *str) continue;
- return 0;
- }
- if (*str == '\0') return 1;
- return 0;
- }
- /**
- * Syntax highlighting
- * Slimmed down from the bim implementation a bit,
- * but generally compatible with the same definitions.
- *
- * Type highlighting has been removed as the sh highlighter
- * didn't use it. This should be made pluggable again, and
- * the bim syntax highlighters should probably be broken
- * out into dynamically-loaded libraries?
- */
- static void recalculate_syntax(line_t * line) {
- if (!syntax) return;
- /* Start from the line's stored in initial state */
- int state = line->istate;
- int left = 0;
- int last = 0;
- for (int i = 0; i < line->actual; last = line->text[i++].codepoint) {
- if (!left) state = 0;
- if (state) {
- /* Currently hilighting, have `left` characters remaining with this state */
- left--;
- line->text[i].flags = state;
- if (!left) {
- /* Done hilighting this state, go back to parsing on next character */
- state = 0;
- }
- /* If we are hilighting something, don't parse */
- continue;
- }
- int c = line->text[i].codepoint;
- line->text[i].flags = FLAG_NONE;
- /* Language-specific syntax hilighting */
- int s = syntax->extended(line,i,c,last,&left);
- if (s) {
- state = s;
- goto _continue;
- }
- /* Keywords */
- if (syntax->keywords) {
- for (char ** kw = syntax->keywords; *kw; kw++) {
- int c = check_line(line, i, *kw, last);
- if (c == 1) {
- left = strlen(*kw)-1;
- state = FLAG_KEYWORD;
- goto _continue;
- }
- }
- }
- for (int s = 0; s < shell_commands_len; ++s) {
- int c = check_line(line, i, shell_commands[s], last);
- if (c == 1) {
- left = strlen(shell_commands[s])-1;
- state = FLAG_KEYWORD;
- goto _continue;
- }
- }
- if (syntax->types) {
- for (char ** kw = syntax->types; *kw; kw++) {
- int c = check_line(line, i, *kw, last);
- if (c == 1) {
- left = strlen(*kw)-1;
- state = FLAG_TYPE;
- goto _continue;
- }
- }
- }
- _continue:
- line->text[i].flags = state;
- }
- state = 0;
- }
- /**
- * Set colors
- */
- static void set_colors(const char * fg, const char * bg) {
- printf("\033[22;23;");
- if (*bg == '@') {
- int _bg = atoi(bg+1);
- if (_bg < 10) {
- printf("4%d;", _bg);
- } else {
- printf("10%d;", _bg-10);
- }
- } else {
- printf("48;%s;", bg);
- }
- if (*fg == '@') {
- int _fg = atoi(fg+1);
- if (_fg < 10) {
- printf("3%dm", _fg);
- } else {
- printf("9%dm", _fg-10);
- }
- } else {
- printf("38;%sm", fg);
- }
- fflush(stdout);
- }
- /**
- * Set just the foreground color
- *
- * (See set_colors above)
- */
- static void set_fg_color(const char * fg) {
- printf("\033[22;23;");
- if (*fg == '@') {
- int _fg = atoi(fg+1);
- if (_fg < 10) {
- printf("3%dm", _fg);
- } else {
- printf("9%dm", _fg-10);
- }
- } else {
- printf("38;%sm", fg);
- }
- fflush(stdout);
- }
- /**
- * Mostly copied from bim, but with some minor
- * alterations and removal of selection support.
- */
- static void render_line(void) {
- printf("\033[?25l");
- printf("\033[0m\r%s", prompt);
- int i = 0; /* Offset in char_t line data entries */
- int j = 0; /* Offset in terminal cells */
- const char * last_color = NULL;
- /* Set default text colors */
- set_colors(COLOR_FG, COLOR_BG);
- /*
- * When we are rendering in the middle of a wide character,
- * we render -'s to fill the remaining amount of the
- * charater's width
- */
- int remainder = 0;
- line_t * line = the_line;
- /* For each character in the line ... */
- while (i < line->actual) {
- /* If there is remaining text... */
- if (remainder) {
- /* If we should be drawing by now... */
- if (j >= offset) {
- /* Fill remainder with -'s */
- set_colors(COLOR_ALT_FG, COLOR_ALT_BG);
- printf("-");
- set_colors(COLOR_FG, COLOR_BG);
- }
- /* One less remaining width cell to fill */
- remainder--;
- /* Terminal offset moves forward */
- j++;
- /*
- * If this was the last remaining character, move to
- * the next codepoint in the line
- */
- if (remainder == 0) {
- i++;
- }
- continue;
- }
- /* Get the next character to draw */
- char_t c = line->text[i];
- /* If we should be drawing by now... */
- if (j >= offset) {
- /* If this character is going to fall off the edge of the screen... */
- if (j - offset + c.display_width >= width - prompt_width) {
- /* We draw this with special colors so it isn't ambiguous */
- set_colors(COLOR_ALT_FG, COLOR_ALT_BG);
- /* If it's wide, draw ---> as needed */
- while (j - offset < width - prompt_width - 1) {
- printf("-");
- j++;
- }
- /* End the line with a > to show it overflows */
- printf(">");
- set_colors(COLOR_FG, COLOR_BG);
- j++;
- break;
- }
- /* Syntax hilighting */
- const char * color = flag_to_color(c.flags);
- if (!last_color || strcmp(color, last_color)) {
- set_fg_color(color);
- last_color = color;
- }
- /* Render special characters */
- if (c.codepoint == '\t') {
- set_colors(COLOR_ALT_FG, COLOR_ALT_BG);
- printf("»");
- for (int i = 1; i < c.display_width; ++i) {
- printf("·");
- }
- set_colors(last_color ? last_color : COLOR_FG, COLOR_BG);
- } else if (c.codepoint < 32) {
- /* Codepoints under 32 to get converted to ^@ escapes */
- set_colors(COLOR_ALT_FG, COLOR_ALT_BG);
- printf("^%c", '@' + c.codepoint);
- set_colors(last_color ? last_color : COLOR_FG, COLOR_BG);
- } else if (c.codepoint == 0x7f) {
- set_colors(COLOR_ALT_FG, COLOR_ALT_BG);
- printf("^?");
- set_colors(last_color ? last_color : COLOR_FG, COLOR_BG);
- } else if (c.codepoint > 0x7f && c.codepoint < 0xa0) {
- set_colors(COLOR_ALT_FG, COLOR_ALT_BG);
- printf("<%2x>", c.codepoint);
- set_colors(last_color ? last_color : COLOR_FG, COLOR_BG);
- } else if (c.codepoint == 0xa0) {
- set_colors(COLOR_ALT_FG, COLOR_ALT_BG);
- printf("_");
- set_colors(last_color ? last_color : COLOR_FG, COLOR_BG);
- } else if (c.display_width == 8) {
- set_colors(COLOR_ALT_FG, COLOR_ALT_BG);
- printf("[U+%04x]", c.codepoint);
- set_colors(last_color ? last_color : COLOR_FG, COLOR_BG);
- } else if (c.display_width == 10) {
- set_colors(COLOR_ALT_FG, COLOR_ALT_BG);
- printf("[U+%06x]", c.codepoint);
- set_colors(last_color ? last_color : COLOR_FG, COLOR_BG);
- } else if (c.codepoint == ' ' && i == line->actual - 1) {
- /* Special case: space at end of line */
- set_colors(COLOR_ALT_FG, COLOR_ALT_BG);
- printf("·");
- set_colors(COLOR_FG, COLOR_BG);
- } else {
- /* Normal characters get output */
- char tmp[7]; /* Max six bytes, use 7 to ensure last is always nil */
- to_eight(c.codepoint, tmp);
- printf("%s", tmp);
- }
- /* Advance the terminal cell offset by the render width of this character */
- j += c.display_width;
- /* Advance to the next character */
- i++;
- } else if (c.display_width > 1) {
- /*
- * If this is a wide character but we aren't ready to render yet,
- * we may need to draw some filler text for the remainder of its
- * width to ensure we don't jump around when horizontally scrolling
- * past wide characters.
- */
- remainder = c.display_width - 1;
- j++;
- } else {
- /* Regular character, not ready to draw, advance without doing anything */
- j++;
- i++;
- }
- }
- /* Fill to end right hand side */
- for (; j < width + offset - prompt_width; ++j) {
- printf(" ");
- }
- /* Print right hand side */
- printf("\033[0m%s", prompt_right);
- }
- /**
- * Create a line_t
- */
- static line_t * line_create(void) {
- line_t * line = malloc(sizeof(line_t) + sizeof(char_t) * 32);
- line->available = 32;
- line->actual = 0;
- line->istate = 0;
- return line;
- }
- /**
- * Insert a character into a line
- */
- static line_t * line_insert(line_t * line, char_t c, int offset) {
- /* If there is not enough space... */
- if (line->actual == line->available) {
- /* Expand the line buffer */
- line->available *= 2;
- line = realloc(line, sizeof(line_t) + sizeof(char_t) * line->available);
- }
- /* If this was not the last character, then shift remaining characters forward. */
- if (offset < line->actual) {
- memmove(&line->text[offset+1], &line->text[offset], sizeof(char_t) * (line->actual - offset));
- }
- /* Insert the new character */
- line->text[offset] = c;
- /* There is one new character in the line */
- line->actual += 1;
- if (!loading) {
- recalculate_tabs(line);
- recalculate_syntax(line);
- }
- return line;
- }
- /**
- * Update terminal size
- *
- * We don't listen for sigwinch for various reasons...
- */
- static void get_size(void) {
- struct winsize w;
- ioctl(STDOUT_FILENO, TIOCGWINSZ, &w);
- width = w.ws_col - prompt_right_width;
- }
- /**
- * Place the cursor within the line
- */
- static void place_cursor_actual(void) {
- int x = prompt_width + 1 - offset;
- for (int i = 0; i < column; ++i) {
- char_t * c = &the_line->text[i];
- x += c->display_width;
- }
- if (x > width - 1) {
- /* Adjust the offset appropriately to scroll horizontally */
- int diff = x - (width - 1);
- offset += diff;
- x -= diff;
- render_line();
- }
- /* Same for scrolling horizontally to the left */
- if (x < prompt_width + 1) {
- int diff = (prompt_width + 1) - x;
- offset -= diff;
- x += diff;
- render_line();
- }
- printf("\033[?25h\033[%dG", x);
- fflush(stdout);
- }
- /**
- * Delete a character
- */
- static void line_delete(line_t * line, int offset) {
- /* Can't delete character before start of line. */
- if (offset == 0) return;
- /* If this isn't the last character, we need to move all subsequent characters backwards */
- if (offset < line->actual) {
- memmove(&line->text[offset-1], &line->text[offset], sizeof(char_t) * (line->actual - offset));
- }
- /* The line is one character shorter */
- line->actual -= 1;
- if (!loading) {
- recalculate_tabs(line);
- recalculate_syntax(line);
- }
- }
- /**
- * Backspace from the cursor position
- */
- static void delete_at_cursor(void) {
- if (column > 0) {
- line_delete(the_line, column);
- column--;
- if (offset > 0) offset--;
- }
- }
- /**
- * Delete whole word
- */
- static void delete_word(void) {
- if (!the_line->actual) return;
- if (!column) return;
- do {
- if (column > 0) {
- line_delete(the_line, column);
- column--;
- if (offset > 0) offset--;
- }
- } while (column && the_line->text[column-1].codepoint != ' ');
- }
- /**
- * Insert at cursor position
- */
- static void insert_char(uint32_t c) {
- char_t _c;
- _c.codepoint = c;
- _c.flags = 0;
- _c.display_width = codepoint_width(c);
- the_line = line_insert(the_line, _c, column);
- column++;
- }
- /**
- * Move cursor left
- */
- static void cursor_left(void) {
- if (column > 0) column--;
- place_cursor_actual();
- }
- /**
- * Move cursor right
- */
- static void cursor_right(void) {
- if (column < the_line->actual) column++;
- place_cursor_actual();
- }
- /**
- * Move cursor one whole word left
- */
- static void word_left(void) {
- if (column == 0) return;
- column--;
- while (column && the_line->text[column].codepoint == ' ') {
- column--;
- }
- while (column > 0) {
- if (the_line->text[column-1].codepoint == ' ') break;
- column--;
- }
- place_cursor_actual();
- }
- /**
- * Move cursor one whole word right
- */
- static void word_right(void) {
- while (column < the_line->actual && the_line->text[column].codepoint == ' ') {
- column++;
- }
- while (column < the_line->actual) {
- column++;
- if (the_line->text[column].codepoint == ' ') break;
- }
- place_cursor_actual();
- }
- /**
- * Move cursor to start of line
- */
- static void cursor_home(void) {
- column = 0;
- place_cursor_actual();
- }
- /*
- * Move cursor to end of line
- */
- static void cursor_end(void) {
- column = the_line->actual;
- place_cursor_actual();
- }
- /**
- * Temporary buffer for holding utf-8 data
- */
- static char temp_buffer[1024];
- /**
- * Cycle to previous history entry
- */
- static void history_previous(void) {
- if (rline_scroll == 0) {
- /* Convert to temporaary buffer */
- unsigned int off = 0;
- memset(temp_buffer, 0, sizeof(temp_buffer));
- for (int j = 0; j < the_line->actual; j++) {
- char_t c = the_line->text[j];
- off += to_eight(c.codepoint, &temp_buffer[off]);
- }
- }
- if (rline_scroll < rline_history_count) {
- rline_scroll++;
- /* Copy in from history */
- the_line->actual = 0;
- column = 0;
- loading = 1;
- char * buf = rline_history_prev(rline_scroll);
- uint32_t istate = 0, c = 0;
- for (unsigned int i = 0; i < strlen(buf); ++i) {
- if (!decode(&istate, &c, buf[i])) {
- insert_char(c);
- }
- }
- loading = 0;
- }
- /* Set cursor at end */
- column = the_line->actual;
- offset = 0;
- recalculate_tabs(the_line);
- recalculate_syntax(the_line);
- render_line();
- place_cursor_actual();
- }
- /**
- * Cycle to next history entry
- */
- static void history_next(void) {
- if (rline_scroll > 1) {
- rline_scroll--;
- /* Copy in from history */
- the_line->actual = 0;
- column = 0;
- loading = 1;
- char * buf = rline_history_prev(rline_scroll);
- uint32_t istate = 0, c = 0;
- for (unsigned int i = 0; i < strlen(buf); ++i) {
- if (!decode(&istate, &c, buf[i])) {
- insert_char(c);
- }
- }
- loading = 0;
- } else if (rline_scroll == 1) {
- /* Copy in from temp */
- rline_scroll = 0;
- the_line->actual = 0;
- column = 0;
- loading = 1;
- char * buf = temp_buffer;
- uint32_t istate = 0, c = 0;
- for (unsigned int i = 0; i < strlen(buf); ++i) {
- if (!decode(&istate, &c, buf[i])) {
- insert_char(c);
- }
- }
- loading = 0;
- }
- /* Set cursor at end */
- column = the_line->actual;
- offset = 0;
- recalculate_tabs(the_line);
- recalculate_syntax(the_line);
- render_line();
- place_cursor_actual();
- }
- /**
- * Handle escape sequences (arrow keys, etc.)
- */
- static int handle_escape(int * this_buf, int * timeout, int c) {
- if (*timeout >= 1 && this_buf[*timeout-1] == '\033' && c == '\033') {
- this_buf[*timeout] = c;
- (*timeout)++;
- return 1;
- }
- if (*timeout >= 1 && this_buf[*timeout-1] == '\033' && c != '[') {
- *timeout = 0;
- _ungetc(c);
- return 1;
- }
- if (*timeout >= 1 && this_buf[*timeout-1] == '\033' && c == '[') {
- *timeout = 1;
- this_buf[*timeout] = c;
- (*timeout)++;
- return 0;
- }
- if (*timeout >= 2 && this_buf[0] == '\033' && this_buf[1] == '[' &&
- (isdigit(c) || c == ';')) {
- this_buf[*timeout] = c;
- (*timeout)++;
- return 0;
- }
- if (*timeout >= 2 && this_buf[0] == '\033' && this_buf[1] == '[') {
- switch (c) {
- case 'A': // up
- history_previous();
- break;
- case 'B': // down
- history_next();
- break;
- case 'C': // right
- if (this_buf[*timeout-1] == '5') {
- word_right();
- } else {
- cursor_right();
- }
- break;
- case 'D': // left
- if (this_buf[*timeout-1] == '5') {
- word_left();
- } else {
- cursor_left();
- }
- break;
- case 'H': // home
- cursor_home();
- break;
- case 'F': // end
- cursor_end();
- break;
- case '~':
- switch (this_buf[*timeout-1]) {
- case '1':
- cursor_home();
- break;
- case '3':
- /* Delete forward */
- if (column < the_line->actual) {
- line_delete(the_line, column+1);
- if (offset > 0) offset--;
- }
- break;
- case '4':
- cursor_end();
- break;
- }
- break;
- default:
- break;
- }
- *timeout = 0;
- return 0;
- }
- *timeout = 0;
- return 0;
- }
- struct termios old;
- static void get_initial_termios(void) {
- tcgetattr(STDOUT_FILENO, &old);
- }
- static void set_unbuffered(void) {
- struct termios new = old;
- new.c_lflag &= (~ICANON & ~ECHO);
- new.c_cc[VINTR] = 0;
- tcsetattr(STDOUT_FILENO, TCSAFLUSH, &new);
- }
- static void set_buffered(void) {
- tcsetattr(STDOUT_FILENO, TCSAFLUSH, &old);
- }
- static int tabbed;
- static void dummy_redraw(rline_context_t * context) {
- /* Do nothing */
- }
- /**
- * Juggle our buffer with an rline context so we can
- * call original rline functions such as a tab-completion callback
- * or reverse search.
- */
- static void call_rline_func(rline_callback_t func, rline_context_t * context) {
- /* Unicode parser state */
- uint32_t istate = 0;
- uint32_t c;
- /* Don't let rline draw things */
- context->quiet = 1;
- /* Allocate a temporary buffer */
- context->buffer = malloc(buf_size_max);
- memset(context->buffer,0,buf_size_max);
- /* Convert current data to utf-8 */
- unsigned int off = 0;
- for (int j = 0; j < the_line->actual; j++) {
- if (j == column) {
- /* Track cursor position */
- context->offset = off;
- }
- char_t c = the_line->text[j];
- off += to_eight(c.codepoint, &context->buffer[off]);
- }
- /* If the cursor was at the end, the loop above didn't catch it */
- if (column == the_line->actual) context->offset = off;
- /*
- * Did we just press tab before this? This is actually managed
- * by the tab-completion function.
- */
- context->tabbed = tabbed;
- /* Empty callbacks */
- rline_callbacks_t tmp = {0};
- /*
- * Because some clients expect this to be set...
- * (we don't need it, we'll redraw ourselves later)
- */
- tmp.redraw_prompt = dummy_redraw;
- /* Setup context */
- context->callbacks = &tmp;
- context->collected = off;
- context->buffer[off] = '\0';
- context->requested = 1024;
- /* Reset colors (for tab completion candidates, etc. */
- printf("\033[0m");
- /* Call the function */
- func(context);
- /* Now convert back */
- loading = 1;
- int final_column = 0;
- the_line->actual = 0;
- column = 0;
- istate = 0;
- for (int i = 0; i < context->collected; ++i) {
- if (i == context->offset) {
- final_column = column;
- }
- if (!decode(&istate, &c, context->buffer[i])) {
- insert_char(c);
- }
- }
- free(context->buffer);
- /* Position cursor */
- if (context->offset == context->collected) {
- column = the_line->actual;
- } else {
- column = final_column;
- }
- tabbed = context->tabbed;
- loading = 0;
- /* Recalculate + redraw */
- recalculate_tabs(the_line);
- recalculate_syntax(the_line);
- render_line();
- place_cursor_actual();
- }
- /**
- * Perform actual interactive line editing.
- *
- * This is mostly a reimplementation of bim's
- * INSERT mode, but with some cleanups and fixes
- * to work on a single line and to add some new
- * key bindings we don't have in bim.
- */
- static int read_line(void) {
- int cin;
- uint32_t c;
- int timeout = 0;
- int this_buf[20];
- uint32_t istate = 0;
- int immediate = 1;
- set_colors(COLOR_ALT_FG, COLOR_ALT_BG);
- fprintf(stdout, "◄\033[0m"); /* TODO: This could be retrieved from an envvar */
- for (int i = 0; i < width + prompt_right_width - 1; ++i) {
- fprintf(stdout, " ");
- }
- render_line();
- place_cursor_actual();
- while ((cin = getch(immediate))) {
- if (cin == -1) {
- immediate = 1;
- render_line();
- place_cursor_actual();
- continue;
- }
- get_size();
- if (!decode(&istate, &c, cin)) {
- if (timeout == 0) {
- if (c != '\t') tabbed = 0;
- switch (c) {
- case '\033':
- if (timeout == 0) {
- this_buf[timeout] = c;
- timeout++;
- }
- break;
- case 3: /* ^C - Cancel editing, and print ^C */
- the_line->actual = 0;
- set_colors(COLOR_ALT_FG, COLOR_ALT_BG);
- printf("^C");
- printf("\033[0m");
- return 1;
- case 4: /* ^D - With a blank line, return nothing */
- if (column == 0 && the_line->actual == 0) {
- for (char *_c = rline_exit_string; *_c; ++_c) {
- insert_char(*_c);
- }
- render_line();
- place_cursor_actual();
- return 1;
- } else { /* Otherwise act like delete */
- if (column < the_line->actual) {
- line_delete(the_line, column+1);
- if (offset > 0) offset--;
- immediate = 0;
- }
- }
- break;
- case DELETE_KEY:
- case BACKSPACE_KEY:
- delete_at_cursor();
- immediate = 0;
- break;
- case ENTER_KEY:
- /* Finished */
- loading = 1;
- column = the_line->actual;
- insert_char('\n');
- immediate = 0;
- return 1;
- case 22: /* ^V */
- /* Don't bother with unicode, just take the next byte */
- insert_char(getc(stdin));
- immediate = 0;
- break;
- case 23: /* ^W */
- delete_word();
- immediate = 0;
- break;
- case 12: /* ^L - Repaint the whole screen */
- printf("\033[2J\033[H");
- render_line();
- place_cursor_actual();
- break;
- case '\t':
- if (tab_complete_func) {
- /* Tab complete */
- rline_context_t context = {0};
- call_rline_func(tab_complete_func, &context);
- immediate = 0;
- } else {
- /* Insert tab character */
- insert_char('\t');
- immediate = 0;
- }
- break;
- case 18:
- {
- rline_context_t context = {0};
- call_rline_func(rline_reverse_search, &context);
- if (!context.cancel) {
- return 1;
- }
- immediate = 0;
- }
- break;
- default:
- insert_char(c);
- immediate = 0;
- break;
- }
- } else {
- if (handle_escape(this_buf,&timeout,c)) {
- continue;
- }
- immediate = 0;
- }
- } else if (istate == UTF8_REJECT) {
- istate = 0;
- }
- }
- return 0;
- }
- /**
- * Read a line of text with interactive editing.
- */
- int rline_experimental(char * buffer, int buf_size) {
- get_initial_termios();
- set_unbuffered();
- get_size();
- column = 0;
- offset = 0;
- buf_size_max = buf_size;
- char * theme = getenv("RLINE_THEME");
- if (theme && !strcmp(theme,"sunsmoke")) { /* TODO bring back theme tables */
- rline_exp_load_colorscheme_sunsmoke();
- } else {
- rline_exp_load_colorscheme_default();
- }
- the_line = line_create();
- loading = 0;
- read_line();
- printf("\033[0m\n");
- unsigned int off = 0;
- for (int j = 0; j < the_line->actual; j++) {
- char_t c = the_line->text[j];
- off += to_eight(c.codepoint, &buffer[off]);
- }
- free(the_line);
- set_buffered();
- return strlen(buffer);
- }
- void * rline_exp_for_python(void * _stdin, void * _stdout, char * prompt) {
- rline_exp_set_prompts(prompt, "", strlen(prompt), 0);
- char * buf = malloc(1024);
- memset(buf, 0, 1024);
- rline_exp_set_syntax("python");
- rline_exit_string = "";
- rline_experimental(buf, 1024);
- rline_history_insert(strdup(buf));
- rline_scroll = 0;
- return buf;
- }
|