Generator
for Windows and Linux
for macOS
N/A
| Item | Description | ||
|---|---|---|---|
General | |||
| Save transient models on generation | If this checkbox is selected, then MPS at each generation will ask whether the intermediate models should be kept. Keeping the models results in the ability to review the generation trace. | ||
| Check models for errors before generation | If this checkbox is selected, MPS launches the model checker before generation. | ||
| Strict mode | If this checkbox is selected, then additional limitations are introduced to the language generators, to enable incremental and parallel generation. | ||
| Generate in parallel | If this checkbox is selected, parallel generation of roots on the specified number of cores is enabled.
These checkboxes are only available when Strict mode is selected. | ||
| Incremental generation | If this checkbox is selected, then MPS optimizes the number of the generated roots.
These checkboxes are only available when Strict mode is selected. | ||
Error reporting | |||
| Show information messages | If this checkbox is selected, then generation information messages will be displayed in the Messages tool window. Clicking on an error message navigates to the corresponding location in the source code. To provide the ability to navigate to an error in the source code, one has to preserve models containing errors (by default, these models are discarded). | ||
| Show warnings | If this checkbox is selected, MPS displays both error messages and warnings. | ||
| Keep transient models with warnings | If this checkbox is selected, the specified number of the intermediate models containing warnings are preserved. However, enabling this option results in heavy usage of the disk space. Otherwise, the intermediate models with no errors are discarded.
These checkboxes are only available when Show warning is selected. | ||
Model generation performance report | |||
| None | If this option is selected, no report is displayed after each model generation. | ||
| Generation steps only | If this option is selected, time spent for each model generation is displayed. | ||
| Time spent in language generators | Selecting this option enables you to evaluate which languages slow down generation. | ||
| Time spent in types calculation | Selecting this option enables you to optimize the usage of type systems in the generators. | ||
TextGen Options | |||
| Fail if textgen not found | If this checkbox is selected, an error is reported, if textgen file is not found. The latest intermediate model is saved as a text file. By default, if conversion to text is not defined, this file contains the text "textgen not found". | ||
| Generate debug information | If this checkbox is selected, MPS create trace.info file for each model. containing information for the MPS debugger. | ||
Last modified: 6 August 2018