1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
|
#include "check_runner.h"
#include <yql/essentials/sql/v1/format/sql_format.h>
#include <yql/essentials/sql/v1/lexer/antlr4/lexer.h>
#include <yql/essentials/sql/v1/lexer/antlr4_ansi/lexer.h>
#include <yql/essentials/sql/v1/proto_parser/antlr4/proto_parser.h>
#include <yql/essentials/sql/v1/proto_parser/antlr4_ansi/proto_parser.h>
#include <util/string/builder.h>
namespace NYql {
namespace NFastCheck {
namespace {
constexpr size_t FormatContextLimit = 100;
class TFormatRunner : public ICheckRunner {
public:
TString GetCheckName() const final {
return "format";
}
TCheckResponse Run(const TChecksRequest& request) final {
switch (request.Syntax) {
case ESyntax::SExpr:
return RunSExpr(request);
case ESyntax::PG:
return RunPg(request);
case ESyntax::YQL:
return RunYql(request);
}
}
private:
TCheckResponse RunSExpr(const TChecksRequest& request) {
Y_UNUSED(request);
// no separate check for format here
return TCheckResponse{.CheckName = GetCheckName(), .Success = true};
}
TCheckResponse RunPg(const TChecksRequest& request) {
Y_UNUSED(request);
// no separate check for format here
return TCheckResponse{.CheckName = GetCheckName(), .Success = true};
}
TCheckResponse RunYql(const TChecksRequest& request) {
TCheckResponse res {.CheckName = GetCheckName()};
if (request.SyntaxVersion != 1) {
res.Issues.AddIssue(TIssue({}, "Only SyntaxVersion 1 is supported"));
return res;
}
google::protobuf::Arena arena;
NSQLTranslation::TTranslationSettings settings;
settings.Arena = &arena;
settings.File = request.File;
settings.Antlr4Parser = true;
settings.AnsiLexer = request.IsAnsiLexer;
NSQLTranslationV1::TLexers lexers;
lexers.Antlr4 = NSQLTranslationV1::MakeAntlr4LexerFactory();
lexers.Antlr4Ansi = NSQLTranslationV1::MakeAntlr4AnsiLexerFactory();
NSQLTranslationV1::TParsers parsers;
parsers.Antlr4 = NSQLTranslationV1::MakeAntlr4ParserFactory();
parsers.Antlr4Ansi = NSQLTranslationV1::MakeAntlr4AnsiParserFactory();
auto formatter = NSQLFormat::MakeSqlFormatter(lexers, parsers, settings);
TString formattedQuery;
res.Success = formatter->Format(request.Program, formattedQuery, res.Issues);
if (res.Success && formattedQuery != request.Program) {
res.Success = false;
TPosition origPos(0, 1, request.File);
TTextWalker origWalker(origPos, true);
size_t i = 0;
for (; i < Min(request.Program.size(), formattedQuery.size()); ++i) {
if (request.Program[i] == formattedQuery[i]) {
origWalker.Advance(request.Program[i]);
continue;
}
while (i > 0 && TTextWalker::IsUtf8Intermediate(request.Program[i])) {
--i;
}
break;
}
TString formattedSample = formattedQuery.substr(i, FormatContextLimit);
while (!formattedSample.empty() && TTextWalker::IsUtf8Intermediate(formattedQuery.back())) {
formattedSample.erase(formattedSample.size() - 1);
}
TString origSample = request.Program.substr(i, FormatContextLimit);
while (!origSample.empty() && TTextWalker::IsUtf8Intermediate(origSample.back())) {
origSample.erase(origSample.size() - 1);
}
res.Issues.AddIssue(TIssue(origPos, TStringBuilder() <<
"Format mismatch, expected:\n" << formattedSample << "\nbut got:\n" << origSample));
}
return res;
}
};
}
std::unique_ptr<ICheckRunner> MakeFormatRunner() {
return std::make_unique<TFormatRunner>();
}
}
}
|
