The following implicit values are used as type descriptors of all the predefined Sigma types.
The following implicit values are used as type descriptors of all the predefined Sigma types.
RType class
Contains cores definitions which serves as a basis for sigma package implementations.
Kiama is a Scala library for language processing.
Kiama is a Scala library for language processing. It is a project of the
Programming Languages Research Group at Macquarie University. For full
project details see the web site http://github.com/inkytonik/kiama.
Kiama's main components address tree decoration via attribute grammars
(package attribution), tree transformation via strategic term rewriting
(package rewriting), dynamic semantics (package machine) and
pretty-printing (package output).
The util package contains support modules for parsing, input/output,
read-eval-print loops (REPLs) and pattern matching.
The examples package (available as part of the Kiama tests) contains
many examples of using Kiama to solve small to medium language processing
problems.
Contains the Sigma Reflection API.
Contains the Sigma Reflection API. Sigma reflection is a mechanism for obtaining metadata about classes, methods, fields, etc. at runtime. It is used by kiama to rewrite ErgoTree expressions. It is also used by the ErgoTree interpreter to implement MethodCall nodes.
The Sigma Reflection API has two implementations: 1) based on the Java Reflection API 2) based on Sigma Reflection metadata declared in the StaticImpl.scala file