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 os : string
val temp_dir : string
repertory for the tempory files generated by the tools
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_to_list : string -> string list
Read a file and return a list of string where each string is a line of the file
Returns string list
fileName
: is the name of the file to read
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
Text font
val current_font_size : int Pervasives.ref
the current fonts size
val list_font : Tk.font list Pervasives.ref
val get_font : string -> string list -> unit
val set_size_of_all_fonts : int -> unit
for change fonts size
val configure : unit -> unit
val words : string list
val nop : unit -> unit
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