public class Tools
extends java.lang.Object
Constructor and Description |
---|
Tools() |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
getOpt(java.lang.String[] args,
java.lang.String prefix)
give a command line argument list, this method gets the option
of the specified prefix
|
static boolean |
isOpt(java.lang.String[] args,
java.lang.String prefix)
give a command line argument list, this method tests for
the presence of the option of the specified prefix
|
static java.lang.String |
loadText(java.io.InputStream is)
loads a text file from an InputStream
|
static java.lang.String |
loadText(java.lang.String fileName)
loads a text file and returns its
content as string
|
static java.lang.String |
removeApices(java.lang.String st) |
public static java.lang.String loadText(java.lang.String fileName) throws java.io.IOException
java.io.IOException
public static java.lang.String loadText(java.io.InputStream is) throws java.io.IOException
java.io.IOException
public static java.lang.String getOpt(java.lang.String[] args, java.lang.String prefix)
public static boolean isOpt(java.lang.String[] args, java.lang.String prefix)
public static java.lang.String removeApices(java.lang.String st)