constrainer

Overview ¶

Constrainer is a tool to generate acces methods from virtual tables types definitions. This reduces toil in what is mostly a routine work.

The code follows the semantics of the `vtab` mini-language, and makes sure that:

• required fields have an access method with the right type
• filtered fields have an access method with two forms (T, bool)
• non-filtered fields do not have an access method