Impl requests for reruns via REST calls

Author: sxprz

dune-project

@@ -23,6 +23,9 @@
  (name gobview)
  (synopsis "Web frontend for Goblint")
  (depends
+  cohttp
+  cohttp-lwt
+  cohttp-lwt-jsoo
   dune
   (ocaml (>= 4.10.0))
   batteries
@@ -37,6 +40,8 @@
   ppx_yojson_conv ; TODO: switch to ppx_deriving_yojson like Goblint itself
   conduit-lwt-unix
   jsoo-react
+  lwt
+  uri
   (goblint-cil (>= 2.0.0))
   ctypes_stubs_js
   integers_stubs_js

gobview.opam

@@ -12,6 +12,9 @@ license: "MIT"
 homepage: "https://github.com/goblint/gobview"
 bug-reports: "https://github.com/goblint/gobview/issues"
 depends: [
+  "cohttp"
+  "cohttp-lwt"
+  "cohttp-lwt-jsoo"
   "dune" {>= "2.7"}
   "ocaml" {>= "4.10.0"}
   "batteries"
@@ -26,6 +29,8 @@ depends: [
   "ppx_yojson_conv"
   "conduit-lwt-unix"
   "jsoo-react"
+  "lwt"
+  "uri"
   "goblint-cil" {>= "2.0.0"}
   "ctypes_stubs_js"
   "integers_stubs_js"

src/dune

@@ -5,6 +5,9 @@
  (modes js)
  (libraries
   batteries.unthreaded
+  cohttp
+  cohttp-lwt
+  cohttp-lwt-jsoo
   fpath
   gen_js_api
   goblint-cil
@@ -20,6 +23,7 @@
   lwt
   ppx_deriving_yojson.runtime
   ppx_deriving.runtime
+  uri
   yojson
   zarith
   zarith_stubs_js)

src/ui/panel/ParameterView.re

@@ -1,8 +1,8 @@
-//open Lwt
-//open Cohttp
-//open Cohttp_lwt_unix
-// TODO use above mentioned packages for http client to call goblint http server
+open Lwt
+open Cohttp
+open Cohttp_lwt
 
+module Client = Cohttp_lwt_jsoo.Client
 module ReactDOM = React.Dom
 
 type paramState = Executed | Executing | Canceled | Error;
@@ -18,17 +18,31 @@ let make = (~parameters, ~history, ~setHistory) => {
     }, [|value|]);
 
     let on_change = (new_value) => {
-        setValue(_ => new_value)
+        setValue(_ => new_value);
     };
 
     let on_submit = () => {
         let newHistory = Array.append(history, [|(value, Time.getLocalTime(), Executing)|])
-        setHistory(_ => newHistory)
-
-        // TODO transform param string with "' '" seperation mask
-        // TODO execute newly transformed params
+        setHistory(_ => newHistory);
 
-        // TODO use cohttp to call goblint server
+        let /*parameterList*/ _ = ParameterUtils.constructParameters(value);
+        let headers = Header.init_with("Content-Type", "application/json");
+        let body = "{
+                    \"jsonrpc\": \"2.0\",
+                    \"id\": \"5\",
+                    \"method\": \"analyze\",
+                    \"params\": {\"reset\": false}
+                    }"
+                    |> Body.of_string;
+        let url = "127.0.0.1:8001" |> Uri.of_string;
+
+        let _ = Client.put(url, ~body=body, ~headers=headers) >>= ((res, _ /*body*/)) => {
+            res |> Response.status |> Code.code_of_status |> string_of_int |> Util.log;
+            /*body |> Body.to_string >|= (b) => {
+                Util.log(b);
+            };*/
+            Lwt.return ();
+        };
 
         setDisableCancel(_ => false);
     };