Method schedule_phpstan

src/diagnostics/mod.rs:1084–1087

Schedule a PHPStan run for a single file. Only the most recent file is kept: if the user switches files or types rapidly, earlier requests are superseded. This is intentional — PHPStan is too slow to queue up multiple files.

(&self, uri: String)

    /// types rapidly, earlier requests are superseded.  This is
    /// intentional — PHPStan is too slow to queue up multiple files.
    fn schedule_phpstan(&self, uri: String) {
        *self.phpstan_pending_uri.lock() = Some(uri);
        self.phpstan_notify.notify_one();
    }

    /// Long-lived background task that runs PHPStan on pending files.
    ///