дзеркало
https://github.com/l0ng-ai/openidea.git
синхронізовано 2026-11-08 19:02:17 +02:00
Adds API 1.3 `events.subscribe-paths(kind, globs)` for `file-opened` and `file-saved`: project-relative globs checked before an event is queued or wakes an idle plugin, and again before a queued event is delivered. A new filter replaces the old one atomically; `subscribe` restores unfiltered delivery; filters survive idle reclamation. Also `workspace.project-of(path)`, the most specific open project containing a document (reading it still needs `project.read`). Closes #1958. Co-authored-by: arnaud-ritti <[email protected]>
26 рядки
1.0 KiB
Rust
26 рядки
1.0 KiB
Rust
//! The WebAssembly runtime for plugins (wasmtime, component model, WASI
|
|
//! preview 2). Package handling, extension points and grants live in
|
|
//! `ide-extension`; the host that assembles them is `ide-host::plugins`.
|
|
//!
|
|
//! Each plugin with code runs in its own wasmtime `Store`: no files, env or
|
|
//! network beyond what [`HostApi`] grants, a fuel budget and wall-clock
|
|
//! deadline per call, and a linear-memory cap. A trap (panic, budget
|
|
//! exhausted, permission violation, cancellation) poisons the instance; the
|
|
//! host drops it. Each active plugin's runtime lives on its own [`Actor`] thread.
|
|
|
|
mod actor;
|
|
pub mod indexing;
|
|
mod runtime;
|
|
mod sandbox;
|
|
mod types;
|
|
mod wit_host;
|
|
|
|
pub use actor::{Actor, ActorError, Pending};
|
|
pub use runtime::{
|
|
API_VERSION, CANCELLED, CallCancel, CallError, GuestError, HostApi, PluginEngine, Runtime, RuntimeSetup, check_api,
|
|
component_api, host_api,
|
|
};
|
|
pub use sandbox::{MAX_READ_BYTES, inside_root, read_text, resolve_in_root, resolve_new_in_root, resolve_real};
|
|
pub use types::*;
|
|
pub use wasmtime::component::Component;
|