class ofmcOption : 'a Widget.widget ->
object
.. end
val optionLabel : Widget.label Widget.widget
val session : Widget.checkbutton Widget.widget
val mutable sessionString : string
val f : Widget.frame Widget.widget
val mutable hf1 : Widget.frame Widget.widget
val mutable labelDepth : Widget.label Widget.widget
val mutable entryDepth : Widget.entry Widget.widget
val mutable hf2 : Widget.frame Widget.widget
val mutable labelPath : Widget.label Widget.widget
val mutable entryPath : Widget.entry Widget.widget
method init : unit
Initialize the objects of this class
method destroy : unit
Destruct the objects of this class, and the graphical objects builds by the objects of this class
method execution : string -> Widget.text Widget.widget -> unit
Execute OFMC with the parameters of the user