EmitJson.ml

let items = ref 0
let start () =
  items := 0;
  Printf.printf "["
let finish () = Printf.printf "\n]\n"
let emitClose () = "\n}"
let jsonString text = Yojson.Safe.to_string (`String text)

let emitItem ~ppf ~name ~kind ~file ~range ~message =
  let open Format in
  items := !items + 1;
  let startLine, startCharacter, endLine, endCharacter = range in
  fprintf ppf "%s{\n" (if !items = 1 then "\n" else ",\n");
  fprintf ppf "  \"name\": %s,\n" (jsonString name);
  fprintf ppf "  \"kind\": %s,\n" (jsonString kind);
  fprintf ppf "  \"file\": %s,\n" (jsonString file);
  fprintf ppf "  \"range\": [%d,%d,%d,%d],\n" startLine startCharacter endLine
    endCharacter;
  fprintf ppf "  \"message\": %s" (jsonString message)

let locToPos (loc : Location.t) =
  (loc.loc_start.pos_lnum - 1, loc.loc_start.pos_cnum - loc.loc_start.pos_bol)

let emitAnnotate ~pos ~text ~action =
  let line, character = pos in
  Format.asprintf
    ",\n\
    \  \"annotate\": { \"line\": %d, \"character\": %d, \"text\": %s, \
     \"action\": %s}"
    line character (jsonString text) (jsonString action)