use env_logger;
use macro_machines::def_machine_nodefault_debug;

def_machine_nodefault_debug!{
  G <X> (
    x   : X,
    rx  : std::sync::mpsc::Receiver <X> = std::sync::mpsc::channel().1,
    foo : u64
  ) @ g {
    STATES [
      state S ()
      state T (t : u64 = *foo)
    ]
    EVENTS [
      event A <S> => <T> ()
    ]
    initial_state: S {
      initial_action: { println!("initial G: {g:?}") }
    }
  }
}

fn main () {
  use std::io::Write;
  use macro_machines::{HandleEventException, MachineDotfile};

  let example_name = std::env::current_exe().unwrap().file_name().unwrap()
    .to_str().unwrap().to_string();
  println!("{example_name}: main...");

  env_logger::Builder::new()
    .filter_level (log::LevelFilter::Trace)
    .parse_default_env()
    .init();

  G::<u8>::report_sizes();
  G::<f64>::report_sizes();
  G::<(f64,f64,f64)>::report_sizes();

  let dotfile_name = format!("{example_name}.dot");
  let mut f = std::fs::File::create (dotfile_name).unwrap();
  f.write_all (G::<f64>::dotfile_show_defaults().as_bytes()).unwrap();
  drop (f);

  //let mut g = G::<std::sync::mpsc::Receiver <f64>>::initial();
  let mut g = G::<f64>::new (
    ExtendedState::new (Some (Default::default()), None, Some (10)).unwrap());
  println!("g: {g:?}");

  let e = EventParams::A{}.into();
  g.handle_event (e).unwrap();
  println!("g: {g:?}");

  let e = EventParams::A{}.into();
  assert_eq!(g.handle_event (e), Err (HandleEventException::WrongState));

  println!("{example_name}: ...main");
}