Module Absint.AccessPath

Module for naming heap locations via the path used to access them (e.g., x.f.g, ya.b)

type base = IR.Var.t * IR.Typ.t
val compare_base : base -> base -> int
type access =
  1. | ArrayAccess of IR.Typ.t * t list
    (*

    array element type with list of access paths in index

    *)
  2. | FieldAccess of IR.Fieldname.t
    (*

    field name

    *)
and t = base * access list

root var, and a list of accesses. closest to the root var is first that is, x.f.g is represented as (x, f; g)

val compare_access : access -> access -> int
val compare : t -> t -> int
val equal_access : access -> access -> bool
val equal : t -> t -> bool
val base_of_pvar : IR.Pvar.t -> IR.Typ.t -> base

create a base from a pvar

val of_pvar : IR.Pvar.t -> IR.Typ.t -> t

create an access path from a pvar

val of_id : IR.Ident.t -> IR.Typ.t -> t

create an access path from an ident

val of_var : IR.Var.t -> IR.Typ.t -> t

create an access path from a var

val append : t -> access list -> t

append new accesses to an existing access path; e.g., `append_access x.f g, h` produces `x.f.g.h`

val replace_prefix : prefix:t -> replace_with:t -> t -> t option
val equal_base : base -> base -> bool
val pp : Stdlib.Format.formatter -> t -> unit
val pp_base : Stdlib.Format.formatter -> base -> unit
val pp_access : Stdlib.Format.formatter -> access -> unit
val pp_access_list : Stdlib.Format.formatter -> access list -> unit
module Abs : sig ... end