Plasma GitLab Archive
Projects Blog Knowledge

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 -> string -> int -> int -> int
  val pipe_write : 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 -> string -> 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 -> 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 : string -> 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
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml