aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorThomas Voss <mail@thomasvoss.com> 2024-09-06 17:00:06 +0200
committerThomas Voss <mail@thomasvoss.com> 2024-09-06 17:00:06 +0200
commit343fb615ab300b58522b5ee14fdfd705ad231389 (patch)
tree90f69c223f8c8b511faae087532df9b4d6d653c4 /src
parent4de036c93497af88641eda7bf82a8f4dbdb63c02 (diff)
More accurate location tracking
Diffstat (limited to 'src')
-rw-r--r--src/lexer.l38
1 files changed, 25 insertions, 13 deletions
diff --git a/src/lexer.l b/src/lexer.l
index 08c8da2..5e8d5e5 100644
--- a/src/lexer.l
+++ b/src/lexer.l
@@ -12,18 +12,19 @@
BEGIN(linecont); \
} while (false);
-#define YY_USER_ACTION \
+#define LOC_STEP \
do { \
+ yylloc.first_line = yylloc.last_line; \
yylloc.first_column = yylloc.last_column; \
- yylloc.first_line = yylloc.last_line; \
- for (int i = 0; i < yyleng; i++) { \
- if (yytext[i] == '\n') { \
- yylloc.last_column = 1; \
- yylloc.last_line++; \
- } else \
- yylloc.last_column++; \
- } \
- } while (false);
+ } while (false)
+
+#define LOC_LINE \
+ do { \
+ yylloc.last_line++; \
+ yylloc.last_column = 1; \
+ } while (false)
+
+#define YY_USER_ACTION yylloc.last_column += yyleng;
extern bool interactive;
extern const char *current_file;
@@ -39,6 +40,10 @@ ws [ \t]
%%
+%{
+LOC_STEP;
+%}
+
¬|! { return NOT; }
∧|&& { return AND; }
∨|\|\| { return OR; }
@@ -49,20 +54,27 @@ ws [ \t]
\) { return CPAR; }
\| { return '|'; }
\\ { return '\\'; }
-\n { return EOL; }
+
+\n {
+ LOC_LINE;
+ return EOL;
+}
/* Allow line-continuation when the newline is suffixed by a
backslash, but not in interactive mode! Interactive usage should
have this functionality disabled so that you get instant feedback
after hitting the enter key. */
-<linecont>\n{ws}*\\ ;
+<linecont>\n{ws}*\\ {
+ LOC_LINE;
+ yylloc.last_column = yyleng;
+}
[a-zA-Z] {
yylval.ch = *yytext;
return IDENT;
}
-{ws}+ ;
+{ws}+ { LOC_STEP; }
/* Throw an error on an invalid token. When in interactive mode we
should slurp up all data on the current line after reporting the