schala/schala-repl/src/repl/repl_options.rs

use crate::language::DebugAsk;

use std::io::{Read, Write};
use std::collections::HashSet;
use std::fs::File;

#[derive(Serialize, Deserialize)]
pub struct ReplOptions {
  pub debug_asks: HashSet<DebugAsk>,
  pub show_total_time: bool,
  pub show_stage_times: bool,
}

impl ReplOptions {
  pub fn new() -> ReplOptions {
    ReplOptions {
      debug_asks: HashSet::new(),
      show_total_time: true,
      show_stage_times: false,
    }
  }

  pub fn save_to_file(&self, filename: &str) {
    let res = File::create(filename)
      .and_then(|mut file| {
        let buf = crate::serde_json::to_string(self).unwrap();
        file.write_all(buf.as_bytes())
      });
    if let Err(err) = res {
      println!("Error saving {} file {}", filename, err);
    }
  }

  pub fn load_from_file(filename: &str) -> Result<ReplOptions, ()> {
    File::open(filename)
      .and_then(|mut file| {
        let mut contents = String::new();
        file.read_to_string(&mut contents)?;
        Ok(contents)
      })
    .and_then(|contents| {
      let output: ReplOptions = crate::serde_json::from_str(&contents)?;
      Ok(output)
    })
    .map_err(|_| ())
  }
}