Frama-C API - `Offset`

include Data with type t = offset

type t = offset

val equal : t -> t -> bool

val compare : t -> t -> int

val pretty : t Frama_c_kernel.Pretty_utils.formatter

val index : Frama_c_kernel.Cil_types.typ -> offset

val field : Frama_c_kernel.Cil_types.fieldinfo -> offset

val typeof : offset -> Frama_c_kernel.Cil_types.typ

val typeof_chain : Frama_c_kernel.Cil_types.typ -> offset list -> Frama_c_kernel.Cil_types.typ

val pp_chain : Frama_c_kernel.Cil_types.typ -> offset list Frama_c_kernel.Pretty_utils.formatter

type cache

val cache : unit -> cache

val field_offset : cache -> Frama_c_kernel.Cil_types.fieldinfo -> int * int

val range : cache -> offset -> (int * int) * int

val sizeof : offset -> int

Frama-C API - Offset