From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from smtp16.mail.ru (smtp16.mail.ru [94.100.176.153]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by dev.tarantool.org (Postfix) with ESMTPS id 6E044446439 for ; Wed, 14 Oct 2020 02:01:29 +0300 (MSK) From: Timur Safin Date: Wed, 14 Oct 2020 02:01:09 +0300 Message-Id: In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Subject: [Tarantool-patches] [PATCH 2.X v4 1/4] module api: export box_tuple_validate List-Id: Tarantool development patches List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: v.shpilevoy@tarantool.org, alexander.turenko@tarantool.org Cc: tarantool-patches@dev.tarantool.org For external merger we need means to validate tuple data, thus exporting `box_tuple_validate` which is wrapper around `tuple_validate` without revealing access to tuple internals. Part of #5384 --- src/box/tuple.c | 6 ++++ src/box/tuple.h | 11 ++++++++ src/exports.h | 1 + test/app-tap/module_api.c | 48 ++++++++++++++++++++++++++++++++ test/app-tap/module_api.test.lua | 29 ++++++++++++++++++- 5 files changed, 94 insertions(+), 1 deletion(-) diff --git a/src/box/tuple.c b/src/box/tuple.c index f3965476e..e83377c3a 100644 --- a/src/box/tuple.c +++ b/src/box/tuple.c @@ -748,6 +748,12 @@ box_tuple_new(box_tuple_format_t *format, const char *data, const char *end) return tuple_bless(ret); } +int +box_tuple_validate(box_tuple_t *tuple, box_tuple_format_t *format) +{ + return tuple_validate(format, tuple); +} + /* }}} box_tuple_* */ int diff --git a/src/box/tuple.h b/src/box/tuple.h index 53ae690cc..755aee506 100644 --- a/src/box/tuple.h +++ b/src/box/tuple.h @@ -283,6 +283,17 @@ box_tuple_update(box_tuple_t *tuple, const char *expr, const char *expr_end); box_tuple_t * box_tuple_upsert(box_tuple_t *tuple, const char *expr, const char *expr_end); +/** + * Check tuple data correspondence to the space format. + * @param tuple Tuple to validate. + * @param format Format to which the tuple must match. + * + * @retval 0 The tuple is valid. + * @retval -1 The tuple is invalid. + */ +int +box_tuple_validate(box_tuple_t *tuple, box_tuple_format_t *format); + /** \endcond public */ /** diff --git a/src/exports.h b/src/exports.h index 1d7deb518..051818ef7 100644 --- a/src/exports.h +++ b/src/exports.h @@ -78,6 +78,7 @@ EXPORT(box_tuple_to_buf) EXPORT(box_tuple_unref) EXPORT(box_tuple_update) EXPORT(box_tuple_upsert) +EXPORT(box_tuple_validate) EXPORT(box_txn) EXPORT(box_txn_alloc) EXPORT(box_txn_begin) diff --git a/test/app-tap/module_api.c b/test/app-tap/module_api.c index 8b46cdb0d..361b75873 100644 --- a/test/app-tap/module_api.c +++ b/test/app-tap/module_api.c @@ -1155,6 +1155,52 @@ test_tuple_new(struct lua_State *L) /* }}} test_tuple_new */ +/* + * Check that argument is a tuple of any format, without + * its verification + */ +static int +test_tuple_validate_default(lua_State *L) +{ + int valid = 0; + box_tuple_t *tuple = luaT_istuple(L, -1); + + if (tuple != NULL) { + box_tuple_format_t *format = box_tuple_format_default(); + valid = box_tuple_validate(tuple, format) == 0; + } + lua_pushboolean(L, valid); + + return 1; +} + +/* + * Validate tuple with format of single boolean field + */ +static int +test_tuple_validate_formatted(lua_State *L) +{ + int valid = 0; + box_tuple_t *tuple = luaT_istuple(L, -1); + + if (tuple != NULL) { + uint32_t fields[] = { 0 }; + uint32_t types[] = { FIELD_TYPE_BOOLEAN }; + box_key_def_t *key_defs[] = { + box_key_def_new(fields, types, 1) + }; + assert(key_defs[0] != NULL); + struct tuple_format *format = + box_tuple_format_new(key_defs, 1); + assert(format); + + valid = box_tuple_validate(tuple, format) == 0; + } + lua_pushboolean(L, valid); + + return 1; +} + LUA_API int luaopen_module_api(lua_State *L) { @@ -1190,6 +1236,8 @@ luaopen_module_api(lua_State *L) {"test_key_def_new_v2", test_key_def_new_v2}, {"test_key_def_dump_parts", test_key_def_dump_parts}, {"test_key_def_validate_tuple", test_key_def_validate_tuple}, + {"tuple_validate_def", test_tuple_validate_default}, + {"tuple_validate_fmt", test_tuple_validate_formatted}, {NULL, NULL} }; luaL_register(L, "module_api", lib); diff --git a/test/app-tap/module_api.test.lua b/test/app-tap/module_api.test.lua index cfb0ca00b..d250580cf 100755 --- a/test/app-tap/module_api.test.lua +++ b/test/app-tap/module_api.test.lua @@ -38,6 +38,32 @@ local function test_pushcdata(test, module) test:is(gc_counter, 1, 'pushcdata gc') end +local function test_tuple_validate(test, module) + test:plan(12) + + local nottuple1 = {} + local nottuple2 = {true, 2} + local nottuple3 = {false, nil, 2} + local nottuple4 = {1, box.NULL, 2, 3} + local tuple1 = box.tuple.new(nottuple1) + local tuple2 = box.tuple.new(nottuple2) + local tuple3 = box.tuple.new(nottuple3) + local tuple4 = box.tuple.new(nottuple4) + + test:ok(not module.tuple_validate_def(nottuple1), "not tuple 1") + test:ok(not module.tuple_validate_def(nottuple2), "not tuple 2") + test:ok(not module.tuple_validate_def(nottuple3), "not tuple 3") + test:ok(not module.tuple_validate_def(nottuple4), "not tuple 4") + test:ok(module.tuple_validate_def(tuple1), "tuple 1") + test:ok(module.tuple_validate_def(tuple2), "tuple 2") + test:ok(module.tuple_validate_def(tuple3), "tuple 3") + test:ok(module.tuple_validate_def(tuple4), "tuple 4") + test:ok(not module.tuple_validate_fmt(tuple1), "tuple 1 (fmt)") + test:ok(module.tuple_validate_fmt(tuple2), "tuple 2 (fmt)") + test:ok(module.tuple_validate_fmt(tuple3), "tuple 3 (fmt)") + test:ok(not module.tuple_validate_fmt(tuple4), "tuple 4 (fmt)") +end + local function test_iscallable(test, module) local ffi = require('ffi') @@ -172,7 +198,7 @@ local function test_iscdata(test, module) end local test = require('tap').test("module_api", function(test) - test:plan(31) + test:plan(32) local status, module = pcall(require, 'module_api') test:is(status, true, "module") test:ok(status, "module is loaded") @@ -199,6 +225,7 @@ local test = require('tap').test("module_api", function(test) test:test("pushcdata", test_pushcdata, module) test:test("iscallable", test_iscallable, module) test:test("iscdata", test_iscdata, module) + test:test("tuple_validate", test_tuple_validate, module) space:drop() end) -- 2.20.1