Module `CodeQuery`Source

Sourcemodule Result = Ppx_deriving_yojson_runtime.Result

Sourcetype selectable =

| Name_sel
| Location_sel
| Type_sel
| ID_sel

Sourceval selectable_to_yojson : selectable -> Yojson.Safe.t

val selectable_of_yojson : 
  Yojson.Safe.t ->
  selectable Ppx_deriving_yojson_runtime.error_or

Sourcetype select = selectable list

Sourceval select_to_yojson : select -> Yojson.Safe.t

Source

val select_of_yojson : 
  Yojson.Safe.t ->
  select Ppx_deriving_yojson_runtime.error_or

Sourcetype kind =

| Var_k
| Fun_k
| Datatype_k

Sourceval kind_to_yojson : kind -> Yojson.Safe.t

Sourceval kind_of_yojson : Yojson.Safe.t -> kind Ppx_deriving_yojson_runtime.error_or

Sourcetype target =

| Name_t of string
| ID_t of int
| All_t
| AllGlobVar_t
| Or_t of string list
| And_t of string list

Sourceval target_to_yojson : target -> Yojson.Safe.t

Source

val target_of_yojson : 
  Yojson.Safe.t ->
  target Ppx_deriving_yojson_runtime.error_or

Sourcetype find =

| Uses_f
| Decl_f
| Defs_f
| UsesWithVar_f of string
| Returns_f

Sourceval find_to_yojson : find -> Yojson.Safe.t

Sourceval find_of_yojson : Yojson.Safe.t -> find Ppx_deriving_yojson_runtime.error_or

Sourcetype structure =

| Fun_s of string
| Cond_s
| NonCond_s
| None_s

Sourceval structure_to_yojson : structure -> Yojson.Safe.t

Source

val structure_of_yojson : 
  Yojson.Safe.t ->
  structure Ppx_deriving_yojson_runtime.error_or

Sourcetype constr =

| Constraint_c of string
| None_c

Sourceval constr_to_yojson : constr -> Yojson.Safe.t

Source

val constr_of_yojson : 
  Yojson.Safe.t ->
  constr Ppx_deriving_yojson_runtime.error_or

Sourcetype query = {

sel : select;
k : kind;
tar : target;
f : find;
str : structure;
lim : constr;

}

Sourceval query_to_yojson : query -> Yojson.Safe.t

Source

val query_of_yojson : 
  Yojson.Safe.t ->
  query Ppx_deriving_yojson_runtime.error_or

Sourceval _ : Yojson.Safe.t -> query Ppx_deriving_yojson_runtime.error_or

Sourceval to_string_q : query -> string

Sourceexception Error of string

Sourceval parse_json_file : string -> query

Install

Dune Dependency

Authors

Maintainers

Sources

doc/goblint-cil.syntacticsearch/CodeQuery/index.html

Module `CodeQuery`Source

package goblint-cil

Install

Dune Dependency

Authors

Maintainers

Sources

doc/goblint-cil.syntacticsearch/CodeQuery/index.html

Module CodeQuerySource

Module `CodeQuery`Source