mirror of
https://github.com/MariaDB/server.git
synced 2026-10-23 18:49:29 +03:00
Adding support for the strict cursor data types:
Example 1a:
TYPE rec0_t IS RECORD (a INT, VARCHAR(10));
TYPE cur0_t IS REF CURSOR RETURN rec0_t;
Example 1b:
TYPE rec0_t IS RECORD (a t1.a%TYPE, b t1.b%TYPE);
TYPE cur0_t IS REF CURSOR RETURN rec0_t;
Example 1c:
TYPE rec0_t IS RECORD (a INT, VARCHAR(10));
r0 rec0_t;
TYPE cur0_t IS REF CURSOR RETURN r0%TYPE;
Example 1d:
TYPE rec0_t IS RECORD (a t1.a%TYPE, b t1.b%TYPE);
r0 rec0_t;
TYPE cur0_t IS REF CURSOR RETURN r0%TYPE;
Example2a:
TYPE cur0_t IS REF CURSOR RETURN t1%ROWTYPE; -- t1 is a table
Example 2b:
r0 t1%ROWTYPE;
TYPE cur0_t IS REF CURSOR RETURN r0%TYPE;
Example3a:
CURSOR cursor_sample IS SELECT a,b FROM t1;
TYPE cur0_t IS REF CURSOR RETURN cursor_sample%ROWTYPE;
Example3b:
CURSOR cursor_sample IS SELECT a,b FROM t1;
r0 cursor_sample%ROWTYPE;
TYPE cur0_t IS REF CURSOR RETURN r0%TYPE;
If a cursor variable is declared with a RETURN clause then:
1. At OPEN type the data type of the SELECT list row is compared
for compatibility with the cursor RETURN data type.
The SELECT list row must be assignable to the RETURN type row.
If case if assignability is not meet, an error is raised
Assignability means:
- The arity of the SELECT list must be equal to the arity
of the RETURN clause
- Every n-th field of the SELECT list must be assignable to the
n-th field of the RETURN Clause
2. At FETCH time, the data is fetched in two steps:
a. On the first step the data is fetched into a virtual table
with the row type described in the RETURN clause
b. On the second step the data is copied from the virtual table
to the target fetch list. Data type conversion can happen
on this step.
Change details:
Adding new methods:
- sp_cursor::check_assignability_to
- Virtual_tmp_table::check_assignability_from
- Virtual_tmp_table::sp_set_from_select_list
- Virtual_tmp_table::sp_save_in_vtable
- Virtual_tmp_table::sp_save_in_target_list
- LEX::check_ref_cursor_components
- LEX::make_sp_instr_copy_struct_for_last_context_variables
- LEX::declare_type_ref_cursor
- sp_cursor::Select_fetch_into_spvars::send_data_with_return_type
Adding new members:
- sp_instr_copen_by_ref::m_cursor_name
- Select_fetch_into_spvars::m_return_type
- Select_materialize::m_cursor_name
- Select_materialize::m_return_type
Adding new virtual methods:
- Item::resolve_spvar_cursor_rowtype
- Type_handler::Spvar_definition_resolve_type_refs
- Server_side_cursor::check_assignability_to
- Overriding Select_materialize::prepare to raise an error when the cursor
returned data type is not compatible with the RETURN clause
Making these methods virtual:
- Field::check_assignability_from
Adding new classes:
- sp_type_def_ref
- RowTypeBuffer
Adding new constructors to:
- Spvar_definition
Adding new helper methods (e.g. to reuse the code)
- Field::store_field_maybe_null
- ChanBuffer::append_ulonglong
- sp_pcontext::set_type_for_last_context_variables
Minor changes:
- Making TABLE::export_structure const
- Overriding Item_splocal::type_extra_attributes. It was forgotten in earlier changes.
Adding new error messages
- ER_CANNOT_CAST_ON_IDENT1_ASSIGNMENT_FOR_OPERATION
- ER_CANNOT_CAST_ON_IDENT2_ASSIGNMENT_FOR_OPERATION
189 lines
5.3 KiB
C++
189 lines
5.3 KiB
C++
#ifndef CHAR_BUFFER_INCLUDED
|
|
#define CHAR_BUFFER_INCLUDED
|
|
/*
|
|
Copyright (c) 2023, MariaDB
|
|
|
|
This program is free software; you can redistribute it and/or
|
|
modify it under the terms of the GNU General Public License
|
|
as published by the Free Software Foundation; version 2 of
|
|
the License.
|
|
|
|
This program is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
GNU General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with this program; if not, write to the Free Software
|
|
Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1335 USA
|
|
*/
|
|
|
|
|
|
/*
|
|
A string buffer with length.
|
|
This template class is useful to store things like database, table names,
|
|
whose maximum length a small fixed known value. Mainly to be used as
|
|
stack variables to store temporary values.
|
|
|
|
Can store exact string copies or casefolded string copies.
|
|
The stored value is returned as a LEX_CSTRING.
|
|
*/
|
|
template<size_t buff_sz>
|
|
class CharBuffer
|
|
{
|
|
char m_buff[buff_sz + 1 /* one extra byte for '\0' */];
|
|
size_t m_length;
|
|
bool is_sane() const
|
|
{
|
|
return m_length <= buff_sz; // One byte is still left for '\0'
|
|
}
|
|
bool buffer_overlaps(const LEX_CSTRING &str) const
|
|
{
|
|
return str.str + str.length >= m_buff && str.str <= m_buff + sizeof(m_buff);
|
|
}
|
|
public:
|
|
constexpr size_t max_data_size() const
|
|
{
|
|
return buff_sz; // The maximum data size, without the trailing '\0' byte.
|
|
}
|
|
size_t available_size() const
|
|
{
|
|
DBUG_ASSERT(is_sane());
|
|
return buff_sz - m_length;
|
|
}
|
|
CharBuffer()
|
|
:m_length(0)
|
|
{
|
|
m_buff[0]= '\0';
|
|
}
|
|
CharBuffer<buff_sz> & copy(const LEX_CSTRING &str)
|
|
{
|
|
DBUG_ASSERT(!buffer_overlaps(str));
|
|
m_length= MY_MIN(buff_sz, str.length);
|
|
memcpy(m_buff, str.str, m_length);
|
|
m_buff[m_length]= '\0';
|
|
return *this;
|
|
}
|
|
CharBuffer<buff_sz> & copy_casedn(CHARSET_INFO *cs, const LEX_CSTRING &str)
|
|
{
|
|
DBUG_ASSERT(!buffer_overlaps(str));
|
|
m_length= cs->cset->casedn(cs, str.str, str.length, m_buff, buff_sz);
|
|
/*
|
|
casedn() never writes outsize of buff_sz (unless a bug in casedn()),
|
|
so it's safe to write '\0' at the position m_length:
|
|
*/
|
|
DBUG_ASSERT(is_sane());
|
|
m_buff[m_length]= '\0';
|
|
return *this;
|
|
}
|
|
CharBuffer<buff_sz> & copy_caseup(CHARSET_INFO *cs, const LEX_CSTRING &str)
|
|
{
|
|
DBUG_ASSERT(!buffer_overlaps(str));
|
|
m_length= cs->cset->caseup(cs, str.str, str.length, m_buff, buff_sz);
|
|
DBUG_ASSERT(is_sane());
|
|
m_buff[m_length]= '\0'; // See comments in copy_casedn()
|
|
return *this;
|
|
}
|
|
CharBuffer<buff_sz> & copy_casedn(CHARSET_INFO *cs, const LEX_CSTRING &str,
|
|
bool casedn)
|
|
{
|
|
casedn ? copy_casedn(cs, str) : copy(str);
|
|
return *this;
|
|
}
|
|
|
|
// Append an unsigned number
|
|
CharBuffer<buff_sz> & append_ulonglong(ulonglong nr)
|
|
{
|
|
if (available_size() >= MAX_BIGINT_WIDTH)
|
|
{
|
|
char *end= (char*) longlong10_to_str(nr, &m_buff[m_length], 10);
|
|
m_length= (end - m_buff);
|
|
}
|
|
DBUG_ASSERT(is_sane());
|
|
return *this;
|
|
}
|
|
|
|
// Append one character
|
|
CharBuffer<buff_sz> & append_char(char ch)
|
|
{
|
|
DBUG_ASSERT(is_sane());
|
|
if (available_size())
|
|
{
|
|
m_buff[m_length++]= ch;
|
|
m_buff[m_length]= '\0';
|
|
}
|
|
DBUG_ASSERT(is_sane());
|
|
return *this;
|
|
}
|
|
|
|
// Append a string
|
|
CharBuffer<buff_sz> & append(const LEX_CSTRING &str)
|
|
{
|
|
DBUG_ASSERT(is_sane());
|
|
DBUG_ASSERT(!buffer_overlaps(str));
|
|
size_t len= MY_MIN(available_size(), str.length);
|
|
memcpy(m_buff + m_length, str.str, len);
|
|
m_length+= len;
|
|
DBUG_ASSERT(is_sane());
|
|
m_buff[m_length]= '\0';
|
|
return *this;
|
|
}
|
|
|
|
// Append a string with casedn conversion
|
|
CharBuffer<buff_sz> & append_casedn(CHARSET_INFO *cs, const LEX_CSTRING &str)
|
|
{
|
|
DBUG_ASSERT(is_sane());
|
|
DBUG_ASSERT(!buffer_overlaps(str));
|
|
size_t casedn_length= cs->casedn(str.str, str.length,
|
|
m_buff + m_length, available_size());
|
|
m_length+= casedn_length;
|
|
DBUG_ASSERT(is_sane());
|
|
m_buff[m_length]= '\0';
|
|
return *this;
|
|
}
|
|
|
|
CharBuffer<buff_sz> & append_opt_casedn(CHARSET_INFO *cs,
|
|
const LEX_CSTRING &str,
|
|
bool casedn)
|
|
{
|
|
return casedn ? append_casedn(cs, str) : append(str);
|
|
}
|
|
|
|
// Append a string with caseup conversion
|
|
CharBuffer<buff_sz> & append_caseup(CHARSET_INFO *cs, const LEX_CSTRING &str)
|
|
{
|
|
DBUG_ASSERT(is_sane());
|
|
DBUG_ASSERT(!buffer_overlaps(str));
|
|
size_t casedn_length= cs->caseup(str.str, str.length,
|
|
m_buff + m_length, available_size());
|
|
m_length+= casedn_length;
|
|
DBUG_ASSERT(is_sane());
|
|
m_buff[m_length]= '\0';
|
|
return *this;
|
|
}
|
|
|
|
CharBuffer<buff_sz> & truncate(size_t length)
|
|
{
|
|
DBUG_ASSERT(is_sane());
|
|
if (m_length > length)
|
|
{
|
|
m_length= length;
|
|
m_buff[m_length]= '\0';
|
|
DBUG_ASSERT(is_sane());
|
|
}
|
|
return *this;
|
|
}
|
|
|
|
LEX_CSTRING to_lex_cstring() const
|
|
{
|
|
return LEX_CSTRING{m_buff, m_length};
|
|
}
|
|
|
|
const char *ptr() const { return m_buff; }
|
|
size_t length() const { return m_length; }
|
|
const char *end() const { return m_buff + m_length; }
|
|
|
|
};
|
|
|
|
#endif // CHAR_BUFFER_INCLUDED
|