sig
val get_full_path_name : string -> string
val get_long_path_name : string -> string
type w32_event
val create_event : unit -> Netsys_win32.w32_event
val set_event : Netsys_win32.w32_event -> unit
val reset_event : Netsys_win32.w32_event -> unit
val test_event : Netsys_win32.w32_event -> bool
val event_wait : Netsys_win32.w32_event -> float -> bool
val event_descr : Netsys_win32.w32_event -> Unix.file_descr
val wsa_event_select :
Netsys_win32.w32_event ->
Unix.file_descr -> Netsys_posix.poll_req_events -> unit
val wsa_maximum_wait_events : unit -> int
val wsa_wait_for_multiple_events :
Netsys_win32.w32_event array -> int -> int option
val wsa_enum_network_events :
Unix.file_descr -> Netsys_win32.w32_event -> Netsys_posix.poll_act_events
val real_select :
Unix.file_descr list ->
Unix.file_descr list ->
Unix.file_descr list ->
float ->
Unix.file_descr list * Unix.file_descr list * Unix.file_descr list
type w32_pipe_server
type w32_pipe
type pipe_mode = Pipe_in | Pipe_out | Pipe_duplex
val rev_mode : Netsys_win32.pipe_mode -> Netsys_win32.pipe_mode
val create_local_pipe_server :
string -> Netsys_win32.pipe_mode -> int -> Netsys_win32.w32_pipe_server
val pipe_listen : Netsys_win32.w32_pipe_server -> int -> unit
val pipe_accept : Netsys_win32.w32_pipe_server -> Netsys_win32.w32_pipe
val pipe_connect :
string -> Netsys_win32.pipe_mode -> Netsys_win32.w32_pipe
val pipe_pair :
Netsys_win32.pipe_mode -> Netsys_win32.w32_pipe * Netsys_win32.w32_pipe
val pipe_read : Netsys_win32.w32_pipe -> Bytes.t -> int -> int -> int
val pipe_write : Netsys_win32.w32_pipe -> Bytes.t -> int -> int -> int
val pipe_write_string :
Netsys_win32.w32_pipe -> string -> int -> int -> int
val pipe_shutdown : Netsys_win32.w32_pipe -> unit
val pipe_shutdown_server : Netsys_win32.w32_pipe_server -> unit
val pipe_connect_event :
Netsys_win32.w32_pipe_server -> Netsys_win32.w32_event
val pipe_rd_event : Netsys_win32.w32_pipe -> Netsys_win32.w32_event
val pipe_wr_event : Netsys_win32.w32_pipe -> Netsys_win32.w32_event
val pipe_wait_connect : Netsys_win32.w32_pipe_server -> float -> bool
val pipe_wait_rd : Netsys_win32.w32_pipe -> float -> bool
val pipe_wait_wr : Netsys_win32.w32_pipe -> float -> bool
val pipe_server_descr : Netsys_win32.w32_pipe_server -> Unix.file_descr
val pipe_descr : Netsys_win32.w32_pipe -> Unix.file_descr
val pipe_name : Netsys_win32.w32_pipe -> string
val pipe_server_name : Netsys_win32.w32_pipe_server -> string
val pipe_mode : Netsys_win32.w32_pipe -> Netsys_win32.pipe_mode
val pipe_server_mode :
Netsys_win32.w32_pipe_server -> Netsys_win32.pipe_mode
val unpredictable_pipe_name : unit -> string
type w32_input_thread
val create_input_thread : Unix.file_descr -> Netsys_win32.w32_input_thread
val input_thread_event :
Netsys_win32.w32_input_thread -> Netsys_win32.w32_event
val input_thread_read :
Netsys_win32.w32_input_thread -> Bytes.t -> int -> int -> int
val cancel_input_thread : Netsys_win32.w32_input_thread -> unit
val input_thread_proxy_descr :
Netsys_win32.w32_input_thread -> Unix.file_descr
type w32_output_thread
val create_output_thread :
Unix.file_descr -> Netsys_win32.w32_output_thread
val output_thread_event :
Netsys_win32.w32_output_thread -> Netsys_win32.w32_event
val output_thread_write :
Netsys_win32.w32_output_thread -> Bytes.t -> int -> int -> int
val output_thread_write_string :
Netsys_win32.w32_output_thread -> string -> int -> int -> int
val close_output_thread : Netsys_win32.w32_output_thread -> unit
val cancel_output_thread : Netsys_win32.w32_output_thread -> unit
val output_thread_proxy_descr :
Netsys_win32.w32_output_thread -> Unix.file_descr
type create_process_option =
CP_change_directory of string
| CP_set_env of string
| CP_std_handles of Unix.file_descr * Unix.file_descr * Unix.file_descr
| CP_create_console
| CP_detach_from_console
| CP_inherit_console
| CP_inherit_or_create_console
| CP_unicode_environment
| CP_ansi_environment
| CP_new_process_group
| CP_inherit_process_group
val cp_set_env : string array -> Netsys_win32.create_process_option
val search_path : string option -> string -> string option -> string
type w32_process
val create_process :
string ->
string ->
Netsys_win32.create_process_option list -> Netsys_win32.w32_process
val close_process : Netsys_win32.w32_process -> unit
val get_process_status :
Netsys_win32.w32_process -> Unix.process_status option
val as_process_event : Netsys_win32.w32_process -> Netsys_win32.w32_event
val emulated_pid : Netsys_win32.w32_process -> int
val win_pid : Netsys_win32.w32_process -> int
val process_descr : Netsys_win32.w32_process -> Unix.file_descr
val terminate_process : Netsys_win32.w32_process -> unit
val has_console : unit -> bool
val is_console : Unix.file_descr -> bool
val get_console_input : unit -> Unix.file_descr
val get_console_output : unit -> Unix.file_descr
type w32_console_attr = {
mutable cursor_x : int;
mutable cursor_y : int;
mutable cursor_size : int;
mutable cursor_visible : bool;
mutable text_attr : int;
}
type w32_console_info = { mutable width : int; mutable height : int; }
val get_console_attr : unit -> Netsys_win32.w32_console_attr
val set_console_attr : Netsys_win32.w32_console_attr -> unit
val get_console_info : unit -> Netsys_win32.w32_console_info
val fg_blue : int
val fg_green : int
val fg_red : int
val fg_intensity : int
val bg_blue : int
val bg_green : int
val bg_red : int
val bg_intensity : int
type w32_console_mode = {
mutable enable_echo_input : bool;
mutable enable_insert_mode : bool;
mutable enable_line_input : bool;
mutable enable_processed_input : bool;
mutable enable_quick_edit_mode : bool;
mutable enable_processed_output : bool;
mutable enable_wrap_at_eol_output : bool;
}
val get_console_mode : unit -> Netsys_win32.w32_console_mode
val set_console_mode : Netsys_win32.w32_console_mode -> unit
val init_console_codepage : unit -> unit
val clear_until_end_of_line : unit -> unit
val clear_until_end_of_screen : unit -> unit
val clear_console : unit -> unit
val get_active_code_page : unit -> int
type w32_object =
W32_event of Netsys_win32.w32_event
| W32_pipe of Netsys_win32.w32_pipe
| W32_pipe_server of Netsys_win32.w32_pipe_server
| W32_process of Netsys_win32.w32_process
| W32_input_thread of Netsys_win32.w32_input_thread
| W32_output_thread of Netsys_win32.w32_output_thread
val lookup : Unix.file_descr -> Netsys_win32.w32_object
val lookup_event : Unix.file_descr -> Netsys_win32.w32_event
val lookup_pipe : Unix.file_descr -> Netsys_win32.w32_pipe
val lookup_pipe_server : Unix.file_descr -> Netsys_win32.w32_pipe_server
val lookup_process : Unix.file_descr -> Netsys_win32.w32_process
val lookup_input_thread : Unix.file_descr -> Netsys_win32.w32_input_thread
val lookup_output_thread :
Unix.file_descr -> Netsys_win32.w32_output_thread
val unregister : Unix.file_descr -> unit
val test_close_on_exec : Unix.file_descr -> bool
val modify_close_on_exec : Unix.file_descr -> bool -> unit
val is_crt_fd : Unix.file_descr -> int -> bool
val fill_random : Bytes.t -> unit
module Debug :
sig
val enable : bool Pervasives.ref
val debug_c_wrapper : bool -> unit
end
val input_thread_descr : Netsys_win32.w32_input_thread -> Unix.file_descr
val output_thread_descr : Netsys_win32.w32_output_thread -> Unix.file_descr
val gc_proxy : unit -> unit
end
