2 * Copyright (c) 2016, Olivier MATZ <zer0@droids-corp.org>
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are met:
7 * * Redistributions of source code must retain the above copyright
8 * notice, this list of conditions and the following disclaimer.
9 * * Redistributions in binary form must reproduce the above copyright
10 * notice, this list of conditions and the following disclaimer in the
11 * documentation and/or other materials provided with the distribution.
12 * * Neither the name of the University of California, Berkeley nor the
13 * names of its contributors may be used to endorse or promote products
14 * derived from this software without specific prior written permission.
16 * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND ANY
17 * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
18 * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
19 * DISCLAIMED. IN NO EVENT SHALL THE REGENTS AND CONTRIBUTORS BE LIABLE FOR ANY
20 * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
21 * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
22 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
23 * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
24 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
25 * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
36 #include <ecoli_malloc.h>
37 #include <ecoli_log.h>
38 #include <ecoli_test.h>
39 #include <ecoli_strvec.h>
40 #include <ecoli_node.h>
41 #include <ecoli_parsed.h>
42 #include <ecoli_completed.h>
43 #include <ecoli_node_seq.h>
44 #include <ecoli_node_str.h>
45 #include <ecoli_node_option.h>
46 #include <ecoli_node_sh_lex.h>
48 struct ec_node_sh_lex {
50 struct ec_node *child;
53 static size_t eat_spaces(const char *str)
58 while (isblank(str[i]))
65 * Allocate a new string which is a copy of the input string with quotes
66 * removed. If quotes are not closed properly, set missing_quote to the
69 static char *unquote_str(const char *str, size_t n, int allow_missing_quote,
72 unsigned s = 1, d = 0;
83 /* copy string and remove quotes */
84 while (s < n && d < n && str[s] != '\0') {
85 if (str[s] == '\\' && str[s+1] == quote) {
90 if (str[s] == '\\' && str[s+1] == '\\') {
95 if (str[s] == quote) {
103 /* not enough room in dst buffer (should not happen) */
110 /* quote not closed */
112 if (missing_quote != NULL)
113 *missing_quote = str[0];
114 if (allow_missing_quote == 0) {
125 static size_t eat_quoted_str(const char *str)
130 while (str[i] != '\0') {
131 if (str[i] != '\\' && str[i+1] == quote)
136 /* unclosed quote, will be detected later */
140 static size_t eat_str(const char *str)
145 while (!isblank(str[i]) && str[i] != '\0')
151 static struct ec_strvec *tokenize(const char *str, int completion,
152 int allow_missing_quote, char *missing_quote)
154 struct ec_strvec *strvec = NULL;
155 size_t off = 0, len, suboff, sublen;
156 char *word = NULL, *concat = NULL, *tmp;
157 int last_is_space = 1;
159 // printf("str=%s\n", str);
161 strvec = ec_strvec();
165 while (str[off] != '\0') {
166 len = eat_spaces(&str[off]);
169 // printf("space=%zd\n", len);
174 while (str[suboff] != '\0') {
176 if (str[suboff] == '"' || str[suboff] == '\'') {
177 sublen = eat_quoted_str(&str[suboff]);
178 // printf("sublen=%zd\n", sublen);
179 word = unquote_str(&str[suboff], sublen,
180 allow_missing_quote, missing_quote);
182 sublen = eat_str(&str[suboff]);
183 // printf("sublen=%zd\n", sublen);
186 word = ec_strndup(&str[suboff], sublen);
191 // printf("word=%s\n", word);
196 if (concat == NULL) {
200 tmp = ec_realloc(concat, len + 1);
204 strcat(concat, word);
210 if (concat != NULL) {
211 if (ec_strvec_add(strvec, concat) < 0)
217 /* XXX remove all printf comments */
218 // printf("str off=%zd len=%zd\n", off, len);
222 /* in completion mode, append an empty string in the vector if
223 * the input string ends with space */
224 if (completion && last_is_space) {
225 if (ec_strvec_add(strvec, "") < 0)
234 ec_strvec_free(strvec);
238 static struct ec_parsed *ec_node_sh_lex_parse(const struct ec_node *gen_node,
239 const struct ec_strvec *strvec)
241 struct ec_node_sh_lex *node = (struct ec_node_sh_lex *)gen_node;
242 struct ec_strvec *new_vec = NULL, *match_strvec;
243 struct ec_parsed *parsed = NULL, *child_parsed;
246 parsed = ec_parsed();
250 if (ec_strvec_len(strvec) == 0)
253 str = ec_strvec_val(strvec, 0);
254 new_vec = tokenize(str, 0, 0, NULL);
258 child_parsed = ec_node_parse_strvec(node->child, new_vec);
259 if (child_parsed == NULL)
262 if (!ec_parsed_matches(child_parsed) ||
263 ec_parsed_len(child_parsed) !=
264 ec_strvec_len(new_vec)) {
265 ec_strvec_free(new_vec);
266 ec_parsed_free(child_parsed);
269 ec_strvec_free(new_vec);
272 ec_parsed_add_child(parsed, child_parsed);
273 match_strvec = ec_strvec_ndup(strvec, 0, 1);
274 if (match_strvec == NULL)
276 ec_parsed_set_match(parsed, gen_node, match_strvec);
281 ec_strvec_free(new_vec);
282 ec_parsed_free(parsed);
287 static struct ec_completed *ec_node_sh_lex_complete(const struct ec_node *gen_node,
288 const struct ec_strvec *strvec)
290 struct ec_node_sh_lex *node = (struct ec_node_sh_lex *)gen_node;
291 struct ec_completed *completed, *child_completed = NULL;
292 struct ec_strvec *new_vec = NULL;
296 // printf("==================\n");
297 completed = ec_completed();
298 if (completed == NULL)
301 if (ec_strvec_len(strvec) != 1)
304 str = ec_strvec_val(strvec, 0);
305 new_vec = tokenize(str, 1, 1, &missing_quote);
309 // ec_strvec_dump(new_vec, stdout);
311 child_completed = ec_node_complete_strvec(node->child, new_vec);
312 if (child_completed == NULL)
315 ec_strvec_free(new_vec);
317 ec_completed_merge(completed, child_completed);
322 ec_strvec_free(new_vec);
323 ec_completed_free(completed);
327 static void ec_node_sh_lex_free_priv(struct ec_node *gen_node)
329 struct ec_node_sh_lex *node = (struct ec_node_sh_lex *)gen_node;
331 ec_node_free(node->child);
334 static struct ec_node_type ec_node_sh_lex_type = {
336 .parse = ec_node_sh_lex_parse,
337 .complete = ec_node_sh_lex_complete,
338 .size = sizeof(struct ec_node_sh_lex),
339 .free_priv = ec_node_sh_lex_free_priv,
342 EC_NODE_TYPE_REGISTER(ec_node_sh_lex_type);
344 struct ec_node *ec_node_sh_lex(const char *id, struct ec_node *child)
346 struct ec_node_sh_lex *node = NULL;
351 node = (struct ec_node_sh_lex *)__ec_node(&ec_node_sh_lex_type, id);
362 static int ec_node_sh_lex_testcase(void)
364 struct ec_node *node;
367 node = ec_node_sh_lex(NULL,
369 ec_node_str(NULL, "foo"),
371 ec_node_str(NULL, "toto")
373 ec_node_str(NULL, "bar")
377 ec_log(EC_LOG_ERR, "cannot create node\n");
380 ret |= EC_TEST_CHECK_PARSE(node, 1, "foo bar");
381 ret |= EC_TEST_CHECK_PARSE(node, 1, " foo bar");
382 ret |= EC_TEST_CHECK_PARSE(node, 1, " 'foo' \"bar\"");
383 ret |= EC_TEST_CHECK_PARSE(node, 1, " 'f'oo 'toto' bar");
386 /* test completion */
387 node = ec_node_sh_lex(NULL,
389 ec_node_str(NULL, "foo"),
391 ec_node_str(NULL, "toto")
393 ec_node_str(NULL, "bar"),
394 ec_node_str(NULL, "titi")
398 ec_log(EC_LOG_ERR, "cannot create node\n");
401 ret |= EC_TEST_CHECK_COMPLETE(node,
403 "foo", EC_NODE_ENDLIST,
405 ret |= EC_TEST_CHECK_COMPLETE(node,
406 " ", EC_NODE_ENDLIST,
407 "foo", EC_NODE_ENDLIST,
409 ret |= EC_TEST_CHECK_COMPLETE(node,
410 "f", EC_NODE_ENDLIST,
411 "oo", EC_NODE_ENDLIST,
413 ret |= EC_TEST_CHECK_COMPLETE(node,
414 "foo", EC_NODE_ENDLIST,
417 ret |= EC_TEST_CHECK_COMPLETE(node,
418 "foo ", EC_NODE_ENDLIST,
419 "bar", "toto", EC_NODE_ENDLIST,
421 ret |= EC_TEST_CHECK_COMPLETE(node,
422 "foo t", EC_NODE_ENDLIST,
423 "oto", EC_NODE_ENDLIST,
425 ret |= EC_TEST_CHECK_COMPLETE(node,
426 "foo b", EC_NODE_ENDLIST,
427 "ar", EC_NODE_ENDLIST,
429 ret |= EC_TEST_CHECK_COMPLETE(node,
430 "foo bar", EC_NODE_ENDLIST,
433 ret |= EC_TEST_CHECK_COMPLETE(node,
434 "foo bar ", EC_NODE_ENDLIST,
435 "titi", EC_NODE_ENDLIST,
437 ret |= EC_TEST_CHECK_COMPLETE(node,
438 "foo toto bar ", EC_NODE_ENDLIST,
439 "titi", EC_NODE_ENDLIST,
441 ret |= EC_TEST_CHECK_COMPLETE(node,
442 "x", EC_NODE_ENDLIST,
445 ret |= EC_TEST_CHECK_COMPLETE(node,
446 "foo barx", EC_NODE_ENDLIST,
454 static struct ec_test ec_node_sh_lex_test = {
455 .name = "node_sh_lex",
456 .test = ec_node_sh_lex_testcase,
459 EC_TEST_REGISTER(ec_node_sh_lex_test);