module Sys: System interface.
val argv :
The command line arguments given to the process.
The first element is the command name used to invoke the program.
The following elements are the command-line arguments
given to the program.
val executable_name :
The name of the file containing the executable currently running.
val file_exists :
string -> bool
Test if a file with the given name exists.
val is_directory :
string -> bool
true if the given name refers to a directory,
false if it refers to another kind of file.
Sys_error if no file exists with the given name.
val remove :
string -> unit
Remove the given file name from the file system.
val rename :
string -> string -> unit
Rename a file. The first argument is the old name and the
second is the new name. If there is already another file
under the new name,
rename may replace it, or raise an
exception, depending on your operating system.
val getenv :
string -> string
Return the value associated to a variable in the process
Not_found if the variable is unbound.
val command :
string -> int
Execute the given shell command and return its exit code.
val time :
unit -> float
Return the processor time, in seconds, used by the program
since the beginning of execution.
val chdir :
string -> unit
Change the current working directory of the process.
val getcwd :
unit -> string
Return the current working directory of the process.
val readdir :
string -> string array
Return the names of all files present in the given directory.
Names denoting the current directory and the parent directory
".." in Unix) are not returned. Each string in the
result is a file name rather than a complete path. There is no
guarantee that the name strings in the resulting array will appear
in any specific order; they are not, in particular, guaranteed to
appear in alphabetical order.
val interactive :
This reference is initially set to
false in standalone
programs and to
true if the code is being executed under
the interactive toplevel system
val os_type :
Operating system currently executing the OCaml program. One of
"Unix" (for all Unix versions, including Linux and Mac OS X),
"Win32" (for MS-Windows, OCaml compiled with MSVC++ or Mingw),
"Cygwin" (for MS-Windows, OCaml compiled with Cygwin).
val word_size :
Size of one word on the machine currently executing the OCaml
program, in bits: 32 or 64.
val big_endian :
Whether the machine currently executing the Caml program is big-endian.
val max_string_length :
Maximum length of a string.
val max_array_length :
Maximum length of a normal array. The maximum length of a float
max_array_length/2 on 32-bit machines and
max_array_length on 64-bit machines.
(int -> unit)
val signal :
int -> signal_behavior -> signal_behavior
Set the behavior of the system on receipt of a given signal. The
first argument is the signal number. Return the behavior
previously associated with the signal. If the signal number is
invalid (or not available on your system), an
exception is raised.
val set_signal :
int -> signal_behavior -> unit
Signal numbers for the standard POSIX signals.
val sigabrt :
val sigalrm :
val sigfpe :
val sighup :
Hangup on controlling terminal
val sigill :
Invalid hardware instruction
val sigint :
Interactive interrupt (ctrl-C)
val sigkill :
Termination (cannot be ignored)
val sigpipe :
val sigquit :
val sigsegv :
Invalid memory reference
val sigterm :
val sigusr1 :
Application-defined signal 1
val sigusr2 :
Application-defined signal 2
val sigchld :
Child process terminated
val sigcont :
val sigstop :
val sigtstp :
val sigttin :
Terminal read from background process
val sigttou :
Terminal write from background process
val sigvtalrm :
Timeout in virtual time
val sigprof :
val catch_break :
bool -> unit
catch_break governs whether interactive interrupt (ctrl-C)
terminates the program or raises the
catch_break true to enable raising
catch_break false to let the system
terminate the program on user interrupt.
val ocaml_version :
ocaml_version is the version of OCaml.
It is a string of the form
patchlevel are integers, and
additional-info is an arbitrary string. The
[+additional-info] parts may be absent.