Banner message that is printed before the REPL starts.
Create the configuration for a particular run of the REPL.
Create the configuration for a particular run of the REPL. If supplied, use
emitter
instead of a standard output emitter.
Process user input from the given source.
Process user input from the given source. The return value allows the
processing to optionally return a new configuration that will be used
in subsequent processing. A return value of None
indicates that no
more lines from the current console should be processed.
Create and initialise the configuration for a particular run of the REPL.
Create and initialise the configuration for a particular run of the REPL.
Default: call createConfig
and then initialise the resulting configuration.
Returns either the created configuration or an error message describing
why the configuration couldn't be created.
Driver for this REPL.
Driver for this REPL. First, use the argument list to create a
configuration for this execution. If the arguments parse ok, then
print the REPL banner. Read lines from the console and pass non-null ones
to processline
. If ignoreWhitespaceLines
is true, do not pass lines that
contain just whitespace, otherwise do. Continue until processline
returns false. Call prompt
each time input is about to be read.
The entry point for this REPL.
Process interactively entered lines, one by one, until end of file.
Process interactively entered lines, one by one, until end of file.
Process a file argument by passing its contents line-by-line to
processline
.
Process the files one by one, allowing config to be updated each time and updated config to be used by the next file.
Process interactively entered lines, one by one, until end of file.
Process interactively entered lines, one by one, until end of file. Prompt with the given prompt.
Define the prompt (default: "> "
).
General support for applications that implement read-eval-print loops (REPLs).