The console to use for reading input.
The console to use for reading input. Defaults to a JLine console. Options are a string console where the option value specifies the contents, and a file console where the option value specifies the file name.
Convertor for console options.
Convertor for console options.
The zero or more filenames that were specified positionally after all of the options.
The zero or more filenames that were specified positionally after all of the options.
Logging option.
Logging option. If profiling and this is set, print out events as they are generated.
The emitter to use for normal output.
The emitter to use for normal output. Defaults to standard output. Options are output to a string emitter and a file console where the option value specifies the file name.
Make a convertor for the output option.
Make a convertor for the output option.
Whitespace option.
Whitespace option. If set, pass input lines that are completely white space to the REPL processing. By default, these lines are ignored.
Profiling dimensions.
Profiling dimensions.
The string emitter to use if a '--Koutput string' option is seen.
The string emitter to use if a '--Koutput string' option is seen.
Time option.
Time option. If set, print out execution time report.
Configurations for Kiama REPLS. Adds some options to the default set that all Kiama programs support.