Skip to main content

AppContext

Struct AppContext 

Source
pub struct AppContext { /* private fields */ }
Expand description

Shared application context threaded through all command handlers.

Holds the language provider, backup/checkpoint stores, configuration, and call graph engine. Constructed once at startup and passed by reference to dispatch.

Stores use RefCell for interior mutability — the binary is single-threaded (one request at a time on the stdin read loop) so runtime borrow checking is safe and never contended.

Implementations§

Source§

impl AppContext

Source

pub fn new(provider: Box<dyn LanguageProvider>, config: Config) -> Self

Source

pub fn stdout_writer(&self) -> SharedStdoutWriter

Source

pub fn set_progress_sender(&self, sender: Option<ProgressSender>)

Source

pub fn emit_progress(&self, frame: ProgressFrame)

Source

pub fn progress_sender_handle(&self) -> Option<ProgressSender>

Get a clone of the current progress sender for use from background threads. Returns None when the main loop hasn’t installed one (tests, CLI without push frames).

Used by configure’s deferred file-walk thread to push warnings after configure has already returned, so configure latency stays sub-100 ms even on huge directories.

Source

pub fn bash_background(&self) -> &BgTaskRegistry

Source

pub fn drain_bg_completions(&self) -> Vec<BgCompletion>

Source

pub fn provider(&self) -> &dyn LanguageProvider

Access the language provider.

Source

pub fn backup(&self) -> &RefCell<BackupStore>

Access the backup store.

Source

pub fn checkpoint(&self) -> &RefCell<CheckpointStore>

Access the checkpoint store.

Source

pub fn config(&self) -> Ref<'_, Config>

Access the configuration (shared borrow).

Source

pub fn config_mut(&self) -> RefMut<'_, Config>

Access the configuration (mutable borrow).

Source

pub fn callgraph(&self) -> &RefCell<Option<CallGraph>>

Access the call graph engine.

Source

pub fn search_index(&self) -> &RefCell<Option<SearchIndex>>

Access the search index.

Source

pub fn search_index_rx(&self) -> &RefCell<Option<Receiver<SearchIndex>>>

Access the search-index build receiver.

Source

pub fn symbol_cache(&self) -> SharedSymbolCache

Access the shared symbol cache.

Source

pub fn reset_symbol_cache(&self) -> u64

Clear the shared symbol cache and return the new active generation.

Source

pub fn semantic_index(&self) -> &RefCell<Option<SemanticIndex>>

Access the semantic search index.

Source

pub fn semantic_index_rx( &self, ) -> &RefCell<Option<Receiver<SemanticIndexEvent>>>

Access the semantic-index build receiver.

Source

pub fn semantic_index_status(&self) -> &RefCell<SemanticIndexStatus>

Source

pub fn semantic_embedding_model(&self) -> &RefCell<Option<EmbeddingModel>>

Access the cached semantic embedding model.

Source

pub fn watcher(&self) -> &RefCell<Option<RecommendedWatcher>>

Access the file watcher handle (kept alive to continue watching).

Source

pub fn watcher_rx(&self) -> &RefCell<Option<Receiver<Result<Event>>>>

Access the watcher event receiver.

Source

pub fn lsp(&self) -> RefMut<'_, LspManager>

Access the LSP manager.

Source

pub fn lsp_notify_file_changed(&self, file_path: &Path, content: &str)

Notify LSP servers that a file was written. Call this after write_format_validate in command handlers.

Source

pub fn lsp_notify_and_collect_diagnostics( &self, file_path: &Path, content: &str, timeout: Duration, ) -> PostEditWaitOutcome

Notify LSP and optionally wait for diagnostics.

Call this after write_format_validate when the request has "diagnostics": true. Sends didChange to the server, waits briefly for publishDiagnostics, and returns any diagnostics for the file. If no server is running, returns empty immediately.

v0.17.3: this is the version-aware path. Pre-edit cached diagnostics are NEVER returned — only entries whose version matches the post-edit document version (or, for unversioned servers, whose epoch advanced past the pre-edit snapshot).

Source

pub fn lsp_notify_watched_config_file( &self, file_path: &Path, change_type: FileChangeType, )

Source

pub fn lsp_post_multi_file_write( &self, file_path: &Path, content: &str, file_paths: &[PathBuf], params: &Value, ) -> Option<PostEditWaitOutcome>

Post-write LSP hook for multi-file edits. When the patch includes config-file edits, notify active workspace servers via workspace/didChangeWatchedFiles before sending the per-document didOpen/didChange for the current file.

Source

pub fn lsp_post_write( &self, file_path: &Path, content: &str, params: &Value, ) -> Option<PostEditWaitOutcome>

Post-write LSP hook: notify server and optionally collect diagnostics.

This is the single call site for all command handlers after write_format_validate. Behavior:

  • When diagnostics: true is in params, notifies the server, waits until matching diagnostics arrive or the timeout expires, and returns Some(outcome) with the verified-fresh diagnostics + per-server status.
  • When diagnostics: false (or absent), just notifies (fire-and-forget) and returns None. Callers must NOT wrap this in Some(...); the None is what tells the response builder to omit the LSP fields entirely (preserves the no-diagnostics-requested response shape).

v0.17.3: default wait_ms raised from 1500 to 3000 because real-world tsserver re-analysis on monorepo files routinely takes 2-5s. Still capped at 10000ms.

Source

pub fn validate_path( &self, req_id: &str, path: &Path, ) -> Result<PathBuf, Response>

Validate that a file path falls within the configured project root.

When project_root is configured (normal plugin usage), this resolves the path and checks it starts with the root. Returns the canonicalized path on success, or an error response on violation.

When no project_root is configured (direct CLI usage), all paths pass through unrestricted for backward compatibility.

Source

pub fn lsp_server_count(&self) -> usize

Count active LSP server instances.

Source

pub fn symbol_cache_stats(&self) -> Value

Symbol cache statistics from the language provider.

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

impl<T> PolicyExt for T
where T: ?Sized,

Source§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow only if self and other return Action::Follow. Read more
Source§

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow if either self or other returns Action::Follow. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more