summaryrefslogtreecommitdiffstats
path: root/yql/essentials/sql/v1/complete/analysis/global/function.cpp
blob: 017d42494ef0b5cd0d31f4eaae0e4a3cd5c429e2 (plain) (blame)
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 "function.h"

#include "evaluate.h"
#include "narrowing_visitor.h"
#include "use.h"

#include <library/cpp/iterator/enumerate.h>

namespace NSQLComplete {

namespace {

class TVisitor: public TSQLv1NarrowingVisitor {
public:
    TVisitor(const TParsedInput& input, const TNamedNodes* nodes)
        : TSQLv1NarrowingVisitor(input)
        , Nodes_(nodes)
    {
    }

    std::any visit(antlr4::tree::ParseTree* tree) override {
        if (IsEnclosing(tree)) {
            return TSQLv1NarrowingVisitor::visit(tree);
        }
        return {};
    }

    std::any visitTable_ref(SQLv1::Table_refContext* ctx) override {
        auto* function = ctx->an_id_expr();
        auto* lparen = ctx->TOKEN_LPAREN();
        if (function == nullptr || lparen == nullptr) {
            return {};
        }
        if (CursorPosition() <= TextInterval(lparen).b) {
            return {};
        }

        TMaybe<TFunctionContext> context = GetFunction(ctx, *Nodes_);
        if (!context) {
            return {};
        }

        const size_t argN = ArgumentNumber(ctx).GetOrElse(0);
        context->ArgumentNumber = argN;
        context->Arg0 = (argN != 0) ? context->Arg0 : Nothing();
        context->Arg1 = (argN != 1) ? context->Arg1 : Nothing();
        return *context;
    }

private:
    TMaybe<size_t> ArgumentNumber(SQLv1::Table_refContext* ctx) const {
        for (auto [i, arg] : Enumerate(ctx->table_arg())) {
            if (IsEnclosing(arg)) {
                return i;
            }
        }
        return Nothing();
    }

    const TNamedNodes* Nodes_;
};

TMaybe<TString> GetArgument(size_t index, SQLv1::Table_refContext* ctx, const TNamedNodes& nodes) {
    auto* table_arg = ctx->table_arg(index);
    if (!table_arg) {
        return Nothing();
    }

    auto* named_expr = table_arg->named_expr();
    if (!named_expr) {
        return Nothing();
    }

    return ToObjectRef(PartiallyEvaluate(named_expr, nodes));
}

TMaybe<TClusterContext> GetCluster(SQLv1::Table_refContext* ctx, const TNamedNodes& nodes) {
    auto* cluster_expr = ctx->cluster_expr();
    if (!cluster_expr) {
        return Nothing();
    }

    return ParseClusterContext(cluster_expr, nodes);
}

} // namespace

TMaybe<TFunctionContext> EnclosingFunction(TParsedInput input, const TNamedNodes& nodes) {
    std::any result = TVisitor(input, &nodes).visit(input.SqlQuery);
    if (!result.has_value()) {
        return Nothing();
    }
    return std::any_cast<TFunctionContext>(result);
}

TMaybe<TFunctionContext> GetFunction(SQLv1::Table_refContext* ctx, const TNamedNodes& nodes) {
    auto* function = ctx->an_id_expr();
    auto* lparen = ctx->TOKEN_LPAREN();
    if (function == nullptr || lparen == nullptr) {
        return Nothing();
    }

    return TFunctionContext{
        .Name = function->getText(),
        .ArgumentNumber = 0,
        .Arg0 = GetArgument(0, ctx, nodes),
        .Arg1 = GetArgument(1, ctx, nodes),
        .Cluster = GetCluster(ctx, nodes),
    };
}

} // namespace NSQLComplete