(** Simple test for nesting_checker functionality *)

let () =
  (* Create a message collector *)
  let collector = Html5_checker.Message_collector.create () in

  (* Get the nesting checker *)
  let module C = (val Html5_checker__Nesting_checker.checker : Html5_checker__Checker.S) in
  let state = C.create () in

  (* Test 1: <a> cannot contain another <a> *)
  Printf.printf "Test 1: Checking <a href> inside <a href>\n";
  C.start_element state ~name:"a" ~namespace:None ~attrs:[("href", "#")] collector;
  C.start_element state ~name:"a" ~namespace:None ~attrs:[("href", "#")] collector;

  let errors1 = Html5_checker.Message_collector.errors collector in
  Printf.printf "  Found %d error(s)\n" (List.length errors1);
  List.iter (fun msg ->
    Printf.printf "    - %s\n" msg.Html5_checker.Message.message
  ) errors1;

  C.end_element state ~name:"a" ~namespace:None collector;
  C.end_element state ~name:"a" ~namespace:None collector;
  Html5_checker.Message_collector.clear collector;

  (* Test 2: <button> inside <a> *)
  Printf.printf "\nTest 2: Checking <button> inside <a href>\n";
  C.start_element state ~name:"a" ~namespace:None ~attrs:[("href", "#")] collector;
  C.start_element state ~name:"button" ~namespace:None ~attrs:[] collector;

  let errors2 = Html5_checker.Message_collector.errors collector in
  Printf.printf "  Found %d error(s)\n" (List.length errors2);
  List.iter (fun msg ->
    Printf.printf "    - %s\n" msg.Html5_checker.Message.message
  ) errors2;

  C.end_element state ~name:"button" ~namespace:None collector;
  C.end_element state ~name:"a" ~namespace:None collector;
  Html5_checker.Message_collector.clear collector;

  (* Test 3: form inside form *)
  Printf.printf "\nTest 3: Checking <form> inside <form>\n";
  C.start_element state ~name:"form" ~namespace:None ~attrs:[] collector;
  C.start_element state ~name:"form" ~namespace:None ~attrs:[] collector;

  let errors3 = Html5_checker.Message_collector.errors collector in
  Printf.printf "  Found %d error(s)\n" (List.length errors3);
  List.iter (fun msg ->
    Printf.printf "    - %s\n" msg.Html5_checker.Message.message
  ) errors3;

  C.end_element state ~name:"form" ~namespace:None collector;
  C.end_element state ~name:"form" ~namespace:None collector;
  Html5_checker.Message_collector.clear collector;

  (* Test 4: header inside footer *)
  Printf.printf "\nTest 4: Checking <header> inside <footer>\n";
  C.start_element state ~name:"footer" ~namespace:None ~attrs:[] collector;
  C.start_element state ~name:"header" ~namespace:None ~attrs:[] collector;

  let errors4 = Html5_checker.Message_collector.errors collector in
  Printf.printf "  Found %d error(s)\n" (List.length errors4);
  List.iter (fun msg ->
    Printf.printf "    - %s\n" msg.Html5_checker.Message.message
  ) errors4;

  C.end_element state ~name:"header" ~namespace:None collector;
  C.end_element state ~name:"footer" ~namespace:None collector;
  Html5_checker.Message_collector.clear collector;

  (* Test 5: input (not hidden) inside button *)
  Printf.printf "\nTest 5: Checking <input type=text> inside <button>\n";
  C.start_element state ~name:"button" ~namespace:None ~attrs:[] collector;
  C.start_element state ~name:"input" ~namespace:None ~attrs:[("type", "text")] collector;

  let errors5 = Html5_checker.Message_collector.errors collector in
  Printf.printf "  Found %d error(s)\n" (List.length errors5);
  List.iter (fun msg ->
    Printf.printf "    - %s\n" msg.Html5_checker.Message.message
  ) errors5;

  C.end_element state ~name:"input" ~namespace:None collector;
  C.end_element state ~name:"button" ~namespace:None collector;
  Html5_checker.Message_collector.clear collector;

  (* Test 6: valid nesting - should not error *)
  Printf.printf "\nTest 6: Checking valid nesting: <div> inside <div>\n";
  C.start_element state ~name:"div" ~namespace:None ~attrs:[] collector;
  C.start_element state ~name:"div" ~namespace:None ~attrs:[] collector;

  let errors6 = Html5_checker.Message_collector.errors collector in
  Printf.printf "  Found %d error(s)\n" (List.length errors6);
  if List.length errors6 = 0 then
    Printf.printf "    OK: No errors as expected\n";

  C.end_element state ~name:"div" ~namespace:None collector;
  C.end_element state ~name:"div" ~namespace:None collector;
  Html5_checker.Message_collector.clear collector;

  (* Test 7: area without map ancestor *)
  Printf.printf "\nTest 7: Checking <area> without <map> ancestor\n";
  C.start_element state ~name:"area" ~namespace:None ~attrs:[] collector;

  let errors7 = Html5_checker.Message_collector.errors collector in
  Printf.printf "  Found %d error(s)\n" (List.length errors7);
  List.iter (fun msg ->
    Printf.printf "    - %s\n" msg.Html5_checker.Message.message
  ) errors7;

  C.end_element state ~name:"area" ~namespace:None collector;
  Html5_checker.Message_collector.clear collector;

  (* Test 8: area with map ancestor (valid) *)
  Printf.printf "\nTest 8: Checking <area> with <map> ancestor (valid)\n";
  C.start_element state ~name:"map" ~namespace:None ~attrs:[] collector;
  C.start_element state ~name:"area" ~namespace:None ~attrs:[] collector;

  let errors8 = Html5_checker.Message_collector.errors collector in
  Printf.printf "  Found %d error(s)\n" (List.length errors8);
  if List.length errors8 = 0 then
    Printf.printf "    OK: No errors as expected\n";

  C.end_element state ~name:"area" ~namespace:None collector;
  C.end_element state ~name:"map" ~namespace:None collector;

  Printf.printf "\nAll tests completed!\n"