package acgtk

  1. Overview
  2. Docs
package acgtk
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file dl_parse_functions.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
open UtilsLib
module I = Dl_parser.MenhirInterpreter

(* -------------------------------------------------------------------------- *)

let succeed data =
  (* The parser has succeeded and produced a semantic value. *)
  data

let fail lexbuf c =
  (* The parser has suspended itself because of a syntax error. Stop. *)
  match c with
  | I.HandlingError env ->
      let loc = (Lexing.lexeme_start_p lexbuf, Lexing.lexeme_end_p lexbuf) in
      let current_state_num = I.current_state_number env in
      Errors.(SyntaxErrors.emit (Syntax_l.ParseError (Messages.message current_state_num)) ~loc)
  | _ -> failwith "Should not happen. Always fails with a HandlingError"

let core_supplier lexbuf = I.lexer_lexbuf_to_supplier Dl_lexer.lexer lexbuf
let supplier = core_supplier

type entry = File of string | String of string

let generic_parse ~entry f =
  let _input, input_name =
    match entry with File f -> (Some f, f) | String q -> (None, q)
  in
  try
    let lexbuf, from_file =
      match entry with
      | File filename ->
          let in_ch =
            let fullname = Utils.find_file filename [ "" ] Error.dummy_pos in
            open_in fullname
          in
          (Lexing.from_channel in_ch, true)
      | String s -> (Lexing.from_string s, false)
    in
    let () =
      if from_file then Logs.app (fun m -> m "Parsing \"%s\"..." input_name)
      else ()
    in
    let starting_parse_time = Sys.time () in
    let e =
      I.loop_handle succeed (fail lexbuf) (supplier lexbuf)
        (f lexbuf.Lexing.lex_curr_p)
    in
    let ending_parse_time = Sys.time () in
    let () =
      if from_file then
        Logs.app (fun m ->
            m "Done (%.3f seconds).\n%!"
              (ending_parse_time -. starting_parse_time))
      else ()
    in
    Some e
  with
  | e -> UtilsLib.Error.print_error e None; None

let parse_program filename =
  generic_parse ~entry:(File filename) Dl_parser.Incremental.program

let parse_edb filename =
  generic_parse ~entry:(File filename) Dl_parser.Incremental.extensional_facts

let parse_query q = generic_parse ~entry:(String q) Dl_parser.Incremental.query