package goblint-cil

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

Module Syntacticsearch.CodeQuerySource

Sourcetype selectable =
  1. | Name_sel
  2. | Location_sel
  3. | Type_sel
  4. | ID_sel
Sourceval selectable_to_yojson : selectable -> Yojson.Safe.t
Sourcetype select = selectable list
Sourceval select_to_yojson : select -> Yojson.Safe.t
Sourcetype kind =
  1. | Var_k
  2. | Fun_k
  3. | Datatype_k
Sourceval kind_to_yojson : kind -> Yojson.Safe.t
Sourcetype 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
Sourceval target_to_yojson : target -> Yojson.Safe.t
Sourcetype find =
  1. | Uses_f
  2. | Decl_f
  3. | Defs_f
  4. | UsesWithVar_f of string
  5. | Returns_f
Sourceval find_to_yojson : find -> Yojson.Safe.t
Sourcetype structure =
  1. | Fun_s of string
  2. | Cond_s
  3. | NonCond_s
  4. | None_s
Sourceval structure_to_yojson : structure -> Yojson.Safe.t
Sourcetype constr =
  1. | Constraint_c of string
  2. | None_c
Sourceval constr_to_yojson : constr -> Yojson.Safe.t
Sourcetype query = {
  1. sel : select;
  2. k : kind;
  3. tar : target;
  4. f : find;
  5. str : structure;
  6. lim : constr;
}
Sourceval query_to_yojson : query -> Yojson.Safe.t
Sourceval to_string_q : query -> string
Sourceexception Error of string
Sourceval parse_json_file : string -> query
OCaml

Innovation. Community. Security.