package frama-c
Module Wp_gui.GuiSourceSource
Source
type selection = | S_none| S_fun of Frama_c_kernel.Kernel_function.t| S_prop of Frama_c_kernel.Property.t| S_call of call
Source
and call = {s_caller : Frama_c_kernel.Kernel_function.t;s_called : Frama_c_kernel.Kernel_function.t;s_stmt : Frama_c_kernel.Cil_types.stmt;
}