- init(command: String, arguments: String...)
- do
- execute(command, arguments, 3)
- stream_in = new FDIStream(data.out_fd)
- stream_out = new FDOStream(data.in_fd)
- end
-
- init init_(command: String)
+ redef fun pipeflags do return 3
+
+ redef init(command: String, arguments: String...) do super
+
+ redef fun execute