public class Streams
extends java.lang.Object
| Modifier and Type | Method and Description |
|---|---|
static void |
jgrep(java.lang.String pattern,
boolean isRegex,
boolean insensitive,
java.io.InputStream in,
java.io.PrintStream out) |
static void |
jsed(java.lang.String command,
java.io.InputStream in,
java.io.PrintStream out) |
static void |
pretty(java.io.InputStream in,
java.io.PrintStream out) |
static void |
wc(boolean line,
boolean characters,
java.io.InputStream in,
java.io.PrintStream out) |
public static void jgrep(java.lang.String pattern,
boolean isRegex,
boolean insensitive,
java.io.InputStream in,
java.io.PrintStream out)
public static void wc(boolean line,
boolean characters,
java.io.InputStream in,
java.io.PrintStream out)
public static void jsed(java.lang.String command,
java.io.InputStream in,
java.io.PrintStream out)
public static void pretty(java.io.InputStream in,
java.io.PrintStream out)
throws java.io.IOException
java.io.IOExceptionCopyright © 2014-2023 Tomitribe Corporation. All Rights Reserved.