trlc
trlc copied to clipboard
bmw-software-engineering
Treat Requirements Like Code
This requires #47 (the sound version of this). Use case: * provide include directories with new switch (e.g. -I) * provide _one_ file we're interested in * validate just this...
Multiple check blocks for the same type are evaluated in unspecified order. Currently in vcg we assume the same order that TRLC has used; but we should not do that....
We could create a TRLC object with the values suggested by the CE to double-check it's correct, in which case we can remove the possible "incomplete" warning if it does...
* Document precisely the regular expression language supported by TRLC (instead of just a recommendation) * Translate to ReLan * Get rid of the UF
Markup strings have to follow a certain format; add re constraints to make sure any CE generated is valid.
Several options exist: * Explicit quantifier on array * Explicit quantifier on tuple type * Find explicit references and instantiate