lib/ecoli_node_seq.c

   1 /* SPDX-License-Identifier: BSD-3-Clause
   2  * Copyright 2016, Olivier MATZ <zer0@droids-corp.org>
   3  */
   4
   5 #include <stdio.h>
   6 #include <stdlib.h>
   7 #include <stdint.h>
   8 #include <string.h>
   9 #include <assert.h>
  10 #include <stdarg.h>
  11 #include <errno.h>
  12
  13 #include <ecoli_malloc.h>
  14 #include <ecoli_log.h>
  15 #include <ecoli_test.h>
  16 #include <ecoli_strvec.h>
  17 #include <ecoli_node.h>
  18 #include <ecoli_parse.h>
  19 #include <ecoli_complete.h>
  20 #include <ecoli_node_str.h>
  21 #include <ecoli_node_option.h>
  22 #include <ecoli_node_or.h>
  23 #include <ecoli_node_many.h>
  24 #include <ecoli_node_seq.h>
  25
  26 EC_LOG_TYPE_REGISTER(node_seq);
  27
  28 struct ec_node_seq {
  29         struct ec_node gen;
  30         struct ec_node **table;
  31         size_t len;
  32 };
  33
  34 static int
  35 ec_node_seq_parse(const struct ec_node *gen_node,
  36                 struct ec_parse *state,
  37                 const struct ec_strvec *strvec)
  38 {
  39         struct ec_node_seq *node = (struct ec_node_seq *)gen_node;
  40         struct ec_strvec *childvec = NULL;
  41         size_t len = 0;
  42         unsigned int i;
  43         int ret;
  44
  45         for (i = 0; i < node->len; i++) {
  46                 childvec = ec_strvec_ndup(strvec, len,
  47                         ec_strvec_len(strvec) - len);
  48                 if (childvec == NULL)
  49                         goto fail;
  50
  51                 ret = ec_node_parse_child(node->table[i], state, childvec);
  52                 if (ret < 0)
  53                         goto fail;
  54
  55                 ec_strvec_free(childvec);
  56                 childvec = NULL;
  57
  58                 if (ret == EC_PARSE_NOMATCH) {
  59                         ec_parse_free_children(state);
  60                         return EC_PARSE_NOMATCH;
  61                 }
  62
  63                 len += ret;
  64         }
  65
  66         return len;
  67
  68 fail:
  69         ec_strvec_free(childvec);
  70         return -1;
  71 }
  72
  73 static int
  74 __ec_node_seq_complete(struct ec_node **table, size_t table_len,
  75                 struct ec_comp *comp,
  76                 const struct ec_strvec *strvec)
  77 {
  78         struct ec_parse *parse = ec_comp_get_state(comp);
  79         struct ec_strvec *childvec = NULL;
  80         unsigned int i;
  81         int ret;
  82
  83         if (table_len == 0)
  84                 return 0;
  85
  86         /*
  87          * Example of completion for a sequence node = [n1,n2] and an
  88          * input = [a,b,c,d]:
  89          *
  90          * result = complete(n1, [a,b,c,d]) +
  91          *    complete(n2, [b,c,d]) if n1 matches [a] +
  92          *    complete(n2, [c,d]) if n1 matches [a,b] +
  93          *    complete(n2, [d]) if n1 matches [a,b,c] +
  94          *    complete(n2, []) if n1 matches [a,b,c,d]
  95          */
  96
  97         /* first, try to complete with the first node of the table */
  98         ret = ec_node_complete_child(table[0], comp, strvec);
  99         if (ret < 0)
 100                 goto fail;
 101
 102         /* then, if the first node of the table matches the beginning of the
 103          * strvec, try to complete the rest */
 104         for (i = 0; i < ec_strvec_len(strvec); i++) {
 105                 childvec = ec_strvec_ndup(strvec, 0, i);
 106                 if (childvec == NULL)
 107                         goto fail;
 108
 109                 ret = ec_node_parse_child(table[0], parse, childvec);
 110                 if (ret < 0)
 111                         goto fail;
 112
 113                 ec_strvec_free(childvec);
 114                 childvec = NULL;
 115
 116                 if ((unsigned int)ret != i) {
 117                         if (ret != EC_PARSE_NOMATCH)
 118                                 ec_parse_del_last_child(parse);
 119                         continue;
 120                 }
 121
 122                 childvec = ec_strvec_ndup(strvec, i, ec_strvec_len(strvec) - i);
 123                 if (childvec == NULL) {
 124                         ec_parse_del_last_child(parse);
 125                         goto fail;
 126                 }
 127
 128                 ret = __ec_node_seq_complete(&table[1],
 129                                         table_len - 1,
 130                                         comp, childvec);
 131                 ec_parse_del_last_child(parse);
 132                 ec_strvec_free(childvec);
 133                 childvec = NULL;
 134
 135                 if (ret < 0)
 136                         goto fail;
 137         }
 138
 139         return 0;
 140
 141 fail:
 142         ec_strvec_free(childvec);
 143         return -1;
 144 }
 145
 146 static int
 147 ec_node_seq_complete(const struct ec_node *gen_node,
 148                 struct ec_comp *comp,
 149                 const struct ec_strvec *strvec)
 150 {
 151         struct ec_node_seq *node = (struct ec_node_seq *)gen_node;
 152
 153         return __ec_node_seq_complete(node->table, node->len, comp,
 154                                 strvec);
 155 }
 156
 157 static void ec_node_seq_free_priv(struct ec_node *gen_node)
 158 {
 159         struct ec_node_seq *node = (struct ec_node_seq *)gen_node;
 160         unsigned int i;
 161
 162         for (i = 0; i < node->len; i++)
 163                 ec_node_free(node->table[i]);
 164         ec_free(node->table);
 165 }
 166
 167 static size_t
 168 ec_node_seq_get_children_count(const struct ec_node *gen_node)
 169 {
 170         struct ec_node_seq *node = (struct ec_node_seq *)gen_node;
 171         return node->len;
 172 }
 173
 174 static struct ec_node *
 175 ec_node_seq_get_child(const struct ec_node *gen_node, size_t i)
 176 {
 177         struct ec_node_seq *node = (struct ec_node_seq *)gen_node;
 178
 179         if (i >= node->len)
 180                 return NULL;
 181
 182         return node->table[i];
 183 }
 184
 185 static struct ec_node_type ec_node_seq_type = {
 186         .name = "seq",
 187         .parse = ec_node_seq_parse,
 188         .complete = ec_node_seq_complete,
 189         .size = sizeof(struct ec_node_seq),
 190         .free_priv = ec_node_seq_free_priv,
 191         .get_children_count = ec_node_seq_get_children_count,
 192         .get_child = ec_node_seq_get_child,
 193 };
 194
 195 EC_NODE_TYPE_REGISTER(ec_node_seq_type);
 196
 197 int ec_node_seq_add(struct ec_node *gen_node, struct ec_node *child)
 198 {
 199         struct ec_node_seq *node = (struct ec_node_seq *)gen_node;
 200         struct ec_node **table;
 201
 202         assert(node != NULL);
 203
 204         if (child == NULL) {
 205                 errno = EINVAL;
 206                 goto fail;
 207         }
 208
 209         if (ec_node_check_type(gen_node, &ec_node_seq_type) < 0)
 210                 goto fail;
 211
 212         table = ec_realloc(node->table, (node->len + 1) * sizeof(*node->table));
 213         if (table == NULL)
 214                 goto fail;
 215
 216         node->table = table;
 217         table[node->len] = child;
 218         node->len++;
 219
 220         return 0;
 221
 222 fail:
 223         ec_node_free(child);
 224         return -1;
 225 }
 226
 227 struct ec_node *__ec_node_seq(const char *id, ...)
 228 {
 229         struct ec_node *gen_node = NULL;
 230         struct ec_node_seq *node = NULL;
 231         struct ec_node *child;
 232         va_list ap;
 233         int fail = 0;
 234
 235         va_start(ap, id);
 236
 237         gen_node = __ec_node(&ec_node_seq_type, id);
 238         node = (struct ec_node_seq *)gen_node;
 239         if (node == NULL)
 240                 fail = 1;;
 241
 242         for (child = va_arg(ap, struct ec_node *);
 243              child != EC_NODE_ENDLIST;
 244              child = va_arg(ap, struct ec_node *)) {
 245
 246                 /* on error, don't quit the loop to avoid leaks */
 247                 if (fail == 1 || child == NULL ||
 248                                 ec_node_seq_add(&node->gen, child) < 0) {
 249                         fail = 1;
 250                         ec_node_free(child);
 251                 }
 252         }
 253
 254         if (fail == 1)
 255                 goto fail;
 256
 257         va_end(ap);
 258         return gen_node;
 259
 260 fail:
 261         ec_node_free(gen_node); /* will also free children */
 262         va_end(ap);
 263         return NULL;
 264 }
 265
 266 /* LCOV_EXCL_START */
 267 static int ec_node_seq_testcase(void)
 268 {
 269         struct ec_node *node;
 270         int testres = 0;
 271
 272         node = EC_NODE_SEQ(EC_NO_ID,
 273                 ec_node_str(EC_NO_ID, "foo"),
 274                 ec_node_str(EC_NO_ID, "bar")
 275         );
 276         if (node == NULL) {
 277                 EC_LOG(EC_LOG_ERR, "cannot create node\n");
 278                 return -1;
 279         }
 280         testres |= EC_TEST_CHECK_PARSE(node, 2, "foo", "bar");
 281         testres |= EC_TEST_CHECK_PARSE(node, 2, "foo", "bar", "toto");
 282         testres |= EC_TEST_CHECK_PARSE(node, -1, "foo");
 283         testres |= EC_TEST_CHECK_PARSE(node, -1, "foox", "bar");
 284         testres |= EC_TEST_CHECK_PARSE(node, -1, "foo", "barx");
 285         testres |= EC_TEST_CHECK_PARSE(node, -1, "bar", "foo");
 286         testres |= EC_TEST_CHECK_PARSE(node, -1, "", "foo");
 287         ec_node_free(node);
 288
 289         /* test completion */
 290         node = EC_NODE_SEQ(EC_NO_ID,
 291                 ec_node_str(EC_NO_ID, "foo"),
 292                 ec_node_option(EC_NO_ID, ec_node_str(EC_NO_ID, "toto")),
 293                 ec_node_str(EC_NO_ID, "bar")
 294         );
 295         if (node == NULL) {
 296                 EC_LOG(EC_LOG_ERR, "cannot create node\n");
 297                 return -1;
 298         }
 299         testres |= EC_TEST_CHECK_COMPLETE(node,
 300                 "", EC_NODE_ENDLIST,
 301                 "foo", EC_NODE_ENDLIST);
 302         testres |= EC_TEST_CHECK_COMPLETE(node,
 303                 "f", EC_NODE_ENDLIST,
 304                 "foo", EC_NODE_ENDLIST);
 305         testres |= EC_TEST_CHECK_COMPLETE(node,
 306                 "foo", EC_NODE_ENDLIST,
 307                 "foo", EC_NODE_ENDLIST);
 308         testres |= EC_TEST_CHECK_COMPLETE(node,
 309                 "foo", "", EC_NODE_ENDLIST,
 310                 "bar", "toto", EC_NODE_ENDLIST);
 311         testres |= EC_TEST_CHECK_COMPLETE(node,
 312                 "foo", "t", EC_NODE_ENDLIST,
 313                 "toto", EC_NODE_ENDLIST);
 314         testres |= EC_TEST_CHECK_COMPLETE(node,
 315                 "foo", "b", EC_NODE_ENDLIST,
 316                 "bar", EC_NODE_ENDLIST);
 317         testres |= EC_TEST_CHECK_COMPLETE(node,
 318                 "foo", "bar", EC_NODE_ENDLIST,
 319                 "bar", EC_NODE_ENDLIST);
 320         testres |= EC_TEST_CHECK_COMPLETE(node,
 321                 "x", EC_NODE_ENDLIST,
 322                 EC_NODE_ENDLIST);
 323         testres |= EC_TEST_CHECK_COMPLETE(node,
 324                 "foobarx", EC_NODE_ENDLIST,
 325                 EC_NODE_ENDLIST);
 326         ec_node_free(node);
 327
 328         return testres;
 329 }
 330 /* LCOV_EXCL_STOP */
 331
 332 static struct ec_test ec_node_seq_test = {
 333         .name = "node_seq",
 334         .test = ec_node_seq_testcase,
 335 };
 336
 337 EC_TEST_REGISTER(ec_node_seq_test);