fallow_extract/cache/types.rs
1//! Serialization types for the incremental parse cache.
2//!
3//! All types use bitcode `Encode`/`Decode` for fast binary serialization.
4
5use bitcode::{Decode, Encode};
6
7use crate::MemberKind;
8
9/// Cache version, bump when the cache format or cached extraction semantics change.
10///
11/// Bumped to 89 for issue #475: extraction now strips a leading UTF-8 BOM
12/// before hashing and computing line offsets, so pre-fix entries whose source
13/// included a BOM carry hashes over the wrong byte sequence and would
14/// fast-path into stale `member_accesses` / `exports` for any BOM-bearing
15/// file. The bump invalidates user caches once on upgrade; subsequent runs
16/// are warm.
17///
18/// Bumped to 90 for issue #540: CSS Modules class extraction now strips
19/// `@layer` and `@import` at-rule preludes before scanning class names, so
20/// pre-fix entries for `.module.css` files using nested cascade-layer syntax
21/// (`@layer foo.bar { ... }`) carry phantom `bar` / `baz` exports that the
22/// new scanner no longer produces.
23///
24/// Bumped to 91 for issue #549: CSS Modules class extraction now records a
25/// real `Span` pointing at each class's declaration position in the source.
26/// Pre-fix cache entries for `.module.css` / `.module.scss` files carry
27/// `Span::default()` (start=0, end=0) on every export, which renders every
28/// finding at line:1 col:0; the new scanner produces real offsets.
29///
30/// Bumped to 92 for issue #563: feature flag extraction recognizes additional
31/// built-in SDK providers (PostHog, Vercel Flags, Optimizely, Eppo, plus more
32/// ConfigCat surfaces) and Vercel `flag({ key: "..." })` object arguments, so
33/// pre-fix entries can carry stale `flag_uses`.
34///
35/// Bumped to 93 for issue #589: Node `module.register()` loader calls now
36/// emit `DynamicImportInfo.destructured_names` populated with the loader-hook
37/// allowlist (current `initialize` / `resolve` / `load` / `globalPreload`
38/// plus legacy `getFormat` / `getSource` / `transformSource`) for every
39/// relative or `file:` specifier, including specifiers bound via
40/// `new URL(..., import.meta.url)`. Pre-fix entries carry empty
41/// `destructured_names` for the same source, so they would silently miss
42/// the named-export credit until the file is touched.
43///
44/// Bumped to 94 for issue #586: Playwright helper fixture extraction recognizes
45/// helpers with local setup before the final `return base.extend<T>(...)`, so
46/// pre-fix entries can miss fixture definition sentinels.
47///
48/// Bumped to 95 for the Glimmer `<template>` scanner: imported-binding usage
49/// and `MemberAccess { object: "this", member }` records for `{{this.foo}}`
50/// template references are now folded into the extractor before
51/// `into_module_info`. Pre-fix entries for `.gts` / `.gjs` files omit both,
52/// so template-only imports surface as `unused-import` and template-only
53/// class members as `unused-class-member` until the cache is re-extracted.
54///
55/// Bumped to 96 for issue #640: generic JSX `<script src>` and
56/// `<link rel="stylesheet|modulepreload" href>` attributes no longer emit
57/// synthetic `SideEffect` imports, so pre-fix entries can carry stale JSX
58/// resource edges that surface as false `unresolved-imports`.
59///
60/// Bumped to 97 for issue #639: MDX import/export extraction now skips
61/// fenced Markdown code blocks, so pre-fix entries can carry stale example
62/// imports that surface as false `unresolved-imports`.
63///
64/// Bumped to 98 for issue #638: statically resolvable `child_process.fork()`
65/// targets now emit `DynamicImportInfo` entries for local runner files.
66/// Pre-fix entries omit those dynamic imports, so forked script files can be
67/// reported as unused until the file is re-extracted.
68///
69/// Bumped to 99 for issue #605: methods reached via `new Class(...).method()`
70/// receivers (direct and fluent-chain) now emit member accesses crediting the
71/// constructed class. Pre-fix entries lack those accesses, so such methods can
72/// be reported as unused class members until the file is re-extracted.
73///
74/// Bumped to 100 for issue #608: static Iconify icon strings (`icon="jam:github"`,
75/// `name="ic:round-home"`) in markup now populate `iconify_prefixes` so the
76/// `@iconify-json/<prefix>` package is credited. Pre-fix entries omit the field,
77/// so icon-set packages can be reported as unused until the file is re-extracted.
78///
79/// Bumped to 101 for issue #704: SFC template tags that match no import now
80/// populate `auto_import_candidates` for convention auto-import resolution.
81/// Pre-fix entries omit the field, so Nuxt components consumed only via template
82/// tags are not edge-credited until the file is re-extracted.
83///
84/// Bumped to 102 for issue #742: `FunctionComplexity` now carries an
85/// `Option<String> source_hash` (content digest of the function's full-span
86/// source slice) so runtime-coverage baselines survive line moves. Pre-fix
87/// cache entries lack the field, so the hash is absent until re-extraction.
88///
89/// Bumped to 103 for issue #752: typed destructure bindings
90/// (`let { resultState }: Props = $props()`, `function f({ x }: Props)`) now
91/// populate `binding_target_names`, which changes the `member_accesses` emitted
92/// for those files. Pre-fix cache entries lack the additional member accesses.
93///
94/// Bumped to 104 for issue #445: MDX, Astro, Vue/Svelte SFC, and CSS/SCSS
95/// container extraction now remaps source-authored spans back to the original
96/// file byte offsets. Pre-fix entries can carry synthetic extracted-buffer
97/// positions, so diagnostics can point at line 1 or compacted MDX lines until
98/// the file is re-extracted.
99///
100/// Bumped to 105 for issue #739: JS/TS and Vue/Svelte SFC script extraction
101/// now populates `auto_import_candidates` from unresolved value references.
102/// Pre-fix entries omit these candidates, so convention script auto-imports
103/// are not edge-credited until the file is re-extracted.
104///
105/// Bumped to 106 for `fallow security`: JS/TS extraction now stores file-level
106/// directives (`"use client"`, `"use server"`) in the parse cache so client
107/// boundary detection does not depend on stale cached module info.
108///
109/// Bumped to 107 for issue #835: Svelte `<script src>` references no longer
110/// emit synthetic imports because they are runtime markup, not bundled SFC
111/// script modules. Pre-fix entries can carry stale root-relative imports that
112/// surface as false `unresolved-imports`.
113///
114/// Bumped to 108 for three extraction-semantics changes shipping together:
115/// - issue #839: `declare` ambient class properties are no longer extracted as
116/// class members (they emit no JS and cannot be value-referenced), so pre-fix
117/// entries carry phantom members that surface as false `unused-class-member`.
118/// - issue #840: extensionless `new URL(specifier, import.meta.url)` dynamic
119/// imports now persist `is_speculative = true` so a directory target
120/// (`new URL('./services', import.meta.url)`) is silently dropped when the
121/// resolver finds no module; pre-fix entries carry `is_speculative = false`
122/// and surface as false `unresolved-imports`.
123/// - issue #845: a method call on an `instanceof`-narrowed value now emits a
124/// member access against the narrowed class, changing the persisted
125/// `member_accesses`; pre-fix entries miss the credit and surface as false
126/// `unused-class-member`.
127///
128/// Bumped to 109 for the data-driven security matcher catalogue: JS/TS
129/// extraction now captures non-literal sink sites into `security_sinks`, each
130/// carrying an `arg_kind` discriminator (template-with-substitution, concat,
131/// object, call, other) so the catalogue can require unsafe SQL shapes and
132/// exclude safely-parameterized `` sql`${x}` `` templates and object-form
133/// `.execute({ sql, args })` arguments. Pre-109 entries lack the field, so their
134/// sink sites do not feed the catalogue until the file is re-extracted.
135///
136/// Bumped to 110 for issue #844: `const svc = useMemo(() => new Svc())` now
137/// binds the non-destructured identifier to the constructed class, so method
138/// calls on it emit member accesses crediting the class. This changes the
139/// persisted `member_accesses` for files using the useMemo factory shape;
140/// pre-fix entries miss the credit and surface as false `unused-class-member`.
141///
142/// Bumped to 111 for issue #859 (untrusted-source modeling): `SinkSite` now
143/// carries `arg_idents` (identifiers referenced in the sink argument) and
144/// `ModuleInfo`/`CachedModule` carry `tainted_bindings` (local bindings tied to
145/// the member-access path they were sourced from), so the security
146/// `tainted_sink` detector can back-trace a sink argument to a known untrusted
147/// source. Pre-111 entries lack both, so source-to-sink association is unset
148/// until the file is re-extracted.
149///
150/// Bumped to 112 for issue #863 (sanitizer-aware security sinks):
151/// `ModuleInfo`/`CachedModule` now carry direct sanitized sink arguments, so
152/// the security `tainted_sink` detector can suppress high-confidence
153/// DOMPurify-backed HTML sink candidates. Pre-112 entries lack sanitizer
154/// metadata until the file is re-extracted.
155///
156/// Bumped to 113 for issue #863 follow-up: sanitizer metadata gained URL and
157/// path domains plus guarded path backpatching. Pre-113 entries may lack those
158/// sanitizer domains until the file is re-extracted.
159///
160/// Bumped to 114 for issue #911: Angular component properties initialized with
161/// named-import `inject(Service)` now populate `ClassHeritageInfo.instance_bindings`
162/// so external templates can credit service member access through the property.
163/// Pre-114 entries miss the binding and can surface false `unused-class-member`
164/// findings until the component file is re-extracted.
165///
166/// Bumped to 115 for issue #910: local typed function calls now credit concrete
167/// class members when a direct `new Class()` argument or constructor-bound
168/// identifier flows into a structurally typed parameter. Pre-115 entries can
169/// miss those synthetic `member_accesses` and surface false
170/// `unused-class-member` findings.
171///
172/// Bumped to 117 for issue #955: Vue SFC script-side Nuxt UI icon strings now
173/// populate `iconify_icon_names`, allowing declared `@iconify-json/*`
174/// collections used through values like `icon: 'i-simple-icons-github'` to be
175/// credited. Pre-116 entries omit those names and can surface false
176/// `unused-dependency` findings until the file is re-extracted.
177///
178/// Bumped to 118 for issue #954: JS/TS extraction now records static
179/// `pino({ transport: { target: "pkg" } })` target packages as synthetic
180/// dynamic imports so runtime transport dependencies are credited. Pre-118
181/// entries can surface false `unused-dependency` findings until the file is
182/// re-extracted.
183///
184/// Bumped to 119 for issue #952: JS/TS extraction now records static package
185/// path resolution references so packages consumed via package-root and
186/// `pkg/package.json` lookups are credited as dependency usage. Pre-119
187/// entries omit those references and can surface false `unused-dependency`
188/// findings until the file is re-extracted.
189///
190/// Bumped to 120 for issue #953: instance methods annotated with TypeScript's
191/// `this` return type now count as self-returning for constructor-rooted
192/// fluent chains. Pre-120 entries can miss those self-returning flags and
193/// surface false `unused-class-member` findings until the file is re-extracted.
194///
195/// Bumped to 121 for issue #883: framework template HTML injection sinks now
196/// flow into `ModuleInfo.security_sinks` for Svelte `{@html ...}`, Vue
197/// `v-html`, and Angular `[innerHTML]`. Pre-121 entries omit those sink sites
198/// until the file is re-extracted.
199///
200/// Bumped to 122: `FunctionComplexity` now carries a `contributions` vector
201/// (per-decision-point complexity breakdown) and `RequireCallInfo` carries
202/// `source_span` (the specifier string-literal span so an `unresolved-import`
203/// squiggly anchors under the `'./x'` specifier rather than the `require`
204/// keyword). Pre-122 entries lack the breakdown (empty under
205/// `health --complexity-breakdown`) and carry `Span::default()` for the
206/// require specifier until the file is re-extracted.
207pub(super) const CACHE_VERSION: u32 = 122;
208
209/// Duplication token cache version. Bump when duplicate tokenization,
210/// normalization, or the on-disk token cache schema changes.
211pub const DUPES_CACHE_VERSION: u32 = 4;
212
213/// Default maximum cache size (256 MB). Overridable per-project via
214/// `cache.maxSizeMb` in the config file or `FALLOW_CACHE_MAX_SIZE` env var.
215/// Also used as the hard ceiling on load-time deserialization as a defence
216/// against pathological on-disk files.
217pub const DEFAULT_CACHE_MAX_SIZE: usize = 256 * 1024 * 1024;
218
219/// Trigger LRU eviction when the serialized cache exceeds 80% of the cap.
220/// Basis points (1/100 of a percent) for integer arithmetic without floats.
221pub(super) const EVICTION_TRIGGER_BPS: usize = 8000;
222
223/// Evict down to 60% of the cap so subsequent saves leave headroom.
224pub(super) const EVICTION_TARGET_BPS: usize = 6000;
225
226/// Promote the eviction log from `debug!` to `info!` when at least 25% of
227/// entries are removed in a single save. Default-noise concerns mean
228/// small-turnover saves should not be visible without `RUST_LOG=debug`.
229pub(super) const EVICTION_SIGNIFICANT_BPS: usize = 2500;
230
231/// Import kind discriminant for `CachedImport`:
232/// 0 = Named, 1 = Default, 2 = Namespace, 3 = `SideEffect`.
233pub(super) const IMPORT_KIND_NAMED: u8 = 0;
234pub(super) const IMPORT_KIND_DEFAULT: u8 = 1;
235pub(super) const IMPORT_KIND_NAMESPACE: u8 = 2;
236pub(super) const IMPORT_KIND_SIDE_EFFECT: u8 = 3;
237
238macro_rules! assert_cached_type_size {
239 ($ty:ty, $size:expr) => {
240 const _: () = assert!(
241 std::mem::size_of::<$ty>() == $size,
242 concat!(
243 stringify!($ty),
244 " size changed; bump CACHE_VERSION if the cached wire shape or extraction semantics changed, then update this assertion"
245 )
246 );
247 };
248}
249
250assert_cached_type_size!(CachedModule, 736);
251assert_cached_type_size!(CachedNamespaceObjectAlias, 72);
252assert_cached_type_size!(CachedLocalTypeDeclaration, 32);
253assert_cached_type_size!(CachedPublicSignatureTypeReference, 56);
254assert_cached_type_size!(CachedSuppression, 12);
255assert_cached_type_size!(CachedUnknownSuppressionKind, 32);
256assert_cached_type_size!(CachedExport, 112);
257assert_cached_type_size!(CachedImport, 96);
258assert_cached_type_size!(CachedDynamicImport, 88);
259assert_cached_type_size!(CachedRequireCall, 88);
260assert_cached_type_size!(CachedReExport, 88);
261assert_cached_type_size!(CachedMember, 64);
262assert_cached_type_size!(CachedDynamicImportPattern, 56);
263assert_cached_type_size!(crate::MemberAccess, 48);
264assert_cached_type_size!(fallow_types::extract::SinkSite, 64);
265assert_cached_type_size!(fallow_types::extract::FunctionComplexity, 96);
266assert_cached_type_size!(fallow_types::extract::ComplexityContribution, 16);
267assert_cached_type_size!(fallow_types::extract::FlagUse, 80);
268assert_cached_type_size!(fallow_types::extract::ClassHeritageInfo, 96);
269
270/// Cached data for a single module.
271#[derive(Debug, Clone, Encode, Decode)]
272pub struct CachedModule {
273 /// xxh3 hash of the file content.
274 pub content_hash: u64,
275 /// File modification time (seconds since epoch) for fast cache validation.
276 /// When mtime+size match the on-disk file, we skip reading file content entirely.
277 pub mtime_secs: u64,
278 /// File size in bytes for fast cache validation.
279 pub file_size: u64,
280 /// Seconds-since-epoch at the time this entry was last WRITTEN
281 /// (first parse or content-change refresh). NOT updated on cache-hit
282 /// reads: `update_cache` already iterates every in-scope file every run,
283 /// so refreshing on read would collapse the LRU to "last run this file
284 /// was discovered" for every retained entry. With write-only refresh,
285 /// the LRU genuinely targets stale (in-scope-but-unchanged-for-many-runs)
286 /// entries. Used by `CacheStore::save` for write-time eviction ordering.
287 pub last_access_secs: u64,
288 /// Exported symbols.
289 pub exports: Vec<CachedExport>,
290 /// Import specifiers.
291 pub imports: Vec<CachedImport>,
292 /// Re-export specifiers.
293 pub re_exports: Vec<CachedReExport>,
294 /// Dynamic import specifiers.
295 pub dynamic_imports: Vec<CachedDynamicImport>,
296 /// `require()` specifiers.
297 pub require_calls: Vec<CachedRequireCall>,
298 /// Package names statically referenced through package path resolution.
299 pub package_path_references: Vec<String>,
300 /// Static member accesses (e.g., `Status.Active`).
301 pub member_accesses: Vec<crate::MemberAccess>,
302 /// Identifiers used as whole objects (Object.values, for..in, spread, etc.).
303 pub whole_object_uses: Vec<String>,
304 /// Dynamic import patterns with partial static resolution.
305 pub dynamic_import_patterns: Vec<CachedDynamicImportPattern>,
306 /// Whether this module uses CJS exports.
307 pub has_cjs_exports: bool,
308 /// Whether this module declares at least one Angular `@Component({
309 /// templateUrl: ... })` decorator. Mirrors `ModuleInfo.has_angular_component_template_url`
310 /// so the CRAP-inherit walker's gate survives a warm-cache load.
311 pub has_angular_component_template_url: bool,
312 /// Local names of import bindings that are never referenced in this file.
313 pub unused_import_bindings: Vec<String>,
314 /// Local import bindings referenced from type positions.
315 pub type_referenced_import_bindings: Vec<String>,
316 /// Local import bindings referenced from value positions.
317 pub value_referenced_import_bindings: Vec<String>,
318 /// Inline suppression directives.
319 pub suppressions: Vec<CachedSuppression>,
320 /// Suppression tokens that did not parse to any known `IssueKind`. See #449.
321 pub unknown_suppression_kinds: Vec<CachedUnknownSuppressionKind>,
322 /// Pre-computed line-start byte offsets for O(log N) byte-to-line/col conversion.
323 pub line_offsets: Vec<u32>,
324 /// Per-function complexity metrics.
325 pub complexity: Vec<fallow_types::extract::FunctionComplexity>,
326 /// Feature flag use sites.
327 pub flag_uses: Vec<fallow_types::extract::FlagUse>,
328 /// Heritage metadata for exported classes.
329 pub class_heritage: Vec<fallow_types::extract::ClassHeritageInfo>,
330 /// Angular `InjectionToken<Interface>` `(token, interface)` pairs (#920).
331 pub injection_tokens: Vec<(String, String)>,
332 /// Local type-capable declarations.
333 pub local_type_declarations: Vec<CachedLocalTypeDeclaration>,
334 /// Type references from exported public signatures.
335 pub public_signature_type_references: Vec<CachedPublicSignatureTypeReference>,
336 /// Namespace-import aliases re-exported through an object literal
337 /// (`export const API = { foo }` where `foo` is `import * as foo from './bar'`).
338 pub namespace_object_aliases: Vec<CachedNamespaceObjectAlias>,
339 /// Iconify collection prefixes found in static icon props (issue #608).
340 pub iconify_prefixes: Vec<String>,
341 /// Nuxt UI icon class suffixes found in static script-side icon properties
342 /// (issue #955).
343 pub iconify_icon_names: Vec<String>,
344 /// Bare identifier names that are candidates for convention auto-import
345 /// resolution (issue #704). Content-local, so they round-trip through the
346 /// cache; resolution against the plugin table happens at graph-build time.
347 pub auto_import_candidates: Vec<String>,
348 /// File-level string directives (`"use client"`, `"use server"`). Content-local,
349 /// round-trips through the cache so the security `client-server-leak` detector
350 /// sees directives on warm-cache loads.
351 pub directives: Vec<String>,
352 /// Captured non-literal security sink sites (category-blind). Round-trips
353 /// through the cache so the catalogue-driven `tainted_sink` detector sees
354 /// sinks on warm-cache loads.
355 pub security_sinks: Vec<fallow_types::extract::SinkSite>,
356 /// Count of sink-shaped nodes whose callee could not be flattened to a
357 /// static path. Round-trips so the in-band blind-spot count is stable.
358 pub security_sinks_skipped: u32,
359 /// Local bindings tied to the member-access path they were sourced from.
360 /// Round-trips so the security `tainted_sink` source-to-sink association
361 /// sees source-tainted bindings on warm-cache loads.
362 pub tainted_bindings: Vec<fallow_types::extract::TaintedBinding>,
363 /// Direct sink arguments recognized as sanitizer calls.
364 pub sanitized_sink_args: Vec<fallow_types::extract::SanitizedSinkArg>,
365}
366
367/// Cached namespace-object alias.
368#[derive(Debug, Clone, Encode, Decode)]
369pub struct CachedNamespaceObjectAlias {
370 /// Canonical export name on this module.
371 pub via_export_name: String,
372 /// Dotted suffix of the property path relative to the export.
373 pub suffix: String,
374 /// Local name of the namespace import on this module.
375 pub namespace_local: String,
376}
377
378/// Cached local type declaration.
379#[derive(Debug, Clone, Encode, Decode)]
380pub struct CachedLocalTypeDeclaration {
381 /// Local declaration name.
382 pub name: String,
383 /// Byte offset of the declaration span start.
384 pub span_start: u32,
385 /// Byte offset of the declaration span end.
386 pub span_end: u32,
387}
388
389/// Cached public signature type reference.
390#[derive(Debug, Clone, Encode, Decode)]
391pub struct CachedPublicSignatureTypeReference {
392 /// Exported symbol whose signature contains the reference.
393 pub export_name: String,
394 /// Referenced type name.
395 pub type_name: String,
396 /// Byte offset of the reference span start.
397 pub span_start: u32,
398 /// Byte offset of the reference span end.
399 pub span_end: u32,
400}
401
402/// Cached suppression directive.
403#[derive(Debug, Clone, Encode, Decode)]
404pub struct CachedSuppression {
405 /// 1-based line this suppression applies to. 0 = file-wide.
406 pub line: u32,
407 /// 1-based line where the comment itself appears.
408 pub comment_line: u32,
409 /// 0 = suppress all, 1-20 = `IssueKind` discriminant.
410 pub kind: u8,
411}
412
413/// Cached unknown suppression kind token (see #449).
414#[derive(Debug, Clone, Encode, Decode)]
415pub struct CachedUnknownSuppressionKind {
416 /// 1-based line where the comment itself appears.
417 pub comment_line: u32,
418 /// True when the marker was `fallow-ignore-file`.
419 pub is_file_level: bool,
420 /// The verbatim token that did not parse.
421 pub token: String,
422}
423
424/// Cached export data for a single export declaration.
425#[derive(Debug, Clone, Encode, Decode)]
426pub struct CachedExport {
427 /// Export name (or "default" for default exports).
428 pub name: String,
429 /// Whether this is a default export.
430 pub is_default: bool,
431 /// Whether this is a type-only export.
432 pub is_type_only: bool,
433 /// Whether this export is registered through a runtime side effect at
434 /// module load time (Lit `@customElement` decorator or
435 /// `customElements.define` call). Persisted so warm-cache runs continue
436 /// to skip unused-export reporting for these classes.
437 pub is_side_effect_used: bool,
438 /// Visibility tag discriminant (0=None, 1=Public, 2=Internal, 3=Beta, 4=Alpha).
439 pub visibility: u8,
440 /// The local binding name, if different.
441 pub local_name: Option<String>,
442 /// Byte offset of the export span start.
443 pub span_start: u32,
444 /// Byte offset of the export span end.
445 pub span_end: u32,
446 /// Members of this export (for enums and classes).
447 pub members: Vec<CachedMember>,
448 /// The local name of the parent class from `extends` clause, if any.
449 pub super_class: Option<String>,
450}
451
452/// Cached import data for a single import declaration.
453#[derive(Debug, Clone, Encode, Decode)]
454pub struct CachedImport {
455 /// The import specifier.
456 pub source: String,
457 /// For Named imports, the imported symbol name. Empty for other kinds.
458 pub imported_name: String,
459 /// The local binding name.
460 pub local_name: String,
461 /// Whether this is a type-only import.
462 pub is_type_only: bool,
463 /// Whether this import originated from an SFC `<style>` block / `<style src>` (CSS context).
464 pub from_style: bool,
465 /// Import kind: 0=Named, 1=Default, 2=Namespace, 3=SideEffect.
466 pub kind: u8,
467 /// Byte offset of the import span start.
468 pub span_start: u32,
469 /// Byte offset of the import span end.
470 pub span_end: u32,
471 /// Byte offset of the source string literal span start.
472 pub source_span_start: u32,
473 /// Byte offset of the source string literal span end.
474 pub source_span_end: u32,
475}
476
477/// Cached dynamic import data.
478#[derive(Debug, Clone, Encode, Decode)]
479pub struct CachedDynamicImport {
480 /// The import specifier.
481 pub source: String,
482 /// Byte offset of the span start.
483 pub span_start: u32,
484 /// Byte offset of the span end.
485 pub span_end: u32,
486 /// Names destructured from the import result.
487 pub destructured_names: Vec<String>,
488 /// Local variable name for namespace imports.
489 pub local_name: Option<String>,
490 /// True when this dynamic import was synthesised by fallow (see
491 /// `DynamicImportInfo::is_speculative`).
492 pub is_speculative: bool,
493}
494
495/// Cached `require()` call data.
496#[derive(Debug, Clone, Encode, Decode)]
497pub struct CachedRequireCall {
498 /// The require specifier.
499 pub source: String,
500 /// Byte offset of the span start.
501 pub span_start: u32,
502 /// Byte offset of the span end.
503 pub span_end: u32,
504 /// Byte offset of the specifier string-literal span start.
505 pub source_span_start: u32,
506 /// Byte offset of the specifier string-literal span end.
507 pub source_span_end: u32,
508 /// Names destructured from the require result.
509 pub destructured_names: Vec<String>,
510 /// Local variable name for namespace requires.
511 pub local_name: Option<String>,
512}
513
514/// Cached re-export data.
515#[derive(Debug, Clone, Encode, Decode)]
516pub struct CachedReExport {
517 /// The module being re-exported from.
518 pub source: String,
519 /// Name imported from the source.
520 pub imported_name: String,
521 /// Name exported from this module.
522 pub exported_name: String,
523 /// Whether this is a type-only re-export.
524 pub is_type_only: bool,
525 /// Byte offset of the re-export span start (for line-number reporting).
526 pub span_start: u32,
527 /// Byte offset of the re-export span end.
528 pub span_end: u32,
529}
530
531/// Cached enum or class member data.
532#[derive(Debug, Clone, Encode, Decode)]
533pub struct CachedMember {
534 /// Member name.
535 pub name: String,
536 /// Member kind (enum, method, or property).
537 pub kind: MemberKind,
538 /// Byte offset of the span start.
539 pub span_start: u32,
540 /// Byte offset of the span end.
541 pub span_end: u32,
542 /// Whether this member has decorators.
543 pub has_decorator: bool,
544 /// Full dotted path of each decorator (e.g. `step`, `ns.foo`).
545 /// Empty for undecorated members and decorators with non-identifier
546 /// expressions.
547 pub decorator_names: Vec<String>,
548 /// True when this is a static method that returns a fresh instance of
549 /// the class: body returns `new this()` / `new <SameClassName>()`, or the
550 /// declared return type matches the class name. Treated as a factory.
551 /// See issues #346, #387.
552 pub is_instance_returning_static: bool,
553 /// True when this instance method's call result is an instance of the
554 /// same class (declared return type matches the class name, or body's
555 /// last statement is `return this`). Drives fluent-chain credit. See
556 /// issue #387.
557 pub is_self_returning: bool,
558}
559
560/// Cached dynamic import pattern data (template literals, `import.meta.glob`).
561#[derive(Debug, Clone, Encode, Decode)]
562pub struct CachedDynamicImportPattern {
563 /// Static prefix of the import path.
564 pub prefix: String,
565 /// Static suffix, if any.
566 pub suffix: Option<String>,
567 /// Byte offset of the span start.
568 pub span_start: u32,
569 /// Byte offset of the span end.
570 pub span_end: u32,
571}