Source file gapiConversation.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
module Option = GapiOption

let debug_print start_time curl info_type info =
  let time = Unix.gettimeofday () in
  let timestamp = time -. start_time in
  let nl =
    if String.length info > 0 && info.[String.length info - 1] = '\n' then ""
    else "\n"
  in
  Printf.printf "[%f] curl: %s: %s%s%!" timestamp
    (GapiCurl.string_of_curl_info_type info_type)
    info nl

module Session = struct
  type oauth1_context = { token : string; secret : string }

  let token =
    {
      GapiLens.get = (fun x -> x.token);
      GapiLens.set = (fun v x -> { x with token = v });
    }

  let secret =
    {
      GapiLens.get = (fun x -> x.secret);
      GapiLens.set = (fun v x -> { x with secret = v });
    }

  type oauth2_context = { oauth2_token : string; refresh_token : string }

  let oauth2_token =
    {
      GapiLens.get = (fun x -> x.oauth2_token);
      GapiLens.set = (fun v x -> { x with oauth2_token = v });
    }

  let refresh_token =
    {
      GapiLens.get = (fun x -> x.refresh_token);
      GapiLens.set = (fun v x -> { x with refresh_token = v });
    }

  type auth_context =
    | NoAuth
    | ClientLogin of string
    | OAuth1 of oauth1_context
    | OAuth2 of oauth2_context

  let no_auth =
    {
      GapiLens.get = (function NoAuth -> Some () | _ -> None);
      GapiLens.set = (fun _ _ -> NoAuth);
    }

  let client_login =
    {
      GapiLens.get = (function ClientLogin v -> Some v | _ -> None);
      GapiLens.set = (fun v _ -> ClientLogin (Option.get v));
    }

  let oauth1 =
    {
      GapiLens.get = (function OAuth1 v -> Some v | _ -> None);
      GapiLens.set = (fun v _ -> OAuth1 (Option.get v));
    }

  let oauth2 =
    {
      GapiLens.get = (function OAuth2 v -> Some v | _ -> None);
      GapiLens.set = (fun v _ -> OAuth2 (Option.get v));
    }

  type t = {
    curl : [ `Created ] GapiCurl.t;
    config : GapiConfig.t;
    auth : auth_context;
    cookies : string list;
    etag : string;
  }

  let curl =
    {
      GapiLens.get = (fun x -> x.curl);
      GapiLens.set = (fun v x -> { x with curl = v });
    }

  let config =
    {
      GapiLens.get = (fun x -> x.config);
      GapiLens.set = (fun v x -> { x with config = v });
    }

  let auth =
    {
      GapiLens.get = (fun x -> x.auth);
      GapiLens.set = (fun v x -> { x with auth = v });
    }

  let cookies =
    {
      GapiLens.get = (fun x -> x.cookies);
      GapiLens.set = (fun v x -> { x with cookies = v });
    }

  let etag =
    {
      GapiLens.get = (fun x -> x.etag);
      GapiLens.set = (fun v x -> { x with etag = v });
    }
end

let update_session headers session =
  let cookies =
    List.fold_left
      (fun cs header ->
        match header with
        | GapiCore.Header.KeyValueHeader (k, v) when k = "Set-Cookie" ->
            GapiCore.Header.to_string header :: cs
        | _ -> cs)
      [] headers
  in
  let etag =
    List.fold_left
      (fun e h -> match h with GapiCore.Header.ETag v -> v | _ -> e)
      "" headers
  in
  { session with Session.cookies; etag }

let is_error response_code =
  (* Return true for HTTP status code = 4xx or 5xx *)
  response_code / 400 = 1 || response_code / 500 = 1

let request ?header_list ?post_data ?media_download http_method session url
    parse_response =
  let header_queue = Queue.create () in
  let parse_header data =
    Queue.add data header_queue;
    String.length data
  in
  let out_channel =
    Option.map GapiMediaResource.create_out_channel media_download
  in
  let pipe = GapiPipe.OcamlnetPipe.create ?out_channel () in
  let writer data =
    GapiPipe.OcamlnetPipe.write_string pipe data;
    String.length data
  in
  let user_agent_header =
    Printf.sprintf "%s gapi-ocaml/%s/%s"
      session.Session.config.GapiConfig.application_name
      GapiCore.library_version Sys.os_type
  in
  let request_headers =
    let hl = Option.value ~default:[] header_list in
    let set_content_type_if_not_present ct =
      let new_content_type = GapiCore.Header.ContentType ct in
      if
        List.exists
          (function GapiCore.Header.ContentType _ -> true | _ -> false)
          hl
      then hl
      else new_content_type :: hl
    in
    match post_data with
    | Some (GapiCore.PostData.Body (_, content_type)) ->
        set_content_type_if_not_present content_type
    | Some (GapiCore.PostData.Fields _) ->
        set_content_type_if_not_present "application/x-www-form-urlencoded"
    | _ -> hl
  in
  GapiCurl.set_headerfunction parse_header session.Session.curl;
  GapiCurl.set_writefunction writer session.Session.curl;
  ( match http_method with
  | GapiCore.HttpMethod.GET -> GapiCurl.set_httpget true session.Session.curl
  | GapiCore.HttpMethod.POST -> GapiCurl.set_post true session.Session.curl
  | GapiCore.HttpMethod.PUT | GapiCore.HttpMethod.PATCH -> (
      match post_data with
      | Some _ -> GapiCurl.set_upload true session.Session.curl
      | None ->
          GapiCurl.set_upload false session.Session.curl;
          GapiCurl.set_nobody true session.Session.curl )
  | GapiCore.HttpMethod.DELETE ->
      GapiCurl.set_upload false session.Session.curl;
      GapiCurl.set_nobody true session.Session.curl
  | GapiCore.HttpMethod.HEAD ->
      GapiCurl.set_upload false session.Session.curl;
      GapiCurl.set_nobody true session.Session.curl );
  ( match http_method with
  | GapiCore.HttpMethod.PATCH | GapiCore.HttpMethod.DELETE ->
      GapiCurl.set_customrequest
        (GapiCore.HttpMethod.to_string http_method)
        session.Session.curl
  | _ ->
      (* FIXME: reset curl custom request *)
      GapiCurl.set_customrequest
        (GapiCore.HttpMethod.to_string http_method)
        session.Session.curl );
  ( match post_data with
  | Some (GapiCore.PostData.Fields key_value_list) ->
      GapiCurl.set_postfields key_value_list session.Session.curl
  | Some (GapiCore.PostData.Body (body, _)) -> (
      GapiCurl.set_httpbody body session.Session.curl;
      match (media_download, http_method) with
      | None, GapiCore.HttpMethod.PUT ->
          GapiCurl.set_post true session.Session.curl
      | _ -> () )
  | None -> (
      match http_method with
      | GapiCore.HttpMethod.POST ->
          GapiCurl.set_postfields [] session.Session.curl
      | GapiCore.HttpMethod.PUT ->
          GapiCurl.set_upload false session.Session.curl;
          GapiCurl.set_post true session.Session.curl;
          GapiCurl.set_postfields [] session.Session.curl
      | _ -> () ) );
  GapiCurl.set_useragent user_agent_header session.Session.curl;
  GapiCurl.set_httpheader request_headers session.Session.curl;
  GapiCurl.set_cookies session.Session.cookies session.Session.curl;
  try
    GapiCurl.perform url session.Session.curl;
    GapiPipe.OcamlnetPipe.end_writing pipe;
    let response_code = GapiCurl.get_responsecode session.Session.curl in
    let response_headers =
      List.rev
        (Queue.fold (fun l h -> GapiCore.Header.parse h :: l) [] header_queue)
    in
    let new_session = update_session response_headers session in
    let pipe =
      if (not (is_error response_code)) || Option.is_none media_download then
        pipe
      else
        (* If media_download is specified and there is an HTTP error code,
         * re-read response body from media *)
        let in_channel =
          Option.map GapiMediaResource.create_in_channel media_download
        in
        GapiPipe.OcamlnetPipe.create ?in_channel ()
    in
    let result =
      parse_response pipe response_code response_headers new_session
    in
    (result, new_session)
  with Curl.CurlException (_, code, desc) ->
    GapiPipe.OcamlnetPipe.end_reading pipe;
    failwith
      (Printf.sprintf "Code: %d, Description: %s, ErrorBuffer: %s\n" code desc
         (GapiCurl.get_error_buffer session.Session.curl))

let with_session ?(auth_context = Session.NoAuth) config curl_state interact =
  let debug_function =
    Option.map
      (fun df ->
        match df with
        | GapiConfig.Standard -> debug_print (Unix.gettimeofday ())
        | GapiConfig.Custom f -> f)
      config.GapiConfig.debug
  in
  let timeout = config.GapiConfig.timeout in
  let connect_timeout = config.GapiConfig.connect_timeout in
  let compress = config.GapiConfig.compress in
  let max_recv_speed = config.GapiConfig.max_recv_speed in
  let max_send_speed = config.GapiConfig.max_send_speed in
  let low_speed_limit = config.GapiConfig.low_speed_limit in
  let low_speed_time = config.GapiConfig.low_speed_time in
  let no_signal = config.GapiConfig.curl_no_signal in
  let proxy = config.GapiConfig.proxy in
  let ssl_verifypeer = config.GapiConfig.ssl_verifypeer in
  let curl_session =
    GapiCurl.init ?debug_function ?timeout ?connect_timeout ~compress
      ~max_recv_speed ~max_send_speed ~low_speed_limit ~low_speed_time
      ~no_signal ?proxy ~ssl_verifypeer curl_state
  in
  let cleanup () = ignore (GapiCurl.cleanup curl_session) in
  let session =
    {
      Session.curl = curl_session;
      config;
      cookies = [];
      auth = auth_context;
      etag = "";
    }
  in
  try
    let result = interact session in
    cleanup ();
    result
  with e ->
    cleanup ();
    raise e

let with_curl ?auth_context config interact =
  let curl_state = GapiCurl.global_init () in
  with_session ?auth_context config curl_state interact

let read_all ?(auto_close = true) pipe =
  let result = GapiPipe.OcamlnetPipe.read_all pipe in
  if auto_close then GapiPipe.OcamlnetPipe.end_reading pipe;
  result

let parse_error pipe response_code session =
  let error_message = read_all pipe in
  failwith
    (Printf.sprintf "Error: %s (HTTP response code: %d)" error_message
       response_code)

exception ConversationException of string

type ('i, 'o) iter =
  | Done of 'o
  | Continue of ('i -> ('i, 'o) iter)
  | Error of string

let rec loop continue input =
  let iter = continue input in
  match iter with
  | Done output -> output
  | Error message -> raise (ConversationException message)
  | Continue k -> loop k input