Module `Goblint_lib.CompareAST`

type global_type =

| Fun
| Decl
| Var

and global_identifier = {

name : string;
global_t : global_type;

}

val compare_global_type : 
  global_type ->
  global_type ->
  Ppx_deriving_runtime.int

val compare_global_identifier : 
  global_identifier ->
  global_identifier ->
  Ppx_deriving_runtime.int

module StringMap : sig ... end

type method_rename_assumption = {

original_method_name : string;
new_method_name : string;
parameter_renames : string StringMap.t;

}

type method_rename_assumptions = method_rename_assumption CilMaps.VarinfoMap.t

type rename_mapping = string StringMap.t * method_rename_assumptions

val rename_mapping_aware_name_comparison : 
  string ->
  string ->
  rename_mapping ->
  bool

val rename_mapping_to_string : rename_mapping -> string

val identifier_of_global : GoblintCil.global -> global_identifier

module GlobalMap : sig ... end

val compare_name : string -> string -> bool

val eq_constant : 
  rename_mapping ->
  GoblintCil.constant ->
  GoblintCil.constant ->
  bool

val eq_exp2 : rename_mapping -> GoblintCil.exp -> GoblintCil.exp -> bool

val eq_exp : GoblintCil.exp -> GoblintCil.exp -> rename_mapping -> bool

val eq_lhost : GoblintCil.lhost -> GoblintCil.lhost -> rename_mapping -> bool

val global_typ_acc : (GoblintCil.typ * GoblintCil.typ) list Stdlib.ref

val mem_typ_acc : 
  GoblintCil.typ ->
  GoblintCil.typ ->
  (GoblintCil.typ * GoblintCil.typ) list ->
  bool

val pretty_length : 
  unit ->
  (GoblintCil.typ * GoblintCil.typ) list ->
  GoblintCil.Pretty.doc

val eq_typ_acc : 
  GoblintCil.typ ->
  GoblintCil.typ ->
  (GoblintCil.typ * GoblintCil.typ) list ->
  rename_mapping ->
  bool

val eq_typ : GoblintCil.typ -> GoblintCil.typ -> rename_mapping -> bool

val eq_eitems : 
  rename_mapping ->
  (string * GoblintCil.exp * GoblintCil.location) BatOrd.eq

val eq_enuminfo : 
  GoblintCil.enuminfo ->
  GoblintCil.enuminfo ->
  rename_mapping ->
  bool

val eq_args : 
  rename_mapping ->
  (GoblintCil.typ * GoblintCil.typ) list ->
  (string * GoblintCil.typ * GoblintCil.attributes) BatOrd.eq

val eq_attrparam : rename_mapping -> GoblintCil.attrparam BatOrd.eq

val eq_attribute : rename_mapping -> GoblintCil.attribute BatOrd.eq

val eq_varinfo2 : 
  rename_mapping ->
  GoblintCil.varinfo ->
  GoblintCil.varinfo ->
  bool

val eq_varinfo : 
  GoblintCil.varinfo ->
  GoblintCil.varinfo ->
  rename_mapping ->
  bool

val eq_compinfo : 
  GoblintCil.compinfo ->
  GoblintCil.compinfo ->
  (GoblintCil.typ * GoblintCil.typ) list ->
  rename_mapping ->
  bool

val eq_fieldinfo : 
  GoblintCil.fieldinfo ->
  GoblintCil.fieldinfo ->
  (GoblintCil.typ * GoblintCil.typ) list ->
  rename_mapping ->
  bool

val eq_offset : 
  GoblintCil.offset ->
  GoblintCil.offset ->
  rename_mapping ->
  bool

val eq_lval : GoblintCil.lval -> GoblintCil.lval -> rename_mapping -> bool

val eq_instr : rename_mapping -> GoblintCil.instr -> GoblintCil.instr -> bool

val eq_label : GoblintCil.label -> GoblintCil.label -> bool

val eq_stmt_with_location : 
  (GoblintCil.stmt * GoblintCil.fundec) ->
  (GoblintCil.stmt * GoblintCil.fundec) ->
  bool

val eq_stmtkind : 
  ?cfg_comp:bool ->
  (GoblintCil.stmtkind * GoblintCil.fundec) ->
  (GoblintCil.stmtkind * GoblintCil.fundec) ->
  rename_mapping ->
  bool

val eq_stmt : 
  ?cfg_comp:bool ->
  (GoblintCil.stmt * GoblintCil.fundec) ->
  (GoblintCil.stmt * GoblintCil.fundec) ->
  rename_mapping ->
  bool

val eq_block : 
  (GoblintCil.block * GoblintCil.fundec) ->
  (GoblintCil.block * GoblintCil.fundec) ->
  rename_mapping ->
  bool

val eq_init : GoblintCil.init -> GoblintCil.init -> rename_mapping -> bool

val eq_initinfo : 
  GoblintCil.initinfo ->
  GoblintCil.initinfo ->
  rename_mapping ->
  bool

Install

Dune Dependency

Authors

Maintainers

Sources

doc/goblint.lib/Goblint_lib/CompareAST/index.html

Module `Goblint_lib.CompareAST`

package goblint

Install

Dune Dependency

Authors

Maintainers

Sources

doc/goblint.lib/Goblint_lib/CompareAST/index.html

Module Goblint_lib.CompareAST

Module `Goblint_lib.CompareAST`