Project Configuration

This page describes the configuration options in a metaborg.yaml file of a Spoofax project (i.e., a project that uses a Spoofax language definition).

runtime

statix

All options under the runtime.statix options configure the behavior of the Statix solver in this project. The available options are:

Option	Values	Default	Description
test-log	none|error|warn|info|debug|trace	none	Executing an stxtest will emit logging with the specified level in the Eclipse Console.
suppress-cascading-errors	true|false	true	When set to true, the solver will not emit messages for constraints that could not be solved due to other constraints failing.
message-trace-length	An integer	0	The number of constraints in the causation trace to print below the error message. -1 prints the full trace.
message-term-depth	An integer	3	The depth in which terms are printed inside an error message. For deeper terms, and ellipsis is printed. -1 prints infinite terms.

In addition, there is a modes parameter, which manages the solver modes in this project. This parameter contains subnodes consisting of a language name as key, and either traditional (default), concurrent of incremental as value. This setting overrides the default solver mode set by the language definition.

The Statix segment of an configuration file can look as follows.

runtime:
  statix:
    test-log: debug
    suppress-cascading-errors: true
    message-trace-length: 4
    message-term-depth: -1
    modes:
      MyLang: concurrent

---

Last update: 2023-02-02