public class Util
extends java.lang.Object
| Modifier and Type | Field | Description |
|---|---|---|
static boolean |
isJava9OrAbove |
|
static boolean |
isWindows |
|
static java.lang.String |
WIN32_PIPE_PREFIX |
| Constructor | Description |
|---|---|
Util() |
| Modifier and Type | Method | Description |
|---|---|---|
static java.lang.String[] |
parseArgs(java.io.InputStream argStream) |
|
static java.util.Map<java.lang.String,java.lang.String> |
parseMap(java.io.InputStream argStream) |
|
static int |
readInt(java.io.InputStream in) |
|
static java.lang.String |
readString(java.io.InputStream inputStream) |
|
static void |
writeArgs(java.lang.String[] args,
java.io.OutputStream argStream) |
|
static void |
writeInt(java.io.OutputStream out,
int i) |
|
static void |
writeMap(java.util.Map<java.lang.String,java.lang.String> map,
java.io.OutputStream argStream) |
This allows the mill client to pass the environment as he sees it to the
server (as the server remains alive over the course of several runs and
does not see the environment changes the client would)
|
static void |
writeString(java.io.OutputStream outputStream,
java.lang.String string) |
public static boolean isWindows
public static boolean isJava9OrAbove
public static java.lang.String WIN32_PIPE_PREFIX
public static java.lang.String[] parseArgs(java.io.InputStream argStream)
throws java.io.IOException
java.io.IOExceptionpublic static void writeArgs(java.lang.String[] args,
java.io.OutputStream argStream)
throws java.io.IOException
java.io.IOExceptionpublic static void writeMap(java.util.Map<java.lang.String,java.lang.String> map,
java.io.OutputStream argStream)
throws java.io.IOException
java.io.IOExceptionpublic static java.util.Map<java.lang.String,java.lang.String> parseMap(java.io.InputStream argStream)
throws java.io.IOException
java.io.IOExceptionpublic static java.lang.String readString(java.io.InputStream inputStream)
throws java.io.IOException
java.io.IOExceptionpublic static void writeString(java.io.OutputStream outputStream,
java.lang.String string)
throws java.io.IOException
java.io.IOExceptionpublic static void writeInt(java.io.OutputStream out,
int i)
throws java.io.IOException
java.io.IOExceptionpublic static int readInt(java.io.InputStream in)
throws java.io.IOException
java.io.IOException