Commit dd12e66e authored by Guillaume Melquiond's avatar Guillaume Melquiond

Rename Call_provers.forward_results into get_new_results.

The old function get_new_results is now named fetch_new_results, since it
was not returning anything.
parent 48bfc718
......@@ -5,7 +5,7 @@ Version 0.88.1, ?, 2017
===============================
API
o export function [forward_results] in [Call_provers] interface
o export function [Call_provers.get_new_results]
Provers
o improved support for Isabelle 2017
......
......@@ -390,7 +390,7 @@ type prover_update =
let result_buffer : (server_id, prover_update) Hashtbl.t = Hashtbl.create 17
let get_new_results ~blocking = (* TODO: handle ProverStarted events *)
let fetch_new_results ~blocking = (* TODO: handle ProverStarted events *)
List.iter (fun (id, r) ->
let x = match r with
| Some r -> ProverFinished r
......@@ -398,8 +398,8 @@ let get_new_results ~blocking = (* TODO: handle ProverStarted events *)
Hashtbl.add result_buffer id x)
(wait_for_server_result ~blocking)
let forward_results ~blocking =
get_new_results ~blocking;
let get_new_results ~blocking =
fetch_new_results ~blocking;
let q = ref [] in
Hashtbl.iter (fun key element ->
if element = ProverStarted && blocking then
......@@ -425,7 +425,7 @@ let editor_result ret = {
let query_call = function
| ServerCall id ->
get_new_results ~blocking:false;
fetch_new_results ~blocking:false;
query_result_buffer id
| EditorCall pid ->
let pid, ret = Unix.waitpid [Unix.WNOHANG] pid in
......@@ -437,7 +437,7 @@ let rec wait_on_call = function
begin match query_result_buffer id with
| ProverFinished r -> r
| _ ->
get_new_results ~blocking:true;
fetch_new_results ~blocking:true;
wait_on_call pc
end
| EditorCall pid ->
......
......@@ -163,7 +163,7 @@ type prover_update =
| ProverStarted
| ProverFinished of prover_result
val forward_results: blocking:bool -> (prover_call * prover_update) list
val get_new_results: blocking:bool -> (prover_call * prover_update) list
(** returns new results from why3server, in an unordered fashion. *)
val query_call : prover_call -> prover_update
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment