jdk/src/share/classes/java/lang/ProcessBuilder.java
author ohair
Tue, 28 Dec 2010 15:53:50 -0800
changeset 7668 d4a77089c587
parent 7515 43202796198e
child 7816 55a18147b4bf
permissions -rw-r--r--
6962318: Update copyright year Reviewed-by: xdono
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
     1
/*
7668
d4a77089c587 6962318: Update copyright year
ohair
parents: 7515
diff changeset
     2
 * Copyright (c) 2003, 2010, Oracle and/or its affiliates. All rights reserved.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
90ce3da70b43 Initial load
duke
parents:
diff changeset
     4
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
90ce3da70b43 Initial load
duke
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
5506
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 5186
diff changeset
     7
 * published by the Free Software Foundation.  Oracle designates this
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
5506
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 5186
diff changeset
     9
 * by Oracle in the LICENSE file that accompanied this code.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    10
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
90ce3da70b43 Initial load
duke
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
90ce3da70b43 Initial load
duke
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
90ce3da70b43 Initial load
duke
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
90ce3da70b43 Initial load
duke
parents:
diff changeset
    15
 * accompanied this code).
90ce3da70b43 Initial load
duke
parents:
diff changeset
    16
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
90ce3da70b43 Initial load
duke
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
90ce3da70b43 Initial load
duke
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    20
 *
5506
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 5186
diff changeset
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 5186
diff changeset
    22
 * or visit www.oracle.com if you need additional information or have any
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 5186
diff changeset
    23
 * questions.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    24
 */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    25
90ce3da70b43 Initial load
duke
parents:
diff changeset
    26
package java.lang;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    27
90ce3da70b43 Initial load
duke
parents:
diff changeset
    28
import java.io.File;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    29
import java.io.IOException;
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    30
import java.io.InputStream;
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    31
import java.io.OutputStream;
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    32
import java.io.FileOutputStream;
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    33
import java.util.Arrays;
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    34
import java.util.ArrayList;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    35
import java.util.List;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    36
import java.util.Map;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    37
90ce3da70b43 Initial load
duke
parents:
diff changeset
    38
/**
90ce3da70b43 Initial load
duke
parents:
diff changeset
    39
 * This class is used to create operating system processes.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    40
 *
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    41
 * <p>Each {@code ProcessBuilder} instance manages a collection
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    42
 * of process attributes.  The {@link #start()} method creates a new
90ce3da70b43 Initial load
duke
parents:
diff changeset
    43
 * {@link Process} instance with those attributes.  The {@link
90ce3da70b43 Initial load
duke
parents:
diff changeset
    44
 * #start()} method can be invoked repeatedly from the same instance
90ce3da70b43 Initial load
duke
parents:
diff changeset
    45
 * to create new subprocesses with identical or related attributes.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    46
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    47
 * <p>Each process builder manages these process attributes:
90ce3da70b43 Initial load
duke
parents:
diff changeset
    48
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    49
 * <ul>
90ce3da70b43 Initial load
duke
parents:
diff changeset
    50
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    51
 * <li>a <i>command</i>, a list of strings which signifies the
90ce3da70b43 Initial load
duke
parents:
diff changeset
    52
 * external program file to be invoked and its arguments, if any.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    53
 * Which string lists represent a valid operating system command is
90ce3da70b43 Initial load
duke
parents:
diff changeset
    54
 * system-dependent.  For example, it is common for each conceptual
90ce3da70b43 Initial load
duke
parents:
diff changeset
    55
 * argument to be an element in this list, but there are operating
90ce3da70b43 Initial load
duke
parents:
diff changeset
    56
 * systems where programs are expected to tokenize command line
90ce3da70b43 Initial load
duke
parents:
diff changeset
    57
 * strings themselves - on such a system a Java implementation might
90ce3da70b43 Initial load
duke
parents:
diff changeset
    58
 * require commands to contain exactly two elements.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    59
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    60
 * <li>an <i>environment</i>, which is a system-dependent mapping from
90ce3da70b43 Initial load
duke
parents:
diff changeset
    61
 * <i>variables</i> to <i>values</i>.  The initial value is a copy of
90ce3da70b43 Initial load
duke
parents:
diff changeset
    62
 * the environment of the current process (see {@link System#getenv()}).
90ce3da70b43 Initial load
duke
parents:
diff changeset
    63
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    64
 * <li>a <i>working directory</i>.  The default value is the current
90ce3da70b43 Initial load
duke
parents:
diff changeset
    65
 * working directory of the current process, usually the directory
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    66
 * named by the system property {@code user.dir}.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    67
 *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    68
 * <li><a name="redirect-input">a source of <i>standard input</i>.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    69
 * By default, the subprocess reads input from a pipe.  Java code
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    70
 * can access this pipe via the output stream returned by
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    71
 * {@link Process#getOutputStream()}.  However, standard input may
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    72
 * be redirected to another source using
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    73
 * {@link #redirectInput(Redirect) redirectInput}.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    74
 * In this case, {@link Process#getOutputStream()} will return a
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    75
 * <i>null output stream</i>, for which:
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    76
 *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    77
 * <ul>
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    78
 * <li>the {@link OutputStream#write(int) write} methods always
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    79
 * throw {@code IOException}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    80
 * <li>the {@link OutputStream#close() close} method does nothing
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    81
 * </ul>
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    82
 *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    83
 * <li><a name="redirect-output">a destination for <i>standard output</i>
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    84
 * and <i>standard error</i>.  By default, the subprocess writes standard
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    85
 * output and standard error to pipes.  Java code can access these pipes
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    86
 * via the input streams returned by {@link Process#getInputStream()} and
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    87
 * {@link Process#getErrorStream()}.  However, standard output and
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    88
 * standard error may be redirected to other destinations using
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    89
 * {@link #redirectOutput(Redirect) redirectOutput} and
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    90
 * {@link #redirectError(Redirect) redirectError}.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    91
 * In this case, {@link Process#getInputStream()} and/or
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    92
 * {@link Process#getErrorStream()} will return a <i>null input
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    93
 * stream</i>, for which:
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    94
 *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    95
 * <ul>
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    96
 * <li>the {@link InputStream#read() read} methods always return
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    97
 * {@code -1}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    98
 * <li>the {@link InputStream#available() available} method always returns
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
    99
 * {@code 0}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   100
 * <li>the {@link InputStream#close() close} method does nothing
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   101
 * </ul>
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   102
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   103
 * <li>a <i>redirectErrorStream</i> property.  Initially, this property
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   104
 * is {@code false}, meaning that the standard output and error
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   105
 * output of a subprocess are sent to two separate streams, which can
90ce3da70b43 Initial load
duke
parents:
diff changeset
   106
 * be accessed using the {@link Process#getInputStream()} and {@link
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   107
 * Process#getErrorStream()} methods.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   108
 *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   109
 * <p>If the value is set to {@code true}, then:
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   110
 *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   111
 * <ul>
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   112
 * <li>standard error is merged with the standard output and always sent
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   113
 * to the same destination (this makes it easier to correlate error
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   114
 * messages with the corresponding output)
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   115
 * <li>the common destination of standard error and standard output can be
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   116
 * redirected using
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   117
 * {@link #redirectOutput(Redirect) redirectOutput}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   118
 * <li>any redirection set by the
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   119
 * {@link #redirectError(Redirect) redirectError}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   120
 * method is ignored when creating a subprocess
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   121
 * <li>the stream returned from {@link Process#getErrorStream()} will
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   122
 * always be a <a href="#redirect-output">null input stream</a>
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   123
 * </ul>
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   124
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   125
 * </ul>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   126
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   127
 * <p>Modifying a process builder's attributes will affect processes
90ce3da70b43 Initial load
duke
parents:
diff changeset
   128
 * subsequently started by that object's {@link #start()} method, but
90ce3da70b43 Initial load
duke
parents:
diff changeset
   129
 * will never affect previously started processes or the Java process
90ce3da70b43 Initial load
duke
parents:
diff changeset
   130
 * itself.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   131
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   132
 * <p>Most error checking is performed by the {@link #start()} method.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   133
 * It is possible to modify the state of an object so that {@link
90ce3da70b43 Initial load
duke
parents:
diff changeset
   134
 * #start()} will fail.  For example, setting the command attribute to
90ce3da70b43 Initial load
duke
parents:
diff changeset
   135
 * an empty list will not throw an exception unless {@link #start()}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   136
 * is invoked.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   137
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   138
 * <p><strong>Note that this class is not synchronized.</strong>
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   139
 * If multiple threads access a {@code ProcessBuilder} instance
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   140
 * concurrently, and at least one of the threads modifies one of the
90ce3da70b43 Initial load
duke
parents:
diff changeset
   141
 * attributes structurally, it <i>must</i> be synchronized externally.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   142
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   143
 * <p>Starting a new process which uses the default working directory
90ce3da70b43 Initial load
duke
parents:
diff changeset
   144
 * and environment is easy:
90ce3da70b43 Initial load
duke
parents:
diff changeset
   145
 *
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   146
 * <pre> {@code
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   147
 * Process p = new ProcessBuilder("myCommand", "myArg").start();
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   148
 * }</pre>
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   149
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   150
 * <p>Here is an example that starts a process with a modified working
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   151
 * directory and environment, and redirects standard output and error
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   152
 * to be appended to a log file:
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   153
 *
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   154
 * <pre> {@code
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   155
 * ProcessBuilder pb =
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   156
 *   new ProcessBuilder("myCommand", "myArg1", "myArg2");
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   157
 * Map<String, String> env = pb.environment();
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   158
 * env.put("VAR1", "myValue");
90ce3da70b43 Initial load
duke
parents:
diff changeset
   159
 * env.remove("OTHERVAR");
90ce3da70b43 Initial load
duke
parents:
diff changeset
   160
 * env.put("VAR2", env.get("VAR1") + "suffix");
90ce3da70b43 Initial load
duke
parents:
diff changeset
   161
 * pb.directory(new File("myDir"));
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   162
 * File log = new File("log");
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   163
 * pb.redirectErrorStream(true);
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   164
 * pb.redirectOutput(Redirect.appendTo(log));
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   165
 * Process p = pb.start();
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   166
 * assert pb.redirectInput() == Redirect.PIPE;
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   167
 * assert pb.redirectOutput().file() == log;
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   168
 * assert p.getInputStream().read() == -1;
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   169
 * }</pre>
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   170
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   171
 * <p>To start a process with an explicit set of environment
90ce3da70b43 Initial load
duke
parents:
diff changeset
   172
 * variables, first call {@link java.util.Map#clear() Map.clear()}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   173
 * before adding environment variables.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   174
 *
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   175
 * @author Martin Buchholz
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   176
 * @since 1.5
90ce3da70b43 Initial load
duke
parents:
diff changeset
   177
 */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   178
90ce3da70b43 Initial load
duke
parents:
diff changeset
   179
public final class ProcessBuilder
90ce3da70b43 Initial load
duke
parents:
diff changeset
   180
{
90ce3da70b43 Initial load
duke
parents:
diff changeset
   181
    private List<String> command;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   182
    private File directory;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   183
    private Map<String,String> environment;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   184
    private boolean redirectErrorStream;
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   185
    private Redirect[] redirects;
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   186
90ce3da70b43 Initial load
duke
parents:
diff changeset
   187
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   188
     * Constructs a process builder with the specified operating
90ce3da70b43 Initial load
duke
parents:
diff changeset
   189
     * system program and arguments.  This constructor does <i>not</i>
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   190
     * make a copy of the {@code command} list.  Subsequent
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   191
     * updates to the list will be reflected in the state of the
90ce3da70b43 Initial load
duke
parents:
diff changeset
   192
     * process builder.  It is not checked whether
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   193
     * {@code command} corresponds to a valid operating system
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   194
     * command.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   195
     *
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   196
     * @param  command the list containing the program and its arguments
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   197
     * @throws NullPointerException if the argument is null
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   198
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   199
    public ProcessBuilder(List<String> command) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   200
        if (command == null)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   201
            throw new NullPointerException();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   202
        this.command = command;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   203
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   204
90ce3da70b43 Initial load
duke
parents:
diff changeset
   205
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   206
     * Constructs a process builder with the specified operating
90ce3da70b43 Initial load
duke
parents:
diff changeset
   207
     * system program and arguments.  This is a convenience
90ce3da70b43 Initial load
duke
parents:
diff changeset
   208
     * constructor that sets the process builder's command to a string
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   209
     * list containing the same strings as the {@code command}
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   210
     * array, in the same order.  It is not checked whether
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   211
     * {@code command} corresponds to a valid operating system
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   212
     * command.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   213
     *
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   214
     * @param command a string array containing the program and its arguments
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   215
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   216
    public ProcessBuilder(String... command) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   217
        this.command = new ArrayList<String>(command.length);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   218
        for (String arg : command)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   219
            this.command.add(arg);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   220
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   221
90ce3da70b43 Initial load
duke
parents:
diff changeset
   222
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   223
     * Sets this process builder's operating system program and
90ce3da70b43 Initial load
duke
parents:
diff changeset
   224
     * arguments.  This method does <i>not</i> make a copy of the
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   225
     * {@code command} list.  Subsequent updates to the list will
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   226
     * be reflected in the state of the process builder.  It is not
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   227
     * checked whether {@code command} corresponds to a valid
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   228
     * operating system command.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   229
     *
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   230
     * @param  command the list containing the program and its arguments
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   231
     * @return this process builder
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   232
     *
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   233
     * @throws NullPointerException if the argument is null
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   234
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   235
    public ProcessBuilder command(List<String> command) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   236
        if (command == null)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   237
            throw new NullPointerException();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   238
        this.command = command;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   239
        return this;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   240
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   241
90ce3da70b43 Initial load
duke
parents:
diff changeset
   242
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   243
     * Sets this process builder's operating system program and
90ce3da70b43 Initial load
duke
parents:
diff changeset
   244
     * arguments.  This is a convenience method that sets the command
90ce3da70b43 Initial load
duke
parents:
diff changeset
   245
     * to a string list containing the same strings as the
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   246
     * {@code command} array, in the same order.  It is not
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   247
     * checked whether {@code command} corresponds to a valid
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   248
     * operating system command.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   249
     *
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   250
     * @param  command a string array containing the program and its arguments
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   251
     * @return this process builder
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   252
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   253
    public ProcessBuilder command(String... command) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   254
        this.command = new ArrayList<String>(command.length);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   255
        for (String arg : command)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   256
            this.command.add(arg);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   257
        return this;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   258
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   259
90ce3da70b43 Initial load
duke
parents:
diff changeset
   260
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   261
     * Returns this process builder's operating system program and
90ce3da70b43 Initial load
duke
parents:
diff changeset
   262
     * arguments.  The returned list is <i>not</i> a copy.  Subsequent
90ce3da70b43 Initial load
duke
parents:
diff changeset
   263
     * updates to the list will be reflected in the state of this
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   264
     * process builder.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   265
     *
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   266
     * @return this process builder's program and its arguments
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   267
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   268
    public List<String> command() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   269
        return command;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   270
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   271
90ce3da70b43 Initial load
duke
parents:
diff changeset
   272
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   273
     * Returns a string map view of this process builder's environment.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   274
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   275
     * Whenever a process builder is created, the environment is
90ce3da70b43 Initial load
duke
parents:
diff changeset
   276
     * initialized to a copy of the current process environment (see
90ce3da70b43 Initial load
duke
parents:
diff changeset
   277
     * {@link System#getenv()}).  Subprocesses subsequently started by
90ce3da70b43 Initial load
duke
parents:
diff changeset
   278
     * this object's {@link #start()} method will use this map as
90ce3da70b43 Initial load
duke
parents:
diff changeset
   279
     * their environment.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   280
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   281
     * <p>The returned object may be modified using ordinary {@link
90ce3da70b43 Initial load
duke
parents:
diff changeset
   282
     * java.util.Map Map} operations.  These modifications will be
90ce3da70b43 Initial load
duke
parents:
diff changeset
   283
     * visible to subprocesses started via the {@link #start()}
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   284
     * method.  Two {@code ProcessBuilder} instances always
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   285
     * contain independent process environments, so changes to the
90ce3da70b43 Initial load
duke
parents:
diff changeset
   286
     * returned map will never be reflected in any other
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   287
     * {@code ProcessBuilder} instance or the values returned by
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   288
     * {@link System#getenv System.getenv}.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   289
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   290
     * <p>If the system does not support environment variables, an
90ce3da70b43 Initial load
duke
parents:
diff changeset
   291
     * empty map is returned.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   292
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   293
     * <p>The returned map does not permit null keys or values.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   294
     * Attempting to insert or query the presence of a null key or
90ce3da70b43 Initial load
duke
parents:
diff changeset
   295
     * value will throw a {@link NullPointerException}.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   296
     * Attempting to query the presence of a key or value which is not
90ce3da70b43 Initial load
duke
parents:
diff changeset
   297
     * of type {@link String} will throw a {@link ClassCastException}.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   298
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   299
     * <p>The behavior of the returned map is system-dependent.  A
90ce3da70b43 Initial load
duke
parents:
diff changeset
   300
     * system may not allow modifications to environment variables or
90ce3da70b43 Initial load
duke
parents:
diff changeset
   301
     * may forbid certain variable names or values.  For this reason,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   302
     * attempts to modify the map may fail with
90ce3da70b43 Initial load
duke
parents:
diff changeset
   303
     * {@link UnsupportedOperationException} or
90ce3da70b43 Initial load
duke
parents:
diff changeset
   304
     * {@link IllegalArgumentException}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   305
     * if the modification is not permitted by the operating system.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   306
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   307
     * <p>Since the external format of environment variable names and
90ce3da70b43 Initial load
duke
parents:
diff changeset
   308
     * values is system-dependent, there may not be a one-to-one
90ce3da70b43 Initial load
duke
parents:
diff changeset
   309
     * mapping between them and Java's Unicode strings.  Nevertheless,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   310
     * the map is implemented in such a way that environment variables
90ce3da70b43 Initial load
duke
parents:
diff changeset
   311
     * which are not modified by Java code will have an unmodified
90ce3da70b43 Initial load
duke
parents:
diff changeset
   312
     * native representation in the subprocess.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   313
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   314
     * <p>The returned map and its collection views may not obey the
90ce3da70b43 Initial load
duke
parents:
diff changeset
   315
     * general contract of the {@link Object#equals} and
90ce3da70b43 Initial load
duke
parents:
diff changeset
   316
     * {@link Object#hashCode} methods.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   317
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   318
     * <p>The returned map is typically case-sensitive on all platforms.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   319
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   320
     * <p>If a security manager exists, its
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   321
     * {@link SecurityManager#checkPermission checkPermission} method
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   322
     * is called with a
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   323
     * {@link RuntimePermission}{@code ("getenv.*")} permission.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   324
     * This may result in a {@link SecurityException} being thrown.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   325
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   326
     * <p>When passing information to a Java subprocess,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   327
     * <a href=System.html#EnvironmentVSSystemProperties>system properties</a>
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   328
     * are generally preferred over environment variables.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   329
     *
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   330
     * @return this process builder's environment
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   331
     *
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   332
     * @throws SecurityException
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   333
     *         if a security manager exists and its
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   334
     *         {@link SecurityManager#checkPermission checkPermission}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   335
     *         method doesn't allow access to the process environment
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   336
     *
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   337
     * @see    Runtime#exec(String[],String[],java.io.File)
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   338
     * @see    System#getenv()
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   339
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   340
    public Map<String,String> environment() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   341
        SecurityManager security = System.getSecurityManager();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   342
        if (security != null)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   343
            security.checkPermission(new RuntimePermission("getenv.*"));
90ce3da70b43 Initial load
duke
parents:
diff changeset
   344
90ce3da70b43 Initial load
duke
parents:
diff changeset
   345
        if (environment == null)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   346
            environment = ProcessEnvironment.environment();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   347
90ce3da70b43 Initial load
duke
parents:
diff changeset
   348
        assert environment != null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   349
90ce3da70b43 Initial load
duke
parents:
diff changeset
   350
        return environment;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   351
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   352
90ce3da70b43 Initial load
duke
parents:
diff changeset
   353
    // Only for use by Runtime.exec(...envp...)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   354
    ProcessBuilder environment(String[] envp) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   355
        assert environment == null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   356
        if (envp != null) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   357
            environment = ProcessEnvironment.emptyEnvironment(envp.length);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   358
            assert environment != null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   359
90ce3da70b43 Initial load
duke
parents:
diff changeset
   360
            for (String envstring : envp) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   361
                // Before 1.5, we blindly passed invalid envstrings
90ce3da70b43 Initial load
duke
parents:
diff changeset
   362
                // to the child process.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   363
                // We would like to throw an exception, but do not,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   364
                // for compatibility with old broken code.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   365
90ce3da70b43 Initial load
duke
parents:
diff changeset
   366
                // Silently discard any trailing junk.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   367
                if (envstring.indexOf((int) '\u0000') != -1)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   368
                    envstring = envstring.replaceFirst("\u0000.*", "");
90ce3da70b43 Initial load
duke
parents:
diff changeset
   369
90ce3da70b43 Initial load
duke
parents:
diff changeset
   370
                int eqlsign =
90ce3da70b43 Initial load
duke
parents:
diff changeset
   371
                    envstring.indexOf('=', ProcessEnvironment.MIN_NAME_LENGTH);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   372
                // Silently ignore envstrings lacking the required `='.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   373
                if (eqlsign != -1)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   374
                    environment.put(envstring.substring(0,eqlsign),
90ce3da70b43 Initial load
duke
parents:
diff changeset
   375
                                    envstring.substring(eqlsign+1));
90ce3da70b43 Initial load
duke
parents:
diff changeset
   376
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   377
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   378
        return this;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   379
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   380
90ce3da70b43 Initial load
duke
parents:
diff changeset
   381
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   382
     * Returns this process builder's working directory.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   383
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   384
     * Subprocesses subsequently started by this object's {@link
90ce3da70b43 Initial load
duke
parents:
diff changeset
   385
     * #start()} method will use this as their working directory.
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   386
     * The returned value may be {@code null} -- this means to use
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   387
     * the working directory of the current Java process, usually the
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   388
     * directory named by the system property {@code user.dir},
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   389
     * as the working directory of the child process.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   390
     *
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   391
     * @return this process builder's working directory
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   392
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   393
    public File directory() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   394
        return directory;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   395
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   396
90ce3da70b43 Initial load
duke
parents:
diff changeset
   397
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   398
     * Sets this process builder's working directory.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   399
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   400
     * Subprocesses subsequently started by this object's {@link
90ce3da70b43 Initial load
duke
parents:
diff changeset
   401
     * #start()} method will use this as their working directory.
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   402
     * The argument may be {@code null} -- this means to use the
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   403
     * working directory of the current Java process, usually the
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   404
     * directory named by the system property {@code user.dir},
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   405
     * as the working directory of the child process.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   406
     *
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   407
     * @param  directory the new working directory
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   408
     * @return this process builder
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   409
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   410
    public ProcessBuilder directory(File directory) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   411
        this.directory = directory;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   412
        return this;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   413
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   414
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   415
    // ---------------- I/O Redirection ----------------
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   416
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   417
    /**
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   418
     * Implements a <a href="#redirect-output">null input stream</a>.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   419
     */
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   420
    static class NullInputStream extends InputStream {
5786
f60ef38202e7 6944584: Improvements to subprocess handling on Unix
martin
parents: 5506
diff changeset
   421
        static final NullInputStream INSTANCE = new NullInputStream();
f60ef38202e7 6944584: Improvements to subprocess handling on Unix
martin
parents: 5506
diff changeset
   422
        private NullInputStream() {}
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   423
        public int read()      { return -1; }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   424
        public int available() { return 0; }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   425
    }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   426
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   427
    /**
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   428
     * Implements a <a href="#redirect-input">null output stream</a>.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   429
     */
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   430
    static class NullOutputStream extends OutputStream {
5786
f60ef38202e7 6944584: Improvements to subprocess handling on Unix
martin
parents: 5506
diff changeset
   431
        static final NullOutputStream INSTANCE = new NullOutputStream();
f60ef38202e7 6944584: Improvements to subprocess handling on Unix
martin
parents: 5506
diff changeset
   432
        private NullOutputStream() {}
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   433
        public void write(int b) throws IOException {
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   434
            throw new IOException("Stream closed");
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   435
        }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   436
    }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   437
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   438
    /**
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   439
     * Represents a source of subprocess input or a destination of
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   440
     * subprocess output.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   441
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   442
     * Each {@code Redirect} instance is one of the following:
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   443
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   444
     * <ul>
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   445
     * <li>the special value {@link #PIPE Redirect.PIPE}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   446
     * <li>the special value {@link #INHERIT Redirect.INHERIT}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   447
     * <li>a redirection to read from a file, created by an invocation of
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   448
     *     {@link Redirect#from Redirect.from(File)}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   449
     * <li>a redirection to write to a file,  created by an invocation of
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   450
     *     {@link Redirect#to Redirect.to(File)}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   451
     * <li>a redirection to append to a file, created by an invocation of
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   452
     *     {@link Redirect#appendTo Redirect.appendTo(File)}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   453
     * </ul>
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   454
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   455
     * <p>Each of the above categories has an associated unique
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   456
     * {@link Type Type}.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   457
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   458
     * @since 1.7
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   459
     */
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   460
    public static abstract class Redirect {
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   461
        /**
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   462
         * The type of a {@link Redirect}.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   463
         */
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   464
        public enum Type {
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   465
            /**
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   466
             * The type of {@link Redirect#PIPE Redirect.PIPE}.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   467
             */
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   468
            PIPE,
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   469
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   470
            /**
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   471
             * The type of {@link Redirect#INHERIT Redirect.INHERIT}.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   472
             */
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   473
            INHERIT,
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   474
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   475
            /**
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   476
             * The type of redirects returned from
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   477
             * {@link Redirect#from Redirect.from(File)}.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   478
             */
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   479
            READ,
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   480
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   481
            /**
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   482
             * The type of redirects returned from
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   483
             * {@link Redirect#to Redirect.to(File)}.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   484
             */
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   485
            WRITE,
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   486
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   487
            /**
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   488
             * The type of redirects returned from
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   489
             * {@link Redirect#appendTo Redirect.appendTo(File)}.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   490
             */
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   491
            APPEND
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   492
        };
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   493
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   494
        /**
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   495
         * Returns the type of this {@code Redirect}.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   496
         * @return the type of this {@code Redirect}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   497
         */
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   498
        public abstract Type type();
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   499
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   500
        /**
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   501
         * Indicates that subprocess I/O will be connected to the
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   502
         * current Java process over a pipe.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   503
         *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   504
         * This is the default handling of subprocess standard I/O.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   505
         *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   506
         * <p>It will always be true that
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   507
         *  <pre> {@code
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   508
         * Redirect.PIPE.file() == null &&
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   509
         * Redirect.PIPE.type() == Redirect.Type.PIPE
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   510
         * }</pre>
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   511
         */
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   512
        public static final Redirect PIPE = new Redirect() {
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   513
                public Type type() { return Type.PIPE; }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   514
                public String toString() { return type().toString(); }};
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   515
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   516
        /**
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   517
         * Indicates that subprocess I/O source or destination will be the
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   518
         * same as those of the current process.  This is the normal
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   519
         * behavior of most operating system command interpreters (shells).
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   520
         *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   521
         * <p>It will always be true that
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   522
         *  <pre> {@code
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   523
         * Redirect.INHERIT.file() == null &&
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   524
         * Redirect.INHERIT.type() == Redirect.Type.INHERIT
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   525
         * }</pre>
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   526
         */
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   527
        public static final Redirect INHERIT = new Redirect() {
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   528
                public Type type() { return Type.INHERIT; }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   529
                public String toString() { return type().toString(); }};
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   530
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   531
        /**
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   532
         * Returns the {@link File} source or destination associated
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   533
         * with this redirect, or {@code null} if there is no such file.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   534
         *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   535
         * @return the file associated with this redirect,
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   536
         *         or {@code null} if there is no such file
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   537
         */
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   538
        public File file() { return null; }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   539
7515
43202796198e 6709457: (fc) lock/tryLock() throws IOException "Access is denied" when file opened for append [win]
alanb
parents: 5786
diff changeset
   540
        /**
43202796198e 6709457: (fc) lock/tryLock() throws IOException "Access is denied" when file opened for append [win]
alanb
parents: 5786
diff changeset
   541
         * When redirected to a destination file, indicates if the output
43202796198e 6709457: (fc) lock/tryLock() throws IOException "Access is denied" when file opened for append [win]
alanb
parents: 5786
diff changeset
   542
         * is to be written to the end of the file.
43202796198e 6709457: (fc) lock/tryLock() throws IOException "Access is denied" when file opened for append [win]
alanb
parents: 5786
diff changeset
   543
         */
43202796198e 6709457: (fc) lock/tryLock() throws IOException "Access is denied" when file opened for append [win]
alanb
parents: 5786
diff changeset
   544
        boolean append() {
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   545
            throw new UnsupportedOperationException();
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   546
        }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   547
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   548
        /**
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   549
         * Returns a redirect to read from the specified file.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   550
         *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   551
         * <p>It will always be true that
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   552
         *  <pre> {@code
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   553
         * Redirect.from(file).file() == file &&
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   554
         * Redirect.from(file).type() == Redirect.Type.READ
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   555
         * }</pre>
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   556
         *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   557
         * @throws NullPointerException if the specified file is null
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   558
         * @return a redirect to read from the specified file
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   559
         */
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   560
        public static Redirect from(final File file) {
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   561
            if (file == null)
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   562
                throw new NullPointerException();
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   563
            return new Redirect() {
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   564
                    public Type type() { return Type.READ; }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   565
                    public File file() { return file; }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   566
                    public String toString() {
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   567
                        return "redirect to read from file \"" + file + "\"";
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   568
                    }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   569
                };
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   570
        }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   571
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   572
        /**
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   573
         * Returns a redirect to write to the specified file.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   574
         * If the specified file exists when the subprocess is started,
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   575
         * its previous contents will be discarded.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   576
         *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   577
         * <p>It will always be true that
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   578
         *  <pre> {@code
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   579
         * Redirect.to(file).file() == file &&
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   580
         * Redirect.to(file).type() == Redirect.Type.WRITE
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   581
         * }</pre>
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   582
         *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   583
         * @throws NullPointerException if the specified file is null
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   584
         * @return a redirect to write to the specified file
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   585
         */
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   586
        public static Redirect to(final File file) {
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   587
            if (file == null)
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   588
                throw new NullPointerException();
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   589
            return new Redirect() {
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   590
                    public Type type() { return Type.WRITE; }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   591
                    public File file() { return file; }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   592
                    public String toString() {
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   593
                        return "redirect to write to file \"" + file + "\"";
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   594
                    }
7515
43202796198e 6709457: (fc) lock/tryLock() throws IOException "Access is denied" when file opened for append [win]
alanb
parents: 5786
diff changeset
   595
                    boolean append() { return false; }
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   596
                };
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   597
        }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   598
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   599
        /**
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   600
         * Returns a redirect to append to the specified file.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   601
         * Each write operation first advances the position to the
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   602
         * end of the file and then writes the requested data.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   603
         * Whether the advancement of the position and the writing
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   604
         * of the data are done in a single atomic operation is
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   605
         * system-dependent and therefore unspecified.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   606
         *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   607
         * <p>It will always be true that
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   608
         *  <pre> {@code
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   609
         * Redirect.appendTo(file).file() == file &&
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   610
         * Redirect.appendTo(file).type() == Redirect.Type.APPEND
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   611
         * }</pre>
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   612
         *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   613
         * @throws NullPointerException if the specified file is null
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   614
         * @return a redirect to append to the specified file
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   615
         */
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   616
        public static Redirect appendTo(final File file) {
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   617
            if (file == null)
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   618
                throw new NullPointerException();
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   619
            return new Redirect() {
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   620
                    public Type type() { return Type.APPEND; }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   621
                    public File file() { return file; }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   622
                    public String toString() {
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   623
                        return "redirect to append to file \"" + file + "\"";
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   624
                    }
7515
43202796198e 6709457: (fc) lock/tryLock() throws IOException "Access is denied" when file opened for append [win]
alanb
parents: 5786
diff changeset
   625
                    boolean append() { return true; }
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   626
                };
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   627
        }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   628
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   629
        /**
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   630
         * Compares the specified object with this {@code Redirect} for
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   631
         * equality.  Returns {@code true} if and only if the two
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   632
         * objects are identical or both objects are {@code Redirect}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   633
         * instances of the same type associated with non-null equal
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   634
         * {@code File} instances.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   635
         */
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   636
        public boolean equals(Object obj) {
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   637
            if (obj == this)
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   638
                return true;
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   639
            if (! (obj instanceof Redirect))
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   640
                return false;
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   641
            Redirect r = (Redirect) obj;
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   642
            if (r.type() != this.type())
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   643
                return false;
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   644
            assert this.file() != null;
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   645
            return this.file().equals(r.file());
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   646
        }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   647
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   648
        /**
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   649
         * Returns a hash code value for this {@code Redirect}.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   650
         * @return a hash code value for this {@code Redirect}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   651
         */
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   652
        public int hashCode() {
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   653
            File file = file();
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   654
            if (file == null)
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   655
                return super.hashCode();
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   656
            else
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   657
                return file.hashCode();
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   658
        }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   659
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   660
        /**
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   661
         * No public constructors.  Clients must use predefined
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   662
         * static {@code Redirect} instances or factory methods.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   663
         */
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   664
        private Redirect() {}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   665
    }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   666
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   667
    private Redirect[] redirects() {
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   668
        if (redirects == null)
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   669
            redirects = new Redirect[] {
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   670
                Redirect.PIPE, Redirect.PIPE, Redirect.PIPE
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   671
            };
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   672
        return redirects;
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   673
    }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   674
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   675
    /**
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   676
     * Sets this process builder's standard input source.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   677
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   678
     * Subprocesses subsequently started by this object's {@link #start()}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   679
     * method obtain their standard input from this source.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   680
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   681
     * <p>If the source is {@link Redirect#PIPE Redirect.PIPE}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   682
     * (the initial value), then the standard input of a
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   683
     * subprocess can be written to using the output stream
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   684
     * returned by {@link Process#getOutputStream()}.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   685
     * If the source is set to any other value, then
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   686
     * {@link Process#getOutputStream()} will return a
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   687
     * <a href="#redirect-input">null output stream</a>.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   688
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   689
     * @param  source the new standard input source
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   690
     * @return this process builder
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   691
     * @throws IllegalArgumentException
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   692
     *         if the redirect does not correspond to a valid source
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   693
     *         of data, that is, has type
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   694
     *         {@link Redirect.Type#WRITE WRITE} or
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   695
     *         {@link Redirect.Type#APPEND APPEND}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   696
     * @since  1.7
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   697
     */
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   698
    public ProcessBuilder redirectInput(Redirect source) {
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   699
        if (source.type() == Redirect.Type.WRITE ||
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   700
            source.type() == Redirect.Type.APPEND)
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   701
            throw new IllegalArgumentException(
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   702
                "Redirect invalid for reading: " + source);
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   703
        redirects()[0] = source;
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   704
        return this;
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   705
    }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   706
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   707
    /**
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   708
     * Sets this process builder's standard output destination.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   709
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   710
     * Subprocesses subsequently started by this object's {@link #start()}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   711
     * method send their standard output to this destination.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   712
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   713
     * <p>If the destination is {@link Redirect#PIPE Redirect.PIPE}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   714
     * (the initial value), then the standard output of a subprocess
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   715
     * can be read using the input stream returned by {@link
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   716
     * Process#getInputStream()}.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   717
     * If the destination is set to any other value, then
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   718
     * {@link Process#getInputStream()} will return a
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   719
     * <a href="#redirect-output">null input stream</a>.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   720
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   721
     * @param  destination the new standard output destination
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   722
     * @return this process builder
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   723
     * @throws IllegalArgumentException
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   724
     *         if the redirect does not correspond to a valid
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   725
     *         destination of data, that is, has type
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   726
     *         {@link Redirect.Type#READ READ}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   727
     * @since  1.7
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   728
     */
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   729
    public ProcessBuilder redirectOutput(Redirect destination) {
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   730
        if (destination.type() == Redirect.Type.READ)
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   731
            throw new IllegalArgumentException(
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   732
                "Redirect invalid for writing: " + destination);
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   733
        redirects()[1] = destination;
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   734
        return this;
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   735
    }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   736
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   737
    /**
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   738
     * Sets this process builder's standard error destination.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   739
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   740
     * Subprocesses subsequently started by this object's {@link #start()}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   741
     * method send their standard error to this destination.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   742
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   743
     * <p>If the destination is {@link Redirect#PIPE Redirect.PIPE}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   744
     * (the initial value), then the error output of a subprocess
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   745
     * can be read using the input stream returned by {@link
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   746
     * Process#getErrorStream()}.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   747
     * If the destination is set to any other value, then
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   748
     * {@link Process#getErrorStream()} will return a
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   749
     * <a href="#redirect-output">null input stream</a>.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   750
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   751
     * <p>If the {@link #redirectErrorStream redirectErrorStream}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   752
     * attribute has been set {@code true}, then the redirection set
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   753
     * by this method has no effect.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   754
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   755
     * @param  destination the new standard error destination
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   756
     * @return this process builder
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   757
     * @throws IllegalArgumentException
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   758
     *         if the redirect does not correspond to a valid
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   759
     *         destination of data, that is, has type
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   760
     *         {@link Redirect.Type#READ READ}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   761
     * @since  1.7
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   762
     */
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   763
    public ProcessBuilder redirectError(Redirect destination) {
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   764
        if (destination.type() == Redirect.Type.READ)
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   765
            throw new IllegalArgumentException(
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   766
                "Redirect invalid for writing: " + destination);
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   767
        redirects()[2] = destination;
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   768
        return this;
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   769
    }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   770
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   771
    /**
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   772
     * Sets this process builder's standard input source to a file.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   773
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   774
     * <p>This is a convenience method.  An invocation of the form
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   775
     * {@code redirectInput(file)}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   776
     * behaves in exactly the same way as the invocation
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   777
     * {@link #redirectInput(Redirect) redirectInput}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   778
     * {@code (Redirect.from(file))}.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   779
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   780
     * @param  file the new standard input source
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   781
     * @return this process builder
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   782
     * @since  1.7
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   783
     */
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   784
    public ProcessBuilder redirectInput(File file) {
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   785
        return redirectInput(Redirect.from(file));
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   786
    }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   787
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   788
    /**
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   789
     * Sets this process builder's standard output destination to a file.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   790
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   791
     * <p>This is a convenience method.  An invocation of the form
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   792
     * {@code redirectOutput(file)}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   793
     * behaves in exactly the same way as the invocation
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   794
     * {@link #redirectOutput(Redirect) redirectOutput}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   795
     * {@code (Redirect.to(file))}.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   796
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   797
     * @param  file the new standard output destination
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   798
     * @return this process builder
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   799
     * @since  1.7
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   800
     */
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   801
    public ProcessBuilder redirectOutput(File file) {
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   802
        return redirectOutput(Redirect.to(file));
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   803
    }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   804
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   805
    /**
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   806
     * Sets this process builder's standard error destination to a file.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   807
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   808
     * <p>This is a convenience method.  An invocation of the form
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   809
     * {@code redirectError(file)}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   810
     * behaves in exactly the same way as the invocation
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   811
     * {@link #redirectError(Redirect) redirectError}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   812
     * {@code (Redirect.to(file))}.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   813
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   814
     * @param  file the new standard error destination
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   815
     * @return this process builder
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   816
     * @since  1.7
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   817
     */
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   818
    public ProcessBuilder redirectError(File file) {
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   819
        return redirectError(Redirect.to(file));
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   820
    }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   821
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   822
    /**
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   823
     * Returns this process builder's standard input source.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   824
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   825
     * Subprocesses subsequently started by this object's {@link #start()}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   826
     * method obtain their standard input from this source.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   827
     * The initial value is {@link Redirect#PIPE Redirect.PIPE}.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   828
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   829
     * @return this process builder's standard input source
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   830
     * @since  1.7
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   831
     */
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   832
    public Redirect redirectInput() {
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   833
        return (redirects == null) ? Redirect.PIPE : redirects[0];
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   834
    }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   835
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   836
    /**
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   837
     * Returns this process builder's standard output destination.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   838
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   839
     * Subprocesses subsequently started by this object's {@link #start()}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   840
     * method redirect their standard output to this destination.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   841
     * The initial value is {@link Redirect#PIPE Redirect.PIPE}.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   842
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   843
     * @return this process builder's standard output destination
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   844
     * @since  1.7
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   845
     */
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   846
    public Redirect redirectOutput() {
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   847
        return (redirects == null) ? Redirect.PIPE : redirects[1];
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   848
    }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   849
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   850
    /**
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   851
     * Returns this process builder's standard error destination.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   852
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   853
     * Subprocesses subsequently started by this object's {@link #start()}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   854
     * method redirect their standard error to this destination.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   855
     * The initial value is {@link Redirect#PIPE Redirect.PIPE}.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   856
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   857
     * @return this process builder's standard error destination
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   858
     * @since  1.7
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   859
     */
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   860
    public Redirect redirectError() {
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   861
        return (redirects == null) ? Redirect.PIPE : redirects[2];
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   862
    }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   863
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   864
    /**
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   865
     * Sets the source and destination for subprocess standard I/O
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   866
     * to be the same as those of the current Java process.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   867
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   868
     * <p>This is a convenience method.  An invocation of the form
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   869
     *  <pre> {@code
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   870
     * pb.inheritIO()
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   871
     * }</pre>
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   872
     * behaves in exactly the same way as the invocation
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   873
     *  <pre> {@code
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   874
     * pb.redirectInput(Redirect.INHERIT)
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   875
     *   .redirectOutput(Redirect.INHERIT)
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   876
     *   .redirectError(Redirect.INHERIT)
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   877
     * }</pre>
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   878
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   879
     * This gives behavior equivalent to most operating system
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   880
     * command interpreters, or the standard C library function
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   881
     * {@code system()}.
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   882
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   883
     * @return this process builder
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   884
     * @since  1.7
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   885
     */
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   886
    public ProcessBuilder inheritIO() {
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   887
        Arrays.fill(redirects(), Redirect.INHERIT);
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   888
        return this;
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   889
    }
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   890
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   891
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   892
     * Tells whether this process builder merges standard error and
90ce3da70b43 Initial load
duke
parents:
diff changeset
   893
     * standard output.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   894
     *
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   895
     * <p>If this property is {@code true}, then any error output
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   896
     * generated by subprocesses subsequently started by this object's
90ce3da70b43 Initial load
duke
parents:
diff changeset
   897
     * {@link #start()} method will be merged with the standard
90ce3da70b43 Initial load
duke
parents:
diff changeset
   898
     * output, so that both can be read using the
90ce3da70b43 Initial load
duke
parents:
diff changeset
   899
     * {@link Process#getInputStream()} method.  This makes it easier
90ce3da70b43 Initial load
duke
parents:
diff changeset
   900
     * to correlate error messages with the corresponding output.
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   901
     * The initial value is {@code false}.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   902
     *
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   903
     * @return this process builder's {@code redirectErrorStream} property
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   904
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   905
    public boolean redirectErrorStream() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   906
        return redirectErrorStream;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   907
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   908
90ce3da70b43 Initial load
duke
parents:
diff changeset
   909
    /**
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   910
     * Sets this process builder's {@code redirectErrorStream} property.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   911
     *
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   912
     * <p>If this property is {@code true}, then any error output
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   913
     * generated by subprocesses subsequently started by this object's
90ce3da70b43 Initial load
duke
parents:
diff changeset
   914
     * {@link #start()} method will be merged with the standard
90ce3da70b43 Initial load
duke
parents:
diff changeset
   915
     * output, so that both can be read using the
90ce3da70b43 Initial load
duke
parents:
diff changeset
   916
     * {@link Process#getInputStream()} method.  This makes it easier
90ce3da70b43 Initial load
duke
parents:
diff changeset
   917
     * to correlate error messages with the corresponding output.
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   918
     * The initial value is {@code false}.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   919
     *
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   920
     * @param  redirectErrorStream the new property value
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   921
     * @return this process builder
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   922
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   923
    public ProcessBuilder redirectErrorStream(boolean redirectErrorStream) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   924
        this.redirectErrorStream = redirectErrorStream;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   925
        return this;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   926
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   927
90ce3da70b43 Initial load
duke
parents:
diff changeset
   928
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   929
     * Starts a new process using the attributes of this process builder.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   930
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   931
     * <p>The new process will
90ce3da70b43 Initial load
duke
parents:
diff changeset
   932
     * invoke the command and arguments given by {@link #command()},
90ce3da70b43 Initial load
duke
parents:
diff changeset
   933
     * in a working directory as given by {@link #directory()},
90ce3da70b43 Initial load
duke
parents:
diff changeset
   934
     * with a process environment as given by {@link #environment()}.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   935
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   936
     * <p>This method checks that the command is a valid operating
90ce3da70b43 Initial load
duke
parents:
diff changeset
   937
     * system command.  Which commands are valid is system-dependent,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   938
     * but at the very least the command must be a non-empty list of
90ce3da70b43 Initial load
duke
parents:
diff changeset
   939
     * non-null strings.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   940
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   941
     * <p>If there is a security manager, its
90ce3da70b43 Initial load
duke
parents:
diff changeset
   942
     * {@link SecurityManager#checkExec checkExec}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   943
     * method is called with the first component of this object's
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   944
     * {@code command} array as its argument. This may result in
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   945
     * a {@link SecurityException} being thrown.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   946
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   947
     * <p>Starting an operating system process is highly system-dependent.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   948
     * Among the many things that can go wrong are:
90ce3da70b43 Initial load
duke
parents:
diff changeset
   949
     * <ul>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   950
     * <li>The operating system program file was not found.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   951
     * <li>Access to the program file was denied.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   952
     * <li>The working directory does not exist.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   953
     * </ul>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   954
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   955
     * <p>In such cases an exception will be thrown.  The exact nature
90ce3da70b43 Initial load
duke
parents:
diff changeset
   956
     * of the exception is system-dependent, but it will always be a
90ce3da70b43 Initial load
duke
parents:
diff changeset
   957
     * subclass of {@link IOException}.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   958
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   959
     * <p>Subsequent modifications to this process builder will not
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   960
     * affect the returned {@link Process}.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   961
     *
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   962
     * @return a new {@link Process} object for managing the subprocess
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   963
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   964
     * @throws NullPointerException
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   965
     *         if an element of the command list is null
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   966
     *
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   967
     * @throws IndexOutOfBoundsException
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   968
     *         if the command is an empty list (has size {@code 0})
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   969
     *
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   970
     * @throws SecurityException
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   971
     *         if a security manager exists and
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   972
     *         <ul>
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   973
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   974
     *         <li>its
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   975
     *         {@link SecurityManager#checkExec checkExec}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   976
     *         method doesn't allow creation of the subprocess, or
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   977
     *
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   978
     *         <li>the standard input to the subprocess was
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   979
     *         {@linkplain #redirectInput redirected from a file}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   980
     *         and the security manager's
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   981
     *         {@link SecurityManager#checkRead checkRead} method
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   982
     *         denies read access to the file, or
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   983
     *
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   984
     *         <li>the standard output or standard error of the
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   985
     *         subprocess was
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   986
     *         {@linkplain #redirectOutput redirected to a file}
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   987
     *         and the security manager's
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   988
     *         {@link SecurityManager#checkWrite checkWrite} method
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   989
     *         denies write access to the file
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   990
     *
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   991
     *         </ul>
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   992
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   993
     * @throws IOException if an I/O error occurs
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   994
     *
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
   995
     * @see Runtime#exec(String[], String[], java.io.File)
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   996
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   997
    public Process start() throws IOException {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   998
        // Must convert to array first -- a malicious user-supplied
90ce3da70b43 Initial load
duke
parents:
diff changeset
   999
        // list might try to circumvent the security check.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1000
        String[] cmdarray = command.toArray(new String[command.size()]);
5186
1bbb82130b38 6910590: Application can modify command array, in ProcessBuilder
michaelm
parents: 48
diff changeset
  1001
        cmdarray = cmdarray.clone();
1bbb82130b38 6910590: Application can modify command array, in ProcessBuilder
michaelm
parents: 48
diff changeset
  1002
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1003
        for (String arg : cmdarray)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1004
            if (arg == null)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1005
                throw new NullPointerException();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1006
        // Throws IndexOutOfBoundsException if command is empty
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1007
        String prog = cmdarray[0];
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1008
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1009
        SecurityManager security = System.getSecurityManager();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1010
        if (security != null)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1011
            security.checkExec(prog);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1012
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1013
        String dir = directory == null ? null : directory.toString();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1014
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1015
        try {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1016
            return ProcessImpl.start(cmdarray,
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1017
                                     environment,
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1018
                                     dir,
48
dc5744ca15ea 4960438: (process) Need IO redirection API for subprocesses
martin
parents: 2
diff changeset
  1019
                                     redirects,
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1020
                                     redirectErrorStream);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1021
        } catch (IOException e) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1022
            // It's much easier for us to create a high-quality error
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1023
            // message than the low-level C code which found the problem.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1024
            throw new IOException(
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1025
                "Cannot run program \"" + prog + "\""
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1026
                + (dir == null ? "" : " (in directory \"" + dir + "\")")
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1027
                + ": " + e.getMessage(),
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1028
                e);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1029
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1030
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1031
}