csift 0.10.1

//! BashMutation + parse_bash_mutations: the lexical shell-mutation entrypoint.

use super::*;

/// One heuristically-detected Bash file mutation. `verb` is from the fixed allowlist
/// below (it is the lexical command/operator that touched the path), and `path` is the
/// operand exactly as it appeared (quote-stripped, otherwise verbatim).
#[derive(Debug, Clone, PartialEq, Eq)]
pub struct BashMutation {
    pub path: String,
    pub verb: &'static str,
    /// The shell cwd in effect at this operand's segment (see [`cwd`] for the
    /// tracked-cwd mechanism and the resolution classes built on it).
    pub cwd_at: CwdAt,
}

/// Git subcommands that mutate the working tree / index / refs (the conservative
/// mutating set). A `git <sub>` not in this set (e.g. `status`, `log`, `diff`) records
/// nothing - git does not name a clean file list lexically, so a mutating subcommand
/// is recorded coarsely as a single `git:<sub>` pseudo-path, flagged heuristic.
pub(crate) const GIT_MUTATING: &[&str] = &[
    "add", "commit", "checkout", "reset", "rm", "mv", "restore", "stash", "merge", "rebase",
    "apply", "clean",
];

/// Parse a Bash command string into the file mutations it heuristically performs.
///
/// Splits into segments on `;`, `&&`, `||`, `|`, and newlines, then for each segment:
/// strips leading `env VAR=…` / `sudo` prefixes, inspects the first token against the
/// mutating-verb allowlist, and additionally scans every segment for `>`/`>>`
/// redirection targets. Non-mutating commands (`ls`, `cat`, `grep`, `sed` without an
/// in-place flag, `git status`, …) contribute nothing.
#[must_use]
pub fn parse_bash_mutations(command: &str) -> Vec<BashMutation> {
    // Strip heredoc BODY lines first: a `<<DELIM` body is opaque TEXT to the SHELL
    // lexer (often containing a `>` or quote that would be mis-read as a redirect,
    // fabricating a path). The opener LINE is kept (a `… <<DELIM > file` carries a real
    // redirect on the opener itself), and the stripped bodies are kept ASIDE so an
    // interpreter segment can hand its payload to the write-idiom analyzer.
    let (command, bodies) = strip_heredoc_bodies_keeping(command);
    // Build a parallel QUOTE/PROCSUB mask once, then split + tokenize against it so an
    // in-quote / in-procsub `>`/`<`/word can never be read as a redirect operator or
    // fabricated as a file (the dominant remaining precision leak). See [`shell_mask`].
    let mask = shell_mask(&command);
    let mut out = Vec::new();
    // Track the in-command shell cwd segment by segment: a mutation is stamped with
    // the checkpoint BEFORE its own segment's effect (a `cd` takes effect only for
    // the segments after it), matching how the shell itself sequences them.
    let mut tracker = CwdTracker::new();
    // Bodies are consumed in opener order; each segment claims as many as it opened
    // (counted by re-reading its `<<DELIM` tokens - the same tokens the strip pass
    // read, so the running total can never overrun; the `min` is a belt).
    let mut body_cursor = 0usize;
    for (segment, seg_mask) in split_segments(&command, &mask)
        .into_iter()
        .zip(split_segments(&mask, &mask))
    {
        let before = out.len();
        let body_end = (body_cursor + heredoc_delims(segment).len()).min(bodies.len());
        parse_segment(segment, seg_mask, &bodies[body_cursor..body_end], &mut out);
        body_cursor = body_end;
        let at = tracker.checkpoint();
        for m in &mut out[before..] {
            m.cwd_at = at.clone();
        }
        tracker.observe_segment(segment, seg_mask);
    }
    out
}

/// True when every byte of a token's mask is [`MASK_CHAR`] - i.e. the whole token
/// originated inside a quoted span or a process-sub body, so it is not a real operand.
pub(crate) fn is_fully_masked(masked: &str) -> bool {
    !masked.is_empty() && masked.chars().all(|c| c == MASK_CHAR)
}