// status.rs

//

// Copyright 2020, Georges Racinet <georges.racinets@octobus.net>

//

// This software may be used and distributed according to the terms of the

// GNU General Public License version 2 or any later version.

use crate::error::CommandError;

use crate::ui::{

    format_pattern_file_warning, print_narrow_sparse_warnings, Ui,

};

use crate::utils::path_utils::RelativizePaths;

use clap::Arg;

use format_bytes::format_bytes;

use hg::config::Config;

use hg::dirstate::has_exec_bit;

use hg::dirstate::status::StatusPath;

use hg::dirstate::TruncatedTimestamp;

use hg::errors::{HgError, IoResultExt};

use hg::lock::LockError;

use hg::manifest::Manifest;

use hg::matchers::{AlwaysMatcher, IntersectionMatcher};

use hg::repo::Repo;

use hg::utils::debug::debug_wait_for_file;

use hg::utils::files::get_bytes_from_os_string;

use hg::utils::files::get_path_from_bytes;

use hg::utils::hg_path::{hg_path_to_path_buf, HgPath};

use hg::DirstateStatus;

use hg::PatternFileWarning;

use hg::StatusError;

use hg::StatusOptions;

use hg::{self, narrow, sparse};

use log::info;

use rayon::prelude::*;

use std::io;

use std::path::PathBuf;

pub const HELP_TEXT: &str = "

Show changed files in the working directory

This is a pure Rust version of `hg status`.

Some options might be missing, check the list below.

";

pub fn args() -> clap::Command {

    clap::command!("status")

        .alias("st")

        .about(HELP_TEXT)

        .arg(

            Arg::new("all")

                .help("show status of all files")

                .short('A')

                .action(clap::ArgAction::SetTrue)

                .long("all"),

        )

        .arg(

            Arg::new("modified")

                .help("show only modified files")

                .short('m')

                .action(clap::ArgAction::SetTrue)

                .long("modified"),

        )

        .arg(

            Arg::new("added")

                .help("show only added files")

                .short('a')

                .action(clap::ArgAction::SetTrue)

                .long("added"),

        )

        .arg(

            Arg::new("removed")

                .help("show only removed files")

                .short('r')

                .action(clap::ArgAction::SetTrue)

                .long("removed"),

        )

        .arg(

            Arg::new("clean")

                .help("show only clean files")

                .short('c')

                .action(clap::ArgAction::SetTrue)

                .long("clean"),

        )

        .arg(

            Arg::new("deleted")

                .help("show only deleted files")

                .short('d')

                .action(clap::ArgAction::SetTrue)

                .long("deleted"),

        )

        .arg(

            Arg::new("unknown")

                .help("show only unknown (not tracked) files")

                .short('u')

                .action(clap::ArgAction::SetTrue)

                .long("unknown"),

        )

        .arg(

            Arg::new("ignored")

                .help("show only ignored files")

                .short('i')

                .action(clap::ArgAction::SetTrue)

                .long("ignored"),

        )

        .arg(

            Arg::new("copies")

                .help("show source of copied files (DEFAULT: ui.statuscopies)")

                .short('C')

                .action(clap::ArgAction::SetTrue)

                .long("copies"),

        )

        .arg(

            Arg::new("print0")

                .help("end filenames with NUL, for use with xargs")

                .short('0')

                .action(clap::ArgAction::SetTrue)

                .long("print0"),

        )

        .arg(

            Arg::new("no-status")

                .help("hide status prefix")

                .short('n')

                .action(clap::ArgAction::SetTrue)

                .long("no-status"),

        )

        .arg(

            Arg::new("verbose")

                .help("enable additional output")

                .short('v')

                .action(clap::ArgAction::SetTrue)

                .long("verbose"),

        )

}

/// Pure data type allowing the caller to specify file states to display

#[derive(Copy, Clone, Debug)]

pub struct DisplayStates {

    pub modified: bool,

    pub added: bool,

    pub removed: bool,

    pub clean: bool,

    pub deleted: bool,

    pub unknown: bool,

    pub ignored: bool,

}

pub const DEFAULT_DISPLAY_STATES: DisplayStates = DisplayStates {

    modified: true,

    added: true,

    removed: true,

    clean: false,

    deleted: true,

    unknown: true,

    ignored: false,

};

pub const ALL_DISPLAY_STATES: DisplayStates = DisplayStates {

    modified: true,

    added: true,

    removed: true,

    clean: true,

    deleted: true,

    unknown: true,

    ignored: true,

};

impl DisplayStates {

    pub fn is_empty(&self) -> bool {

        !(self.modified

            || self.added

            || self.removed

            || self.clean

            || self.deleted

            || self.unknown

            || self.ignored)

    }

}

fn has_unfinished_merge(repo: &Repo) -> Result<bool, CommandError> {

    Ok(repo.dirstate_parents()?.is_merge())

}

fn has_unfinished_state(repo: &Repo) -> Result<bool, CommandError> {

    // These are all the known values for the [fname] argument of

    // [addunfinished] function in [state.py]

    let known_state_files: &[&str] = &[

        "bisect.state",

        "graftstate",

        "histedit-state",

        "rebasestate",

        "shelvedstate",

        "transplant/journal",

        "updatestate",

    ];

    if has_unfinished_merge(repo)? {

        return Ok(true);

    };

    for f in known_state_files {

        if repo.hg_vfs().join(f).exists() {

            return Ok(true);

        }

    }

    Ok(false)

}

pub fn run(invocation: &crate::CliInvocation) -> Result<(), CommandError> {

    // TODO: lift these limitations

    if invocation

        .config

        .get(b"commands", b"status.terse")

        .is_some()

    {

        return Err(CommandError::unsupported(

            "status.terse is not yet supported with rhg status",

        ));

    }

    let ui = invocation.ui;

    let config = invocation.config;

    let args = invocation.subcommand_args;

    let print0 = args.get_flag("print0");

    let verbose = args.get_flag("verbose")

        || config.get_bool(b"ui", b"verbose")?

        || config.get_bool(b"commands", b"status.verbose")?;

    let verbose = verbose && !print0;

    let all = args.get_flag("all");

    let display_states = if all {

        // TODO when implementing `--quiet`: it excludes clean files

        // from `--all`

        ALL_DISPLAY_STATES

    } else {

        let requested = DisplayStates {

            modified: args.get_flag("modified"),

            added: args.get_flag("added"),

            removed: args.get_flag("removed"),

            clean: args.get_flag("clean"),

            deleted: args.get_flag("deleted"),

            unknown: args.get_flag("unknown"),

            ignored: args.get_flag("ignored"),

        };

        if requested.is_empty() {

            DEFAULT_DISPLAY_STATES

        } else {

            requested

        }

    };

    let no_status = args.get_flag("no-status");

    let list_copies = all

        || args.get_flag("copies")

        || config.get_bool(b"ui", b"statuscopies")?;

    let repo = invocation.repo?;

    if verbose && has_unfinished_state(repo)? {

        return Err(CommandError::unsupported(

            "verbose status output is not supported by rhg (and is needed because we're in an unfinished operation)",

        ));

    }

    let mut dmap = repo.dirstate_map_mut()?;

    let check_exec = hg::checkexec::check_exec(repo.working_directory_path());

    let options = StatusOptions {

        check_exec,

        list_clean: display_states.clean,

        list_unknown: display_states.unknown,

        list_ignored: display_states.ignored,

        list_copies,

        collect_traversed_dirs: false,

    };

    type StatusResult<'a> =

        Result<(DirstateStatus<'a>, Vec<PatternFileWarning>), StatusError>;

    let after_status = |res: StatusResult| -> Result<_, CommandError> {

        let (mut ds_status, pattern_warnings) = res?;

        for warning in pattern_warnings {

            ui.write_stderr(&format_pattern_file_warning(&warning, repo))?;

        }

        for (path, error) in ds_status.bad {

            let error = match error {

                hg::BadMatch::OsError(code) => {

                    std::io::Error::from_raw_os_error(code).to_string()

                }

                hg::BadMatch::BadType(ty) => {

                    format!("unsupported file type (type is {})", ty)

                }

            };

            ui.write_stderr(&format_bytes!(

                b"{}: {}\n",

                path.as_bytes(),

                error.as_bytes()

            ))?

        }

        if !ds_status.unsure.is_empty() {

            info!(

                "Files to be rechecked by retrieval from filelog: {:?}",

                ds_status.unsure.iter().map(|s| &s.path).collect::<Vec<_>>()

            );

        }

        let mut fixup = Vec::new();

        if !ds_status.unsure.is_empty()

            && (display_states.modified || display_states.clean)

        {

            let p1 = repo.dirstate_parents()?.p1;

            let manifest = repo.manifest_for_node(p1).map_err(|e| {

                CommandError::from((e, &*format!("{:x}", p1.short())))

            })?;

            let working_directory_vfs = repo.working_directory_vfs();

            let store_vfs = repo.store_vfs();

            let res: Vec<_> = ds_status

                .unsure

                .into_par_iter()

                .map(|to_check| {

                    // The compiler seems to get a bit confused with complex

                    // inference when using a parallel iterator + map

                    // + map_err + collect, so let's just inline some of the

                    // logic.

                    match unsure_is_modified(

                        working_directory_vfs,

                        store_vfs,

                        check_exec,

                        &manifest,

                        &to_check.path,

                    ) {

                        Err(HgError::IoError { .. }) => {

                            // IO errors most likely stem from the file being

                            // deleted even though we know it's in the

                            // dirstate.

                            Ok((to_check, UnsureOutcome::Deleted))

                        }

                        Ok(outcome) => Ok((to_check, outcome)),

                        Err(e) => Err(e),

                    }

                })

                .collect::<Result<_, _>>()?;

            for (status_path, outcome) in res.into_iter() {

                match outcome {

                    UnsureOutcome::Clean => {

                        if display_states.clean {

                            ds_status.clean.push(status_path.clone());

                        }

                        fixup.push(status_path.path.into_owned())