package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
val transformation_identifier : string
val transformation_query_file_name_identifier : string
type query = {
  1. kind : CodeQuery.kind;
  2. target : CodeQuery.target;
  3. find : CodeQuery.find;
  4. structure : CodeQuery.structure;
  5. limitation : CodeQuery.constr;
  6. expression : string;
  7. mode : [ `Must | `May ];
}
val query_to_yojson : query -> Yojson.Safe.t
val _ : Yojson.Safe.t -> query Ppx_deriving_yojson_runtime.error_or
val gv_query : query option Batteries.ref
val gv_results : ((String.t * Cil.location * String.t * int) * bool option) list Batteries.ref