* Get all distinct node names (lightweight — just name strings for pre-filtering)
()
| 2147 | * Get all distinct node names (lightweight — just name strings for pre-filtering) |
| 2148 | */ |
| 2149 | getAllNodeNames(): string[] { |
| 2150 | if (!this.stmts.getAllNodeNames) { |
| 2151 | this.stmts.getAllNodeNames = this.db.prepare('SELECT DISTINCT name FROM nodes'); |
| 2152 | } |
| 2153 | const rows = this.stmts.getAllNodeNames.all() as Array<{ name: string }>; |
| 2154 | return rows.map((r) => r.name); |
| 2155 | } |
| 2156 | |
| 2157 | /** |
| 2158 | * Stream the distinct node names one row at a time — the incremental |
no test coverage detected