From d8692f6ed56a8bb1bcdd1117aef7df69ec1c39aa Mon Sep 17 00:00:00 2001 From: Tomasz Sowa Date: Thu, 23 Sep 2021 14:03:26 +0200 Subject: [PATCH] added options: "index" and "index-one" for space tables e.g. [table_name "index-one"] --- src/generator.h | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/src/generator.h b/src/generator.h index 729fb6c..e6ad277 100644 --- a/src/generator.h +++ b/src/generator.h @@ -1470,6 +1470,16 @@ void Generator::CallSpace if( !IsTestingFunctionExistence() ) { DumpSpaceIfNeeded(parameters, out_stream, space); + + if( HasParam(parameters, L"index") ) + { + out_stream << space_wrapper.get_space_iterator_value(model_wrapper_space_table_index); + } + + if( HasParam(parameters, L"index-one") ) + { + out_stream << (space_wrapper.get_space_iterator_value(model_wrapper_space_table_index) + 1); + } } }