package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Class `Gtk_helper.error_manager`Source

A utility class to catch exceptions and report proper error messages. The error dialog will be transient for the GWindow.window_skel argument.

method error : 'a. ?parent:GWindow.window_skel ->
  ?reset:bool ->
  ('a, Format.formatter, unit) format ->
  'a

method full_protect : 'a. cancelable:bool ->
  ?parent:GWindow.window_skel ->
  (unit -> 'a) ->
  'a option

method protect : cancelable:bool ->
  ?parent:GWindow.window_skel ->
  (unit -> unit) ->
  unit

method private set_reset : (unit -> unit) -> unit