Handling undo dialog.

Author: mandel

bot/bot.rml

@@ -28,7 +28,8 @@ let process main text mask position reset =
         emit reset pos_init;
         pause
     | Intent_undo ->
-        print_endline "Undo not implemented"; (* XXX TODO XXX *)
+        let n = run Dialog.get_undo conf text position in
+        print_endline ("Undo("^(string_of_int n)^") not implemented"); (* XXX TODO XXX *)
         pause
     | Intent_resign ->
         print_endline "Resign not implemented"; (* XXX TODO XXX *)

bot/config_bot.ml

@@ -28,6 +28,10 @@ let wcs_workspace_piece_id = ref None
 let set_wcs_workspace_piece_id s =
   wcs_workspace_piece_id := Some s
 
+let wcs_workspace_undo_id = ref None
+let set_wcs_workspace_undo_id s =
+  wcs_workspace_undo_id := Some s
+
 let options =
   [ ("-wcs-user", Arg.String set_wcs_user,
      "username Set the Watson Conversation Service user name");
@@ -43,6 +47,8 @@ let options =
      "workspace Set the Watson Conversation Service workspace id for intent dispatch questions");
     ("-wcs-workspace-piece", Arg.String set_wcs_workspace_piece_id,
      "workspace Set the Watson Conversation Service workspace id for piece questions");
+    ("-wcs-workspace-undo", Arg.String set_wcs_workspace_undo_id,
+     "workspace Set the Watson Conversation Service workspace id for undo questions");
   ]
 
 (* Must be called after Arg.parse. *)
@@ -52,20 +58,23 @@ let get () =
                !wcs_workspace_castling_id,
                !wcs_workspace_turn_id,
                !wcs_workspace_intent_dispatch_id,
+               !wcs_workspace_undo_id,
                !wcs_workspace_piece_id) with
   | Some wcs_user, Some wcs_password,
     Some wcs_workspace_square_id,
     Some wcs_workspace_castling_id,
     Some wcs_workspace_turn_id,
     Some wcs_workspace_intent_dispatch_id,
+    Some wcs_workspace_undo_id,
     Some wcs_workspace_piece_id ->
       {  wcs_user = wcs_user;
          wcs_password = wcs_password;
          wcs_workspace_square_id = wcs_workspace_square_id;
          wcs_workspace_castling_id = wcs_workspace_castling_id;
          wcs_workspace_turn_id = wcs_workspace_turn_id;
          wcs_workspace_intent_dispatch_id = wcs_workspace_intent_dispatch_id;
-         wcs_workspace_piece_id = wcs_workspace_piece_id; }
+         wcs_workspace_piece_id = wcs_workspace_piece_id;
+         wcs_workspace_undo_id = wcs_workspace_undo_id; }
   | _ ->
       Arg.usage options "Need all workspace identifiers.";
       exit 1

bot/context_types.atd

@@ -5,4 +5,5 @@ type context = {
     ?color : string option;
     ?dispatch : string option;
     ?filled : string option;
+    ?undo_half_moves <json name="undo-half-moves"> : int option;
   } <ocaml field_prefix="ctx_">

bot/dialog.rml

@@ -147,6 +147,26 @@ let process get_intent wcs_config text : intent_dispatch process =
   run get_value wcs_config wcs_config.wcs_workspace_intent_dispatch_id text
     ctx txt turn_of_resp
 
+let process get_undo wcs_config text position : int process =
+  let ctx =
+    let total_moves =
+      begin match (last ?position) with
+      | Some (_, p) -> p.number
+      | None -> max_int
+      end
+    in
+    json_of_string
+      ("{ \"totalmoves\": "^(string_of_int total_moves)^" }")
+  in
+  let undo_half_moves_of_resp resp =
+    begin match context_of_json resp.rsp_context with
+    | Some { ctx_undo_half_moves = Some n } -> Some n
+    | _ -> None
+    end
+  in
+  run get_value wcs_config wcs_config.wcs_workspace_undo_id text
+    ctx "" undo_half_moves_of_resp
+
 
 let rec process await_new_mask_diff mask m_init prev_diff =
   await mask (Some m) in

bot/types_bot.ml

@@ -10,6 +10,7 @@ type wcs_config = {
     wcs_workspace_turn_id : string;
     wcs_workspace_intent_dispatch_id : string;
     wcs_workspace_piece_id : string;
+    wcs_workspace_undo_id : string;
   }
 
 type intent_dispatch =

bot/types_bot.rmli

@@ -8,6 +8,7 @@ type wcs_config = {
     wcs_workspace_turn_id : string;
     wcs_workspace_intent_dispatch_id : string;
     wcs_workspace_piece_id : string;
+    wcs_workspace_undo_id : string;
   }
 
 type intent_dispatch =