Modifier and Type | Class and Description |
---|---|
class |
Console.ProgressThread |
Modifier and Type | Field and Description |
---|---|
static String |
ARITY_TOKEN
The ARITY Token
|
static String |
COMMENT_TOKEN
The Comment Token
|
static String |
CONNECT_PARAMETER
The CONNECT parameter specifying the CONNECT Operation
|
static String |
CONNECT_TOKEN
The CONNECT Operation Token
|
static String |
FUSE_TOKEN
The FUSE Operation Token
|
static String |
INTERFACE_PATTERN
The INNER INTERFACE SIZE Pattern
|
static String |
INTERFACE_SIZE_TOKEN
THE INNER INTERFACE SIZE Token
|
static String |
LABEL_PATTERN
The EDGE LABEL Pattern
|
static String |
LETTER_A_TOKEN
The Letter A Token
|
static String |
LETTER_B_TOKEN
The Letter B Token
|
static String |
LETTER_C_TOKEN
The Letter C Token
|
static ConsoleMessages |
messages
Console Messages
|
static String |
NUMBER_PATTERN
The NUMBER Pattern
|
static String |
OPERATION_PATTERN
The OPERATION Pattern
|
static String |
PERM_TOKEN
The Perm Operation Token
|
static String |
RES_TOKEN
The Res Operation Token
|
static String |
TRANS_TOKEN
The TRANS Operation Token
|
static String |
TRANSITION_PATTERN
The TRANSITION Pattern
|
static String |
VERTEX_TOKEN
The VERTEX Operation Token
|
Modifier and Type | Method and Description |
---|---|
static Console |
getConsole()
Returns a command-line console for Raven with the system input stream as input stream and
the default console printer as output stream.
|
static Console |
getConsole(InputStream in,
RavenPrinter out)
Returns a command-line console for Raven.
|
static Console |
getConsole(InputStream in,
RavenPrinter out,
boolean isInteractive)
Returns a command-line console for Raven.
|
void |
run() |
static void |
runBatchFile(String filename)
Executes the commands of the batch-file given by the filename
filename . |
static void |
runBatchFile(String filename,
RavenPrinter out)
Executes the commands of the batch-file given by the filename
filename and uses
out as output stream. |
public static final String COMMENT_TOKEN
public static final String ARITY_TOKEN
public static final String LABEL_PATTERN
public static final String NUMBER_PATTERN
public static final String LETTER_A_TOKEN
public static final String LETTER_B_TOKEN
public static final String LETTER_C_TOKEN
public static final String CONNECT_TOKEN
public static final String CONNECT_PARAMETER
public static final String FUSE_TOKEN
public static final String PERM_TOKEN
public static final String RES_TOKEN
public static final String TRANS_TOKEN
public static final String VERTEX_TOKEN
public static final String INTERFACE_SIZE_TOKEN
public static final String TRANSITION_PATTERN
public static final String OPERATION_PATTERN
public static final String INTERFACE_PATTERN
public static ConsoleMessages messages
public static Console getConsole()
public static Console getConsole(InputStream in, RavenPrinter out)
in
- the input stream of the consoleout
- the output stream of the consolepublic static Console getConsole(InputStream in, RavenPrinter out, boolean isInteractive)
in
- the input stream of the consoleout
- the output stream of the consoleisInteractive
- indicates whether this console is interactivepublic static void runBatchFile(String filename) throws FileNotFoundException
filename
. After the
execution Raven is terminated.filename
- the name of batch-fileFileNotFoundException
- thrown if the batch-file can not be foundpublic static void runBatchFile(String filename, RavenPrinter out) throws FileNotFoundException
filename
and uses
out
as output stream. After the execution Raven is terminated.filename
- the name of batch-fileout
- the output stream of the consoleFileNotFoundException
- thrown if the batch-file can not be found