ovsdb: Add new "mutation" operation to transactions.
[openvswitch] / tests / test-ovsdb.c
1 /*
2  * Copyright (c) 2009 Nicira Networks.
3  *
4  * Licensed under the Apache License, Version 2.0 (the "License");
5  * you may not use this file except in compliance with the License.
6  * You may obtain a copy of the License at:
7  *
8  *     http://www.apache.org/licenses/LICENSE-2.0
9  *
10  * Unless required by applicable law or agreed to in writing, software
11  * distributed under the License is distributed on an "AS IS" BASIS,
12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13  * See the License for the specific language governing permissions and
14  * limitations under the License.
15  */
16
17 #include <config.h>
18
19 #include <assert.h>
20 #include <fcntl.h>
21 #include <getopt.h>
22 #include <inttypes.h>
23 #include <stdio.h>
24 #include <stdlib.h>
25
26 #include "command-line.h"
27 #include "json.h"
28 #include "jsonrpc.h"
29 #include "ovsdb-data.h"
30 #include "ovsdb-error.h"
31 #include "ovsdb-idl.h"
32 #include "ovsdb-types.h"
33 #include "ovsdb/column.h"
34 #include "ovsdb/condition.h"
35 #include "ovsdb/file.h"
36 #include "ovsdb/log.h"
37 #include "ovsdb/mutation.h"
38 #include "ovsdb/ovsdb.h"
39 #include "ovsdb/query.h"
40 #include "ovsdb/row.h"
41 #include "ovsdb/table.h"
42 #include "ovsdb/transaction.h"
43 #include "ovsdb/trigger.h"
44 #include "poll-loop.h"
45 #include "stream.h"
46 #include "svec.h"
47 #include "tests/idltest.h"
48 #include "timeval.h"
49 #include "util.h"
50 #include "vlog.h"
51
52 static struct command all_commands[];
53
54 static void usage(void) NO_RETURN;
55 static void parse_options(int argc, char *argv[]);
56
57 int
58 main(int argc, char *argv[])
59 {
60     set_program_name(argv[0]);
61     time_init();
62     vlog_init();
63     parse_options(argc, argv);
64     run_command(argc - optind, argv + optind, all_commands);
65     return 0;
66 }
67
68 static void
69 parse_options(int argc, char *argv[])
70 {
71     static struct option long_options[] = {
72         {"timeout", required_argument, 0, 't'},
73         {"verbose", optional_argument, 0, 'v'},
74         {"help", no_argument, 0, 'h'},
75         {0, 0, 0, 0},
76     };
77     char *short_options = long_options_to_short_options(long_options);
78
79     for (;;) {
80         unsigned long int timeout;
81         int c;
82
83         c = getopt_long(argc, argv, short_options, long_options, NULL);
84         if (c == -1) {
85             break;
86         }
87
88         switch (c) {
89         case 't':
90             timeout = strtoul(optarg, NULL, 10);
91             if (timeout <= 0) {
92                 ovs_fatal(0, "value %s on -t or --timeout is not at least 1",
93                           optarg);
94             } else {
95                 time_alarm(timeout);
96             }
97             break;
98
99         case 'h':
100             usage();
101
102         case 'v':
103             vlog_set_verbosity(optarg);
104             break;
105
106         case '?':
107             exit(EXIT_FAILURE);
108
109         default:
110             abort();
111         }
112     }
113     free(short_options);
114 }
115
116 static void
117 usage(void)
118 {
119     printf("%s: Open vSwitch database test utility\n"
120            "usage: %s [OPTIONS] COMMAND [ARG...]\n\n"
121            "  log-io FILE FLAGS COMMAND...\n"
122            "    open FILE with FLAGS, run COMMANDs\n"
123            "  parse-atomic-type TYPE\n"
124            "    parse TYPE as OVSDB atomic type, and re-serialize\n"
125            "  parse-type JSON\n"
126            "    parse JSON as OVSDB type, and re-serialize\n"
127            "  parse-atoms TYPE ATOM...\n"
128            "    parse ATOMs as atoms of given TYPE, and re-serialize\n"
129            "  sort-atoms TYPE ATOM...\n"
130            "    print ATOMs in sorted order, and re-serialize\n"
131            "  parse-data TYPE DATUM...\n"
132            "    parse DATUMs as data of given TYPE, and re-serialize\n"
133            "  parse-column NAME OBJECT\n"
134            "    parse column NAME with info OBJECT, and re-serialize\n"
135            "  parse-table NAME OBJECT\n"
136            "    parse table NAME with info OBJECT\n"
137            "  parse-row TABLE ROW..., and re-serialize\n"
138            "    parse each ROW of defined TABLE\n"
139            "  compare-row TABLE ROW...\n"
140            "    mutually compare all of the ROWs, print those that are equal\n"
141            "  parse-conditions TABLE CONDITION...\n"
142            "    parse each CONDITION on TABLE, and re-serialize\n"
143            "  evaluate-conditions TABLE [CONDITION,...] [ROW,...]\n"
144            "    test CONDITIONS on TABLE against each ROW, print results\n"
145            "  parse-mutations TABLE MUTATION...\n"
146            "    parse each MUTATION on TABLE, and re-serialize\n"
147            "  execute-mutations TABLE [MUTATION,...] [ROW,...]\n"
148            "    execute MUTATIONS on TABLE on each ROW, print results\n"
149            "  query TABLE [ROW,...] [CONDITION,...]\n"
150            "    add each ROW to TABLE, then query and print the rows that\n"
151            "    satisfy each CONDITION.\n"
152            "  query-distinct TABLE [ROW,...] [CONDITION,...] COLUMNS\n"
153            "    add each ROW to TABLE, then query and print the rows that\n"
154            "    satisfy each CONDITION and have distinct COLUMNS.\n"
155            "  transact COMMAND\n"
156            "    execute each specified transactional COMMAND:\n"
157            "      commit\n"
158            "      abort\n"
159            "      insert UUID I J\n"
160            "      delete UUID\n"
161            "      modify UUID I J\n"
162            "      print\n"
163            "  execute SCHEMA TRANSACTION...\n"
164            "    executes each TRANSACTION on an initially empty database\n"
165            "    the specified SCHEMA\n"
166            "  trigger SCHEMA TRANSACTION...\n"
167            "    executes each TRANSACTION on an initially empty database\n"
168            "    the specified SCHEMA.   A TRANSACTION of the form\n"
169            "    [\"advance\", NUMBER] advances NUMBER milliseconds in\n"
170            "    simulated time, for causing triggers to time out.\n"
171            "  idl SERVER [TRANSACTION...]\n"
172            "    connect to SERVER and dump the contents of the database\n"
173            "    as seen initially by the IDL implementation and after\n"
174            "    executing each TRANSACTION.  (Each TRANSACTION must modify\n"
175            "    the database or this command will hang.)\n",
176            program_name, program_name);
177     vlog_usage();
178     printf("\nOther options:\n"
179            "  -t, --timeout=SECS          give up after SECS seconds\n"
180            "  -h, --help                  display this help message\n");
181     exit(EXIT_SUCCESS);
182 }
183 \f
184 /* Command helper functions. */
185
186 static struct json *
187 parse_json(const char *s)
188 {
189     struct json *json = json_from_string(s);
190     if (json->type == JSON_STRING) {
191         ovs_fatal(0, "\"%s\": %s", s, json->u.string);
192     }
193     return json;
194 }
195
196 static struct json *
197 unbox_json(struct json *json)
198 {
199     if (json->type == JSON_ARRAY && json->u.array.n == 1) {
200         struct json *inner = json->u.array.elems[0];
201         json->u.array.elems[0] = NULL;
202         json_destroy(json);
203         return inner;
204     } else {
205         return json;
206     }
207 }
208
209 static void
210 print_and_free_json(struct json *json)
211 {
212     char *string = json_to_string(json, JSSF_SORT);
213     json_destroy(json);
214     puts(string);
215     free(string);
216 }
217
218 static void
219 print_and_free_ovsdb_error(struct ovsdb_error *error)
220 {
221     char *string = ovsdb_error_to_string(error);
222     ovsdb_error_destroy(error);
223     puts(string);
224     free(string);
225 }
226
227 static void
228 check_ovsdb_error(struct ovsdb_error *error)
229 {
230     if (error) {
231         ovs_fatal(0, "%s", ovsdb_error_to_string(error));
232     }
233 }
234 \f
235 /* Command implementations. */
236
237 static void
238 do_log_io(int argc, char *argv[])
239 {
240     const char *name = argv[1];
241     char *mode = argv[2];
242
243     struct ovsdb_error *error;
244     struct ovsdb_log *log;
245     char *save_ptr = NULL;
246     const char *token;
247     int flags;
248     int i;
249
250     for (flags = 0, token = strtok_r(mode, " |", &save_ptr); token != NULL;
251          token = strtok_r(NULL, " |", &save_ptr))
252     {
253         if (!strcmp(token, "O_RDONLY")) {
254             flags |= O_RDONLY;
255         } else if (!strcmp(token, "O_RDWR")) {
256             flags |= O_RDWR;
257         } else if (!strcmp(token, "O_TRUNC")) {
258             flags |= O_TRUNC;
259         } else if (!strcmp(token, "O_CREAT")) {
260             flags |= O_CREAT;
261         } else if (!strcmp(token, "O_EXCL")) {
262             flags |= O_EXCL;
263         } else if (!strcmp(token, "O_TRUNC")) {
264             flags |= O_TRUNC;
265         }
266     }
267
268     check_ovsdb_error(ovsdb_log_open(name, flags, &log));
269     printf("%s: open successful\n", name);
270
271     for (i = 3; i < argc; i++) {
272         const char *command = argv[i];
273         if (!strcmp(command, "read")) {
274             struct json *json;
275
276             error = ovsdb_log_read(log, &json);
277             if (!error) {
278                 printf("%s: read: ", name);
279                 if (json) {
280                     print_and_free_json(json);
281                 } else {
282                     printf("end of log\n");
283                 }
284                 continue;
285             }
286         } else if (!strncmp(command, "write:", 6)) {
287             struct json *json = parse_json(command + 6);
288             error = ovsdb_log_write(log, json);
289             json_destroy(json);
290         } else if (!strcmp(command, "commit")) {
291             error = ovsdb_log_commit(log);
292         } else {
293             ovs_fatal(0, "unknown log-io command \"%s\"", command);
294         }
295         if (error) {
296             char *s = ovsdb_error_to_string(error);
297             printf("%s: %s failed: %s\n", name, command, s);
298             free(s);
299         } else {
300             printf("%s: %s successful\n", name, command);
301         }
302     }
303
304     ovsdb_log_close(log);
305 }
306
307 static void
308 do_parse_atomic_type(int argc UNUSED, char *argv[])
309 {
310     enum ovsdb_atomic_type type;
311     struct json *json;
312
313     json = unbox_json(parse_json(argv[1]));
314     check_ovsdb_error(ovsdb_atomic_type_from_json(&type, json));
315     json_destroy(json);
316     print_and_free_json(ovsdb_atomic_type_to_json(type));
317 }
318
319 static void
320 do_parse_type(int argc UNUSED, char *argv[])
321 {
322     struct ovsdb_type type;
323     struct json *json;
324
325     json = unbox_json(parse_json(argv[1]));
326     check_ovsdb_error(ovsdb_type_from_json(&type, json));
327     json_destroy(json);
328     print_and_free_json(ovsdb_type_to_json(&type));
329 }
330
331 static void
332 do_parse_atoms(int argc, char *argv[])
333 {
334     enum ovsdb_atomic_type type;
335     struct json *json;
336     int i;
337
338     json = unbox_json(parse_json(argv[1]));
339     check_ovsdb_error(ovsdb_atomic_type_from_json(&type, json));
340     json_destroy(json);
341
342     for (i = 2; i < argc; i++) {
343         union ovsdb_atom atom;
344
345         json = unbox_json(parse_json(argv[i]));
346         check_ovsdb_error(ovsdb_atom_from_json(&atom, type, json, NULL));
347         json_destroy(json);
348
349         print_and_free_json(ovsdb_atom_to_json(&atom, type));
350
351         ovsdb_atom_destroy(&atom, type);
352     }
353 }
354
355 static void
356 do_parse_data(int argc, char *argv[])
357 {
358     struct ovsdb_type type;
359     struct json *json;
360     int i;
361
362     json = unbox_json(parse_json(argv[1]));
363     check_ovsdb_error(ovsdb_type_from_json(&type, json));
364     json_destroy(json);
365
366     for (i = 2; i < argc; i++) {
367         struct ovsdb_datum datum;
368
369         json = unbox_json(parse_json(argv[i]));
370         check_ovsdb_error(ovsdb_datum_from_json(&datum, &type, json, NULL));
371         json_destroy(json);
372
373         print_and_free_json(ovsdb_datum_to_json(&datum, &type));
374
375         ovsdb_datum_destroy(&datum, &type);
376     }
377 }
378
379 static enum ovsdb_atomic_type compare_atoms_atomic_type;
380
381 static int
382 compare_atoms(const void *a_, const void *b_)
383 {
384     const union ovsdb_atom *a = a_;
385     const union ovsdb_atom *b = b_;
386
387     return ovsdb_atom_compare_3way(a, b, compare_atoms_atomic_type);
388 }
389
390 static void
391 do_sort_atoms(int argc UNUSED, char *argv[])
392 {
393     enum ovsdb_atomic_type type;
394     union ovsdb_atom *atoms;
395     struct json *json, **json_atoms;
396     size_t n_atoms;
397     int i;
398
399     json = unbox_json(parse_json(argv[1]));
400     check_ovsdb_error(ovsdb_atomic_type_from_json(&type, json));
401     json_destroy(json);
402
403     json = unbox_json(parse_json(argv[2]));
404     if (json->type != JSON_ARRAY) {
405         ovs_fatal(0, "second argument must be array");
406     }
407
408     /* Convert JSON atoms to internal representation. */
409     n_atoms = json->u.array.n;
410     atoms = xmalloc(n_atoms * sizeof *atoms);
411     for (i = 0; i < n_atoms; i++) {
412         check_ovsdb_error(ovsdb_atom_from_json(&atoms[i], type,
413                                                json->u.array.elems[i], NULL));
414     }
415     json_destroy(json);
416
417     /* Sort atoms. */
418     compare_atoms_atomic_type = type;
419     qsort(atoms, n_atoms, sizeof *atoms, compare_atoms);
420
421     /* Convert internal representation back to JSON. */
422     json_atoms = xmalloc(n_atoms * sizeof *json_atoms);
423     for (i = 0; i < n_atoms; i++) {
424         json_atoms[i] = ovsdb_atom_to_json(&atoms[i], type);
425         ovsdb_atom_destroy(&atoms[i], type);
426     }
427     print_and_free_json(json_array_create(json_atoms, n_atoms));
428 }
429
430 static void
431 do_parse_column(int argc UNUSED, char *argv[])
432 {
433     struct ovsdb_column *column;
434     struct json *json;
435
436     json = parse_json(argv[2]);
437     check_ovsdb_error(ovsdb_column_from_json(json, argv[1], &column));
438     json_destroy(json);
439     print_and_free_json(ovsdb_column_to_json(column));
440     ovsdb_column_destroy(column);
441 }
442
443 static void
444 do_parse_table(int argc UNUSED, char *argv[])
445 {
446     struct ovsdb_table_schema *ts;
447     struct json *json;
448
449     json = parse_json(argv[2]);
450     check_ovsdb_error(ovsdb_table_schema_from_json(json, argv[1], &ts));
451     json_destroy(json);
452     print_and_free_json(ovsdb_table_schema_to_json(ts));
453     ovsdb_table_schema_destroy(ts);
454 }
455
456 static void
457 do_parse_rows(int argc, char *argv[])
458 {
459     struct ovsdb_column_set all_columns;
460     struct ovsdb_table_schema *ts;
461     struct ovsdb_table *table;
462     struct json *json;
463     int i;
464
465     json = unbox_json(parse_json(argv[1]));
466     check_ovsdb_error(ovsdb_table_schema_from_json(json, "mytable", &ts));
467     json_destroy(json);
468
469     table = ovsdb_table_create(ts);
470     ovsdb_column_set_init(&all_columns);
471     ovsdb_column_set_add_all(&all_columns, table);
472
473     for (i = 2; i < argc; i++) {
474         struct ovsdb_column_set columns;
475         struct ovsdb_row *row;
476
477         ovsdb_column_set_init(&columns);
478         row = ovsdb_row_create(table);
479
480         json = unbox_json(parse_json(argv[i]));
481         check_ovsdb_error(ovsdb_row_from_json(row, json, NULL, &columns));
482         json_destroy(json);
483
484         print_and_free_json(ovsdb_row_to_json(row, &all_columns));
485
486         if (columns.n_columns) {
487             struct svec names;
488             size_t j;
489             char *s;
490
491             svec_init(&names);
492             for (j = 0; j < columns.n_columns; j++) {
493                 svec_add(&names, columns.columns[j]->name);
494             }
495             svec_sort(&names);
496             s = svec_join(&names, ", ", "");
497             puts(s);
498             free(s);
499             svec_destroy(&names);
500         } else {
501             printf("<none>\n");
502         }
503
504         ovsdb_column_set_destroy(&columns);
505         ovsdb_row_destroy(row);
506     }
507
508     ovsdb_column_set_destroy(&all_columns);
509     ovsdb_table_destroy(table); /* Also destroys 'ts'. */
510 }
511
512 static void
513 do_compare_rows(int argc, char *argv[])
514 {
515     struct ovsdb_column_set all_columns;
516     struct ovsdb_table_schema *ts;
517     struct ovsdb_table *table;
518     struct ovsdb_row **rows;
519     struct json *json;
520     char **names;
521     int n_rows;
522     int i, j;
523
524     json = unbox_json(parse_json(argv[1]));
525     check_ovsdb_error(ovsdb_table_schema_from_json(json, "mytable", &ts));
526     json_destroy(json);
527
528     table = ovsdb_table_create(ts);
529     ovsdb_column_set_init(&all_columns);
530     ovsdb_column_set_add_all(&all_columns, table);
531
532     n_rows = argc - 2;
533     rows = xmalloc(sizeof *rows * n_rows);
534     names = xmalloc(sizeof *names * n_rows);
535     for (i = 0; i < n_rows; i++) {
536         rows[i] = ovsdb_row_create(table);
537
538         json = parse_json(argv[i + 2]);
539         if (json->type != JSON_ARRAY || json->u.array.n != 2
540             || json->u.array.elems[0]->type != JSON_STRING) {
541             ovs_fatal(0, "\"%s\" does not have expected form "
542                       "[\"name\", {data}]", argv[i]);
543         }
544         names[i] = xstrdup(json->u.array.elems[0]->u.string);
545         check_ovsdb_error(ovsdb_row_from_json(rows[i], json->u.array.elems[1],
546                                               NULL, NULL));
547         json_destroy(json);
548     }
549     for (i = 0; i < n_rows; i++) {
550         uint32_t i_hash = ovsdb_row_hash_columns(rows[i], &all_columns, 0);
551         for (j = i + 1; j < n_rows; j++) {
552             uint32_t j_hash = ovsdb_row_hash_columns(rows[j], &all_columns, 0);
553             if (ovsdb_row_equal_columns(rows[i], rows[j], &all_columns)) {
554                 printf("%s == %s\n", names[i], names[j]);
555                 if (i_hash != j_hash) {
556                     printf("but hash(%s) != hash(%s)\n", names[i], names[j]);
557                     abort();
558                 }
559             } else if (i_hash == j_hash) {
560                 printf("hash(%s) == hash(%s)\n", names[i], names[j]);
561             }
562         }
563     }
564     free(rows);
565     free(names);
566
567     ovsdb_column_set_destroy(&all_columns);
568     ovsdb_table_destroy(table); /* Also destroys 'ts'. */
569 }
570
571 static void
572 do_parse_conditions(int argc, char *argv[])
573 {
574     struct ovsdb_table_schema *ts;
575     struct json *json;
576     int exit_code = 0;
577     int i;
578
579     json = unbox_json(parse_json(argv[1]));
580     check_ovsdb_error(ovsdb_table_schema_from_json(json, "mytable", &ts));
581     json_destroy(json);
582
583     for (i = 2; i < argc; i++) {
584         struct ovsdb_condition cnd;
585         struct ovsdb_error *error;
586
587         json = parse_json(argv[i]);
588         error = ovsdb_condition_from_json(ts, json, NULL, &cnd);
589         if (!error) {
590             print_and_free_json(ovsdb_condition_to_json(&cnd));
591         } else {
592             char *s = ovsdb_error_to_string(error);
593             ovs_error(0, "%s", s);
594             free(s);
595             ovsdb_error_destroy(error);
596             exit_code = 1;
597         }
598         json_destroy(json);
599
600         ovsdb_condition_destroy(&cnd);
601     }
602     ovsdb_table_schema_destroy(ts);
603
604     exit(exit_code);
605 }
606
607 static void
608 do_evaluate_conditions(int argc UNUSED, char *argv[])
609 {
610     struct ovsdb_table_schema *ts;
611     struct ovsdb_table *table;
612     struct ovsdb_condition *conditions;
613     size_t n_conditions;
614     struct ovsdb_row **rows;
615     size_t n_rows;
616     struct json *json;
617     size_t i, j;
618
619     /* Parse table schema, create table. */
620     json = unbox_json(parse_json(argv[1]));
621     check_ovsdb_error(ovsdb_table_schema_from_json(json, "mytable", &ts));
622     json_destroy(json);
623
624     table = ovsdb_table_create(ts);
625
626     /* Parse conditions. */
627     json = parse_json(argv[2]);
628     if (json->type != JSON_ARRAY) {
629         ovs_fatal(0, "CONDITION argument is not JSON array");
630     }
631     n_conditions = json->u.array.n;
632     conditions = xmalloc(n_conditions * sizeof *conditions);
633     for (i = 0; i < n_conditions; i++) {
634         check_ovsdb_error(ovsdb_condition_from_json(ts, json->u.array.elems[i],
635                                                     NULL, &conditions[i]));
636     }
637     json_destroy(json);
638
639     /* Parse rows. */
640     json = parse_json(argv[3]);
641     if (json->type != JSON_ARRAY) {
642         ovs_fatal(0, "ROW argument is not JSON array");
643     }
644     n_rows = json->u.array.n;
645     rows = xmalloc(n_rows * sizeof *rows);
646     for (i = 0; i < n_rows; i++) {
647         rows[i] = ovsdb_row_create(table);
648         check_ovsdb_error(ovsdb_row_from_json(rows[i], json->u.array.elems[i],
649                                               NULL, NULL));
650     }
651     json_destroy(json);
652
653     for (i = 0; i < n_conditions; i++) {
654         printf("condition %2d:", i);
655         for (j = 0; j < n_rows; j++) {
656             bool result = ovsdb_condition_evaluate(rows[j], &conditions[i]);
657             if (j % 5 == 0) {
658                 putchar(' ');
659             }
660             putchar(result ? 'T' : '-');
661         }
662         printf("\n");
663     }
664
665     for (i = 0; i < n_conditions; i++) {
666         ovsdb_condition_destroy(&conditions[i]);
667     }
668     for (i = 0; i < n_rows; i++) {
669         ovsdb_row_destroy(rows[i]);
670     }
671     ovsdb_table_destroy(table); /* Also destroys 'ts'. */
672 }
673
674 static void
675 do_parse_mutations(int argc, char *argv[])
676 {
677     struct ovsdb_table_schema *ts;
678     struct json *json;
679     int exit_code = 0;
680     int i;
681
682     json = unbox_json(parse_json(argv[1]));
683     check_ovsdb_error(ovsdb_table_schema_from_json(json, "mytable", &ts));
684     json_destroy(json);
685
686     for (i = 2; i < argc; i++) {
687         struct ovsdb_mutation_set set;
688         struct ovsdb_error *error;
689
690         json = parse_json(argv[i]);
691         error = ovsdb_mutation_set_from_json(ts, json, NULL, &set);
692         if (!error) {
693             print_and_free_json(ovsdb_mutation_set_to_json(&set));
694         } else {
695             char *s = ovsdb_error_to_string(error);
696             ovs_error(0, "%s", s);
697             free(s);
698             ovsdb_error_destroy(error);
699             exit_code = 1;
700         }
701         json_destroy(json);
702
703         ovsdb_mutation_set_destroy(&set);
704     }
705     ovsdb_table_schema_destroy(ts);
706
707     exit(exit_code);
708 }
709
710 static void
711 do_execute_mutations(int argc UNUSED, char *argv[])
712 {
713     struct ovsdb_table_schema *ts;
714     struct ovsdb_table *table;
715     struct ovsdb_mutation_set *sets;
716     size_t n_sets;
717     struct ovsdb_row **rows;
718     size_t n_rows;
719     struct json *json;
720     size_t i, j;
721
722     /* Parse table schema, create table. */
723     json = unbox_json(parse_json(argv[1]));
724     check_ovsdb_error(ovsdb_table_schema_from_json(json, "mytable", &ts));
725     json_destroy(json);
726
727     table = ovsdb_table_create(ts);
728
729     /* Parse mutations. */
730     json = parse_json(argv[2]);
731     if (json->type != JSON_ARRAY) {
732         ovs_fatal(0, "MUTATION argument is not JSON array");
733     }
734     n_sets = json->u.array.n;
735     sets = xmalloc(n_sets * sizeof *sets);
736     for (i = 0; i < n_sets; i++) {
737         check_ovsdb_error(ovsdb_mutation_set_from_json(ts,
738                                                        json->u.array.elems[i],
739                                                        NULL, &sets[i]));
740     }
741     json_destroy(json);
742
743     /* Parse rows. */
744     json = parse_json(argv[3]);
745     if (json->type != JSON_ARRAY) {
746         ovs_fatal(0, "ROW argument is not JSON array");
747     }
748     n_rows = json->u.array.n;
749     rows = xmalloc(n_rows * sizeof *rows);
750     for (i = 0; i < n_rows; i++) {
751         rows[i] = ovsdb_row_create(table);
752         check_ovsdb_error(ovsdb_row_from_json(rows[i], json->u.array.elems[i],
753                                               NULL, NULL));
754     }
755     json_destroy(json);
756
757     for (i = 0; i < n_sets; i++) {
758         printf("mutation %2d:\n", i);
759         for (j = 0; j < n_rows; j++) {
760             struct ovsdb_error *error;
761             struct ovsdb_row *row;
762
763             row = ovsdb_row_clone(rows[j]);
764             error = ovsdb_mutation_set_execute(row, &sets[i]);
765
766             printf("row %zu: ", j);
767             if (error) {
768                 print_and_free_ovsdb_error(error);
769             } else {
770                 struct ovsdb_column_set columns;
771                 struct shash_node *node;
772
773                 ovsdb_column_set_init(&columns);
774                 SHASH_FOR_EACH (node, &ts->columns) {
775                     struct ovsdb_column *c = node->data;
776                     if (!ovsdb_datum_equals(&row->fields[c->index],
777                                             &rows[j]->fields[c->index],
778                                             &c->type)) {
779                         ovsdb_column_set_add(&columns, c);
780                     }
781                 }
782                 if (columns.n_columns) {
783                     print_and_free_json(ovsdb_row_to_json(row, &columns));
784                 } else {
785                     printf("no change\n");
786                 }
787                 ovsdb_column_set_destroy(&columns);
788             }
789             ovsdb_row_destroy(row);
790         }
791         printf("\n");
792     }
793
794     for (i = 0; i < n_sets; i++) {
795         ovsdb_mutation_set_destroy(&sets[i]);
796     }
797     for (i = 0; i < n_rows; i++) {
798         ovsdb_row_destroy(rows[i]);
799     }
800     ovsdb_table_destroy(table); /* Also destroys 'ts'. */
801 }
802
803 struct do_query_cbdata {
804     struct uuid *row_uuids;
805     int *counts;
806     size_t n_rows;
807 };
808
809 static bool
810 do_query_cb(const struct ovsdb_row *row, void *cbdata_)
811 {
812     struct do_query_cbdata *cbdata = cbdata_;
813     size_t i;
814
815     for (i = 0; i < cbdata->n_rows; i++) {
816         if (uuid_equals(ovsdb_row_get_uuid(row), &cbdata->row_uuids[i])) {
817             cbdata->counts[i]++;
818         }
819     }
820
821     return true;
822 }
823
824 static void
825 do_query(int argc UNUSED, char *argv[])
826 {
827     struct do_query_cbdata cbdata;
828     struct ovsdb_table_schema *ts;
829     struct ovsdb_table *table;
830     struct json *json;
831     int exit_code = 0;
832     size_t i;
833
834     /* Parse table schema, create table. */
835     json = unbox_json(parse_json(argv[1]));
836     check_ovsdb_error(ovsdb_table_schema_from_json(json, "mytable", &ts));
837     json_destroy(json);
838
839     table = ovsdb_table_create(ts);
840
841     /* Parse rows, add to table. */
842     json = parse_json(argv[2]);
843     if (json->type != JSON_ARRAY) {
844         ovs_fatal(0, "ROW argument is not JSON array");
845     }
846     cbdata.n_rows = json->u.array.n;
847     cbdata.row_uuids = xmalloc(cbdata.n_rows * sizeof *cbdata.row_uuids);
848     cbdata.counts = xmalloc(cbdata.n_rows * sizeof *cbdata.counts);
849     for (i = 0; i < cbdata.n_rows; i++) {
850         struct ovsdb_row *row = ovsdb_row_create(table);
851         uuid_generate(ovsdb_row_get_uuid_rw(row));
852         check_ovsdb_error(ovsdb_row_from_json(row, json->u.array.elems[i],
853                                               NULL, NULL));
854         if (ovsdb_table_get_row(table, ovsdb_row_get_uuid(row))) {
855             ovs_fatal(0, "duplicate UUID "UUID_FMT" in table",
856                       UUID_ARGS(ovsdb_row_get_uuid(row)));
857         }
858         cbdata.row_uuids[i] = *ovsdb_row_get_uuid(row);
859         ovsdb_table_put_row(table, row);
860     }
861     json_destroy(json);
862
863     /* Parse conditions and execute queries. */
864     json = parse_json(argv[3]);
865     if (json->type != JSON_ARRAY) {
866         ovs_fatal(0, "CONDITION argument is not JSON array");
867     }
868     for (i = 0; i < json->u.array.n; i++) {
869         struct ovsdb_condition cnd;
870         size_t j;
871
872         check_ovsdb_error(ovsdb_condition_from_json(ts, json->u.array.elems[i],
873                                                     NULL, &cnd));
874
875         memset(cbdata.counts, 0, cbdata.n_rows * sizeof *cbdata.counts);
876         ovsdb_query(table, &cnd, do_query_cb, &cbdata);
877
878         printf("query %2d:", i);
879         for (j = 0; j < cbdata.n_rows; j++) {
880             if (j % 5 == 0) {
881                 putchar(' ');
882             }
883             if (cbdata.counts[j]) {
884                 printf("%d", cbdata.counts[j]);
885                 if (cbdata.counts[j] > 1) {
886                     /* Dup! */
887                     exit_code = 1;
888                 }
889             } else {
890                 putchar('-');
891             }
892         }
893         putchar('\n');
894
895         ovsdb_condition_destroy(&cnd);
896     }
897     json_destroy(json);
898
899     ovsdb_table_destroy(table); /* Also destroys 'ts'. */
900
901     exit(exit_code);
902 }
903
904 struct do_query_distinct_class {
905     struct ovsdb_row *example;
906     int count;
907 };
908
909 struct do_query_distinct_row {
910     struct uuid uuid;
911     struct do_query_distinct_class *class;
912 };
913
914 static void
915 do_query_distinct(int argc UNUSED, char *argv[])
916 {
917     struct ovsdb_column_set columns;
918     struct ovsdb_table_schema *ts;
919     struct ovsdb_table *table;
920     struct do_query_distinct_row *rows;
921     size_t n_rows;
922     struct do_query_distinct_class *classes;
923     size_t n_classes;
924     struct json *json;
925     int exit_code = 0;
926     size_t i, j, k;
927
928     /* Parse table schema, create table. */
929     json = unbox_json(parse_json(argv[1]));
930     check_ovsdb_error(ovsdb_table_schema_from_json(json, "mytable", &ts));
931     json_destroy(json);
932
933     table = ovsdb_table_create(ts);
934
935     /* Parse column set. */
936     json = parse_json(argv[4]);
937     check_ovsdb_error(ovsdb_column_set_from_json(json, table, &columns));
938     json_destroy(json);
939
940     /* Parse rows, add to table. */
941     json = parse_json(argv[2]);
942     if (json->type != JSON_ARRAY) {
943         ovs_fatal(0, "ROW argument is not JSON array");
944     }
945     n_rows = json->u.array.n;
946     rows = xmalloc(n_rows * sizeof *rows);
947     classes = xmalloc(n_rows * sizeof *classes);
948     n_classes = 0;
949     for (i = 0; i < n_rows; i++) {
950         struct ovsdb_row *row;
951         size_t j;
952
953         /* Parse row. */
954         row = ovsdb_row_create(table);
955         uuid_generate(ovsdb_row_get_uuid_rw(row));
956         check_ovsdb_error(ovsdb_row_from_json(row, json->u.array.elems[i],
957                                               NULL, NULL));
958
959         /* Initialize row and find equivalence class. */
960         rows[i].uuid = *ovsdb_row_get_uuid(row);
961         rows[i].class = NULL;
962         for (j = 0; j < n_classes; j++) {
963             if (ovsdb_row_equal_columns(row, classes[j].example, &columns)) {
964                 rows[i].class = &classes[j];
965                 break;
966             }
967         }
968         if (!rows[i].class) {
969             rows[i].class = &classes[n_classes];
970             classes[n_classes].example = ovsdb_row_clone(row);
971             n_classes++;
972         }
973
974         /* Add row to table. */
975         if (ovsdb_table_get_row(table, ovsdb_row_get_uuid(row))) {
976             ovs_fatal(0, "duplicate UUID "UUID_FMT" in table",
977                       UUID_ARGS(ovsdb_row_get_uuid(row)));
978         }
979         ovsdb_table_put_row(table, row);
980
981     }
982     json_destroy(json);
983
984     /* Parse conditions and execute queries. */
985     json = parse_json(argv[3]);
986     if (json->type != JSON_ARRAY) {
987         ovs_fatal(0, "CONDITION argument is not JSON array");
988     }
989     for (i = 0; i < json->u.array.n; i++) {
990         struct ovsdb_row_set results;
991         struct ovsdb_condition cnd;
992
993         check_ovsdb_error(ovsdb_condition_from_json(ts, json->u.array.elems[i],
994                                                     NULL, &cnd));
995
996         for (j = 0; j < n_classes; j++) {
997             classes[j].count = 0;
998         }
999         ovsdb_row_set_init(&results);
1000         ovsdb_query_distinct(table, &cnd, &columns, &results);
1001         for (j = 0; j < results.n_rows; j++) {
1002             for (k = 0; k < n_rows; k++) {
1003                 if (uuid_equals(ovsdb_row_get_uuid(results.rows[j]),
1004                                 &rows[k].uuid)) {
1005                     rows[k].class->count++;
1006                 }
1007             }
1008         }
1009         ovsdb_row_set_destroy(&results);
1010
1011         printf("query %2d:", i);
1012         for (j = 0; j < n_rows; j++) {
1013             int count = rows[j].class->count;
1014
1015             if (j % 5 == 0) {
1016                 putchar(' ');
1017             }
1018             if (count > 1) {
1019                 /* Dup! */
1020                 printf("%d", count);
1021                 exit_code = 1;
1022             } else if (count == 1) {
1023                 putchar("abcdefghijklmnopqrstuvwxyz"[rows[j].class - classes]);
1024             } else {
1025                 putchar('-');
1026             }
1027         }
1028         putchar('\n');
1029
1030         ovsdb_condition_destroy(&cnd);
1031     }
1032     json_destroy(json);
1033
1034     ovsdb_table_destroy(table); /* Also destroys 'ts'. */
1035
1036     exit(exit_code);
1037 }
1038
1039 static void
1040 do_execute(int argc UNUSED, char *argv[])
1041 {
1042     struct ovsdb_schema *schema;
1043     struct json *json;
1044     struct ovsdb *db;
1045     int i;
1046
1047     /* Create database. */
1048     json = parse_json(argv[1]);
1049     check_ovsdb_error(ovsdb_schema_from_json(json, &schema));
1050     json_destroy(json);
1051     db = ovsdb_create(schema);
1052
1053     for (i = 2; i < argc; i++) {
1054         struct json *params, *result;
1055         char *s;
1056
1057         params = parse_json(argv[i]);
1058         result = ovsdb_execute(db, params, 0, NULL);
1059         s = json_to_string(result, JSSF_SORT);
1060         printf("%s\n", s);
1061         json_destroy(params);
1062         json_destroy(result);
1063     }
1064
1065     ovsdb_destroy(db);
1066 }
1067
1068 struct test_trigger {
1069     struct ovsdb_trigger trigger;
1070     int number;
1071 };
1072
1073 static void
1074 do_trigger_dump(struct test_trigger *t, long long int now, const char *title)
1075 {
1076     struct json *result;
1077     char *s;
1078
1079     result = ovsdb_trigger_steal_result(&t->trigger);
1080     s = json_to_string(result, JSSF_SORT);
1081     printf("t=%lld: trigger %d (%s): %s\n", now, t->number, title, s);
1082     json_destroy(result);
1083     ovsdb_trigger_destroy(&t->trigger);
1084     free(t);
1085 }
1086
1087 static void
1088 do_trigger(int argc UNUSED, char *argv[])
1089 {
1090     struct ovsdb_schema *schema;
1091     struct list completions;
1092     struct json *json;
1093     struct ovsdb *db;
1094     long long int now;
1095     int number;
1096     int i;
1097
1098     /* Create database. */
1099     json = parse_json(argv[1]);
1100     check_ovsdb_error(ovsdb_schema_from_json(json, &schema));
1101     json_destroy(json);
1102     db = ovsdb_create(schema);
1103
1104     list_init(&completions);
1105     now = 0;
1106     number = 0;
1107     for (i = 2; i < argc; i++) {
1108         struct json *params = parse_json(argv[i]);
1109         if (params->type == JSON_ARRAY
1110             && json_array(params)->n == 2
1111             && json_array(params)->elems[0]->type == JSON_STRING
1112             && !strcmp(json_string(json_array(params)->elems[0]), "advance")
1113             && json_array(params)->elems[1]->type == JSON_INTEGER) {
1114             now += json_integer(json_array(params)->elems[1]);
1115             json_destroy(params);
1116         } else {
1117             struct test_trigger *t = xmalloc(sizeof *t);
1118             ovsdb_trigger_init(db, &t->trigger, params, &completions, now);
1119             t->number = number++;
1120             if (ovsdb_trigger_is_complete(&t->trigger)) {
1121                 do_trigger_dump(t, now, "immediate");
1122             } else {
1123                 printf("t=%lld: new trigger %d\n", now, t->number);
1124             }
1125         }
1126
1127         ovsdb_trigger_run(db, now);
1128         while (!list_is_empty(&completions)) {
1129             do_trigger_dump(CONTAINER_OF(list_pop_front(&completions),
1130                                          struct test_trigger, trigger.node),
1131                             now, "delayed");
1132         }
1133
1134         ovsdb_trigger_wait(db, now);
1135         poll_immediate_wake();
1136         poll_block();
1137     }
1138
1139     ovsdb_destroy(db);
1140 }
1141
1142 static void
1143 do_help(int argc UNUSED, char *argv[] UNUSED)
1144 {
1145     usage();
1146 }
1147 \f
1148 /* "transact" command. */
1149
1150 static struct ovsdb *do_transact_db;
1151 static struct ovsdb_txn *do_transact_txn;
1152 static struct ovsdb_table *do_transact_table;
1153
1154 static void
1155 do_transact_commit(int argc UNUSED, char *argv[] UNUSED)
1156 {
1157     ovsdb_txn_commit(do_transact_txn, false);
1158     do_transact_txn = NULL;
1159 }
1160
1161 static void
1162 do_transact_abort(int argc UNUSED, char *argv[] UNUSED)
1163 {
1164     ovsdb_txn_abort(do_transact_txn);
1165     do_transact_txn = NULL;
1166 }
1167
1168 static void
1169 uuid_from_integer(int integer, struct uuid *uuid)
1170 {
1171     uuid_zero(uuid);
1172     uuid->parts[3] = integer;
1173 }
1174
1175 static const struct ovsdb_row *
1176 do_transact_find_row(const char *uuid_string)
1177 {
1178     const struct ovsdb_row *row;
1179     struct uuid uuid;
1180
1181     uuid_from_integer(atoi(uuid_string), &uuid);
1182     row = ovsdb_table_get_row(do_transact_table, &uuid);
1183     if (!row) {
1184         ovs_fatal(0, "table does not contain row with UUID "UUID_FMT,
1185                   UUID_ARGS(&uuid));
1186     }
1187     return row;
1188 }
1189
1190 static void
1191 do_transact_set_integer(struct ovsdb_row *row, const char *column_name,
1192                         int integer)
1193 {
1194     if (integer != -1) {
1195         const struct ovsdb_column *column;
1196
1197         column = ovsdb_table_schema_get_column(do_transact_table->schema,
1198                                                column_name);
1199         row->fields[column->index].keys[0].integer = integer;
1200     }
1201 }
1202
1203 static int
1204 do_transact_get_integer(const struct ovsdb_row *row, const char *column_name)
1205 {
1206     const struct ovsdb_column *column;
1207
1208     column = ovsdb_table_schema_get_column(do_transact_table->schema,
1209                                            column_name);
1210     return row->fields[column->index].keys[0].integer;
1211 }
1212
1213 static void
1214 do_transact_set_i_j(struct ovsdb_row *row,
1215                     const char *i_string, const char *j_string)
1216 {
1217     do_transact_set_integer(row, "i", atoi(i_string));
1218     do_transact_set_integer(row, "j", atoi(j_string));
1219 }
1220
1221 static void
1222 do_transact_insert(int argc UNUSED, char *argv[] UNUSED)
1223 {
1224     struct ovsdb_row *row;
1225     struct uuid *uuid;
1226
1227     row = ovsdb_row_create(do_transact_table);
1228
1229     /* Set UUID. */
1230     uuid = ovsdb_row_get_uuid_rw(row);
1231     uuid_from_integer(atoi(argv[1]), uuid);
1232     if (ovsdb_table_get_row(do_transact_table, uuid)) {
1233         ovs_fatal(0, "table already contains row with UUID "UUID_FMT,
1234                   UUID_ARGS(uuid));
1235     }
1236
1237     do_transact_set_i_j(row, argv[2], argv[3]);
1238
1239     /* Insert row. */
1240     ovsdb_txn_row_insert(do_transact_txn, row);
1241 }
1242
1243 static void
1244 do_transact_delete(int argc UNUSED, char *argv[] UNUSED)
1245 {
1246     const struct ovsdb_row *row = do_transact_find_row(argv[1]);
1247     ovsdb_txn_row_delete(do_transact_txn, row);
1248 }
1249
1250 static void
1251 do_transact_modify(int argc UNUSED, char *argv[] UNUSED)
1252 {
1253     const struct ovsdb_row *row_ro;
1254     struct ovsdb_row *row_rw;
1255
1256     row_ro = do_transact_find_row(argv[1]);
1257     row_rw = ovsdb_txn_row_modify(do_transact_txn, row_ro);
1258     do_transact_set_i_j(row_rw, argv[2], argv[3]);
1259 }
1260
1261 static int
1262 compare_rows_by_uuid(const void *a_, const void *b_)
1263 {
1264     struct ovsdb_row *const *ap = a_;
1265     struct ovsdb_row *const *bp = b_;
1266
1267     return uuid_compare_3way(ovsdb_row_get_uuid(*ap), ovsdb_row_get_uuid(*bp));
1268 }
1269
1270 static void
1271 do_transact_print(int argc UNUSED, char *argv[] UNUSED)
1272 {
1273     const struct ovsdb_row **rows;
1274     const struct ovsdb_row *row;
1275     size_t n_rows;
1276     size_t i;
1277
1278     n_rows = hmap_count(&do_transact_table->rows);
1279     rows = xmalloc(n_rows * sizeof *rows);
1280     i = 0;
1281     HMAP_FOR_EACH (row, struct ovsdb_row, hmap_node,
1282                    &do_transact_table->rows) {
1283         rows[i++] = row;
1284     }
1285     assert(i == n_rows);
1286
1287     qsort(rows, n_rows, sizeof *rows, compare_rows_by_uuid);
1288
1289     for (i = 0; i < n_rows; i++) {
1290         printf("\n%"PRId32": i=%d, j=%d",
1291                ovsdb_row_get_uuid(rows[i])->parts[3],
1292                do_transact_get_integer(rows[i], "i"),
1293                do_transact_get_integer(rows[i], "j"));
1294     }
1295
1296     free(rows);
1297 }
1298
1299 static void
1300 do_transact(int argc, char *argv[])
1301 {
1302     static const struct command do_transact_commands[] = {
1303         { "commit", 0, 0, do_transact_commit },
1304         { "abort", 0, 0, do_transact_abort },
1305         { "insert", 2, 3, do_transact_insert },
1306         { "delete", 1, 1, do_transact_delete },
1307         { "modify", 2, 3, do_transact_modify },
1308         { "print", 0, 0, do_transact_print },
1309         { NULL, 0, 0, NULL },
1310     };
1311
1312     struct ovsdb_schema *schema;
1313     struct json *json;
1314     int i;
1315
1316     /* Create table. */
1317     json = parse_json("{\"name\": \"testdb\", "
1318                       " \"tables\": "
1319                       "  {\"mytable\": "
1320                       "    {\"columns\": "
1321                       "      {\"i\": {\"type\": \"integer\"}, "
1322                       "       \"j\": {\"type\": \"integer\"}}}}}");
1323     check_ovsdb_error(ovsdb_schema_from_json(json, &schema));
1324     json_destroy(json);
1325     do_transact_db = ovsdb_create(schema);
1326     do_transact_table = ovsdb_get_table(do_transact_db, "mytable");
1327     assert(do_transact_table != NULL);
1328
1329     for (i = 1; i < argc; i++) {
1330         struct json *command;
1331         size_t n_args;
1332         char **args;
1333         int j;
1334
1335         command = parse_json(argv[i]);
1336         if (command->type != JSON_ARRAY) {
1337             ovs_fatal(0, "transaction %d must be JSON array "
1338                       "with at least 1 element", i);
1339         }
1340
1341         n_args = command->u.array.n;
1342         args = xmalloc((n_args + 1) * sizeof *args);
1343         for (j = 0; j < n_args; j++) {
1344             struct json *s = command->u.array.elems[j];
1345             if (s->type != JSON_STRING) {
1346                 ovs_fatal(0, "transaction %d argument %d must be JSON string",
1347                           i, j);
1348             }
1349             args[j] = xstrdup(json_string(s));
1350         }
1351         args[n_args] = NULL;
1352
1353         if (!do_transact_txn) {
1354             do_transact_txn = ovsdb_txn_create(do_transact_db);
1355         }
1356
1357         for (j = 0; j < n_args; j++) {
1358             if (j) {
1359                 putchar(' ');
1360             }
1361             fputs(args[j], stdout);
1362         }
1363         fputs(":", stdout);
1364         run_command(n_args, args, do_transact_commands);
1365         putchar('\n');
1366
1367         for (j = 0; j < n_args; j++) {
1368             free(args[j]);
1369         }
1370         free(args);
1371         json_destroy(command);
1372     }
1373     ovsdb_txn_abort(do_transact_txn);
1374     ovsdb_destroy(do_transact_db); /* Also destroys 'schema'. */
1375 }
1376
1377 static int
1378 compare_link1(const void *a_, const void *b_)
1379 {
1380     const struct idltest_link1 *const *ap = a_;
1381     const struct idltest_link1 *const *bp = b_;
1382     const struct idltest_link1 *a = *ap;
1383     const struct idltest_link1 *b = *bp;
1384
1385     return a->i < b->i ? -1 : a->i > b->i;
1386 }
1387
1388 static void
1389 print_idl(struct ovsdb_idl *idl, int step)
1390 {
1391     const struct idltest_simple *s;
1392     const struct idltest_link1 *l1;
1393     const struct idltest_link2 *l2;
1394     int n = 0;
1395
1396     IDLTEST_SIMPLE_FOR_EACH (s, idl) {
1397         size_t i;
1398
1399         printf("%03d: i=%"PRId64" r=%g b=%s s=%s u="UUID_FMT" ia=[",
1400                step, s->i, s->r, s->b ? "true" : "false",
1401                s->s, UUID_ARGS(&s->u));
1402         for (i = 0; i < s->n_ia; i++) {
1403             printf("%s%"PRId64, i ? " " : "", s->ia[i]);
1404         }
1405         printf("] ra=[");
1406         for (i = 0; i < s->n_ra; i++) {
1407             printf("%s%g", i ? " " : "", s->ra[i]);
1408         }
1409         printf("] ba=[");
1410         for (i = 0; i < s->n_ba; i++) {
1411             printf("%s%s", i ? " " : "", s->ba[i] ? "true" : "false");
1412         }
1413         printf("] sa=[");
1414         for (i = 0; i < s->n_sa; i++) {
1415             printf("%s%s", i ? " " : "", s->sa[i]);
1416         }
1417         printf("] ua=[");
1418         for (i = 0; i < s->n_ua; i++) {
1419             printf("%s"UUID_FMT, i ? " " : "", UUID_ARGS(&s->ua[i]));
1420         }
1421         printf("] uuid="UUID_FMT"\n", UUID_ARGS(&s->header_.uuid));
1422         n++;
1423     }
1424     IDLTEST_LINK1_FOR_EACH (l1, idl) {
1425         struct idltest_link1 **links;
1426         size_t i;
1427
1428         printf("%03d: i=%"PRId64" k=", step, l1->i);
1429         if (l1->k) {
1430             printf("%"PRId64, l1->k->i);
1431         }
1432         printf(" ka=[");
1433         links = xmemdup(l1->ka, l1->n_ka * sizeof *l1->ka);
1434         qsort(links, l1->n_ka, sizeof *links, compare_link1);
1435         for (i = 0; i < l1->n_ka; i++) {
1436             printf("%s%"PRId64, i ? " " : "", links[i]->i);
1437         }
1438         free(links);
1439         printf("] l2=");
1440         if (l1->l2) {
1441             printf("%"PRId64, l1->l2->i);
1442         }
1443         printf(" uuid="UUID_FMT"\n", UUID_ARGS(&l1->header_.uuid));
1444         n++;
1445     }
1446     IDLTEST_LINK2_FOR_EACH (l2, idl) {
1447         printf("%03d: i=%"PRId64" l1=", step, l2->i);
1448         if (l2->l1) {
1449             printf("%"PRId64, l2->l1->i);
1450         }
1451         printf(" uuid="UUID_FMT"\n", UUID_ARGS(&l2->header_.uuid));
1452         n++;
1453     }
1454     if (!n) {
1455         printf("%03d: empty\n", step);
1456     }
1457 }
1458
1459 static unsigned int
1460 print_updated_idl(struct ovsdb_idl *idl, struct jsonrpc *rpc,
1461                   int step, unsigned int seqno)
1462 {
1463     for (;;) {
1464         unsigned int new_seqno;
1465
1466         if (rpc) {
1467             jsonrpc_run(rpc);
1468         }
1469         ovsdb_idl_run(idl);
1470         new_seqno = ovsdb_idl_get_seqno(idl);
1471         if (new_seqno != seqno) {
1472             print_idl(idl, step);
1473             return new_seqno;
1474         }
1475
1476         if (rpc) {
1477             jsonrpc_wait(rpc);
1478         }
1479         ovsdb_idl_wait(idl);
1480         poll_block();
1481     }
1482 }
1483
1484 static void
1485 parse_uuids(const struct json *json, struct ovsdb_symbol_table *symtab,
1486             size_t *n)
1487 {
1488     struct uuid uuid;
1489
1490     if (json->type == JSON_STRING && uuid_from_string(&uuid, json->u.string)) {
1491         char *name = xasprintf("#%d#", *n);
1492         fprintf(stderr, "%s = "UUID_FMT"\n", name, UUID_ARGS(&uuid));
1493         ovsdb_symbol_table_put(symtab, name, &uuid, false);
1494         free(name);
1495         *n += 1;
1496     } else if (json->type == JSON_ARRAY) {
1497         size_t i;
1498
1499         for (i = 0; i < json->u.array.n; i++) {
1500             parse_uuids(json->u.array.elems[i], symtab, n);
1501         }
1502     } else if (json->type == JSON_OBJECT) {
1503         const struct shash_node *node;
1504
1505         SHASH_FOR_EACH (node, json_object(json)) {
1506             parse_uuids(node->data, symtab, n);
1507         }
1508     }
1509 }
1510
1511 static void
1512 substitute_uuids(struct json *json, const struct ovsdb_symbol_table *symtab)
1513 {
1514     if (json->type == JSON_STRING) {
1515         const struct ovsdb_symbol *symbol;
1516
1517         symbol = ovsdb_symbol_table_get(symtab, json->u.string);
1518         if (symbol) {
1519             free(json->u.string);
1520             json->u.string = xasprintf(UUID_FMT, UUID_ARGS(&symbol->uuid));
1521         }
1522     } else if (json->type == JSON_ARRAY) {
1523         size_t i;
1524
1525         for (i = 0; i < json->u.array.n; i++) {
1526             substitute_uuids(json->u.array.elems[i], symtab);
1527         }
1528     } else if (json->type == JSON_OBJECT) {
1529         const struct shash_node *node;
1530
1531         SHASH_FOR_EACH (node, json_object(json)) {
1532             substitute_uuids(node->data, symtab);
1533         }
1534     }
1535 }
1536
1537 static const struct idltest_simple *
1538 idltest_find_simple(struct ovsdb_idl *idl, int i)
1539 {
1540     const struct idltest_simple *s;
1541
1542     IDLTEST_SIMPLE_FOR_EACH (s, idl) {
1543         if (s->i == i) {
1544             return s;
1545         }
1546     }
1547     return NULL;
1548 }
1549
1550 static void
1551 idl_set(struct ovsdb_idl *idl, char *commands, int step)
1552 {
1553     char *cmd, *save_ptr1 = NULL;
1554     struct ovsdb_idl_txn *txn;
1555     enum ovsdb_idl_txn_status status;
1556
1557     txn = ovsdb_idl_txn_create(idl);
1558     for (cmd = strtok_r(commands, ",", &save_ptr1); cmd;
1559          cmd = strtok_r(NULL, ",", &save_ptr1)) {
1560         char *save_ptr2 = NULL;
1561         char *name, *arg1, *arg2, *arg3;
1562
1563         name = strtok_r(cmd, " ", &save_ptr2);
1564         arg1 = strtok_r(NULL, " ", &save_ptr2);
1565         arg2 = strtok_r(NULL, " ", &save_ptr2);
1566         arg3 = strtok_r(NULL, " ", &save_ptr2);
1567
1568         if (!strcmp(name, "set")) {
1569             const struct idltest_simple *s;
1570
1571             if (!arg3) {
1572                 ovs_fatal(0, "\"set\" command requires 3 arguments");
1573             }
1574
1575             s = idltest_find_simple(idl, atoi(arg1));
1576             if (!s) {
1577                 ovs_fatal(0, "\"set\" command asks for nonexistent "
1578                           "i=%d", atoi(arg1));
1579             }
1580
1581             if (!strcmp(arg2, "b")) {
1582                 idltest_simple_set_b(s, atoi(arg3));
1583             } else if (!strcmp(arg2, "s")) {
1584                 idltest_simple_set_s(s, arg3);
1585             } else if (!strcmp(arg2, "u")) {
1586                 struct uuid uuid;
1587                 uuid_from_string(&uuid, arg3);
1588                 idltest_simple_set_u(s, uuid);
1589             } else if (!strcmp(arg2, "r")) {
1590                 idltest_simple_set_r(s, atof(arg3));
1591             } else {
1592                 ovs_fatal(0, "\"set\" command asks for unknown column %s",
1593                           arg2);
1594             }
1595         } else if (!strcmp(name, "insert")) {
1596             struct idltest_simple *s;
1597
1598             if (!arg1 || arg2) {
1599                 ovs_fatal(0, "\"set\" command requires 1 argument");
1600             }
1601
1602             s = idltest_simple_insert(txn);
1603             idltest_simple_set_i(s, atoi(arg1));
1604         } else if (!strcmp(name, "delete")) {
1605             const struct idltest_simple *s;
1606
1607             if (!arg1 || arg2) {
1608                 ovs_fatal(0, "\"set\" command requires 1 argument");
1609             }
1610
1611             s = idltest_find_simple(idl, atoi(arg1));
1612             if (!s) {
1613                 ovs_fatal(0, "\"set\" command asks for nonexistent "
1614                           "i=%d", atoi(arg1));
1615             }
1616             idltest_simple_delete(s);
1617         } else {
1618             ovs_fatal(0, "unknown command %s", name);
1619         }
1620     }
1621
1622     while ((status = ovsdb_idl_txn_commit(txn)) == TXN_INCOMPLETE) {
1623         ovsdb_idl_run(idl);
1624         ovsdb_idl_wait(idl);
1625         ovsdb_idl_txn_wait(txn);
1626         poll_block();
1627     }
1628     printf("%03d: commit, status=%s\n",
1629            step, ovsdb_idl_txn_status_to_string(status));
1630     ovsdb_idl_txn_destroy(txn);
1631 }
1632
1633 static void
1634 do_idl(int argc, char *argv[])
1635 {
1636     struct jsonrpc *rpc;
1637     struct ovsdb_idl *idl;
1638     unsigned int seqno = 0;
1639     struct ovsdb_symbol_table *symtab;
1640     size_t n_uuids = 0;
1641     int step = 0;
1642     int error;
1643     int i;
1644
1645     idl = ovsdb_idl_create(argv[1], &idltest_idl_class);
1646     if (argc > 2) {
1647         struct stream *stream;
1648
1649         error = stream_open_block(argv[1], &stream);
1650         if (error) {
1651             ovs_fatal(error, "failed to connect to \"%s\"", argv[1]);
1652         }
1653         rpc = jsonrpc_open(stream);
1654     } else {
1655         rpc = NULL;
1656     }
1657
1658     symtab = ovsdb_symbol_table_create();
1659     for (i = 2; i < argc; i++) {
1660         struct jsonrpc_msg *request, *reply;
1661         int error;
1662
1663         seqno = print_updated_idl(idl, rpc, step++, seqno);
1664
1665         if (!strcmp(argv[i], "reconnect")) {
1666             printf("%03d: reconnect\n", step++);
1667             ovsdb_idl_force_reconnect(idl);
1668         } else if (argv[i][0] != '[') {
1669             idl_set(idl, argv[i], step++);
1670         } else {
1671             struct json *json = parse_json(argv[i]);
1672             substitute_uuids(json, symtab);
1673             request = jsonrpc_create_request("transact", json, NULL);
1674             error = jsonrpc_transact_block(rpc, request, &reply);
1675             if (error) {
1676                 ovs_fatal(error, "jsonrpc transaction failed");
1677             }
1678             printf("%03d: ", step++);
1679             if (reply->result) {
1680                 parse_uuids(reply->result, symtab, &n_uuids);
1681             }
1682             json_destroy(reply->id);
1683             reply->id = NULL;
1684             print_and_free_json(jsonrpc_msg_to_json(reply));
1685         }
1686     }
1687     ovsdb_symbol_table_destroy(symtab);
1688
1689     if (rpc) {
1690         jsonrpc_close(rpc);
1691     }
1692     print_updated_idl(idl, NULL, step++, seqno);
1693     ovsdb_idl_destroy(idl);
1694     printf("%03d: done\n", step);
1695 }
1696
1697 static struct command all_commands[] = {
1698     { "log-io", 2, INT_MAX, do_log_io },
1699     { "parse-atomic-type", 1, 1, do_parse_atomic_type },
1700     { "parse-type", 1, 1, do_parse_type },
1701     { "parse-atoms", 2, INT_MAX, do_parse_atoms },
1702     { "parse-data", 2, INT_MAX, do_parse_data },
1703     { "sort-atoms", 2, 2, do_sort_atoms },
1704     { "parse-column", 2, 2, do_parse_column },
1705     { "parse-table", 2, 2, do_parse_table },
1706     { "parse-rows", 2, INT_MAX, do_parse_rows },
1707     { "compare-rows", 2, INT_MAX, do_compare_rows },
1708     { "parse-conditions", 2, INT_MAX, do_parse_conditions },
1709     { "evaluate-conditions", 3, 3, do_evaluate_conditions },
1710     { "parse-mutations", 2, INT_MAX, do_parse_mutations },
1711     { "execute-mutations", 3, 3, do_execute_mutations },
1712     { "query", 3, 3, do_query },
1713     { "query-distinct", 4, 4, do_query_distinct },
1714     { "transact", 1, INT_MAX, do_transact },
1715     { "execute", 2, INT_MAX, do_execute },
1716     { "trigger", 2, INT_MAX, do_trigger },
1717     { "idl", 1, INT_MAX, do_idl },
1718     { "help", 0, INT_MAX, do_help },
1719     { NULL, 0, 0, NULL },
1720 };