REPL

Banner message that is printed before the REPL starts.

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. 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 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 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.

Process interactively entered lines, one by one, until end of file. Prompt with the given prompt.

Define the prompt (default: "> ").

The messaging facilitiy used by this REPL.

The position store used by this REPL.