Up
–
frama-c
»
Frama_c_gui
»
Wutil
» layout
Class
Wutil.layout
inherit
widget
method
populate :
widget
->
unit