package goblint-cil

  1. Overview
  2. Docs
type selectable =
  1. | Name_sel
  2. | Location_sel
  3. | Type_sel
  4. | ID_sel
val selectable_to_yojson : selectable -> Yojson.Safe.t
type select = selectable list
val select_to_yojson : select -> Yojson.Safe.t
type kind =
  1. | Var_k
  2. | Fun_k
  3. | Datatype_k
val kind_to_yojson : kind -> Yojson.Safe.t
type target =
  1. | Name_t of string
  2. | ID_t of int
  3. | All_t
  4. | AllGlobVar_t
  5. | Or_t of string list
  6. | And_t of string list
val target_to_yojson : target -> Yojson.Safe.t
type find =
  1. | Uses_f
  2. | Decl_f
  3. | Defs_f
  4. | UsesWithVar_f of string
  5. | Returns_f
val find_to_yojson : find -> Yojson.Safe.t
type structure =
  1. | Fun_s of string
  2. | Cond_s
  3. | NonCond_s
  4. | None_s
val structure_to_yojson : structure -> Yojson.Safe.t
type constr =
  1. | Constraint_c of string
  2. | None_c
val constr_to_yojson : constr -> Yojson.Safe.t
type query = {
  1. sel : select;
  2. k : kind;
  3. tar : target;
  4. f : find;
  5. str : structure;
  6. lim : constr;
}
val query_to_yojson : query -> Yojson.Safe.t
val to_string_q : query -> string
exception Error of string
val parse_json_file : string -> query
OCaml

Innovation. Community. Security.