package goblint-cil

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Result = Ppx_deriving_yojson_runtime.Result
type selectable =
  1. | Name_sel
  2. | Location_sel
  3. | Type_sel
  4. | ID_sel
val selectable_to_yojson : selectable -> Yojson.Safe.t
val selectable_of_yojson : Yojson.Safe.t -> selectable Ppx_deriving_yojson_runtime.error_or
type select = selectable list
val select_to_yojson : select -> Yojson.Safe.t
val select_of_yojson : Yojson.Safe.t -> select Ppx_deriving_yojson_runtime.error_or
type kind =
  1. | Var_k
  2. | Fun_k
  3. | Datatype_k
val kind_to_yojson : kind -> Yojson.Safe.t
val kind_of_yojson : Yojson.Safe.t -> kind Ppx_deriving_yojson_runtime.error_or
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
val target_of_yojson : Yojson.Safe.t -> target Ppx_deriving_yojson_runtime.error_or
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
val find_of_yojson : Yojson.Safe.t -> find Ppx_deriving_yojson_runtime.error_or
type structure =
  1. | Fun_s of string
  2. | Cond_s
  3. | NonCond_s
  4. | None_s
val structure_to_yojson : structure -> Yojson.Safe.t
val structure_of_yojson : Yojson.Safe.t -> structure Ppx_deriving_yojson_runtime.error_or
type constr =
  1. | Constraint_c of string
  2. | None_c
val constr_to_yojson : constr -> Yojson.Safe.t
val constr_of_yojson : Yojson.Safe.t -> constr Ppx_deriving_yojson_runtime.error_or
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 query_of_yojson : Yojson.Safe.t -> query Ppx_deriving_yojson_runtime.error_or
val _ : Yojson.Safe.t -> query Ppx_deriving_yojson_runtime.error_or
val to_string_q : query -> string
exception Error of string
val parse_json_file : string -> query
OCaml

Innovation. Community. Security.