package goblint

  1. Overview
  2. Docs

Module Exp.LockingPattern

include module type of struct include Printable.Std end
type group = Printable.Std.group = |
val show_group : group -> 'a
val to_group : 'a -> 'b option
val trace_enabled : bool
val invariant : 'a -> 'b -> Invariant.t
val tag : 'a -> 'b
val arbitrary : unit -> 'a
val relift : 'a -> 'a
type t = Exp.t * Exp.t * Exp.t
val equal : t -> t -> Ppx_deriving_runtime.bool
val compare : t -> t -> Ppx_deriving_runtime.int
val to_yojson : t -> Yojson.Safe.t
val _ : t -> Yojson.Safe.t
val hash : 'a -> int
val name : unit -> string
val pretty : unit -> (Cil.exp * Cil.exp * Cil.exp) -> Pretty.doc
val show : (Cil.exp * Cil.exp * Cil.exp) -> string
type ee =
  1. | EVar of Cil.varinfo
  2. | EAddr
  3. | EDeref
  4. | EField of Cil.fieldinfo
  5. | EIndex of Cil.exp
val ee_equal : ee -> ee -> bool
val ee_to_str : ee -> string
val ees_to_str : ee list -> string
exception NotSimpleEnough
val ees_to_offs : ee list -> [> `Field of Cil.fieldinfo * 'a | `Index of IntDomain.IntDomTuple.t * 'a | `NoOffset ] as 'a
val toEl : Cil.exp -> ee list
val fromEl : ee list -> Cil.exp -> Cil.exp
val strip_fields : ee list -> ee list * ee list
val from_exps : Cil.exp -> Cil.exp -> t option
val printXml : 'a BatInnerIO.output -> (Exp.t * Exp.t * Exp.t) -> unit