Frama-C API - GuiComposer
class composer : GuiSequent.focused -> object ... endclass browser : GuiSequent.focused -> object ... end
Frama-C Frama-C GuiComposerclass composer : GuiSequent.focused -> object ... endclass browser : GuiSequent.focused -> object ... end