php-lsp 0.14.0

A PHP Language Server Protocol implementation
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41

//! Salsa-based incremental computation layer.
//!
//! After the mir-analyzer 0.22 migration, semantic analysis (Pass 2, class
//! issues, references) is owned by `AnalysisSession` in `DocumentStore`.
//! Salsa here is now responsible for the LSP-side compact representations
//! only: parsed AST cache (`parse`), per-file declaration index (`index`),
//! workspace aggregation (`workspace_index`). These power cross-file LSP
//! features (workspace symbols, document symbols, find-implementations, hover
//! from index) that don't require the analyzer's full type system.

pub mod index;
pub mod mir_queries;
pub mod parse;
pub mod symbol_map;
pub mod workspace_index;

#[cfg(test)]
mod gc_gate_test;

#[cfg(test)]
mod convergence_spike;

/// Implement the `salsa::Update` trait for Arc-wrapped types using pointer equality.
/// This reduces boilerplate for types that wrap a single Arc field and should only
/// invalidate when the pointer changes (not the contents).
#[macro_export]
macro_rules! impl_arc_update {
    ($ty:ty) => {
        unsafe impl salsa::Update for $ty {
            unsafe fn maybe_update(old_pointer: *mut Self, new_value: Self) -> bool {
                let old_ref = unsafe { &mut *old_pointer };
                if std::sync::Arc::ptr_eq(&old_ref.0, &new_value.0) {
                    false
                } else {
                    *old_ref = new_value;
                    true
                }
            }
        }
    };
}