3 * SPDX-License-Identifier: MIT
5 * Copyright 2010 Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
7 * Common Trace Formal Lexer
13 #define BT_LOG_OUTPUT_LEVEL ctf_plugin_metadata_log_level
14 #define BT_LOG_TAG "PLUGIN-CTF-METADATA-LEXER"
15 #include "plugins/ctf/common/metadata/logging.hpp"
17 #include "plugins/ctf/common/metadata/ast.hpp"
18 #include "plugins/ctf/common/metadata/parser-wrap.hpp"
19 #include "plugins/ctf/common/metadata/scanner.hpp"
21 #define YY_FATAL_ERROR(_msg) BT_LOGF_STR(_msg)
23 #define PARSE_INTEGER_LITERAL(base) \
26 yylval->ull = strtoull(yytext, NULL, base); \
28 _BT_LOGE_APPEND_CAUSE_LINENO(yylineno, \
29 "Cannot parser constant integer: " \
30 "base=%d, text=\"%s\"", base, yytext); \
36 %x comment_ml comment_sl string_lit char_const
37 %option reentrant yylineno noyywrap bison-bridge
38 %option extra-type="struct ctf_scanner *"
40 INTEGER_SUFFIX (U|UL|ULL|LU|LLU|Ul|Ull|lU|llU|u|uL|uLL|Lu|LLu|ul|ull|lu|llu)
45 UCHARLOWERCASE \\u{HEXDIGIT}{4}
46 UCHARUPPERCASE \\U{HEXDIGIT}{8}
47 ID_NONDIGIT {NONDIGIT}|{UCHARLOWERCASE}|{UCHARUPPERCASE}
48 IDENTIFIER {ID_NONDIGIT}({ID_NONDIGIT}|{DIGIT})*
52 * Using start conditions to deal with comments
56 "/*" BEGIN(comment_ml);
57 <comment_ml>[^*\n]* /* eat anything that's not a '*' */
58 <comment_ml>"*"+[^*/\n]* /* eat up '*'s not followed by '/'s */
60 <comment_ml>"*"+"/" BEGIN(INITIAL);
62 "//"[^\n]*\n /* skip comment */
64 L?\"(\\.|[^\\"])*\" { if (import_string(yyextra, yylval, yytext, '\"') < 0) return CTF_ERROR; else return CTF_STRING_LITERAL; }
65 L?\'(\\.|[^\\'])*\' { if (import_string(yyextra, yylval, yytext, '\'') < 0) return CTF_ERROR; else return CTF_CHARACTER_LITERAL; }
67 "[" return CTF_LSBRAC;
68 "]" return CTF_RSBRAC;
69 "(" return CTF_LPAREN;
70 ")" return CTF_RPAREN;
73 "->" return CTF_RARROW;
79 := return CTF_TYPEASSIGN;
81 ; return CTF_SEMICOLON;
82 "..." return CTF_DOTDOTDOT;
86 align setstring(yyextra, yylval, yytext); return CTF_TOK_ALIGN;
87 const setstring(yyextra, yylval, yytext); return CTF_CONST;
88 char setstring(yyextra, yylval, yytext); return CTF_CHAR;
89 clock setstring(yyextra, yylval, yytext); return CTF_CLOCK;
90 double setstring(yyextra, yylval, yytext); return CTF_DOUBLE;
91 enum setstring(yyextra, yylval, yytext); return CTF_ENUM;
92 env setstring(yyextra, yylval, yytext); return CTF_ENV;
93 event setstring(yyextra, yylval, yytext); return CTF_EVENT;
94 floating_point setstring(yyextra, yylval, yytext); return CTF_FLOATING_POINT;
95 float setstring(yyextra, yylval, yytext); return CTF_FLOAT;
96 integer setstring(yyextra, yylval, yytext); return CTF_INTEGER;
97 int setstring(yyextra, yylval, yytext); return CTF_INT;
98 long setstring(yyextra, yylval, yytext); return CTF_LONG;
99 short setstring(yyextra, yylval, yytext); return CTF_SHORT;
100 signed setstring(yyextra, yylval, yytext); return CTF_SIGNED;
101 stream setstring(yyextra, yylval, yytext); return CTF_STREAM;
102 string setstring(yyextra, yylval, yytext); return CTF_STRING;
103 struct setstring(yyextra, yylval, yytext); return CTF_STRUCT;
104 trace setstring(yyextra, yylval, yytext); return CTF_TRACE;
105 callsite setstring(yyextra, yylval, yytext); return CTF_CALLSITE;
106 typealias setstring(yyextra, yylval, yytext); return CTF_TYPEALIAS;
107 typedef setstring(yyextra, yylval, yytext); return CTF_TYPEDEF;
108 unsigned setstring(yyextra, yylval, yytext); return CTF_UNSIGNED;
109 variant setstring(yyextra, yylval, yytext); return CTF_VARIANT;
110 void setstring(yyextra, yylval, yytext); return CTF_VOID;
111 _Bool setstring(yyextra, yylval, yytext); return CTF_BOOL;
112 _Complex setstring(yyextra, yylval, yytext); return CTF_COMPLEX;
113 _Imaginary setstring(yyextra, yylval, yytext); return CTF_IMAGINARY;
114 [1-9]{DIGIT}*{INTEGER_SUFFIX}? PARSE_INTEGER_LITERAL(10); return CTF_INTEGER_LITERAL;
115 0{OCTALDIGIT}*{INTEGER_SUFFIX}? PARSE_INTEGER_LITERAL(8); return CTF_INTEGER_LITERAL;
116 0[xX]{HEXDIGIT}+{INTEGER_SUFFIX}? PARSE_INTEGER_LITERAL(16); return CTF_INTEGER_LITERAL;
118 {IDENTIFIER} BT_LOGT("Got identifier: id=\"%s\"", yytext); setstring(yyextra, yylval, yytext); if (is_type(yyextra, yytext)) return ID_TYPE; else return IDENTIFIER;
119 [ \t\r\n] ; /* ignore */
120 . _BT_LOGE_APPEND_CAUSE_LINENO(yylineno, "Invalid character: char=\"%c\", val=0x%02x", isprint((unsigned char) yytext[0]) ? yytext[0] : '\0', yytext[0]); return CTF_ERROR;