mirror of
https://gitee.com/milvus-io/milvus.git
synced 2026-01-07 19:31:51 +08:00
issue: https://github.com/milvus-io/milvus/issues/46517 ref: https://github.com/milvus-io/milvus/issues/42148 This PR supports match operator family with struct array and brute force search only. <!-- This is an auto-generated comment: release notes by coderabbit.ai --> - Core invariant: match operators only target struct-array element-level predicates and assume callers provide a correct row_start so element indices form a contiguous range; IArrayOffsets implementations convert row-level bitmaps/rows (starting at row_start) into element-level bitmaps or a contiguous element-offset vector used by brute-force evaluation. - New capability added: end-to-end support for MATCH_* semantics (match_any, match_all, match_least, match_most, match_exact) — parser (grammar + proto), planner (ParseMatchExprs), expr model (expr::MatchExpr), compilation (Expr→PhyMatchFilterExpr), execution (PhyMatchFilterExpr::Eval uses element offsets/bitmaps), and unit tests (MatchExprTest + parser tests). Implementation currently works for struct-array inputs and uses brute-force element counting via RowBitsetToElementOffsets/RowBitsetToElementBitset. - Logic removed or simplified and why: removed the ad-hoc DocBitsetToElementOffsets helper and consolidated offset/bitset derivation into IArrayOffsets::RowBitsetToElementOffsets and a row_start-aware RowBitsetToElementBitset, and removed EvalCtx overloads that embedded ExprSet (now EvalCtx(exec_ctx, offset_input)). This centralizes array-layout logic in ArrayOffsets and removes duplicated offset conversion and EvalCtx variants that were redundant for element-level evaluation. - No data loss / no behavior regression: persistent formats are unchanged (no proto storage or on-disk layout changed); callers were updated to supply row_start and now route through the centralized ArrayOffsets APIs which still use the authoritative row_to_element_start_ mapping, preserving exact element index mappings. Eval logic changes are limited to in-memory plumbing (how offsets/bitmaps are produced and how EvalCtx is constructed); expression evaluation still invokes exprs_->Eval where needed, so existing behavior and stored data remain intact. <!-- end of auto-generated comment: release notes by coderabbit.ai --> --------- Signed-off-by: SpadeA <tangchenjie1210@gmail.com> Signed-off-by: SpadeA-Tang <tangchenjie1210@gmail.com>
178 lines
6.3 KiB
Go
178 lines
6.3 KiB
Go
// Code generated from Plan.g4 by ANTLR 4.13.2. DO NOT EDIT.
|
|
|
|
package planparserv2 // Plan
|
|
import "github.com/antlr4-go/antlr/v4"
|
|
|
|
// A complete Visitor for a parse tree produced by PlanParser.
|
|
type PlanVisitor interface {
|
|
antlr.ParseTreeVisitor
|
|
|
|
// Visit a parse tree produced by PlanParser#String.
|
|
VisitString(ctx *StringContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#MatchAny.
|
|
VisitMatchAny(ctx *MatchAnyContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#Floating.
|
|
VisitFloating(ctx *FloatingContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#IsNotNull.
|
|
VisitIsNotNull(ctx *IsNotNullContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#Identifier.
|
|
VisitIdentifier(ctx *IdentifierContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#STIntersects.
|
|
VisitSTIntersects(ctx *STIntersectsContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#Like.
|
|
VisitLike(ctx *LikeContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#Equality.
|
|
VisitEquality(ctx *EqualityContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#Boolean.
|
|
VisitBoolean(ctx *BooleanContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#Shift.
|
|
VisitShift(ctx *ShiftContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#TimestamptzCompareForward.
|
|
VisitTimestamptzCompareForward(ctx *TimestamptzCompareForwardContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#ReverseRange.
|
|
VisitReverseRange(ctx *ReverseRangeContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#EmptyArray.
|
|
VisitEmptyArray(ctx *EmptyArrayContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#PhraseMatch.
|
|
VisitPhraseMatch(ctx *PhraseMatchContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#MatchLeast.
|
|
VisitMatchLeast(ctx *MatchLeastContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#ArrayLength.
|
|
VisitArrayLength(ctx *ArrayLengthContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#STTouches.
|
|
VisitSTTouches(ctx *STTouchesContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#Term.
|
|
VisitTerm(ctx *TermContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#JSONContains.
|
|
VisitJSONContains(ctx *JSONContainsContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#STWithin.
|
|
VisitSTWithin(ctx *STWithinContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#Range.
|
|
VisitRange(ctx *RangeContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#MatchAll.
|
|
VisitMatchAll(ctx *MatchAllContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#STIsValid.
|
|
VisitSTIsValid(ctx *STIsValidContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#BitXor.
|
|
VisitBitXor(ctx *BitXorContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#ElementFilter.
|
|
VisitElementFilter(ctx *ElementFilterContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#BitAnd.
|
|
VisitBitAnd(ctx *BitAndContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#STOverlaps.
|
|
VisitSTOverlaps(ctx *STOverlapsContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#MatchMost.
|
|
VisitMatchMost(ctx *MatchMostContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#JSONIdentifier.
|
|
VisitJSONIdentifier(ctx *JSONIdentifierContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#RandomSample.
|
|
VisitRandomSample(ctx *RandomSampleContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#Parens.
|
|
VisitParens(ctx *ParensContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#MatchExact.
|
|
VisitMatchExact(ctx *MatchExactContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#JSONContainsAll.
|
|
VisitJSONContainsAll(ctx *JSONContainsAllContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#LogicalOr.
|
|
VisitLogicalOr(ctx *LogicalOrContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#MulDivMod.
|
|
VisitMulDivMod(ctx *MulDivModContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#LogicalAnd.
|
|
VisitLogicalAnd(ctx *LogicalAndContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#TemplateVariable.
|
|
VisitTemplateVariable(ctx *TemplateVariableContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#TimestamptzCompareReverse.
|
|
VisitTimestamptzCompareReverse(ctx *TimestamptzCompareReverseContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#STDWithin.
|
|
VisitSTDWithin(ctx *STDWithinContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#Call.
|
|
VisitCall(ctx *CallContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#STCrosses.
|
|
VisitSTCrosses(ctx *STCrossesContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#BitOr.
|
|
VisitBitOr(ctx *BitOrContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#AddSub.
|
|
VisitAddSub(ctx *AddSubContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#Relational.
|
|
VisitRelational(ctx *RelationalContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#TextMatch.
|
|
VisitTextMatch(ctx *TextMatchContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#STContains.
|
|
VisitSTContains(ctx *STContainsContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#Unary.
|
|
VisitUnary(ctx *UnaryContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#Integer.
|
|
VisitInteger(ctx *IntegerContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#Array.
|
|
VisitArray(ctx *ArrayContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#JSONContainsAny.
|
|
VisitJSONContainsAny(ctx *JSONContainsAnyContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#Exists.
|
|
VisitExists(ctx *ExistsContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#STEuqals.
|
|
VisitSTEuqals(ctx *STEuqalsContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#IsNull.
|
|
VisitIsNull(ctx *IsNullContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#StructSubField.
|
|
VisitStructSubField(ctx *StructSubFieldContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#Power.
|
|
VisitPower(ctx *PowerContext) interface{}
|
|
|
|
// Visit a parse tree produced by PlanParser#textMatchOption.
|
|
VisitTextMatchOption(ctx *TextMatchOptionContext) interface{}
|
|
}
|