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=d2fbb3b8d0ff83945872e9e6fa258e934a706360e698dae3b4d5f971addf7493

Configurable palette-tool. Each tool is a widget that consists of three components:

The action button is only displayed when associated with a callback. Clicking the label toggles the configuration panel, if the tool is active.

inherit Frama_c_gui.Widget.widget

method tool : tool

Self cast

method is_active : bool

method on_active : (bool -> unit) -> unit

method set_active : bool -> unit

method has_action : bool

method set_label : string -> unit

method set_status : Frama_c_gui.Widget.icon -> unit

method set_tooltip : string -> unit

method set_action : ?icon:Frama_c_gui.Widget.icon ->
  ?tooltip:string ->
  ?callback:(unit -> unit) ->
  unit ->
  unit

Makes the action button visible.

method clear_action : unit

Deactivate and hide the action button.

method set_content : Frama_c_gui.Widget.widget -> unit

Shall be used at most once, and before #coerce or #widget.