package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

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

  • since Beryllium-20090901
method error : 'a. ?parent:GWindow.window_skel -> ?reset:bool -> ('a, Stdlib.Format.formatter, unit) Stdlib.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