1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
|
%{
#ifdef __clang__
/* clang detects yynerrs as unused.
* Will be fixed in future versions of bison.
*/
#pragma clang diagnostic ignored "-Wunused-but-set-variable"
#endif
#include <stdio.h>
#include "smartcolsP.h"
#include "filter-parser.h"
#include "filter-scanner.h"
void yyerror(yyscan_t *locp, struct libscols_filter *fltr, char const *msg);
%}
%define api.pure full
%lex-param {void *scanner}
%parse-param {void *scanner}{struct libscols_filter *fltr}
%define parse.error verbose
%code requires
{
}
/* Elegant way, but not compatible with biron -y (autotools):
%define api.value.type union
%token <unsigned long long> param_number
%token <const char*> param_string
%token <const char*> param_name
%token <long double> param_float
%type <struct filter_node*> param
%type <struct filter_node*> expr
*/
%union {
unsigned long long param_number;
const char* param_string;
const char* param_name;
long double param_float;
struct filter_node *param;
struct filter_node *expr;
}
%token <param_number> T_NUMBER
%token <param_string> T_STRING
%token <param_name> T_HOLDER
%token <param_float> T_FLOAT
%type <param> param expr
%token T_OR T_AND T_EQ T_NE T_LT T_LE T_GT T_GE T_REG T_NREG T_TRUE T_FALSE T_NEG
%left T_OR T_AND
%left T_EQ T_NE T_LT T_LE T_GT T_GE T_REG T_NREG T_TRUE T_FALSE T_NEG
%destructor {
/* This destruct is called on error. The root node will be deallocated
* by scols_unref_filter().
*/
if (fltr->root != $$)
filter_unref_node($$);
} <param>
%%
%start filter;
filter:
expr { fltr->root = $1; }
;
expr:
param { $$ = $1; }
| '(' expr ')' { $$ = $2; }
| expr T_AND expr { $$ = filter_new_expr(fltr, F_EXPR_AND, $1, $3); }
| expr T_OR expr { $$ = filter_new_expr(fltr, F_EXPR_OR, $1, $3); }
| T_NEG expr { $$ = filter_new_expr(fltr, F_EXPR_NEG, NULL, $2); }
| expr T_EQ expr { $$ = filter_new_expr(fltr, F_EXPR_EQ, $1, $3); }
| expr T_NE expr { $$ = filter_new_expr(fltr, F_EXPR_NE, $1, $3); }
| expr T_LE expr { $$ = filter_new_expr(fltr, F_EXPR_LE, $1, $3); }
| expr T_LT expr { $$ = filter_new_expr(fltr, F_EXPR_LT, $1, $3); }
| expr T_GE expr { $$ = filter_new_expr(fltr, F_EXPR_GE, $1, $3); }
| expr T_GT expr { $$ = filter_new_expr(fltr, F_EXPR_GT, $1, $3); }
| expr T_REG expr {
if (filter_compile_param(fltr, (struct filter_param *) $3) != 0)
YYERROR;
$$ = filter_new_expr(fltr, F_EXPR_REG, $1, $3);
}
| expr T_NREG expr {
if (filter_compile_param(fltr, (struct filter_param *) $3) != 0)
YYERROR;
$$ = filter_new_expr(fltr, F_EXPR_NREG, $1, $3);
}
;
param:
T_NUMBER { $$ = filter_new_param(fltr, SCOLS_DATA_U64, 0, (void *) (&$1)); }
| T_FLOAT { $$ = filter_new_param(fltr, SCOLS_DATA_FLOAT, 0, (void *) (&$1)); }
| T_HOLDER { $$ = filter_new_param(fltr, SCOLS_DATA_NONE, F_HOLDER_COLUMN, (void *) $1); }
| T_STRING { $$ = filter_new_param(fltr, SCOLS_DATA_STRING, 0, (void *) $1); }
| T_TRUE {
bool x = true;
$$ = filter_new_param(fltr, SCOLS_DATA_BOOLEAN, 0, (void *) &x);
}
| T_FALSE {
bool x = false;
$$ = filter_new_param(fltr, SCOLS_DATA_BOOLEAN, 0, (void *) &x);
}
;
%%
void yyerror (yyscan_t *locp __attribute__((__unused__)),
struct libscols_filter *fltr,
char const *msg)
{
if (msg && fltr) {
char *p;
if (fltr->errmsg)
free(fltr->errmsg);
fltr->errmsg = strdup(msg);
if (!fltr->errmsg)
return;
p = strstr(fltr->errmsg, "T_");
if (p) {
size_t sz = strlen(fltr->errmsg);
memmove(p, p + 2, sz - 1 - (p - fltr->errmsg));
}
}
errno = EINVAL;
}
|
