Source file Parser.ml

type token =
  | LEFT_PARENTHESIS
  | RIGHT_PARENTHESIS
  | DOT
  | COLON
  | IF
  | NOT
  | COMMA
  | AGGR_EQUAL
  | EOI
  | SINGLE_QUOTED of (
# 23 "src/top_down/Parser.mly"
        string
# 15 "src/top_down/Parser.ml"
)
  | DOUBLE_QUOTED of (
# 24 "src/top_down/Parser.mly"
        string
# 20 "src/top_down/Parser.ml"
)
  | LOWER_WORD of (
# 25 "src/top_down/Parser.mly"
        string
# 25 "src/top_down/Parser.ml"
)
  | UPPER_WORD of (
# 26 "src/top_down/Parser.mly"
        string
# 30 "src/top_down/Parser.ml"
)
  | INT of (
# 27 "src/top_down/Parser.mly"
        string
# 35 "src/top_down/Parser.ml"
)
  | OPERATOR of (
# 28 "src/top_down/Parser.mly"
        string
# 40 "src/top_down/Parser.ml"
)

open Parsing
let _ = parse_error;;
# 6 "src/top_down/Parser.mly"
  let remove_quotes s =
    let n = String.length s in
    if (s.[0] = '\'' && s.[n-1] = '\'') ||
       (s.[0] = '"' && s.[n-1] = '"')
      then String.sub s 1 (n-2)
      else s
# 52 "src/top_down/Parser.ml"
let yytransl_const = [|
  257 (* LEFT_PARENTHESIS *);
  258 (* RIGHT_PARENTHESIS *);
  259 (* DOT *);
  260 (* COLON *);
  261 (* IF *);
  262 (* NOT *);
  263 (* COMMA *);
  264 (* AGGR_EQUAL *);
  265 (* EOI *);
    0|]

let yytransl_block = [|
  266 (* SINGLE_QUOTED *);
  267 (* DOUBLE_QUOTED *);
  268 (* LOWER_WORD *);
  269 (* UPPER_WORD *);
  270 (* INT *);
  271 (* OPERATOR *);
    0|]

let yylhs = "\255\255\
\006\000\001\000\002\000\003\000\004\000\005\000\007\000\007\000\
\012\000\012\000\010\000\010\000\009\000\009\000\009\000\013\000\
\013\000\008\000\008\000\008\000\008\000\014\000\014\000\014\000\
\015\000\015\000\011\000\000\000\000\000\000\000\000\000\000\000\
\000\000"

let yylen = "\002\000\
\002\000\002\000\002\000\002\000\003\000\002\000\001\000\002\000\
\002\000\004\000\001\000\003\000\001\000\002\000\006\000\001\000\
\003\000\001\000\001\000\001\000\004\000\001\000\001\000\001\000\
\001\000\003\000\003\000\002\000\002\000\002\000\002\000\002\000\
\002\000"

let yydefred = "\000\000\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\019\000\
\020\000\000\000\028\000\000\000\000\000\023\000\024\000\029\000\
\000\000\000\000\013\000\000\000\030\000\000\000\000\000\000\000\
\031\000\000\000\032\000\000\000\000\000\033\000\000\000\000\000\
\000\000\002\000\014\000\000\000\003\000\000\000\000\000\000\000\
\004\000\022\000\000\000\000\000\000\000\009\000\000\000\006\000\
\001\000\008\000\000\000\000\000\017\000\012\000\000\000\027\000\
\005\000\000\000\021\000\000\000\026\000\010\000\000\000\015\000"

let yydgoto = "\007\000\
\011\000\016\000\021\000\025\000\027\000\030\000\031\000\017\000\
\022\000\023\000\026\000\032\000\019\000\020\000\044\000"

let yysindex = "\044\000\
\009\255\004\255\004\255\255\254\009\255\009\255\000\000\000\000\
\000\000\005\255\000\000\000\255\026\255\000\000\000\000\000\000\
\000\000\003\255\000\000\015\255\000\000\018\255\023\255\026\255\
\000\000\028\255\000\000\048\255\033\255\000\000\034\255\009\255\
\026\255\000\000\000\000\037\255\000\000\042\255\026\255\004\255\
\000\000\000\000\049\255\053\255\004\255\000\000\004\255\000\000\
\000\000\000\000\056\255\046\255\000\000\000\000\026\255\000\000\
\000\000\057\255\000\000\058\255\000\000\000\000\009\255\000\000"

let yyrindex = "\000\000\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\000\000\001\000\000\000\000\000\000\000\000\000\000\000\000\000\
\004\000\000\000\000\000\000\000\000\000\011\000\000\000\000\000\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\052\255\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\000\000\000\000\061\255\000\000\000\000\000\000\000\000\000\000\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"

let yygindex = "\000\000\
\000\000\000\000\000\000\000\000\000\000\000\000\032\000\002\000\
\064\000\240\255\000\000\062\000\055\000\245\255\228\255"

let yytablesize = 276
let yytable = "\024\000\
\018\000\036\000\012\000\016\000\051\000\033\000\028\000\028\000\
\034\000\013\000\011\000\037\000\043\000\008\000\009\000\010\000\
\014\000\015\000\008\000\009\000\010\000\043\000\038\000\054\000\
\040\000\042\000\061\000\053\000\057\000\039\000\058\000\041\000\
\045\000\028\000\042\000\008\000\009\000\010\000\014\000\015\000\
\042\000\048\000\049\000\043\000\001\000\002\000\003\000\004\000\
\005\000\006\000\046\000\039\000\047\000\052\000\056\000\055\000\
\042\000\059\000\060\000\062\000\007\000\063\000\025\000\050\000\
\064\000\018\000\029\000\035\000\000\000\000\000\000\000\000\000\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\000\000\000\000\018\000\018\000\000\000\018\000\016\000\018\000\
\018\000\018\000\016\000\022\000\016\000\011\000\000\000\018\000\
\000\000\000\000\022\000\011\000"

let yycheck = "\001\001\
\000\000\013\000\001\000\000\000\033\000\001\001\005\000\006\000\
\009\001\006\001\000\000\009\001\024\000\010\001\011\001\012\001\
\013\001\014\001\010\001\011\001\012\001\033\000\008\001\040\000\
\007\001\024\000\055\000\039\000\045\000\015\001\047\000\009\001\
\005\001\032\000\033\000\010\001\011\001\012\001\013\001\014\001\
\039\000\009\001\009\001\055\000\001\000\002\000\003\000\004\000\
\005\000\006\000\003\001\015\001\005\001\012\001\002\001\007\001\
\055\000\002\001\013\001\003\001\009\001\004\001\002\001\032\000\
\063\000\002\000\005\000\013\000\255\255\255\255\255\255\255\255\
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
\255\255\255\255\002\001\003\001\255\255\005\001\003\001\007\001\
\008\001\009\001\007\001\008\001\009\001\003\001\255\255\015\001\
\255\255\255\255\015\001\009\001"

let yynames_const = "\
  LEFT_PARENTHESIS\000\
  RIGHT_PARENTHESIS\000\
  DOT\000\
  COLON\000\
  IF\000\
  NOT\000\
  COMMA\000\
  AGGR_EQUAL\000\
  EOI\000\
  "

let yynames_block = "\
  SINGLE_QUOTED\000\
  DOUBLE_QUOTED\000\
  LOWER_WORD\000\
  UPPER_WORD\000\
  INT\000\
  OPERATOR\000\
  "

let yyact = [|
  (fun _ -> failwith "parser")
; (fun __caml_parser_env ->
    let _1 = (Parsing.peek_val __caml_parser_env 1 : 'clauses) in
    Obj.repr(
# 51 "src/top_down/Parser.mly"
                ( _1 )
# 229 "src/top_down/Parser.ml"
               : AST.file))
; (fun __caml_parser_env ->
    let _1 = (Parsing.peek_val __caml_parser_env 1 : 'term) in
    Obj.repr(
# 54 "src/top_down/Parser.mly"
             ( _1 )
# 236 "src/top_down/Parser.ml"
               : AST.term))
; (fun __caml_parser_env ->
    let _1 = (Parsing.peek_val __caml_parser_env 1 : 'literal) in
    Obj.repr(
# 57 "src/top_down/Parser.mly"
                ( _1 )
# 243 "src/top_down/Parser.ml"
               : AST.literal))
; (fun __caml_parser_env ->
    let _1 = (Parsing.peek_val __caml_parser_env 1 : 'literals) in
    Obj.repr(
# 60 "src/top_down/Parser.mly"
                 ( _1 )
# 250 "src/top_down/Parser.ml"
               : AST.literal list))
; (fun __caml_parser_env ->
    let _1 = (Parsing.peek_val __caml_parser_env 2 : 'tuple) in
    let _3 = (Parsing.peek_val __caml_parser_env 0 : 'literals) in
    Obj.repr(
# 63 "src/top_down/Parser.mly"
                      ( _1, _3 )
# 258 "src/top_down/Parser.ml"
               : AST.term list * AST.literal list))
; (fun __caml_parser_env ->
    let _1 = (Parsing.peek_val __caml_parser_env 1 : 'clause) in
    Obj.repr(
# 66 "src/top_down/Parser.mly"
               ( _1 )
# 265 "src/top_down/Parser.ml"
               : AST.clause))
; (fun __caml_parser_env ->
    let _1 = (Parsing.peek_val __caml_parser_env 0 : 'clause) in
    Obj.repr(
# 69 "src/top_down/Parser.mly"
           ( [_1] )
# 272 "src/top_down/Parser.ml"
               : 'clauses))
; (fun __caml_parser_env ->
    let _1 = (Parsing.peek_val __caml_parser_env 1 : 'clause) in
    let _2 = (Parsing.peek_val __caml_parser_env 0 : 'clauses) in
    Obj.repr(
# 70 "src/top_down/Parser.mly"
                   ( _1 :: _2 )
# 280 "src/top_down/Parser.ml"
               : 'clauses))
; (fun __caml_parser_env ->
    let _1 = (Parsing.peek_val __caml_parser_env 1 : 'term) in
    Obj.repr(
# 73 "src/top_down/Parser.mly"
             ( (_1, []) )
# 287 "src/top_down/Parser.ml"
               : 'clause))
; (fun __caml_parser_env ->
    let _1 = (Parsing.peek_val __caml_parser_env 3 : 'term) in
    let _3 = (Parsing.peek_val __caml_parser_env 1 : 'literals) in
    Obj.repr(
# 74 "src/top_down/Parser.mly"
                         ( (_1, _3) )
# 295 "src/top_down/Parser.ml"
               : 'clause))
; (fun __caml_parser_env ->
    let _1 = (Parsing.peek_val __caml_parser_env 0 : 'literal) in
    Obj.repr(
# 77 "src/top_down/Parser.mly"
            ( [_1] )
# 302 "src/top_down/Parser.ml"
               : 'literals))
; (fun __caml_parser_env ->
    let _1 = (Parsing.peek_val __caml_parser_env 2 : 'literal) in
    let _3 = (Parsing.peek_val __caml_parser_env 0 : 'literals) in
    Obj.repr(
# 78 "src/top_down/Parser.mly"
                           ( _1 :: _3 )
# 310 "src/top_down/Parser.ml"
               : 'literals))
; (fun __caml_parser_env ->
    let _1 = (Parsing.peek_val __caml_parser_env 0 : 'atom) in
    Obj.repr(
# 81 "src/top_down/Parser.mly"
         ( AST.LitPos _1 )
# 317 "src/top_down/Parser.ml"
               : 'literal))
; (fun __caml_parser_env ->
    let _2 = (Parsing.peek_val __caml_parser_env 0 : 'atom) in
    Obj.repr(
# 82 "src/top_down/Parser.mly"
             ( AST.LitNeg _2 )
# 324 "src/top_down/Parser.ml"
               : 'literal))
; (fun __caml_parser_env ->
    let _1 = (Parsing.peek_val __caml_parser_env 5 : 'subterm) in
    let _3 = (Parsing.peek_val __caml_parser_env 3 : string) in
    let _4 = (Parsing.peek_val __caml_parser_env 2 : string) in
    let _6 = (Parsing.peek_val __caml_parser_env 0 : 'term) in
    Obj.repr(
# 84 "src/top_down/Parser.mly"
    ( AST.(LitAggr
      { ag_left=_1; ag_constructor= _3; ag_var= _4; ag_guard= _6}
      )
    )
# 337 "src/top_down/Parser.ml"
               : 'literal))
; (fun __caml_parser_env ->
    let _1 = (Parsing.peek_val __caml_parser_env 0 : 'term) in
    Obj.repr(
# 90 "src/top_down/Parser.mly"
         ( _1 )
# 344 "src/top_down/Parser.ml"
               : 'atom))
; (fun __caml_parser_env ->
    let _1 = (Parsing.peek_val __caml_parser_env 2 : 'subterm) in
    let _2 = (Parsing.peek_val __caml_parser_env 1 : string) in
    let _3 = (Parsing.peek_val __caml_parser_env 0 : 'subterm) in
    Obj.repr(
# 91 "src/top_down/Parser.mly"
                             ( AST.Apply(_2, [_1; _3]) )
# 353 "src/top_down/Parser.ml"
               : 'atom))
; (fun __caml_parser_env ->
    let _1 = (Parsing.peek_val __caml_parser_env 0 : string) in
    Obj.repr(
# 94 "src/top_down/Parser.mly"
               ( AST.Apply (_1, []) )
# 360 "src/top_down/Parser.ml"
               : 'term))
; (fun __caml_parser_env ->
    let _1 = (Parsing.peek_val __caml_parser_env 0 : string) in
    Obj.repr(
# 95 "src/top_down/Parser.mly"
                  ( AST.Apply (remove_quotes _1, []) )
# 367 "src/top_down/Parser.ml"
               : 'term))
; (fun __caml_parser_env ->
    let _1 = (Parsing.peek_val __caml_parser_env 0 : string) in
    Obj.repr(
# 96 "src/top_down/Parser.mly"
                  ( AST.Apply (remove_quotes _1, []) )
# 374 "src/top_down/Parser.ml"
               : 'term))
; (fun __caml_parser_env ->
    let _1 = (Parsing.peek_val __caml_parser_env 3 : string) in
    let _3 = (Parsing.peek_val __caml_parser_env 1 : 'args) in
    Obj.repr(
# 98 "src/top_down/Parser.mly"
    ( AST.Apply (_1, _3) )
# 382 "src/top_down/Parser.ml"
               : 'term))
; (fun __caml_parser_env ->
    let _1 = (Parsing.peek_val __caml_parser_env 0 : 'term) in
    Obj.repr(
# 101 "src/top_down/Parser.mly"
         ( _1 )
# 389 "src/top_down/Parser.ml"
               : 'subterm))
; (fun __caml_parser_env ->
    let _1 = (Parsing.peek_val __caml_parser_env 0 : string) in
    Obj.repr(
# 102 "src/top_down/Parser.mly"
               ( AST.Var _1 )
# 396 "src/top_down/Parser.ml"
               : 'subterm))
; (fun __caml_parser_env ->
    let _1 = (Parsing.peek_val __caml_parser_env 0 : string) in
    Obj.repr(
# 103 "src/top_down/Parser.mly"
        ( AST.Int( int_of_string _1) )
# 403 "src/top_down/Parser.ml"
               : 'subterm))
; (fun __caml_parser_env ->
    let _1 = (Parsing.peek_val __caml_parser_env 0 : 'subterm) in
    Obj.repr(
# 106 "src/top_down/Parser.mly"
            ( [_1] )
# 410 "src/top_down/Parser.ml"
               : 'args))
; (fun __caml_parser_env ->
    let _1 = (Parsing.peek_val __caml_parser_env 2 : 'subterm) in
    let _3 = (Parsing.peek_val __caml_parser_env 0 : 'args) in
    Obj.repr(
# 107 "src/top_down/Parser.mly"
                        ( _1 :: _3 )
# 418 "src/top_down/Parser.ml"
               : 'args))
; (fun __caml_parser_env ->
    let _2 = (Parsing.peek_val __caml_parser_env 1 : 'args) in
    Obj.repr(
# 110 "src/top_down/Parser.mly"
                                            ( _2 )
# 425 "src/top_down/Parser.ml"
               : 'tuple))
(* Entry parse_term *)
; (fun __caml_parser_env -> raise (Parsing.YYexit (Parsing.peek_val __caml_parser_env 0)))
(* Entry parse_literal *)
; (fun __caml_parser_env -> raise (Parsing.YYexit (Parsing.peek_val __caml_parser_env 0)))
(* Entry parse_literals *)
; (fun __caml_parser_env -> raise (Parsing.YYexit (Parsing.peek_val __caml_parser_env 0)))
(* Entry parse_query *)
; (fun __caml_parser_env -> raise (Parsing.YYexit (Parsing.peek_val __caml_parser_env 0)))
(* Entry parse_clause *)
; (fun __caml_parser_env -> raise (Parsing.YYexit (Parsing.peek_val __caml_parser_env 0)))
(* Entry parse_file *)
; (fun __caml_parser_env -> raise (Parsing.YYexit (Parsing.peek_val __caml_parser_env 0)))
|]
let yytables =
  { Parsing.actions=yyact;
    Parsing.transl_const=yytransl_const;
    Parsing.transl_block=yytransl_block;
    Parsing.lhs=yylhs;
    Parsing.len=yylen;
    Parsing.defred=yydefred;
    Parsing.dgoto=yydgoto;
    Parsing.sindex=yysindex;
    Parsing.rindex=yyrindex;
    Parsing.gindex=yygindex;
    Parsing.tablesize=yytablesize;
    Parsing.table=yytable;
    Parsing.check=yycheck;
    Parsing.error_function=parse_error;
    Parsing.names_const=yynames_const;
    Parsing.names_block=yynames_block }
let parse_term (lexfun : Lexing.lexbuf -> token) (lexbuf : Lexing.lexbuf) =
   (Parsing.yyparse yytables 1 lexfun lexbuf : AST.term)
let parse_literal (lexfun : Lexing.lexbuf -> token) (lexbuf : Lexing.lexbuf) =
   (Parsing.yyparse yytables 2 lexfun lexbuf : AST.literal)
let parse_literals (lexfun : Lexing.lexbuf -> token) (lexbuf : Lexing.lexbuf) =
   (Parsing.yyparse yytables 3 lexfun lexbuf : AST.literal list)
let parse_query (lexfun : Lexing.lexbuf -> token) (lexbuf : Lexing.lexbuf) =
   (Parsing.yyparse yytables 4 lexfun lexbuf : AST.term list * AST.literal list)
let parse_clause (lexfun : Lexing.lexbuf -> token) (lexbuf : Lexing.lexbuf) =
   (Parsing.yyparse yytables 5 lexfun lexbuf : AST.clause)
let parse_file (lexfun : Lexing.lexbuf -> token) (lexbuf : Lexing.lexbuf) =
   (Parsing.yyparse yytables 6 lexfun lexbuf : AST.file)