Module IR__Procname.Block

type block_type =
| InOuterScope of {
outer_scope : block_type;
block_index : int;
}

a block nested in the scope of an outer one

| SurroundingProc of {
name : string;
}

tracks the name of the surrounding proc

Type of Objective C block names.

type t = {
block_type : block_type;
parameters : Parameter.clang_parameter list;
}
val compare : t -> t -> int
val make_surrounding : string -> Parameter.clang_parameter list -> t
val make_in_outer_scope : block_type -> int -> Parameter.clang_parameter list -> t