Module Interface


module Interface: sig .. end
interface.ml
Author(s): Yann GLOUCHE
Version: 1.0
Since 12/12/2005

val root : Widget.toplevel Widget.widget
Initialize Tk

Colors
val defcol : [> `Color of string ]
val selcol : [> `Color of string ]
val clicol : [> `Color of string ]
val blue : [> `Color of string ]

Verification Tools
val esc : string
val path_span : string
val path_avispa : string
val hlpsl2if : string
val ofmc : string
val satmc : string
val atse : string
val ta4sp : string
val hlpsl2scenario : string
val temp_dir : string
repertory for the tempory files generated by the tools

font text
val get_font : string -> string list -> Tk.font
val configure : unit -> unit
val words : string list
val nop : unit -> unit
val readFile : string -> string
Read a file and return a list of string where each string is a line of the file
Returns string list
val readFile_and_give_line_number : string -> string * int
Read a file and return the number of lines of the file with a list of string where each string is a line of the file
Returns string list
val saveFile : string -> string -> unit
Save a file
Returns unit
txt : is the text to save
val get_output_if : string -> string
class hlpsl2ifOption : 'a Widget.widget -> object .. end
class ofmcOption : 'a Widget.widget -> object .. end
class atseOption : 'a Widget.widget -> object .. end
class satmcOption : 'a Widget.widget -> object .. end
class ta4spOption : 'a Widget.widget -> object .. end
val fileName : string Pervasives.ref