ParsingREPL

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.

Parse a source, returning a parse result.

Process a user input value in the given configuration.

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 a user input line by parsing it to get a value of type T, then passing it to the process method. Returns the configuration unchanged.

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

Define the prompt (default: "> ").

Output the messages in order of position using the given configuration, which defaults to that configuration's output.

The messaging facilitiy used by this REPL.

The position store used by this REPL.