-
Notifications
You must be signed in to change notification settings - Fork 0
/
indexed_vars.go
240 lines (211 loc) · 7.77 KB
/
indexed_vars.go
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
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
// Copyright 2016 The Cockroach Authors.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
// implied. See the License for the specific language governing
// permissions and limitations under the License.
//
// Author: Radu Berinde (radu@cockroachlabs.com)
package parser
import (
"bytes"
"fmt"
"github.com/pkg/errors"
)
// IndexedVarContainer provides the implementation of TypeCheck, Eval, and
// String for IndexedVars.
// If an object that wishes to implement this interface has lost the
// textual name that an IndexedVar originates from, it can use the
// ordinal column reference syntax: fmt.Fprintf(buf, "@%d", idx)
type IndexedVarContainer interface {
IndexedVarEval(idx int, ctx *EvalContext) (Datum, error)
IndexedVarResolvedType(idx int) Type
IndexedVarFormat(buf *bytes.Buffer, f FmtFlags, idx int)
}
// IndexedVar is a VariableExpr that can be used as a leaf in expressions; it
// represents a dynamic value. It defers calls to TypeCheck, Eval, String to an
// IndexedVarContainer.
type IndexedVar struct {
Idx int
container IndexedVarContainer
}
var _ TypedExpr = &IndexedVar{}
var _ VariableExpr = &IndexedVar{}
// Variable is a dummy function part of the VariableExpr interface.
func (*IndexedVar) Variable() {}
// Walk is part of the Expr interface.
func (v *IndexedVar) Walk(_ Visitor) Expr {
return v
}
// TypeCheck is part of the Expr interface.
func (v *IndexedVar) TypeCheck(_ *SemaContext, desired Type) (TypedExpr, error) {
if v.container == nil {
// A more technically correct message would be to say that the
// reference is unbound and thus cannot be typed. However this is
// a tad bit too technical for the average SQL use case and
// instead we acknowledge that we only get here if someone has
// used a column reference in a place where it's not allowed by
// the docs, so just say that instead.
return nil, errors.Errorf("column reference %s not allowed in this context", v)
}
return v, nil
}
// Eval is part of the TypedExpr interface.
func (v *IndexedVar) Eval(ctx *EvalContext) (Datum, error) {
if v.container == nil {
panic("indexed var must be bound to a container before evaluation")
}
return v.container.IndexedVarEval(v.Idx, ctx)
}
// ResolvedType is part of the TypedExpr interface.
func (v *IndexedVar) ResolvedType() Type {
if v.container == nil {
panic("indexed var must be bound to a container before type resolution")
}
return v.container.IndexedVarResolvedType(v.Idx)
}
// Format implements the NodeFormatter interface.
func (v *IndexedVar) Format(buf *bytes.Buffer, f FmtFlags) {
if f.indexedVarFormat != nil {
f.indexedVarFormat(buf, f, v.container, v.Idx)
} else if f.symbolicVars || v.container == nil {
fmt.Fprintf(buf, "@%d", v.Idx+1)
} else {
v.container.IndexedVarFormat(buf, f, v.Idx)
}
}
// NewOrdinalReference is a helper routine to create a standalone
// IndexedVar with the given index value. This needs to undergo
// BindIfUnbound() below before it can be fully used.
func NewOrdinalReference(r int) *IndexedVar {
return &IndexedVar{Idx: r, container: nil}
}
// IndexedVarHelper wraps an IndexedVarContainer (an interface) and creates
// IndexedVars bound to that container.
//
// It also keeps track of which indexes from the container are used by
// expressions.
type IndexedVarHelper struct {
vars []IndexedVar
container IndexedVarContainer
}
// BindIfUnbound attaches an IndexedVar to an existing container.
// This is needed for standalone column ordinals created during parsing.
func (h *IndexedVarHelper) BindIfUnbound(ivar *IndexedVar) error {
if ivar.container != nil {
return nil
}
if ivar.Idx < 0 || ivar.Idx >= len(h.vars) {
return errors.Errorf("invalid column ordinal: @%d", ivar.Idx+1)
}
// This container must also remember it has "seen" the variable
// so that IndexedVarUsed() below returns the right results.
// The IndexedVar() method ensures this.
*ivar = *h.IndexedVar(ivar.Idx)
return nil
}
// MakeIndexedVarHelper initializes an IndexedVarHelper structure.
func MakeIndexedVarHelper(container IndexedVarContainer, numVars int) IndexedVarHelper {
return IndexedVarHelper{vars: make([]IndexedVar, numVars), container: container}
}
// AssertSameContainer checks that the indexed var refers to the same container.
func (h *IndexedVarHelper) AssertSameContainer(ivar *IndexedVar) {
if ivar.container != h.container {
panic(fmt.Sprintf("indexed var linked to different container (%T) %+v, expected (%T) %+v",
ivar.container, ivar.container, h.container, h.container))
}
}
// AppendSlot expands the capacity of this IndexedVarHelper by one and returns
// the index of the new slot.
func (h *IndexedVarHelper) AppendSlot() int {
h.vars = append(h.vars, IndexedVar{})
return len(h.vars) - 1
}
func (h *IndexedVarHelper) checkIndex(idx int) {
if idx < 0 || idx >= len(h.vars) {
panic(fmt.Sprintf("invalid var index %d (columns: %d)", idx, len(h.vars)))
}
}
// NumVars returns the number of variables the IndexedVarHelper was initialized
// for.
func (h *IndexedVarHelper) NumVars() int {
return len(h.vars)
}
// IndexedVar returns an IndexedVar for the given index. The index must be
// valid.
func (h *IndexedVarHelper) IndexedVar(idx int) *IndexedVar {
h.checkIndex(idx)
v := &h.vars[idx]
if v.container == nil {
v.Idx = idx
v.container = h.container
}
return v
}
// IndexedVarUsed returns true if IndexedVar() was called for the given index.
// The index must be valid.
func (h *IndexedVarHelper) IndexedVarUsed(idx int) bool {
h.checkIndex(idx)
return h.vars[idx].container != nil
}
// InvalidColIdx is the index value of a non-initialized IndexedVar.
const InvalidColIdx = -1
// GetIndexedVars transfers ownership of the array of initialized
// IndexedVars to the caller; unused vars are guaranteed to have an
// invalid index. The helper cannot be used any more after the
// ownership has been transferred.
func (h *IndexedVarHelper) GetIndexedVars() []IndexedVar {
for i := range h.vars {
if h.vars[i].container == nil {
h.vars[i].Idx = InvalidColIdx
}
}
ret := h.vars
h.vars = nil
return ret
}
// Reset re-initializes an IndexedVarHelper structure with the same
// number of slots. After a helper has been reset, all the expressions
// that were linked to the helper before it was reset must be
// re-bound, e.g. using Rebind(). Resetting is useful to ensure that
// the helper's knowledge of which IndexedVars are actually used by
// linked expressions is up to date, especially after
// optimizations/transforms which eliminate sub-expressions. The
// optimizations performed by setNeededColumns() work then best.
//
// TODO(knz): groupNode and windowNode hold on to IndexedVar's after a Reset().
func (h *IndexedVarHelper) Reset() {
h.vars = make([]IndexedVar, len(h.vars))
}
// Rebind collects all the IndexedVars in the given expression
// and re-binds them to this helper.
func (h *IndexedVarHelper) Rebind(expr TypedExpr, alsoReset, normalizeToNonNil bool) TypedExpr {
if alsoReset {
h.Reset()
}
if expr == nil || expr == DBoolTrue {
if normalizeToNonNil {
return DBoolTrue
}
return nil
}
ret, _ := WalkExpr(h, expr)
return ret.(TypedExpr)
}
var _ Visitor = &IndexedVarHelper{}
// VisitPre implements the Visitor interface.
func (h *IndexedVarHelper) VisitPre(expr Expr) (recurse bool, newExpr Expr) {
if iv, ok := expr.(*IndexedVar); ok {
return false, h.IndexedVar(iv.Idx)
}
return true, expr
}
// VisitPost implements the Visitor interface.
func (*IndexedVarHelper) VisitPost(expr Expr) Expr { return expr }