1 # This file is part of NIT ( http://www.nitlanguage.org ).
3 # Copyright 2004-2008 Jean Privat <jean@pryen.org>
4 # Copyright 2008 Floréal Morandat <morandat@lirmm.fr>
6 # This file is free software, which comes along with NIT. This software is
7 # distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY;
8 # without even the implied warranty of MERCHANTABILITY or FITNESS FOR A
9 # PARTICULAR PURPOSE. You can modify it is you want, provided this header
10 # is kept unaltered, and a notification of the changes is added.
11 # You are allowed to redistribute it and sell it, alone or is a part of
14 # Invocation and management of operating system sub-processes.
15 # Standard input and output can be handled through streams.
22 # The pid of the process
23 fun id
: Int do return data
.id
25 # Is the process finished?
26 fun is_finished
: Bool do return data
.is_finished
28 # Wait the termination of the process
35 # The status once finished
43 # Is a filepath, or a executable found in PATH
46 # The arguments of the command
47 # Starts with the first real arguments---ie. does not include the progname (`argv[0]`, in C)
48 var arguments
: nullable Array[String]
50 # Launch a command with some arguments
51 init(command
: String, arguments
: String...)
53 self.command
= command
54 self.arguments
= arguments
58 # Launch a simple command with arguments passed as an array
59 init from_a
(command
: String, arguments
: nullable Array[String])
61 self.command
= command
62 self.arguments
= arguments
66 # flags used internally to know whith pipe to open
67 private fun pipeflags
: Int do return 0
69 # Internal code to handle execution
72 # The pass the arguments as a big C string where elements are separated with '\0'
73 var args
= new FlatBuffer
74 var l
= 1 # Number of elements in args
76 if arguments
!= null then
84 data
= basic_exec_execute
(command
.to_cstring
, args
.to_s
.to_cstring
, l
, pipeflags
)
87 private var data
: NativeProcess
88 private fun basic_exec_execute
(p
: NativeString, av
: NativeString, ac
: Int, pf
: Int): NativeProcess is extern "exec_Process_Process_basic_exec_execute_4"
91 # stdout of the process is readable
95 var stream_in
: FDIStream is noinit
97 redef fun close
do stream_in
.close
99 redef fun read_char
do return stream_in
.read_char
101 redef fun eof
do return stream_in
.eof
103 redef fun pipeflags
do return 2
108 stream_in
= new FDIStream(data
.out_fd
)
112 # stdin of the process is writable
116 var stream_out
: OStream is noinit
118 redef fun close
do stream_out
.close
120 redef fun is_writable
do return stream_out
.is_writable
122 redef fun write
(s
) do stream_out
.write
(s
)
124 redef fun pipeflags
do return 1
129 stream_out
= new FDOStream(data
.in_fd
)
133 # stdin and stdout are both accessible
145 redef fun pipeflags
do return 3
154 # Execute a shell command and return its error code
155 fun system
(command
: String): Int
157 return command
.to_cstring
.system
161 redef class NativeString
162 fun system
: Int is extern "string_NativeString_NativeString_system_0"
165 private extern class NativeProcess
166 fun id
: Int is extern "exec_NativeProcess_NativeProcess_id_0"
167 fun is_finished
: Bool is extern "exec_NativeProcess_NativeProcess_is_finished_0"
168 fun status
: Int is extern "exec_NativeProcess_NativeProcess_status_0"
169 fun wait
is extern "exec_NativeProcess_NativeProcess_wait_0"
171 fun in_fd
: Int is extern "exec_NativeProcess_NativeProcess_in_fd_0"
172 fun out_fd
: Int is extern "exec_NativeProcess_NativeProcess_out_fd_0"
173 fun err_fd
: Int is extern "exec_NativeProcess_NativeProcess_err_fd_0"