2011-10-30 05:19:41 +00:00
|
|
|
|
#include <DB/IO/ReadHelpers.h>
|
2016-02-13 06:37:19 +00:00
|
|
|
|
#include <DB/Interpreters/evaluateConstantExpression.h>
|
|
|
|
|
#include <DB/Interpreters/convertFieldToType.h>
|
|
|
|
|
#include <DB/Parsers/ExpressionListParsers.h>
|
2011-10-30 05:19:41 +00:00
|
|
|
|
#include <DB/DataStreams/ValuesRowInputStream.h>
|
2016-09-20 13:51:45 +00:00
|
|
|
|
#include <DB/DataTypes/DataTypeArray.h>
|
2016-02-13 06:37:19 +00:00
|
|
|
|
#include <DB/Core/FieldVisitors.h>
|
2016-02-16 16:39:39 +00:00
|
|
|
|
#include <DB/Core/Block.h>
|
2011-10-30 05:19:41 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
namespace DB
|
|
|
|
|
{
|
|
|
|
|
|
2016-02-13 06:37:19 +00:00
|
|
|
|
namespace ErrorCodes
|
|
|
|
|
{
|
|
|
|
|
extern const int CANNOT_PARSE_INPUT_ASSERTION_FAILED;
|
|
|
|
|
extern const int CANNOT_PARSE_QUOTED_STRING;
|
|
|
|
|
extern const int CANNOT_PARSE_DATE;
|
|
|
|
|
extern const int CANNOT_PARSE_DATETIME;
|
|
|
|
|
extern const int CANNOT_READ_ARRAY_FROM_TEXT;
|
|
|
|
|
extern const int CANNOT_PARSE_DATE;
|
|
|
|
|
extern const int SYNTAX_ERROR;
|
|
|
|
|
extern const int VALUE_IS_OUT_OF_RANGE_OF_DATA_TYPE;
|
|
|
|
|
}
|
2011-10-30 05:19:41 +00:00
|
|
|
|
|
2016-02-13 06:37:19 +00:00
|
|
|
|
|
2016-02-16 16:39:39 +00:00
|
|
|
|
ValuesRowInputStream::ValuesRowInputStream(ReadBuffer & istr_, const Context & context_)
|
|
|
|
|
: istr(istr_), context(context_)
|
2011-10-30 05:19:41 +00:00
|
|
|
|
{
|
2016-06-23 19:39:20 +00:00
|
|
|
|
/// In this format, BOM at beginning of stream cannot be confused with value, so it is safe to skip it.
|
|
|
|
|
skipBOMIfExists(istr);
|
2011-10-30 05:19:41 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2016-02-16 16:39:39 +00:00
|
|
|
|
bool ValuesRowInputStream::read(Block & block)
|
2011-10-30 05:19:41 +00:00
|
|
|
|
{
|
2016-02-16 16:39:39 +00:00
|
|
|
|
size_t size = block.columns();
|
2011-10-30 05:19:41 +00:00
|
|
|
|
|
|
|
|
|
skipWhitespaceIfAny(istr);
|
|
|
|
|
|
2012-05-21 06:49:05 +00:00
|
|
|
|
if (istr.eof() || *istr.position() == ';')
|
2013-01-07 00:57:43 +00:00
|
|
|
|
return false;
|
2012-05-21 06:49:05 +00:00
|
|
|
|
|
2016-02-13 06:37:19 +00:00
|
|
|
|
/** Как правило, это обычный формат для потокового парсинга.
|
|
|
|
|
* Но в качестве исключения, поддерживается также обработка произвольных выражений вместо значений.
|
|
|
|
|
* Это очень неэффективно. Но если выражений нет, то оверхед отсутствует.
|
|
|
|
|
*/
|
|
|
|
|
ParserExpressionWithOptionalAlias parser(false);
|
|
|
|
|
|
2016-02-07 08:42:21 +00:00
|
|
|
|
assertChar('(', istr);
|
|
|
|
|
|
2011-10-30 05:19:41 +00:00
|
|
|
|
for (size_t i = 0; i < size; ++i)
|
|
|
|
|
{
|
|
|
|
|
skipWhitespaceIfAny(istr);
|
2016-02-07 08:42:21 +00:00
|
|
|
|
|
2016-02-13 06:37:19 +00:00
|
|
|
|
char * prev_istr_position = istr.position();
|
|
|
|
|
size_t prev_istr_bytes = istr.count() - istr.offset();
|
|
|
|
|
|
2016-02-16 16:39:39 +00:00
|
|
|
|
auto & col = block.unsafeGetByPosition(i);
|
|
|
|
|
|
|
|
|
|
bool rollback_on_exception = false;
|
2016-02-13 06:37:19 +00:00
|
|
|
|
try
|
|
|
|
|
{
|
2016-02-16 16:39:39 +00:00
|
|
|
|
col.type.get()->deserializeTextQuoted(*col.column.get(), istr);
|
|
|
|
|
rollback_on_exception = true;
|
2016-02-13 06:37:19 +00:00
|
|
|
|
skipWhitespaceIfAny(istr);
|
|
|
|
|
|
|
|
|
|
if (i != size - 1)
|
|
|
|
|
assertChar(',', istr);
|
|
|
|
|
else
|
|
|
|
|
assertChar(')', istr);
|
|
|
|
|
}
|
|
|
|
|
catch (const Exception & e)
|
|
|
|
|
{
|
|
|
|
|
/** Обычный потоковый парсер не смог распарсить значение.
|
|
|
|
|
* Попробуем распарсить его SQL-парсером как константное выражение.
|
|
|
|
|
* Это исключительный случай.
|
|
|
|
|
*/
|
|
|
|
|
if (e.code() == ErrorCodes::CANNOT_PARSE_INPUT_ASSERTION_FAILED
|
|
|
|
|
|| e.code() == ErrorCodes::CANNOT_PARSE_QUOTED_STRING
|
|
|
|
|
|| e.code() == ErrorCodes::CANNOT_PARSE_DATE
|
|
|
|
|
|| e.code() == ErrorCodes::CANNOT_PARSE_DATETIME
|
|
|
|
|
|| e.code() == ErrorCodes::CANNOT_READ_ARRAY_FROM_TEXT
|
|
|
|
|
|| e.code() == ErrorCodes::CANNOT_PARSE_DATE)
|
|
|
|
|
{
|
|
|
|
|
/// TODO Работоспособность, если выражение не помещается целиком до конца буфера.
|
|
|
|
|
|
|
|
|
|
/// Если начало значения уже не лежит в буфере.
|
|
|
|
|
if (istr.count() - istr.offset() != prev_istr_bytes)
|
|
|
|
|
throw;
|
|
|
|
|
|
2016-02-16 16:39:39 +00:00
|
|
|
|
if (rollback_on_exception)
|
|
|
|
|
col.column.get()->popBack(1);
|
|
|
|
|
|
|
|
|
|
IDataType & type = *block.getByPosition(i).type;
|
|
|
|
|
|
2016-02-13 06:37:19 +00:00
|
|
|
|
IParser::Pos pos = prev_istr_position;
|
|
|
|
|
|
|
|
|
|
Expected expected = "";
|
|
|
|
|
IParser::Pos max_parsed_pos = pos;
|
|
|
|
|
|
|
|
|
|
ASTPtr ast;
|
|
|
|
|
if (!parser.parse(pos, istr.buffer().end(), ast, max_parsed_pos, expected))
|
2016-02-16 16:39:39 +00:00
|
|
|
|
throw Exception("Cannot parse expression of type " + type.getName() + " here: "
|
2016-02-13 06:37:19 +00:00
|
|
|
|
+ String(prev_istr_position, std::min(SHOW_CHARS_ON_SYNTAX_ERROR, istr.buffer().end() - prev_istr_position)),
|
|
|
|
|
ErrorCodes::SYNTAX_ERROR);
|
|
|
|
|
|
|
|
|
|
istr.position() = const_cast<char *>(max_parsed_pos);
|
|
|
|
|
|
2016-02-16 16:39:39 +00:00
|
|
|
|
Field value = convertFieldToType(evaluateConstantExpression(ast, context), type);
|
2016-02-13 06:37:19 +00:00
|
|
|
|
|
2016-02-16 16:39:39 +00:00
|
|
|
|
if (value.isNull())
|
2016-09-20 13:51:45 +00:00
|
|
|
|
{
|
|
|
|
|
/// Check that we are indeed allowed to insert a NULL.
|
|
|
|
|
bool is_null_allowed = false;
|
|
|
|
|
|
|
|
|
|
if (type.isNullable())
|
|
|
|
|
is_null_allowed = true;
|
|
|
|
|
else
|
|
|
|
|
{
|
|
|
|
|
/// XXX For now we support only one level of null values, i.e.
|
|
|
|
|
/// XXX there are not yet such things as Array(Nullable(Array(Nullable(T))).
|
|
|
|
|
/// XXX Therefore the code below is valid.
|
|
|
|
|
const auto array_type = typeid_cast<const DataTypeArray *>(&type);
|
|
|
|
|
if (array_type != nullptr)
|
|
|
|
|
{
|
|
|
|
|
const auto & nested_type = array_type->getMostNestedType();
|
|
|
|
|
if (nested_type->isNullable())
|
|
|
|
|
is_null_allowed = true;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if (!is_null_allowed)
|
|
|
|
|
throw Exception{"Expression returns value " + apply_visitor(FieldVisitorToString(), value)
|
|
|
|
|
+ ", that is out of range of type " + type.getName()
|
|
|
|
|
+ ", at: " + String(prev_istr_position, std::min(SHOW_CHARS_ON_SYNTAX_ERROR, istr.buffer().end() - prev_istr_position)),
|
|
|
|
|
ErrorCodes::VALUE_IS_OUT_OF_RANGE_OF_DATA_TYPE};
|
|
|
|
|
}
|
2016-02-13 06:37:19 +00:00
|
|
|
|
|
2016-02-16 16:39:39 +00:00
|
|
|
|
col.column->insert(value);
|
|
|
|
|
|
2016-02-13 06:37:19 +00:00
|
|
|
|
skipWhitespaceIfAny(istr);
|
|
|
|
|
|
|
|
|
|
if (i != size - 1)
|
|
|
|
|
assertChar(',', istr);
|
|
|
|
|
else
|
|
|
|
|
assertChar(')', istr);
|
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
throw;
|
|
|
|
|
}
|
|
|
|
|
}
|
2011-10-30 05:19:41 +00:00
|
|
|
|
|
|
|
|
|
skipWhitespaceIfAny(istr);
|
|
|
|
|
if (!istr.eof() && *istr.position() == ',')
|
|
|
|
|
++istr.position();
|
|
|
|
|
|
2013-01-07 00:57:43 +00:00
|
|
|
|
return true;
|
2011-10-30 05:19:41 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
}
|