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
42 # Launch a command with some arguments
43 init(command
: String, arguments
: String...)
45 execute
(command
, arguments
, 0)
48 # Launch a simple command without arguments
49 init init_
(command
: String)
51 execute
(command
, null, 0)
54 # Internal code to handle execution
55 protected init execute
(command
: String, arguments
: nullable Array[String], pipeflags
: Int)
58 var l
= 1 # Number of elements in args
60 if arguments
!= null then
67 data
= basic_exec_execute
(command
.to_cstring
, args
.to_s
.to_cstring
, l
, pipeflags
)
70 private var data
: NativeProcess
71 private fun basic_exec_execute
(p
: NativeString, av
: NativeString, ac
: Int, pf
: Int): NativeProcess is extern "exec_Process_Process_basic_exec_execute_4"
74 # stdout of the process is readable
78 var stream_in
: FDIStream
80 redef fun close
do stream_in
.close
82 redef fun read_char
do return stream_in
.read_char
84 redef fun eof
do return stream_in
.eof
86 init(command
: String, arguments
: String...)
88 execute
(command
, arguments
, 2)
89 stream_in
= new FDIStream(data
.out_fd
)
92 init init_
(command
: String)
94 execute
(command
, null, 2)
95 stream_in
= new FDIStream(data
.out_fd
)
99 # stdin of the process is writable
103 var stream_out
: OStream
105 redef fun close
do stream_out
.close
107 redef fun is_writable
do return stream_out
.is_writable
109 redef fun write
(s
) do stream_out
.write
(s
)
111 init(command
: String, arguments
: String...)
113 execute
(command
, arguments
, 1)
114 stream_out
= new FDOStream(data
.in_fd
)
117 init init_
(command
: String)
119 execute
(command
, null, 1)
120 stream_out
= new FDOStream(data
.in_fd
)
124 # stdin and stdout are both accessible
136 init(command
: String, arguments
: String...)
138 execute
(command
, arguments
, 3)
139 stream_in
= new FDIStream(data
.out_fd
)
140 stream_out
= new FDOStream(data
.in_fd
)
143 init init_
(command
: String)
145 execute
(command
, null, 3)
146 stream_in
= new FDIStream(data
.out_fd
)
147 stream_out
= new FDOStream(data
.in_fd
)
152 # Execute a shell command and return its error code
153 fun system
(command
: String): Int
155 return command
.to_cstring
.system
159 redef class NativeString
160 fun system
: Int is extern "string_NativeString_NativeString_system_0"
163 private extern NativeProcess
164 fun id
: Int is extern "exec_NativeProcess_NativeProcess_id_0"
165 fun is_finished
: Bool is extern "exec_NativeProcess_NativeProcess_is_finished_0"
166 fun status
: Int is extern "exec_NativeProcess_NativeProcess_status_0"
167 fun wait
is extern "exec_NativeProcess_NativeProcess_wait_0"
169 fun in_fd
: Int is extern "exec_NativeProcess_NativeProcess_in_fd_0"
170 fun out_fd
: Int is extern "exec_NativeProcess_NativeProcess_out_fd_0"
171 fun err_fd
: Int is extern "exec_NativeProcess_NativeProcess_err_fd_0"