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.
Profiling dimensions.
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. The emitters allow the output and errors targets to be altered for testing.output
defaults toemitter
allows the output target to be altered for purposes such as testing; it defaults to standard output.