package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

sha256=a94384f00d53791cbb4b4d83ab41607bc71962d42461f02d71116c4ff6dca567

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, 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