Thread-safe counters.
Class of objects that can emit text.
An entity that represents some program object.
General implementation of environments as stacked scopes.
An entity that represents an error situation.
A string emitter that also provides a close
method to send the
result to the named UTF-8 encoded file.
A source that is a named file.
A memoiser that can store arbitrary values of type U
under keys of
type T
.
The types of memoiser that can be created.
A message record consisting of a value with which the message is associated and a label string.
General facility for processing messages relative to positioned values.
A entity represented by names for whom we have seen more than one declaration so we are unsure what is being represented.
Class of objects that can emit arbitrary output.
Record of a source position at a particular line and column relative to a given source.
Interface for objects that have a position store.
Record of source positions that correspond to program elements.
Kiama-specific additions to dsprofile
profilers.
A source of input to which a position might refer.
An emitter that records the output in a string that can be accessed via the result method.
A source that is a string.
An unknown entity, for example one that is represened by names whose declarations are missing.
A simple set that compares elements by identity.
Compatibility interface so variances between Scala 2.
Utility module for comparison routines.
Object by which to access the compatibility interface.
Utility wrapper for I/O to isolate Kiama code from some Java I/O details.
Identity-based key comparison.
Support for memoisers.
Shared definitions for all messaging.
Support code for various sources.
Trampolines.
Value-based key comparison.