object
method display_globals : Cil_types.global list -> unit
method scroll : Pretty_source.localizable -> unit
method select_or_display_global : Cil_types.global -> unit
method view_original : Cil_types.location -> unit
method view_original_stmt : Cil_types.stmt -> Cil_types.location
method view_stmt : Cil_types.stmt -> unit
end