Module ClangFrontend.SwitchCase

module F = Stdlib.Format
type condition =
  1. | Case of ATDGenerated.Clang_ast_t.stmt
  2. | Default
type t = {
  1. condition : condition;
  2. stmt_info : ATDGenerated.Clang_ast_t.stmt_info;
  3. root_nodes : IR.Procdesc.Node.t list;
}
val in_switch_body : f:('a -> 'b) -> 'a -> t list * 'b
val add : t -> unit
val pp_condition : F.formatter -> condition -> unit
val pp : F.formatter -> t -> unit