package frama-c

  1. Overview
  2. Docs
Platform dedicated to the analysis of source code written in C

Install 

dune-project
 Dependency

frama-c.com Readme Edit opam file Versions (25)

Authors

  1. M
    Michele Alberti
  2. T
    Thibaud Antignac
  3. G
    Gergö Barany
  4. P
    Patrick Baudin
  5. N
    Nicolas Bellec
  6. T
    Thibaut Benjamin
  7. A
    Allan Blanchard
  8. L
    Lionel Blatter
  9. F
    François Bobot
  10. R
    Richard Bonichon
  11. V
    Vincent Botbol
  12. Q
    Quentin Bouillaguet
  13. D
    David Bühler
  14. Z
    Zakaria Chihani
  15. L
    Loïc Correnson
  16. J
    Julien Crétin
  17. P
    Pascal Cuoq
  18. Z
    Zaynah Dargaye
  19. B
    Basile Desloges
  20. J
    Jean-Christophe Filliâtre
  21. P
    Philippe Herrmann
  22. M
    Maxime Jacquemin
  23. F
    Florent Kirchner
  24. A
    Alexander Kogtenkov
  25. R
    Remi Lazarini
  26. T
    Tristan Le Gall
  27. J
    Jean-Christophe Léchenet
  28. M
    Matthieu Lemerre
  29. D
    Dara Ly
  30. D
    David Maison
  31. C
    Claude Marché
  32. A
    André Maroneze
  33. T
    Thibault Martin
  34. F
    Fonenantsoa Maurica
  35. M
    Melody Méaulle
  36. B
    Benjamin Monate
  37. Y
    Yannick Moy
  38. P
    Pierre Nigron
  39. A
    Anne Pacalet
  40. V
    Valentin Perrelle
  41. G
    Guillaume Petiot
  42. D
    Dario Pinto
  43. V
    Virgile Prevosto
  44. A
    Armand Puccetti
  45. F
    Félix Ridoux
  46. V
    Virgile Robles
  47. J
    Jan Rochel
  48. M
    Muriel Roger
  49. J
    Julien Signoles
  50. N
    Nicolas Stouls
  51. K
    Kostyantyn Vorobyov
  52. B
    Boris Yakobowski

Maintainers

  1. F
    frama-ci-bot@frama-c.com

Sources

frama-c-29.0-beta-Copper.tar.gz
sha256=3ac8b38e0dab0e14d6ad0d244d8dfcfb17c912f661c77079096436f48377cf8a

doc/frama-c.gui/Frama_c_gui/Wpalette/class-tool/index.html

Class Wpalette.toolSource

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

  • a selectable label with optional status icon
  • an optional action button (icon only)
  • an optional configuration panel

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.

  • If no icon is provided, the previous one is kept.
  • If no tooltip is provided, the previous one is kept.
  • If no callback is given, the button is deactivated.
  • The callback replaces any previous one and makes the action button clickable.
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.