package goblint

  1. Overview
  2. Docs

Source file accessKind.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
(** Kinds of memory accesses. *)

type t =
  | Write  (** argument may be written to *)
  | Read   (** argument may be read *)
  | Free   (** argument may be freed *)
  | Call   (** argument may be called *)
  | Spawn  (** argument may be spawned *)
[@@deriving eq, ord, hash]
(** Specifies what is known about an argument. *)

let show: t -> string = function
  | Write -> "write"
  | Read -> "read"
  | Free -> "free"
  | Call -> "call"
  | Spawn -> "spawn"

include Printable.SimpleShow (
  struct
    type nonrec t = t
    let show = show
  end
  )