public class FileShell extends Tool
| Constructor and Description |
|---|
FileShell() |
| Modifier and Type | Method and Description |
|---|---|
static void |
main(java.lang.String... args)
Options are case sensitive.
|
void |
runTool(java.lang.String... args)
Run the shell tool with the given command line settings.
|
void |
setErr(java.io.PrintStream err)
Sets the standard error stream.
|
void |
setIn(java.io.InputStream in)
Redirects the standard input.
|
void |
setInReader(java.io.BufferedReader reader)
Redirects the standard input.
|
isOption, printNoDatabaseFilesFound, setOut, showUsage, showUsageAndThrowUnsupportedOption, throwUnsupportedOptionpublic static void main(java.lang.String... args)
throws java.sql.SQLException
| [-help] or [-?] | Print the list of options |
| [-verbose] | Print stack traces |
| [-run ...] | Execute the given commands and exit |
args - the command line argumentsjava.sql.SQLExceptionpublic void setErr(java.io.PrintStream err)
err - the new standard error streampublic void setIn(java.io.InputStream in)
in - the input stream to usepublic void setInReader(java.io.BufferedReader reader)
reader - the input stream reader to use