Struct TypeScript 

pub struct TypeScript { /* private fields */ }

The TypeScript language implementation.

Implementations

impl TypeScript

pub fn new(build_command: Option<String>) -> Self

Trait Implementations

impl BodyAnalysisSemantics for TypeScript

fn analyze_changed_body( &self, old_body: &str, new_body: &str, func_name: &str, file_path: &str, ) -> Vec<BodyAnalysisResult>

Run deterministic analysis on a changed function’s body.

impl Clone for TypeScript

fn clone(&self) -> TypeScript

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TypeScript

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for TypeScript

fn default() -> Self

Returns the “default value” for a type.

impl HierarchySemantics<TsSymbolData> for TypeScript

fn family_source_paths( &self, repo: &Path, git_ref: &str, family_name: &str, ) -> Vec<String>

Get file paths belonging to a component family directory.

fn family_name_from_symbols( &self, symbols: &[&Symbol<TsSymbolData>], ) -> Option<String>

Get a human-readable family name from a group of symbols.

fn is_hierarchy_candidate(&self, sym: &Symbol<TsSymbolData>) -> bool

Whether a symbol is a candidate for hierarchy inference.

fn cross_family_relationships( &self, repo: &Path, git_ref: &str, ) -> Vec<(String, String, String)>

Detect cross-family relationships (e.g., React context imports).

fn compute_deterministic_hierarchy( &self, new_surface: &ApiSurface<TsSymbolData>, structural_changes: &[StructuralChange], ) -> HashMap<String, HashMap<String, Vec<ExpectedChild>>>

Compute component hierarchy deterministically.

fn related_family_content( &self, repo: &Path, git_ref: &str, family_name: &str, relationship_names: &[String], ) -> Option<String>

Read related component signatures for cross-family context.

fn min_components_for_hierarchy(&self) -> usize

Minimum number of exported types for a family to qualify for hierarchy inference. Default: 2.

impl Language for TypeScript

const RENAMEABLE_SYMBOL_KINDS: &'static [SymbolKind]

Symbol kinds that represent type definitions eligible for rename inference. TypeScript: &[SymbolKind::Interface, SymbolKind::Class] Go: &[SymbolKind::Struct, SymbolKind::Interface]

const NAME: &'static str = "typescript"

Language identifier for serialization dispatch.

const MANIFEST_FILES: &'static [&'static str]

Manifest file path(s) for this language’s package system.

const SOURCE_FILE_PATTERNS: &'static [&'static str]

Source file glob patterns for git diff --name-only filtering.

type SymbolData = TsSymbolData

Per-symbol metadata type carried in Symbol<M>.language_data.

type Category = TsCategory

Behavioral change categories for this language.

type ManifestChangeType = TsManifestChangeType

Manifest change types for this language’s package system.

type Evidence = TsEvidence

Evidence data carried on behavioral changes.

type ReportData = TsReportData

Language-specific report data.

type AnalysisExtensions = TsAnalysisExtensions

Language-specific analysis extensions.

fn extract( &self, repo: &Path, git_ref: &str, degradation: Option<&DegradationTracker>, ) -> Result<ApiSurface<TsSymbolData>>

Extract the public API surface from source code at a git ref.

fn extract_keeping_worktree( &self, repo: &Path, git_ref: &str, degradation: Option<&DegradationTracker>, ) -> Result<ExtractionWithWorktree<TsSymbolData>>

Extract the API surface and optionally keep the worktree alive.

fn parse_changed_functions( &self, repo: &Path, from_ref: &str, to_ref: &str, ) -> Result<Vec<ChangedFunction>>

Parse the diff between two git refs and identify all functions whose bodies changed (public AND private).

fn find_callers(&self, file: &Path, symbol_name: &str) -> Result<Vec<Caller>>

Given a function, find what calls it (callers, not callees).

fn find_references( &self, file: &Path, symbol_name: &str, ) -> Result<Vec<Reference>>

Given a public symbol, find all references to it across the project.

fn find_tests(&self, repo: &Path, source_file: &Path) -> Result<Vec<TestFile>>

Given a source file, find its associated test file(s) by convention.

fn diff_test_assertions( &self, repo: &Path, test_file: &TestFile, from_ref: &str, to_ref: &str, ) -> Result<TestDiff>

Diff the test file between two refs. Returns changed assertion lines.

fn build_report( &self, results: &AnalysisResult<Self>, repo: &Path, from_ref: &str, to_ref: &str, ) -> AnalysisReport<Self>

Build the language-specific report from analysis results.

fn behavioral_change_kind( &self, evidence_type: &EvidenceType, ) -> BehavioralChangeKind

Determine the behavioral change kind from the evidence type. TypeScript: LLM/body analysis → Class (component-level), test delta → Function Default: always Function

fn extract_referenced_symbols(&self, description: &str) -> Vec<String>

Extract symbol references from a behavioral change description. TypeScript: extracts PascalCase component names (e.g., <Modal>, `Button`) Default: empty vec

fn display_name(&self, qualified_name: &str) -> String

Format a qualified name for display in reports. TypeScript: src/Modal.tsx::Modal → Modal Default: return the qualified name as-is

fn llm_categories(&self) -> Vec<LlmCategoryDefinition>

Return the behavioral change categories for LLM prompts.

fn diff_manifest_content(old: &str, new: &str) -> Vec<ManifestChange<Self>>

Diff manifest content between two versions.

fn discover_package_manifests( repo: &Path, git_ref: &str, ) -> Vec<(String, String)>

Discover per-package manifest files in monorepos.

fn should_exclude_from_analysis(path: &Path) -> bool

Whether a file path should be excluded from BU analysis.

fn run_extended_analysis( &self, params: &ExtendedAnalysisParams, ) -> Result<TsAnalysisExtensions>

Run language-specific extended analysis.

fn finalize_extensions( &self, extensions: &mut Self::AnalysisExtensions, structural_changes: Arc<Vec<StructuralChange>>, repo: &Path, from_ref: &str, to_ref: &str, ) -> Arc<Vec<StructuralChange>>

Post-process extensions after both TD and extended analysis complete.

fn extensions_log_summary( &self, extensions: &Self::AnalysisExtensions, ) -> Vec<String>

Return log-friendly summary lines for the extended analysis results.

impl LanguageSemantics<TsSymbolData> for TypeScript

fn is_member_addition_breaking( &self, container: &Symbol<TsSymbolData>, member: &Symbol<TsSymbolData>, ) -> bool

Is adding this member to this container a breaking change?

fn same_family( &self, a: &Symbol<TsSymbolData>, b: &Symbol<TsSymbolData>, ) -> bool

Are these two symbols part of the same logical family/group?

fn same_identity( &self, a: &Symbol<TsSymbolData>, b: &Symbol<TsSymbolData>, ) -> bool

Are these two symbols the same concept, possibly at different paths?

fn visibility_rank(&self, v: Visibility) -> u8

Numeric rank for a visibility level (higher = more visible).

fn parse_union_values(&self, type_str: &str) -> Option<BTreeSet<String>>

Parse union/constrained type values for fine-grained diffing.

fn post_process(&self, changes: &mut Vec<StructuralChange>)

Post-process the change list before returning from diff_surfaces.

fn hierarchy(&self) -> Option<&dyn HierarchySemantics<TsSymbolData>>

If this language supports component hierarchy inference (e.g., React, Vue, Django templates), return the hierarchy semantics implementation.

fn renames(&self) -> Option<&dyn RenameSemantics>

If this language supports LLM-based rename inference (e.g., CSS physical→logical property renames, interface rename mappings), return the rename semantics implementation.

fn body_analyzer(&self) -> Option<&dyn BodyAnalysisSemantics>

If this language has deterministic body-level analysis (e.g., JSX diff, CSS variable scanning for TypeScript), return the body analysis implementation.

fn primitive_type_names(&self) -> &[&str]

Primitive type names for this language, used by the diff engine’s structural similarity comparison.

fn is_async_wrapper(&self, type_str: &str) -> bool

Whether a return type string represents an async wrapper.

fn format_import_change( &self, symbol: &str, old_path: &str, new_path: &str, ) -> String

Format an import/use statement change hint for migration descriptions.

fn should_skip_symbol(&self, sym: &Symbol<TsSymbolData>) -> bool

Should this symbol be excluded from diff analysis?

fn member_label(&self) -> &'static str

Human-readable label for members when building migration descriptions.

fn extract_rename_fallback_key( &self, sym: &Symbol<TsSymbolData>, ) -> Option<String>

Extract a fallback key for rename matching from a symbol’s metadata.

fn canonical_name_for_relocation(&self, qualified_name: &str) -> String

Normalize a qualified name for relocation detection.

fn classify_relocation( &self, old_qname: &str, new_qname: &str, ) -> Option<&'static str>

Classify a relocation based on old and new qualified names.

fn derive_import_subpath( &self, package: Option<&str>, qualified_name: &str, ) -> String

Derive the import subpath for a symbol, used in migration descriptions.

fn diff_language_data( &self, _old: &Symbol<M>, _new: &Symbol<M>, ) -> Vec<StructuralChange>

Produce additional structural changes by diffing language-specific metadata on two matched symbols.

impl MessageFormatter for TypeScript

fn describe(&self, change: &StructuralChange) -> String

Produce a human-readable description for a structural change.

impl RenameSemantics for TypeScript

fn sample_removed_constants<'a>( &self, removed: &[&'a str], _added: &[&'a str], ) -> Vec<&'a str>

Sample removed constants for rename pattern inference.

fn sample_added_constants<'a>( &self, _removed: &[&'a str], added: &[&'a str], ) -> Vec<&'a str>

Sample added constants for rename pattern inference.

fn min_removed_for_constant_inference(&self) -> usize

Minimum count of removed constants to trigger rename inference. Default: 50.

fn min_removed_for_interface_inference(&self) -> usize

Minimum count of removed interfaces to trigger interface rename inference. Default: 2.