use std::fs::File;

use std::io::Write;

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;

pub use trs_format::*;

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

#[command(about = "A command line rewriting tool", 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),

}

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

#[command(about = "Rewrite mCRL2 data specifications and REC files")]

struct RewriteArgs {

    rewriter: Rewriter,

    #[arg(value_name = "SPEC")]

    specification: String,

    #[arg(help = "File containing the terms to be rewritten.")]

    terms: Option<String>,

    #[arg(long = "output", default_value_t = false, help = "Print the rewritten term(s)")]

    output: bool,

}

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

#[command(about = "Convert input rewrite system to the TRS format")]

struct ConvertArgs {

    #[arg(value_name = "SPEC")]

    specification: String,

    output: String,

}

            }

                    // Read the data specification

            }

        }