LazilyTransformingAstService
Class
Manages lazy application of formula AST transformations.
Problem
Section titled “Problem”Structural operations (adding/removing rows/columns, moving cells, renaming sheets) require updating every formula that references the affected area. Applying these transformations eagerly to all formulas after every operation is expensive, especially for large spreadsheets with many formulas.
Solution: Lazy Transformation
Section titled “Solution: Lazy Transformation”Instead of transforming all formulas immediately, this service stores transformations
in a queue. Each formula vertex (FormulaVertex) and column index entry (ValueIndex)
tracks its own version number. When a consumer needs up-to-date data, it calls
applyTransformations() with its current version and receives all transformations
accumulated since that version.
Compaction
Section titled “Compaction”Over time, the transformations array grows unboundedly. To prevent this memory leak,
the engine periodically triggers compaction when the number of accumulated
transformations reaches the configurable maxPendingLazyTransformations:
- All FormulaVertex instances are forced to apply pending transformations
(via
DependencyGraph.forceApplyPostponedTransformations()). - All ColumnIndex entries are forced to apply pending transformations
(via
ColumnSearchStrategy.forceApplyPostponedTransformations()). compact()is called, which advancesversionOffsetand clears the transformations array.UndoRedo.cleanupOrphanedOldData()removes any oldData entries that were written during forced application but belong to already-evicted undo entries.
The versionOffset ensures that version numbers remain globally consistent
after compaction: version() = versionOffset + transformations.length.
Constructors
Section titled “Constructors”constructor
Section titled “constructor”+ new LazilyTransformingAstService(stats: Statistics, maxPendingLazyTransformations: number): LazilyTransformingAstService
Defined in hyperformula/src/LazilyTransformingAstService.ts:61
Parameters:
| Name | Type |
|---|---|
stats |
Statistics |
maxPendingLazyTransformations |
number |
Returns: LazilyTransformingAstService
Properties
Section titled “Properties”parser
Section titled “parser”Optional
• parser? : ParserWithCaching
Defined in hyperformula/src/LazilyTransformingAstService.ts:56
undoRedo
Section titled “undoRedo”Optional
• undoRedo? : UndoRedo
Defined in hyperformula/src/LazilyTransformingAstService.ts:57
Methods
Section titled “Methods”addTransformation
Section titled “addTransformation”▸ addTransformation(transformation: FormulaTransformer): number
Defined in hyperformula/src/LazilyTransformingAstService.ts:73
Parameters:
| Name | Type |
|---|---|
transformation |
FormulaTransformer |
Returns: number
applyTransformations
Section titled “applyTransformations”▸ applyTransformations(ast: Ast, address: SimpleCellAddress, version: number): [Ast, SimpleCellAddress, number]
Defined in hyperformula/src/LazilyTransformingAstService.ts:95
Parameters:
| Name | Type |
|---|---|
ast |
Ast |
address |
SimpleCellAddress |
version |
number |
Returns: [Ast, SimpleCellAddress, number]
applyTransformationsToAddress
Section titled “applyTransformationsToAddress”▸ applyTransformationsToAddress(address: SimpleCellAddress, version: number): Maybe‹SimpleCellAddress›
Defined in hyperformula/src/LazilyTransformingAstService.ts:136
Replays stored transformations over a bare address that carries no formula.
applyTransformations above does the same walk for a formula vertex, which owns an AST and so
also records undo data as it goes. A value has no AST to record, and the vertex that owns the
formula still writes its own undo entry when it catches up, so this walk deliberately records
nothing. It reuses each transformation’s own transformSingleAst with an empty node rather
than reaching for fixNodeAddress, because two transformers do more than shift coordinates:
MoveCellsTransformer only moves an address that lies inside the range being moved, and that
decision lives in transformSingleAst, not in fixNodeAddress.
Returns undefined when the stamp predates the last compaction. Compaction brings every
vertex up to date before it discards transformations, but a CellError cached inside a
vertex’s value is not a vertex and is never brought up to date, so its version can fall behind
versionOffset. The transformations needed to move the address are gone by then, and naming
some other cell is worse than naming none.
Parameters:
| Name | Type | Description |
|---|---|---|
address |
SimpleCellAddress | the address as it was at version |
version |
number | the version the address was current at |
Returns: Maybe‹SimpleCellAddress›
beginCombinedMode
Section titled “beginCombinedMode”▸ beginCombinedMode(sheet: number): void
Defined in hyperformula/src/LazilyTransformingAstService.ts:82
Parameters:
| Name | Type |
|---|---|
sheet |
number |
Returns: void
commitCombinedMode
Section titled “commitCombinedMode”▸ commitCombinedMode(): number
Defined in hyperformula/src/LazilyTransformingAstService.ts:86
Returns: number
compact
Section titled “compact”▸ compact(): void
Defined in hyperformula/src/LazilyTransformingAstService.ts:175
Compacts the transformations array by discarding all entries that have already been applied by every consumer. Safe to call only after all FormulaVertex and ColumnIndex consumers have been brought up to the current version. After calling, UndoRedo.cleanupOrphanedOldData() must be invoked to remove oldData entries written during forceApplyPostponedTransformations for already-evicted undo entries.
Returns: void
getTransformationsFrom
Section titled “getTransformationsFrom”▸ getTransformationsFrom(version: number, filter?: undefined | function): IterableIterator‹FormulaTransformer›
Defined in hyperformula/src/LazilyTransformingAstService.ts:149
Parameters:
| Name | Type |
|---|---|
version |
number |
filter? |
undefined | function |
Returns: IterableIterator‹FormulaTransformer›
needsCompaction
Section titled “needsCompaction”▸ needsCompaction(): boolean
Defined in hyperformula/src/LazilyTransformingAstService.ts:163
Returns true when enough transformations have accumulated to justify the cost of forcing all consumers (FormulaVertex, ColumnIndex) to apply pending changes.
Returns: boolean
version
Section titled “version”▸ version(): number
Defined in hyperformula/src/LazilyTransformingAstService.ts:69
Returns: number