module Printer_tag:sig
..end
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
kinstr argument is given
for local variables with an explicit initializer. | *) |
| |
PGlobal of |
(* |
all globals but variable declarations and function
definitions.
| *) |
| |
PIP of |
module Localizable:Datatype.S
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 loc_of_localizable : localizable -> Cil_types.location
Location.unknown
module type Tag =sig
..end
module type S_pp =sig
..end
module Make: