benilla-octo/crates/benilla-app/tests/cover_input_wall.rs

//! The cover-input wall: every input channel the workspace names must carry a verdict in
//! [`VERDICTS`], because the loading cover (`loading_screen/input.rs`) swallows input at the source
//! only for the channels it names.
//!
//! - `Swallowed`: the cover empties it; the name must appear in the gate's source.
//! - `Open`: deliberately not swallowed, with the reason.
//! - `Plumbing`: a type, plugin or set name that carries no player input.

use std::collections::{BTreeMap, BTreeSet};
use std::path::{Path, PathBuf};

#[derive(Clone, Copy, PartialEq, Eq, Debug)]
enum Verdict {
    /// The cover empties this channel.
    Swallowed,
    /// Deliberately left open under the cover. The `&str` is the reason.
    Open(&'static str),
    /// Not a player-input channel at all.
    Plumbing,
}
use Verdict::{Open, Plumbing, Swallowed};

/// Every `bevy::input::…` / `bevy::window::…` / `bevy::winit::…` leaf the workspace names, plus
/// the prelude input items, each with its verdict.
const VERDICTS: &[(&str, Verdict)] = &[
    // ── The channels the cover takes ────────────────────────────────────────────────────────
    ("ButtonInput", Swallowed),
    ("KeyboardInput", Swallowed),
    ("MouseButtonInput", Swallowed),
    ("MouseMotion", Swallowed),
    ("MouseWheel", Swallowed),
    ("CursorMoved", Swallowed),
    ("AccumulatedMouseMotion", Swallowed),
    ("AccumulatedMouseScroll", Swallowed),
    // The pointer position is a field, not a message; the cover blanks it.
    ("cursor_position", Swallowed),
    ("physical_cursor_position", Swallowed),
    // ── Deliberately open under the cover ───────────────────────────────────────────────────
    (
        "WindowCloseRequested",
        Open("closing the window during a load must work — it is the OS asking, not the player"),
    ),
    (
        "WindowFocused",
        Open("alt-tab bookkeeping; `cursor.rs` re-asserts the hardware cursor on the focus edge"),
    ),
    (
        "KeyboardFocusLost",
        Open(
            "the window deactivate, not player input: `bindings.rs` clears the held direction \
             bits on it, the reference's `0x514490`, which a load must not hide",
        ),
    ),
    (
        "WindowOccluded",
        Open("the present-mode throttle: a load behind another window must still throttle"),
    ),
    (
        "CursorOptions",
        Open("an OUTPUT (grab/visible), not a channel — the cover has nothing to take from it"),
    ),
    (
        "RawWinitWindowEvent",
        Open(
            "read only to learn what the layout names each key (`bindings/layout.rs`), which acts \
             on nothing: a press under the cover still never reaches a binding or a box, and the \
             name it refreshes must be current when the cover lifts",
        ),
    ),
    (
        "CursorLeft",
        Open(
            "the cover READS it rather than taking it: a `None` in the window's \
             position field is either winit's departure or the cover's own blank, and the hand-back \
             must not confuse them — restoring the stash over a pointer the player took out of the \
             window would warp it back in. Draining it would blind the gate to its own signal.",
        ),
    ),
    // ── Not input at all ────────────────────────────────────────────────────────────────────
    ("ButtonState", Plumbing),
    // Cursor outputs benilla writes; nothing arrives through them.
    ("CursorGrabMode", Plumbing),
    ("CursorIcon", Plumbing),
    ("CustomCursor", Plumbing),
    ("CustomCursorImage", Plumbing),
    ("InputPlugin", Plumbing),
    ("WinitPlugin", Plumbing),
    ("InputSystems", Plumbing),
    ("Key", Plumbing),
    ("KeyCode", Plumbing),
    ("MouseButton", Plumbing),
    ("MouseScrollUnit", Plumbing),
    ("NativeKey", Plumbing),
    ("ExitCondition", Plumbing),
    ("Monitor", Plumbing),
    ("MonitorSelection", Plumbing),
    ("PresentMode", Plumbing),
    ("PrimaryWindow", Plumbing),
    ("RawHandleWrapper", Plumbing),
    ("Window", Plumbing),
    ("WindowLevel", Plumbing),
    ("WindowMode", Plumbing),
    ("WindowPlugin", Plumbing),
    ("WindowPosition", Plumbing),
    ("WindowResolution", Plumbing),
];

/// The gate's source, which every `Swallowed` row must name.
const GATE: &str = "crates/benilla-app/src/loading_screen/input.rs";

/// Prelude re-exports, scanned for by bare identifier since no `bevy::input::` path names them.
const PRELUDE_INPUT_NAMES: &[&str] = &[
    "ButtonInput",
    "AccumulatedMouseMotion",
    "AccumulatedMouseScroll",
    "cursor_position",
    "physical_cursor_position",
];

#[test]
fn every_input_channel_the_client_reads_has_a_verdict_under_the_cover() {
    let root = workspace_root();
    let mut found: BTreeMap<String, BTreeSet<String>> = BTreeMap::new();
    for file in workspace_sources(&root) {
        // The wall names every channel itself.
        if file.ends_with("tests/cover_input_wall.rs") {
            continue;
        }
        let Ok(text) = std::fs::read_to_string(&file) else {
            continue;
        };
        let rel = file
            .strip_prefix(&root)
            .unwrap_or(&file)
            .to_string_lossy()
            .to_string();
        for name in input_names(&text) {
            found.entry(name).or_default().insert(rel.clone());
        }
    }

    let table: BTreeMap<&str, Verdict> = VERDICTS.iter().copied().collect();
    let unclassified: Vec<_> = found
        .iter()
        .filter(|(name, _)| !table.contains_key(name.as_str()))
        .collect();
    assert!(
        unclassified.is_empty(),
        "the client reads input channels the cover has never been asked about.\n\
         For each, decide: does the loading cover swallow it? If yes, add the line to {GATE} \
         and a `Swallowed` row to VERDICTS; if not, an `Open` row saying why.\n{}",
        unclassified
            .iter()
            .map(|(name, files)| format!(
                "  {name} — {}",
                files.iter().take(3).cloned().collect::<Vec<_>>().join(", ")
            ))
            .collect::<Vec<_>>()
            .join("\n")
    );

    // A `Swallowed` row must be named by the gate; the gate may name channels nothing reads yet.
    let gate = std::fs::read_to_string(root.join(GATE)).expect("the gate's source");
    let unbacked: Vec<&str> = VERDICTS
        .iter()
        .filter(|(name, v)| *v == Swallowed && !gate.contains(name))
        .map(|(name, _)| *name)
        .collect();
    assert!(
        unbacked.is_empty(),
        "VERDICTS claims the cover swallows these, but {GATE} never names them: {unbacked:?}"
    );

    // A non-`Plumbing` row nothing names is stale.
    let stale: Vec<&str> = VERDICTS
        .iter()
        .filter(|(name, v)| *v != Plumbing && !found.contains_key(*name))
        .map(|(name, _)| *name)
        .collect();
    assert!(
        stale.is_empty(),
        "VERDICTS rows nothing reads any more — delete them: {stale:?}"
    );
}

/// Every input identifier `text` names: the leaf of any `bevy::input::…`/`bevy::window::…`/
/// `bevy::winit::…` path (grouped `use` braces expanded), plus the prelude names.
fn input_names(text: &str) -> BTreeSet<String> {
    let mut out = BTreeSet::new();
    for prefix in ["bevy::input::", "bevy::window::", "bevy::winit::"] {
        let mut rest = text;
        while let Some(at) = rest.find(prefix) {
            rest = &rest[at + prefix.len()..];
            // `use bevy::input::mouse::{A, B};`: take the braced group whole.
            let path: String = rest
                .chars()
                .take_while(|c| c.is_alphanumeric() || *c == '_' || *c == ':')
                .collect();
            let leaf_source = if rest[path.len()..].starts_with('{') {
                let end = rest[path.len()..].find('}').unwrap_or(0);
                rest[path.len() + 1..path.len() + end].to_string()
            } else {
                path.clone()
            };
            for item in leaf_source.split(',') {
                // The first segment with an upper-case initial wins; module segments are skipped.
                if let Some(name) = item
                    .split("::")
                    .map(str::trim)
                    .find(|seg| seg.starts_with(|c: char| c.is_ascii_uppercase()))
                {
                    out.insert(name.to_string());
                }
            }
            rest = &rest[path.len()..];
        }
    }
    for name in PRELUDE_INPUT_NAMES {
        if text.contains(name) {
            out.insert((*name).to_string());
        }
    }
    out
}

fn workspace_root() -> PathBuf {
    PathBuf::from(env!("CARGO_MANIFEST_DIR"))
        .parent()
        .and_then(Path::parent)
        .expect("crates/benilla-app → the workspace root")
        .to_path_buf()
}

/// Every `.rs` under each crate's `src/`, `examples/` and `tests/`.
fn workspace_sources(root: &Path) -> Vec<PathBuf> {
    let mut out = Vec::new();
    for crate_dir in std::fs::read_dir(root.join("crates"))
        .into_iter()
        .flatten()
        .flatten()
    {
        for sub in ["src", "examples", "tests"] {
            let dir = crate_dir.path().join(sub);
            if dir.is_dir() {
                collect_rs(&dir, &mut out);
            }
        }
    }
    out.sort();
    out
}

fn collect_rs(dir: &Path, out: &mut Vec<PathBuf>) {
    let mut stack = vec![dir.to_path_buf()];
    while let Some(d) = stack.pop() {
        for e in std::fs::read_dir(&d).into_iter().flatten().flatten() {
            let p = e.path();
            if p.is_dir() {
                stack.push(p);
            } else if p.extension().is_some_and(|x| x == "rs") {
                out.push(p);
            }
        }
    }
}