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.
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.
Profiling dimensions.
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 programs.
args
gives the command-line arguments that are used to determine many of the configuration settings.