Class: AttributeRenameChecker

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:28

Verifies whether renaming attributes in the plan is safe.

Extended by

• XQueryAttributeRenameChecker

Implements

• PlanVisitor<boolean, ArcDescentArgs>

Constructors

Constructor

new AttributeRenameChecker(vmap, db): AttributeRenameChecker

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:35

Parameters

Parameter	Type	Description
vmap	Record<string, PlanVisitor<boolean, ArcDescentArgs>>	Per-language visitor map used for recursive descent.
db	DortDBAsFriend	Database instance providing access to the language manager.

Returns

AttributeRenameChecker

Properties

db

protected db: DortDBAsFriend

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:39

Database instance providing access to the language manager.

---

tdepsVmap

protected tdepsVmap: Record<string, TransitiveDependencies>

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:33

Per-language TransitiveDependencies visitor map, used to detect rename conflicts.

---

vmap

protected vmap: Record<string, PlanVisitor<boolean, ArcDescentArgs>>

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:37

Per-language visitor map used for recursive descent.

Methods

canRename()

canRename(plan, renamesInv): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:48

Returns true if applying args (an inverse rename map) to plan is safe, i.e. no attribute referenced in the subtree would be ambiguously renamed.

Parameters

Parameter	Type
plan	PlanOperator
renamesInv	RenameMap

Returns

boolean

---

checkAttrs()

protected checkAttrs(attrs, verticalCtx, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:98

Verifies that none of the projection attrs has its output identifier in args (unless it is a trivial identity alias), and that all computed attr expressions pass the horizontal rename check.

Parameters

Parameter	Type
attrs	Aliased<Calculation | ASTIdentifier>[]
verticalCtx	IdSet
args	ArcDescentArgs

Returns

boolean

---

checkHorizontal()

protected checkHorizontal(horizontal, verticalCtx, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:59

Checks whether horizontal (an expression computed from the current row) can be safely renamed: its transitive dependencies outside verticalCtx must not overlap with any renamed attribute, and the expression itself must pass the rename check.

Parameters

Parameter	Type
horizontal	PlanOperator
verticalCtx	IdSet
args	ArcDescentArgs

Returns

boolean

---

checkHorizontalArray()

protected checkHorizontalArray(horizontal, verticalCtx, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:78

Calls checkHorizontal for every non-identifier element of horizontal, returning false as soon as any element fails the rename check.

Parameters

Parameter	Type
horizontal	OpOrId[]
verticalCtx	IdSet
args	ArcDescentArgs

Returns

boolean

---

checkVerticalArray()

protected checkVerticalArray(vertical, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:116

Calls the rename check for every non-identifier element of vertical (expression arguments), returning false as soon as any element fails.

Parameters

Parameter	Type
vertical	OpOrId[]
args	ArcDescentArgs

Returns

boolean

---

visitAggregate()

visitAggregate(operator, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:289

Parameters

Parameter	Type
operator	AggregateCall
args	ArcDescentArgs

Returns

boolean

Implementation of

PlanVisitor.visitAggregate

---

visitBidirectionalRecursion()

visitBidirectionalRecursion(operator, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:328

Parameters

Parameter	Type
operator	BidirectionalRecursion
args	ArcDescentArgs

Returns

boolean

Implementation of

PlanVisitor.visitBidirectionalRecursion

---

visitCalculation()

visitCalculation(operator, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:172

Parameters

Parameter	Type
operator	Calculation
args	ArcDescentArgs

Returns

boolean

Implementation of

PlanVisitor.visitCalculation

---

visitCartesianProduct()

visitCartesianProduct(operator, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:184

Parameters

Parameter	Type
operator	CartesianProduct
args	ArcDescentArgs

Returns

boolean

Implementation of

PlanVisitor.visitCartesianProduct

---

visitConditional()

visitConditional(operator, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:175

Parameters

Parameter	Type
operator	Conditional
args	ArcDescentArgs

Returns

boolean

Implementation of

PlanVisitor.visitConditional

---

visitDifference()

visitDifference(operator, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:270

Parameters

Parameter	Type
operator	Difference
args	ArcDescentArgs

Returns

boolean

Implementation of

PlanVisitor.visitDifference

---

visitDistinct()

visitDistinct(operator, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:273

Parameters

Parameter	Type
operator	Distinct
args	ArcDescentArgs

Returns

boolean

Implementation of

PlanVisitor.visitDistinct

---

visitFnCall()

visitFnCall(operator, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:163

Parameters

Parameter	Type
operator	FnCall
args	ArcDescentArgs

Returns

boolean

Implementation of

PlanVisitor.visitFnCall

---

visitGroupBy()

visitGroupBy(operator, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:238

Parameters

Parameter	Type
operator	GroupBy
args	ArcDescentArgs

Returns

boolean

Implementation of

PlanVisitor.visitGroupBy

---

visitIndexedRecursion()

visitIndexedRecursion(operator, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:314

Parameters

Parameter	Type
operator	IndexedRecursion
args	ArcDescentArgs

Returns

boolean

Implementation of

PlanVisitor.visitIndexedRecursion

---

visitIndexScan()

visitIndexScan(operator, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:311

Parameters

Parameter	Type
operator	IndexScan
args	ArcDescentArgs

Returns

boolean

Implementation of

PlanVisitor.visitIndexScan

---

visitIntersection()

visitIntersection(operator, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:264

Parameters

Parameter	Type
operator	Intersection
args	ArcDescentArgs

Returns

boolean

Implementation of

PlanVisitor.visitIntersection

---

visitItemFnSource()

visitItemFnSource(operator, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:296

Parameters

Parameter	Type
operator	ItemFnSource
args	ArcDescentArgs

Returns

boolean

Implementation of

PlanVisitor.visitItemFnSource

---

visitItemSource()

visitItemSource(operator, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:160

Parameters

Parameter	Type
operator	ItemSource
args	ArcDescentArgs

Returns

boolean

Implementation of

PlanVisitor.visitItemSource

---

visitJoin()

visitJoin(operator, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:193

Parameters

Parameter	Type
operator	Join
args	ArcDescentArgs

Returns

boolean

Implementation of

PlanVisitor.visitJoin

---

visitLimit()

visitLimit(operator, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:249

Parameters

Parameter	Type
operator	Limit
args	ArcDescentArgs

Returns

boolean

Implementation of

PlanVisitor.visitLimit

---

visitLiteral()

visitLiteral(operator, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:169

Parameters

Parameter	Type
operator	Literal
args	ArcDescentArgs

Returns

boolean

Implementation of

PlanVisitor.visitLiteral

---

visitMapFromItem()

visitMapFromItem(operator, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:214

Parameters

Parameter	Type
operator	MapFromItem
args	ArcDescentArgs

Returns

boolean

Implementation of

PlanVisitor.visitMapFromItem

---

visitMapToItem()

visitMapToItem(operator, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:211

Parameters

Parameter	Type
operator	MapToItem
args	ArcDescentArgs

Returns

boolean

Implementation of

PlanVisitor.visitMapToItem

---

visitNullSource()

visitNullSource(operator, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:286

Parameters

Parameter	Type
operator	NullSource
args	ArcDescentArgs

Returns

boolean

Implementation of

PlanVisitor.visitNullSource

---

visitOrderBy()

visitOrderBy(operator, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:229

Parameters

Parameter	Type
operator	OrderBy
args	ArcDescentArgs

Returns

boolean

Implementation of

PlanVisitor.visitOrderBy

---

visitProjection()

visitProjection(operator, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:142

Parameters

Parameter	Type
operator	Projection
args	ArcDescentArgs

Returns

boolean

Implementation of

PlanVisitor.visitProjection

---

visitProjectionConcat()

visitProjectionConcat(operator, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:202

Parameters

Parameter	Type
operator	ProjectionConcat
args	ArcDescentArgs

Returns

boolean

Implementation of

PlanVisitor.visitProjectionConcat

---

visitProjectionIndex()

visitProjectionIndex(operator, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:220

Parameters

Parameter	Type
operator	ProjectionIndex
args	ArcDescentArgs

Returns

boolean

Implementation of

PlanVisitor.visitProjectionIndex

---

visitQuantifier()

visitQuantifier(operator, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:308

Parameters

Parameter	Type
operator	Quantifier
args	ArcDescentArgs

Returns

boolean

Implementation of

PlanVisitor.visitQuantifier

---

visitRecursion()

visitRecursion(operator, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:127

Parameters

Parameter	Type
operator	Recursion
args	ArcDescentArgs

Returns

boolean

Implementation of

PlanVisitor.visitRecursion

---

visitSelection()

visitSelection(operator, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:148

Parameters

Parameter	Type
operator	Selection
args	ArcDescentArgs

Returns

boolean

Implementation of

PlanVisitor.visitSelection

---

visitSetOp()

protected visitSetOp(operator, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:252

Parameters

Parameter	Type
operator	SetOperator
args	ArcDescentArgs

Returns

boolean

---

visitTupleFnSource()

visitTupleFnSource(operator, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:302

Parameters

Parameter	Type
operator	TupleFnSource
args	ArcDescentArgs

Returns

boolean

Implementation of

PlanVisitor.visitTupleFnSource

---

visitTupleSource()

visitTupleSource(operator, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:157

Parameters

Parameter	Type
operator	TupleSource
args	ArcDescentArgs

Returns

boolean

Implementation of

PlanVisitor.visitTupleSource

---

visitUnion()

visitUnion(operator, args): boolean

Defined in: packages/core/src/visitors/attribute-rename-checker.ts:261

Parameters

Parameter	Type
operator	Union
args	ArcDescentArgs

Returns

boolean

Implementation of

PlanVisitor.visitUnion