module Printer_tag:sig
..end
Utilities to pretty print source with located Ast elements
type
localizable =
| |
PStmt of |
|||
| |
PStmtStart of |
|||
| |
PLval of |
|||
| |
PExp of |
|||
| |
PTermLval of |
|||
| |
PVDecl of |
(* | Declaration and definition of variables and function. Check the type
of the varinfo to distinguish between the various possibilities.
If the varinfo is a global or a local, the kernel_function is the
one in which the variable is declared. The | *) |
| |
PGlobal of |
(* | all globals but variable declarations and function definitions. | *) |
| |
PIP of |
The kind of object that can be selected in the source viewer.
val label : localizable -> string
Name (or category).
val glabel : Cil_types.global -> string
Name (or category).
val pretty : Stdlib.Format.formatter -> localizable -> unit
Description of a localizable.
val pp_debug : Stdlib.Format.formatter -> localizable -> unit
Debugging.
module Localizable:Datatype.S_with_collections
with type t = localizable
val kf_of_localizable : localizable -> Cil_types.kernel_function option
val ki_of_localizable : localizable -> Cil_types.kinstr
val varinfo_of_localizable : localizable -> Cil_types.varinfo option
val typ_of_localizable : localizable -> Cil_types.typ option
val loc_of_localizable : localizable -> Cil_types.location
Might return Location.unknown
module type Tag =sig
..end
module type S_pp =sig
..end
module Make: