Specialisation of CompilerWithConfig that uses the default configuration
type.
Trait to provide basic functionality for a compiler-like program constructed from phases, including profiling and timing support.
A compiler that uses RegexParsers to produce Attributable ASTs.
Configurations for Kiama programs.
A console using which input data can be read from standard input.
Thread-safe counters.
Class of objects that can emit arbitrary output.
General implementation of environments as stacked scopes.
A console that reads from the given UTF-8 encoded file.
A string emitter that also provides a close method to send the
result to the named UTF-8 encoded file.
Support for memoisation, encapsulating common behaviour of memoised entities and a general reset mechanism for all such entities.
A message record consisting of a coordinate position pos and a label string
Facility for buffering of messages associated with positioned values.
Useful utilities for defining regular expression packrat parsers.
A REPL that parses its input lines into a value (such as an abstract syntax tree), then processes them.
A REPL that parses its input lines into a value (such as an abstract syntax tree), then processes them.
A REPL that parses its input lines into a value (such as an abstract syntax tree), then processes them.
Class to keep track of line and column positions.
An extension of ParserUtilities that has support for automatically
tracking start and finish positions for tree nodes.
Kiama-specific additions to dsprofile profilers.
General support for applications that implement read-eval-print loops (REPLs).
General support for applications that implement read-eval-print loops (REPLs).
Configurations for Kiama REPLS.
A console that reads from a given buffered reader.
A console that returns from a specified string.
An emitter that records the output in a string that can be accessed via the result method.
Support for defining the form of whitespace using a parser, rather than a regular expression.
Combination of positioned parsing utilities and whitespace handling with a parser.
Utility wrapper for I/O to isolate Kiama code from some Java I/O details.
A console that provides line editing using JLine.
Patterns that are useful when processing trees.
Trampolines.