SRW, CQL, 2003
[yaz-moved-to-github.git] / cql / cql.y
1 /* $Id: cql.y,v 1.1 2003-01-06 08:20:27 adam Exp $
2    Copyright (C) 2002-2003
3    Index Data Aps
4
5 This file is part of the YAZ toolkit.
6
7 See the file LICENSE.
8
9  bison parser for CQL grammar.
10 */
11 %{
12 #include <stdio.h>
13 #include <stdlib.h>
14 #include <string.h>
15 #include <ctype.h>
16 #include <yaz/cql.h>
17     
18     typedef struct {
19         struct cql_node *rel;
20         struct cql_node *cql;
21         char buf[80];
22         size_t len;
23         size_t max;
24     } token;        
25
26     struct cql_parser {
27         int (*getbyte)(void *client_data);
28         void (*ungetbyte)(int b, void *client_data);
29         void *client_data;
30         int last_error;
31         int last_pos;
32         struct cql_node *top;
33     };
34
35 #define YYSTYPE token
36     
37 #define YYPARSE_PARAM parm
38 #define YYLEX_PARAM parm
39     
40     int yylex(YYSTYPE *lval, void *vp);
41     int yyerror(char *s);
42 %}
43
44 %pure_parser
45 %token TERM AND OR NOT PROX EXACT ALL ANY GE LE NE SCR
46 %expect 8
47
48 %%
49
50 top: { 
51     $$.rel = cql_node_mk_sc("srw.serverChoice", "scr", 0);
52     ((CQL_parser) parm)->top = 0;
53 } cqlQuery1 {
54     cql_node_destroy($$.rel);
55     ((CQL_parser) parm)->top = $2.cql; 
56 }
57 ;
58
59 cqlQuery1: cqlQuery
60 | cqlQuery error {
61     cql_node_destroy($1.cql);
62     $$.cql = 0;
63 }
64 ;
65
66 cqlQuery: 
67   searchClause
68 |
69   cqlQuery boolean { 
70       $$.rel = $0.rel; 
71   } searchClause {
72       struct cql_node *cn = cql_node_mk_boolean($2.buf);
73       
74       cn->u.bool.modifiers = $2.rel;
75       cn->u.bool.left = $1.cql;
76       cn->u.bool.right = $4.cql;
77
78       $$.cql = cn;
79   }
80 ;
81
82 searchClause: 
83   '(' { 
84       $$.rel = $0.rel;
85       
86   } cqlQuery ')' {
87       $$.cql = $3.cql;
88   }
89 |
90   searchTerm {
91       struct cql_node *st = cql_node_dup ($0.rel);
92       st->u.st.term = strdup($1.buf);
93       $$.cql = st;
94   }
95
96   index relation {
97       $$.rel = $2.rel;
98       $$.rel->u.st.index = strdup($1.buf);
99   } searchClause {
100       $$.cql = $4.cql;
101       cql_node_destroy($$.rel);
102   }
103 | '>' searchTerm '=' searchTerm {
104       $$.rel = $0.rel;
105   } cqlQuery {
106     $$.cql = cql_node_prefix($6.cql, $2.buf, $4.buf);
107   }
108 | '>' searchTerm {
109       $$.rel = $0.rel;
110   } cqlQuery {
111     $$.cql = cql_node_prefix($4.cql, 0, $2.buf);
112    }
113 ;
114
115 boolean: 
116   AND | OR | NOT | PROX proxqualifiers {
117       $$ = $1;
118       $$.rel = $2.rel;
119   }
120   ;
121
122 proxqualifiers: 
123   Prelation { 
124       $$.rel = cql_node_mk_proxargs ($1.buf, 0, 0, 0);
125   }
126 |
127   PrelationO Pdistance {
128       $$.rel = cql_node_mk_proxargs ($1.buf, $2.buf, 0, 0);
129   }
130 |
131   PrelationO PdistanceO Punit {
132       $$.rel = cql_node_mk_proxargs ($1.buf, $2.buf, $3.buf, 0);
133   }
134 |
135   PrelationO PdistanceO PunitO Pordering {
136       $$.rel = cql_node_mk_proxargs ($1.buf, $2.buf, $3.buf, $4.buf);
137   }
138 |
139 { $$.rel = 0; }
140 ;
141
142 Punit: '/' searchTerm { 
143       $$ = $2;
144    }
145 ;
146
147 PunitO: '/' searchTerm {
148       $$ = $2;
149    } 
150
151 '/' { $$.buf[0] = 0; }
152 ;
153 Prelation: '/' baseRelation {
154     $$ = $2;
155 }
156 ;
157 PrelationO: '/' baseRelation {
158     $$ = $2;
159 }
160 | '/' { $$.buf[0] = 0; }
161 ;
162 Pdistance: '/' searchTerm { 
163     $$ = $2;
164 }
165 ;
166
167 PdistanceO: '/' searchTerm {
168     $$ = $2;
169 }
170 | '/' { $$.buf[0] = 0; }
171 ;
172 Pordering: '/' searchTerm { 
173     $$ = $2;
174 }
175 ;
176
177 relation: baseRelation modifiers {
178     struct cql_node *st = cql_node_mk_sc(/* index */ 0, 
179                                          /* relation */ $1.buf, 
180                                          /* term */ 0);
181
182     st->u.st.modifiers = $2.cql;
183     $$.rel = st;
184 }
185 ;
186
187 modifiers: '/' searchTerm modifiers
188
189     struct cql_node *mod = cql_node_mk_mod(0, $2.buf);
190
191     mod->u.mod.next = $3.cql;
192     $$.cql = mod;
193 }
194 |  
195
196     $$.cql = 0;
197 }
198 ;
199
200 baseRelation: 
201   '=' 
202 | '>' 
203 | '<'
204 | GE
205 | LE
206 | NE
207 | EXACT 
208 | ALL
209 | ANY
210 | SCR
211 ;
212
213 index: 
214   searchTerm;
215
216 searchTerm:
217   TERM
218 | AND
219 | OR
220 | NOT
221 | EXACT
222 | ALL
223 | ANY
224 | PROX
225 ;
226
227 %%
228
229 int yyerror(char *s)
230 {
231     return 0;
232 }
233
234 #include "lexer.c"
235
236
237 int cql_parser_stream(CQL_parser cp,
238                       int (*getbyte)(void *client_data),
239                       void (*ungetbyte)(int b, void *client_data),
240                       void *client_data)
241 {
242     cp->getbyte = getbyte;
243     cp->ungetbyte = ungetbyte;
244     cp->client_data = client_data;
245     cql_parse(cp);
246     if (cp->top)
247         return 0;
248     return -1;
249 }
250
251 CQL_parser cql_parser_create(void)
252 {
253     CQL_parser cp = malloc (sizeof(*cp));
254
255     return cp;
256 }
257
258 void cql_parser_destroy(CQL_parser cp)
259 {
260     cql_node_destroy(cp->top);
261     free (cp);
262 }
263
264 struct cql_node *cql_parser_result(CQL_parser cp)
265 {
266     return cp->top;
267 }