use std::ffi::OsStr;

use std::fs::File;

use std::io::Write;

use std::path::PathBuf;

use std::process::ExitCode;

use clap::Parser;

use clap::Subcommand;

use merc_rec_tests::load_rec_from_file;

use merc_tools::VerbosityFlag;

use merc_tools::Version;

use merc_tools::VersionFlag;

use merc_unsafety::print_allocator_metrics;

use merc_utilities::MercError;

use merc_rewrite::Rewriter;

use merc_rewrite::rewrite_rec;

mod trs_format;

use merc_utilities::Timing;

pub use trs_format::*;

/// A command line rewriting tool

#[derive(clap::Parser, Debug)]

#[command(arg_required_else_help = true)]

struct Cli {

    #[command(flatten)]

    version: VersionFlag,

    #[command(flatten)]

    verbosity: VerbosityFlag,

    #[command(subcommand)]

    commands: Option<Commands>,

}

#[derive(Debug, Subcommand)]

enum Commands {

    Rewrite(RewriteArgs),

    Convert(ConvertArgs),

}

/// Rewrite mCRL2 data specifications and REC files

#[derive(clap::Args, Debug)]

#[command()]

struct RewriteArgs {

    rewriter: Rewriter,

    /// The REC specification that contains the rewrite rules.

    #[arg(value_name = "SPEC")]

    specification: PathBuf,

    /// File containing the terms to be rewritten.

    terms: Option<String>,

    /// Print the rewritten term(s)

    #[arg(long)]

    output: bool,

}

/// Convert input rewrite system to the TRS format"

#[derive(clap::Args, Debug)]

#[command()]

struct ConvertArgs {

    /// The REC specification that contains the rewrite rules.

    #[arg(value_name = "SPEC")]

    specification: PathBuf,

    output: String,

}

            }

                    // Read the data specification

            }

        }