tests/ovsdb-idl.at

   1 AT_BANNER([OVSDB -- interface description language (IDL)])
   2
   3 # OVSDB_CHECK_IDL(TITLE, [PRE-IDL-TXN], TRANSACTIONS, OUTPUT, [KEYWORDS],
   4 #                 [FILTER])
   5 #
   6 # Creates a database with a schema derived from idltest.ovsidl, runs
   7 # each PRE-IDL-TXN (if any), starts an ovsdb-server on that database,
   8 # and runs "test-ovsdb idl" passing each of the TRANSACTIONS along.
   9 #
  10 # Checks that the overall output is OUTPUT.  Before comparison, the
  11 # output is sorted (using "sort") and UUIDs in the output are replaced
  12 # by markers of the form <N> where N is a number.  The first unique
  13 # UUID is replaced by <0>, the next by <1>, and so on.  If a given
  14 # UUID appears more than once it is always replaced by the same
  15 # marker.  If FILTER is supplied then the output is also filtered
  16 # through the specified program.
  17 #
  18 # TITLE is provided to AT_SETUP and KEYWORDS to AT_KEYWORDS.
  19 m4_define([OVSDB_CHECK_IDL],
  20   [AT_SETUP([$1])
  21    AT_KEYWORDS([ovsdb server idl positive $5])
  22    AT_CHECK([ovsdb-tool create db $abs_srcdir/idltest.ovsschema],
  23                   [0], [stdout], [ignore])
  24    AT_CHECK([ovsdb-server '-vPATTERN:console:ovsdb-server|%c|%m' --detach --pidfile=$PWD/pid --remote=punix:socket --unixctl=$PWD/unixctl db], [0], [ignore], [ignore])
  25    m4_if([$2], [], [],
  26      [AT_CHECK([ovsdb-client transact unix:socket $2], [0], [ignore], [ignore], [kill `cat pid`])])
  27    AT_CHECK([test-ovsdb '-vPATTERN:console:test-ovsdb|%c|%m' -vjsonrpc -t10 idl unix:socket $3],
  28             [0], [stdout], [ignore], [kill `cat pid`])
  29    AT_CHECK([sort stdout | perl $srcdir/uuidfilt.pl]m4_if([$6],,, [[| $6]]),
  30             [0], [$4], [], [kill `cat pid`])
  31    OVSDB_SERVER_SHUTDOWN
  32    AT_CLEANUP])
  33
  34 OVSDB_CHECK_IDL([simple idl, initially empty, no ops],
  35   [],
  36   [],
  37   [000: empty
  38 001: done
  39 ])
  40
  41 OVSDB_CHECK_IDL([simple idl, initially empty, various ops],
  42   [],
  43   [['["idltest",
  44       {"op": "insert",
  45        "table": "simple",
  46        "row": {"i": 1,
  47                "r": 2.0,
  48                "b": true,
  49                "s": "mystring",
  50                "u": ["uuid", "84f5c8f5-ac76-4dbc-a24f-8860eb407fc1"],
  51                "ia": ["set", [1, 2, 3]],
  52                "ra": ["set", [-0.5]],
  53                "ba": ["set", [true]],
  54                "sa": ["set", ["abc", "def"]],
  55                "ua": ["set", [["uuid", "69443985-7806-45e2-b35f-574a04e720f9"],
  56                               ["uuid", "aad11ef0-816a-4b01-93e6-03b8b4256b98"]]]}},
  57       {"op": "insert",
  58        "table": "simple",
  59        "row": {}}]' \
  60     '["idltest",
  61       {"op": "update",
  62        "table": "simple",
  63        "where": [],
  64        "row": {"b": true}}]' \
  65     '["idltest",
  66       {"op": "update",
  67        "table": "simple",
  68        "where": [],
  69        "row": {"r": 123.5}}]' \
  70     '["idltest",
  71       {"op": "insert",
  72        "table": "simple",
  73        "row": {"i": -1,
  74                "r": 125,
  75                "b": false,
  76                "s": "",
  77                "ia": ["set", [1]],
  78                "ra": ["set", [1.5]],
  79                "ba": ["set", [false]],
  80                "sa": ["set", []],
  81                "ua": ["set", []]}}]' \
  82     '["idltest",
  83       {"op": "update",
  84        "table": "simple",
  85        "where": [["i", "<", 1]],
  86        "row": {"s": "newstring"}}]' \
  87     '["idltest",
  88       {"op": "delete",
  89        "table": "simple",
  90        "where": [["i", "==", 0]]}]' \
  91     'reconnect']],
  92   [[000: empty
  93 001: {"error":null,"result":[{"uuid":["uuid","<0>"]},{"uuid":["uuid","<1>"]}]}
  94 002: i=0 r=0 b=false s= u=<2> ia=[] ra=[] ba=[] sa=[] ua=[] uuid=<1>
  95 002: i=1 r=2 b=true s=mystring u=<3> ia=[1 2 3] ra=[-0.5] ba=[true] sa=[abc def] ua=[<4> <5>] uuid=<0>
  96 003: {"error":null,"result":[{"count":2}]}
  97 004: i=0 r=0 b=true s= u=<2> ia=[] ra=[] ba=[] sa=[] ua=[] uuid=<1>
  98 004: i=1 r=2 b=true s=mystring u=<3> ia=[1 2 3] ra=[-0.5] ba=[true] sa=[abc def] ua=[<4> <5>] uuid=<0>
  99 005: {"error":null,"result":[{"count":2}]}
 100 006: i=0 r=123.5 b=true s= u=<2> ia=[] ra=[] ba=[] sa=[] ua=[] uuid=<1>
 101 006: i=1 r=123.5 b=true s=mystring u=<3> ia=[1 2 3] ra=[-0.5] ba=[true] sa=[abc def] ua=[<4> <5>] uuid=<0>
 102 007: {"error":null,"result":[{"uuid":["uuid","<6>"]}]}
 103 008: i=-1 r=125 b=false s= u=<2> ia=[1] ra=[1.5] ba=[false] sa=[] ua=[] uuid=<6>
 104 008: i=0 r=123.5 b=true s= u=<2> ia=[] ra=[] ba=[] sa=[] ua=[] uuid=<1>
 105 008: i=1 r=123.5 b=true s=mystring u=<3> ia=[1 2 3] ra=[-0.5] ba=[true] sa=[abc def] ua=[<4> <5>] uuid=<0>
 106 009: {"error":null,"result":[{"count":2}]}
 107 010: i=-1 r=125 b=false s=newstring u=<2> ia=[1] ra=[1.5] ba=[false] sa=[] ua=[] uuid=<6>
 108 010: i=0 r=123.5 b=true s=newstring u=<2> ia=[] ra=[] ba=[] sa=[] ua=[] uuid=<1>
 109 010: i=1 r=123.5 b=true s=mystring u=<3> ia=[1 2 3] ra=[-0.5] ba=[true] sa=[abc def] ua=[<4> <5>] uuid=<0>
 110 011: {"error":null,"result":[{"count":1}]}
 111 012: i=-1 r=125 b=false s=newstring u=<2> ia=[1] ra=[1.5] ba=[false] sa=[] ua=[] uuid=<6>
 112 012: i=1 r=123.5 b=true s=mystring u=<3> ia=[1 2 3] ra=[-0.5] ba=[true] sa=[abc def] ua=[<4> <5>] uuid=<0>
 113 013: reconnect
 114 014: i=-1 r=125 b=false s=newstring u=<2> ia=[1] ra=[1.5] ba=[false] sa=[] ua=[] uuid=<6>
 115 014: i=1 r=123.5 b=true s=mystring u=<3> ia=[1 2 3] ra=[-0.5] ba=[true] sa=[abc def] ua=[<4> <5>] uuid=<0>
 116 015: done
 117 ]])
 118
 119 OVSDB_CHECK_IDL([simple idl, initially populated],
 120   [['["idltest",
 121       {"op": "insert",
 122        "table": "simple",
 123        "row": {"i": 1,
 124                "r": 2.0,
 125                "b": true,
 126                "s": "mystring",
 127                "u": ["uuid", "84f5c8f5-ac76-4dbc-a24f-8860eb407fc1"],
 128                "ia": ["set", [1, 2, 3]],
 129                "ra": ["set", [-0.5]],
 130                "ba": ["set", [true]],
 131                "sa": ["set", ["abc", "def"]],
 132                "ua": ["set", [["uuid", "69443985-7806-45e2-b35f-574a04e720f9"],
 133                               ["uuid", "aad11ef0-816a-4b01-93e6-03b8b4256b98"]]]}},
 134       {"op": "insert",
 135        "table": "simple",
 136        "row": {}}]']],
 137   [['["idltest",
 138       {"op": "update",
 139        "table": "simple",
 140        "where": [],
 141        "row": {"b": true}}]']],
 142   [[000: i=0 r=0 b=false s= u=<0> ia=[] ra=[] ba=[] sa=[] ua=[] uuid=<1>
 143 000: i=1 r=2 b=true s=mystring u=<2> ia=[1 2 3] ra=[-0.5] ba=[true] sa=[abc def] ua=[<3> <4>] uuid=<5>
 144 001: {"error":null,"result":[{"count":2}]}
 145 002: i=0 r=0 b=true s= u=<0> ia=[] ra=[] ba=[] sa=[] ua=[] uuid=<1>
 146 002: i=1 r=2 b=true s=mystring u=<2> ia=[1 2 3] ra=[-0.5] ba=[true] sa=[abc def] ua=[<3> <4>] uuid=<5>
 147 003: done
 148 ]])
 149
 150 OVSDB_CHECK_IDL([simple idl, writing via IDL],
 151   [['["idltest",
 152       {"op": "insert",
 153        "table": "simple",
 154        "row": {"i": 1,
 155                "r": 2.0,
 156                "b": true,
 157                "s": "mystring",
 158                "u": ["uuid", "84f5c8f5-ac76-4dbc-a24f-8860eb407fc1"],
 159                "ia": ["set", [1, 2, 3]],
 160                "ra": ["set", [-0.5]],
 161                "ba": ["set", [true]],
 162                "sa": ["set", ["abc", "def"]],
 163                "ua": ["set", [["uuid", "69443985-7806-45e2-b35f-574a04e720f9"],
 164                               ["uuid", "aad11ef0-816a-4b01-93e6-03b8b4256b98"]]]}},
 165       {"op": "insert",
 166        "table": "simple",
 167        "row": {}}]']],
 168   [['verify 0 b, verify 1 r, set 0 b 1, set 1 r 3.5' \
 169     'insert 2, verify 2 i, verify 1 b, delete 1']],
 170   [[000: i=0 r=0 b=false s= u=<0> ia=[] ra=[] ba=[] sa=[] ua=[] uuid=<1>
 171 000: i=1 r=2 b=true s=mystring u=<2> ia=[1 2 3] ra=[-0.5] ba=[true] sa=[abc def] ua=[<3> <4>] uuid=<5>
 172 001: commit, status=success
 173 002: i=0 r=0 b=true s= u=<0> ia=[] ra=[] ba=[] sa=[] ua=[] uuid=<1>
 174 002: i=1 r=3.5 b=true s=mystring u=<2> ia=[1 2 3] ra=[-0.5] ba=[true] sa=[abc def] ua=[<3> <4>] uuid=<5>
 175 003: commit, status=success
 176 004: i=0 r=0 b=true s= u=<0> ia=[] ra=[] ba=[] sa=[] ua=[] uuid=<1>
 177 004: i=2 r=0 b=false s= u=<0> ia=[] ra=[] ba=[] sa=[] ua=[] uuid=<6>
 178 005: done
 179 ]])
 180
 181 OVSDB_CHECK_IDL([simple idl, handling verification failure],
 182   [['["idltest",
 183       {"op": "insert",
 184        "table": "simple",
 185        "row": {"i": 1,
 186                "r": 2.0}},
 187       {"op": "insert",
 188        "table": "simple",
 189        "row": {}}]']],
 190   [['set 0 b 1' \
 191     '+["idltest",
 192        {"op": "update",
 193         "table": "simple",
 194         "where": [["i", "==", 1]],
 195         "row": {"r": 5.0}}]' \
 196     '+verify 1 r, set 1 r 3' \
 197     'verify 1 r, set 1 r 3' \
 198     ]],
 199   [[000: i=0 r=0 b=false s= u=<0> ia=[] ra=[] ba=[] sa=[] ua=[] uuid=<1>
 200 000: i=1 r=2 b=false s= u=<0> ia=[] ra=[] ba=[] sa=[] ua=[] uuid=<2>
 201 001: commit, status=success
 202 002: {"error":null,"result":[{"count":1}]}
 203 003: commit, status=try again
 204 004: i=0 r=0 b=true s= u=<0> ia=[] ra=[] ba=[] sa=[] ua=[] uuid=<1>
 205 004: i=1 r=5 b=false s= u=<0> ia=[] ra=[] ba=[] sa=[] ua=[] uuid=<2>
 206 005: commit, status=success
 207 006: i=0 r=0 b=true s= u=<0> ia=[] ra=[] ba=[] sa=[] ua=[] uuid=<1>
 208 006: i=1 r=3 b=false s= u=<0> ia=[] ra=[] ba=[] sa=[] ua=[] uuid=<2>
 209 007: done
 210 ]])
 211
 212 OVSDB_CHECK_IDL([simple idl, increment operation],
 213   [['["idltest",
 214       {"op": "insert",
 215        "table": "simple",
 216        "row": {}}]']],
 217   [['set 0 r 2.0, increment simple i']],
 218   [[000: i=0 r=0 b=false s= u=<0> ia=[] ra=[] ba=[] sa=[] ua=[] uuid=<1>
 219 001: commit, status=success, increment=1
 220 002: i=1 r=2 b=false s= u=<0> ia=[] ra=[] ba=[] sa=[] ua=[] uuid=<1>
 221 003: done
 222 ]])
 223
 224 OVSDB_CHECK_IDL([self-linking idl, consistent ops],
 225   [],
 226   [['["idltest",
 227       {"op": "insert",
 228        "table": "link1",
 229        "row": {"i": 0, "k": ["named-uuid", "self"]},
 230        "uuid-name": "self"}]' \
 231     '["idltest",
 232       {"op": "insert",
 233        "table": "link1",
 234        "row": {"i": 1, "k": ["named-uuid", "row2"]},
 235        "uuid-name": "row1"},
 236       {"op": "insert",
 237        "table": "link1",
 238        "row": {"i": 2, "k": ["named-uuid", "row1"]},
 239        "uuid-name": "row2"}]' \
 240     '["idltest",
 241       {"op": "update",
 242        "table": "link1",
 243        "where": [["i", "==", 1]],
 244        "row": {"k": ["uuid", "#1#"]}}]' \
 245     '["idltest",
 246       {"op": "update",
 247        "table": "link1",
 248        "where": [],
 249        "row": {"k": ["uuid", "#0#"]}}]']],
 250   [[000: empty
 251 001: {"error":null,"result":[{"uuid":["uuid","<0>"]}]}
 252 002: i=0 k=0 ka=[] l2= uuid=<0>
 253 003: {"error":null,"result":[{"uuid":["uuid","<1>"]},{"uuid":["uuid","<2>"]}]}
 254 004: i=0 k=0 ka=[] l2= uuid=<0>
 255 004: i=1 k=2 ka=[] l2= uuid=<1>
 256 004: i=2 k=1 ka=[] l2= uuid=<2>
 257 005: {"error":null,"result":[{"count":1}]}
 258 006: i=0 k=0 ka=[] l2= uuid=<0>
 259 006: i=1 k=1 ka=[] l2= uuid=<1>
 260 006: i=2 k=1 ka=[] l2= uuid=<2>
 261 007: {"error":null,"result":[{"count":3}]}
 262 008: i=0 k=0 ka=[] l2= uuid=<0>
 263 008: i=1 k=0 ka=[] l2= uuid=<1>
 264 008: i=2 k=0 ka=[] l2= uuid=<2>
 265 009: done
 266 ]])
 267
 268 OVSDB_CHECK_IDL([self-linking idl, inconsistent ops],
 269   [],
 270   [['["idltest",
 271       {"op": "insert",
 272        "table": "link1",
 273        "row": {"i": 0, "k": ["uuid", "cf197cc5-c8c9-42f5-82d5-c71a9f2cb96b"]}}]' \
 274     '+["idltest",
 275       {"op": "insert",
 276        "table": "link1",
 277        "uuid-name": "one",
 278        "row": {"i": 1, "k": ["named-uuid", "one"]}},
 279       {"op": "insert",
 280        "table": "link1",
 281        "row": {"i": 2, "k": ["named-uuid", "one"]}}]' \
 282      '["idltest",
 283       {"op": "update",
 284        "table": "link1",
 285        "where": [],
 286        "row": {"k": ["uuid", "c2fca39a-e69a-42a4-9c56-5eca85839ce9"]}}]' \
 287      '+["idltest",
 288       {"op": "delete",
 289        "table": "link1",
 290        "where": [["_uuid", "==", ["uuid", "#1#"]]]}]' \
 291      '+["idltest",
 292       {"op": "delete",
 293        "table": "link1",
 294        "where": [["_uuid", "==", ["uuid", "#2#"]]]}]' \
 295      '["idltest",
 296       {"op": "delete",
 297        "table": "link1",
 298        "where": []}]' \
 299 ]],
 300   [[000: empty
 301 001: {"error":null,"result":[{"uuid":["uuid","<0>"]},{"details":"Table link1 column k row <0> references nonexistent row <1> in table link1.","error":"referential integrity violation"}]}
 302 002: {"error":null,"result":[{"uuid":["uuid","<2>"]},{"uuid":["uuid","<3>"]}]}
 303 003: i=1 k=1 ka=[] l2= uuid=<2>
 304 003: i=2 k=1 ka=[] l2= uuid=<3>
 305 004: {"error":null,"result":[{"count":2},{"details":"Table link1 column k row <x> references nonexistent row <4> in table link1.","error":"referential integrity violation"}]}
 306 005: {"error":null,"result":[{"count":1},{"details":"cannot delete link1 row <2> because of 1 remaining reference(s)","error":"referential integrity violation"}]}
 307 006: {"error":null,"result":[{"count":1}]}
 308 007: i=1 k=1 ka=[] l2= uuid=<2>
 309 008: {"error":null,"result":[{"count":1}]}
 310 009: empty
 311 010: done
 312 ]],
 313   [],
 314   [[sed -e '/004:/s/row <[23]> references/row <x> references/']])
 315
 316 OVSDB_CHECK_IDL([self-linking idl, sets],
 317   [],
 318   [['["idltest",
 319       {"op": "insert",
 320        "table": "link1",
 321        "row": {"i": 0, "k": ["named-uuid", "i0"], "ka": ["set", [["named-uuid", "i0"]]]},
 322        "uuid-name": "i0"},
 323       {"op": "insert",
 324        "table": "link1",
 325        "row": {"i": 1, "k": ["named-uuid", "i0"], "ka": ["set", [["named-uuid", "i1"]]]},
 326        "uuid-name": "i1"},
 327       {"op": "insert",
 328        "table": "link1",
 329        "row": {"i": 2, "k": ["named-uuid", "i0"], "ka": ["set", [["named-uuid", "i2"]]]},
 330        "uuid-name": "i2"},
 331       {"op": "insert",
 332        "table": "link1",
 333        "row": {"i": 3, "k": ["named-uuid", "i0"], "ka": ["set", [["named-uuid", "i3"]]]},
 334        "uuid-name": "i3"}]' \
 335     '["idltest",
 336       {"op": "update",
 337        "table": "link1",
 338        "where": [],
 339        "row": {"ka": ["set", [["uuid", "#0#"], ["uuid", "#1#"], ["uuid", "#2#"], ["uuid", "#3#"]]]}}]' \
 340     '["idltest",
 341       {"op": "update",
 342        "table": "link1",
 343        "where": [["i", "==", 2]],
 344        "row": {"ka": ["set", [["uuid", "#0#"], ["uuid", "88702e78-845b-4a6e-ad08-cf68922ae84a"], ["uuid", "#2#"]]]}}]' \
 345     '+["idltest",
 346       {"op": "delete",
 347        "table": "link1",
 348        "where": []}]']],
 349   [[000: empty
 350 001: {"error":null,"result":[{"uuid":["uuid","<0>"]},{"uuid":["uuid","<1>"]},{"uuid":["uuid","<2>"]},{"uuid":["uuid","<3>"]}]}
 351 002: i=0 k=0 ka=[0] l2= uuid=<0>
 352 002: i=1 k=0 ka=[1] l2= uuid=<1>
 353 002: i=2 k=0 ka=[2] l2= uuid=<2>
 354 002: i=3 k=0 ka=[3] l2= uuid=<3>
 355 003: {"error":null,"result":[{"count":4}]}
 356 004: i=0 k=0 ka=[0 1 2 3] l2= uuid=<0>
 357 004: i=1 k=0 ka=[0 1 2 3] l2= uuid=<1>
 358 004: i=2 k=0 ka=[0 1 2 3] l2= uuid=<2>
 359 004: i=3 k=0 ka=[0 1 2 3] l2= uuid=<3>
 360 005: {"error":null,"result":[{"count":1},{"details":"Table link1 column ka row <2> references nonexistent row <4> in table link1.","error":"referential integrity violation"}]}
 361 006: {"error":null,"result":[{"count":4}]}
 362 007: empty
 363 008: done
 364 ]])
 365
 366 OVSDB_CHECK_IDL([external-linking idl, consistent ops],
 367   [],
 368   [['["idltest",
 369       {"op": "insert",
 370        "table": "link2",
 371        "row": {"i": 0},
 372        "uuid-name": "row0"},
 373       {"op": "insert",
 374        "table": "link1",
 375        "row": {"i": 1, "k": ["named-uuid", "row1"], "l2": ["set", [["named-uuid", "row0"]]]},
 376        "uuid-name": "row1"}]']],
 377   [[000: empty
 378 001: {"error":null,"result":[{"uuid":["uuid","<0>"]},{"uuid":["uuid","<1>"]}]}
 379 002: i=0 l1= uuid=<0>
 380 002: i=1 k=1 ka=[] l2=0 uuid=<1>
 381 003: done
 382 ]])