Skip to content

Mbeddr MPS Utilities

This documentation introduces the subproject com.mbeddr.mpsutil of mbeddr ⧉.

Incremental Computation


The language provides a single interface IncrementallyComputedValueHolder ⧉, that you can implement to support values that are automatically recomputed when a dependent value changes. The methods are documented in the behavior aspect. If you want to derive a complete model from an existing model, you have to use shadow models ⧉ from MPS Extensions ⧉.



The page Interpreter, Coverage, and Tracing describes the interpreter.


Stub models for the following Java libraries exist:

The included versions might be old.

Last update: July 9, 2023