List of all items

Structs

• action::SuggestedAction
• checksum::Checksum
• cli::Cli
• cli::CliErrorPayload
• cli::CliSuccessPayload
• cli::DiagnosticPayload
• cli::ErrorDetails
• error::Diagnostic
• error_codes::ErrorCode
• execution::base::ExecutionLog
• execution::base::ExecutionLogBuilder
• execution::log::ExecutionLogConfig
• execution::query::ExecutionQuery
• execution::query::ExecutionStats
• expand::CppExpander
• expand::JavaExpander
• expand::JavaScriptExpander
• expand::PythonExpander
• expand::RustExpander
• expand::TypeScriptExpander
• format::magellan::MagellanSpan
• graph::CodeGraph
• graph::magellan_integration::CallReference
• graph::magellan_integration::CallRelationships
• graph::magellan_integration::CallSite
• graph::magellan_integration::CodeChunk
• graph::magellan_integration::CondensationGraph
• graph::magellan_integration::CondensedScc
• graph::magellan_integration::CycleInfo
• graph::magellan_integration::DatabaseStats
• graph::magellan_integration::DeadSymbol
• graph::magellan_integration::FileMetadata
• graph::magellan_integration::LevelInfo
• graph::magellan_integration::MagellanIntegration
• graph::magellan_integration::ReachableSymbol
• graph::magellan_integration::SccEdge
• graph::magellan_integration::SlicedSymbol
• graph::magellan_integration::SymbolInfo
• graph::magellan_integration::SymbolWithRelations
• graph::migrate::MigrationResult
• graph::rename::RenameBackupManifest
• graph::rename::RenameTransaction
• hints::ToolHints
• ingest::cpp::CppSymbol
• ingest::imports::ImportFact
• ingest::imports::cpp::CppExtractor
• ingest::imports::python::PythonExtractor
• ingest::java::JavaSymbol
• ingest::javascript::JavaScriptSymbol
• ingest::magellan::MagellanIngestor
• ingest::python::PythonSymbol
• ingest::rust::RustSymbol
• ingest::typescript::TypeScriptSymbol
• output::AffectedFile
• output::ApplyFilesResult
• output::CallExport
• output::CondensationResult
• output::CondensedScc
• output::CycleDetectionResult
• output::CycleInfo
• output::DeadCodeByFile
• output::DeadCodeResult
• output::DeadSymbol
• output::DeleteResult
• output::DiagnosticPayload
• output::ErrorDetails
• output::ExportData
• output::ExportResponse
• output::FileExport
• output::FilePatternResult
• output::FilesResponse
• output::FindResponse
• output::GetResponse
• output::JsonResponse
• output::LabelQueryResponse
• output::LevelInfo
• output::MagellanCallReference
• output::MagellanFileMetadata
• output::MagellanSpan
• output::MagellanSymbol
• output::OperationResult
• output::PatchResult
• output::PlanResult
• output::QueryResult
• output::ReachabilityChain
• output::ReachabilityResult
• output::ReachableSymbol
• output::ReferenceExport
• output::RefsResponse
• output::SccEdge
• output::SliceResult
• output::SliceStats
• output::SlicedSymbol
• output::Span
• output::SpanChecksums
• output::SpanContext
• output::SpanResult
• output::SpanSemantics
• output::StatusResponse
• output::StepResult
• output::SymbolExport
• output::SymbolInfo
• output::SymbolMatch
• patch::BackupManifest
• patch::BackupWriter
• patch::FilePatchSummary
• patch::PreviewReport
• patch::SpanBatch
• patch::SpanReplacement
• patch::pattern::PatternMatch
• patch::pattern::PatternReplaceConfig
• patch::pattern::PatternReplaceResult
• plan::PatchStep
• plan::Plan
• proof::data_structures::GraphSnapshot
• proof::data_structures::GraphStats
• proof::data_structures::InvariantCheck
• proof::data_structures::InvariantViolation
• proof::data_structures::ProofChecksums
• proof::data_structures::ProofMetadata
• proof::data_structures::RefactoringProof
• proof::data_structures::SymbolInfo
• relationships::Relationship
• relationships::RelationshipCache
• relationships::Relationships
• resolve::ResolvedSpan
• resolve::cross_file::CrossFileResolver
• resolve::cross_file::ResolvedSymbol
• resolve::module_resolver::ModulePathIndex
• resolve::references::Reference
• resolve::references::ReferenceSet
• resolve::references::SymbolDefinition
• validate::CompilerError
• validate::ToolMetadata
• validate::gates::ValidationError
• validate::gates::ValidationOutcome
• verify::ChecksumDiff
• verify::PostVerificationResult

Enums

• action::ActionType
• action::Confidence
• checksum::ChecksumAlgorithm
• cli::AnalyzerMode
• cli::CallDirection
• cli::Commands
• cli::ExportFormat
• cli::Language
• cli::OutputFormat
• cli::ReachabilityDirection
• cli::SliceDirection
• cli::SymbolKind
• error::DiagnosticLevel
• error::SpliceError
• error_codes::ErrorSeverity
• error_codes::SpliceErrorCode
• expand::ExpansionLevel
• graph::magellan_integration::CallDirection
• hints::ToolHintOperation
• ingest::cpp::CppSymbolKind
• ingest::detect::Language
• ingest::imports::ImportKind
• ingest::java::JavaSymbolKind
• ingest::javascript::JavaScriptSymbolKind
• ingest::python::PythonSymbolKind
• ingest::rust::RustSymbolKind
• ingest::rust::Visibility
• ingest::semantic_kind::SemanticKind
• ingest::typescript::TypeScriptSymbolKind
• output::OperationData
• proof::data_structures::ViolationSeverity
• resolve::references::ReferenceContext
• symbol::AnySymbol
• symbol::Language
• symbol_id::SymbolId
• symbol_id::SymbolIdError
• validate::AnalyzerMode
• validate::ErrorLevel
• validate::ValidationResult
• verify::PreVerificationResult

Traits

• expand::SymbolExpander
• ingest::imports::ImportExtractor
• symbol::Symbol

Functions

• action::suggest_action
• checksum::checksum_diff
• checksum::checksum_file
• checksum::checksum_line_range
• checksum::checksum_span
• checksum::has_file_changed
• checksum::verify_file
• cli::parse_args
• context::extract_context
• context::extract_context_asymmetric
• context::extract_context_with_before_after
• context::resolve_context_counts
• diff::format_colored_diff
• diff::format_diff_summary
• diff::format_unified_diff
• diff::should_use_color
• error::byte_offset_to_line_column
• error_codes::get_error_explanation
• execution::base::generate_delegated_execution_id
• execution::base::init_execution_log_db
• execution::base::insert_execution_log
• execution::log::db_path
• execution::log::init_db
• execution::log::init_db_in_dir
• execution::log::is_enabled
• execution::log::is_enabled_with_config
• execution::log::record_execution
• execution::log::record_execution_failure
• execution::log::record_execution_with_params
• execution::query::format_json
• execution::query::format_table_row
• execution::query::get_execution
• execution::query::get_execution_stats
• execution::query::get_recent_executions
• expand::expand_symbol
• expand::expand_symbol_with_level
• expand::expand_to_body_with_docs
• expand::tree_walker::expand_to_containing_block
• expand::tree_walker::extract_leading_doc_comment_nodes
• expand::tree_walker::extract_leading_doc_comments
• expand::tree_walker::extract_leading_docs
• expand::tree_walker::find_containing_block
• expand::tree_walker::find_parent_symbol_node
• expand::tree_walker::is_doc_comment_node
• format::magellan::from_magellan
• format::magellan::to_magellan
• format::magellan::translate_field_name
• graph::migrate::check_schema_version
• graph::migrate::create_backup
• graph::migrate::migrate_database
• graph::rename::apply_replacements_in_file
• graph::rename::apply_with_rollback
• graph::rename::create_rename_backup
• graph::rename::generate_colored_preview
• graph::rename::generate_preview_diff
• graph::rename::group_references_by_file
• graph::rename::replace_at_span
• graph::rename::simulate_replacements
• graph::rename::simulate_replacements_content
• graph::schema::kind_to_label
• graph::schema::label_class
• graph::schema::label_constructor
• graph::schema::label_enum
• graph::schema::label_file
• graph::schema::label_function
• graph::schema::label_impl
• graph::schema::label_interface
• graph::schema::label_method
• graph::schema::label_module
• graph::schema::label_trait
• graph::schema::label_type_alias
• graph::schema::label_variable
• graph::schema::prop_end
• graph::schema::prop_file
• graph::schema::prop_kind
• graph::schema::prop_language
• graph::schema::prop_name
• graph::schema::prop_start
• hints::derive_tool_hints
• ingest::cpp::extract_cpp_symbols
• ingest::detect::detect_language
• ingest::dispatch::extract_symbols
• ingest::dispatch::extract_symbols_with_language
• ingest::imports::cpp::extract_cpp_imports
• ingest::imports::java::extract_java_imports
• ingest::imports::javascript::extract_javascript_imports
• ingest::imports::python::extract_python_imports
• ingest::imports::rust::extract_rust_imports
• ingest::imports::typescript::extract_typescript_imports
• ingest::java::extract_java_symbols
• ingest::javascript::extract_javascript_symbols
• ingest::magellan::ingest_file_with_magellan
• ingest::python::extract_python_symbols
• ingest::rust::extract_rust_symbols
• ingest::semantic_kind::detect_semantic_kind
• ingest::typescript::extract_typescript_symbols
• patch::apply_batch_with_validation
• patch::apply_patch_with_validation
• patch::load_batches_from_file
• patch::pattern::apply_pattern_replace
• patch::pattern::find_pattern_in_files
• patch::preview_patch
• patch::preview_patch_with_content
• patch::replace_span
• patch::restore_from_manifest
• patch::validate_utf8_span
• plan::execute_plan
• plan::parse_plan
• proof::checksums::compute_proof_checksums
• proof::checksums::compute_snapshot_hash
• proof::checksums::validate_proof_checksums
• proof::checksums::validate_proof_file
• proof::generate_proof
• proof::generation::create_metadata
• proof::generation::generate_snapshot
• proof::generation::write_proof
• proof::validation::validate_invariants
• relationships::get_callees
• relationships::get_callers
• relationships::get_exports
• relationships::get_imports
• resolve::find_symbol_or_suggest
• resolve::module_resolver::resolve_module_path
• resolve::references::find_references
• resolve::references::rust::find_rust_references
• resolve::resolve_symbol
• resolve::resolve_symbol_with_rust_kind
• suggestions::suggest_similar_symbols
• symbol::parser_for_language
• symbol_id::generate_execution_id
• symbol_id::generate_symbol_id
• symbol_id::generate_v1
• symbol_id::generate_v2
• validate::collect_tool_metadata
• validate::gate_rust_analyzer
• validate::gates::validate_file
• validate::parse_cargo_output
• validate::parse_rust_analyzer_output
• validate::parse_typescript_output
• validate::remediation_link_for_code
• validate::validate_with_cargo
• verify::checksum_diff
• verify::pre_verify_patch
• verify::verify_after_patch
• verify::verify_file_ready
• verify::verify_graph_sync
• verify::verify_localized_change
• verify::verify_workspace_resources

Type Aliases

• error::Result
• format::magellan::SpliceSpan

Constants

• VERSION
• execution::base::DB_FILENAME
• graph::schema::EDGE_CALLS
• graph::schema::EDGE_CONTAINS
• graph::schema::EDGE_DEFINES
• graph::schema::EDGE_IMPLEMENTS
• output::EXPORT_SCHEMA_VERSION
• output::OPERATION_SCHEMA_VERSION
• output::QUERY_SCHEMA_VERSION
• output::TOOL_NAME