eclipse-aascw / aas-core-codegen / 37051046526

90%

push

github

Compose the TypeScript verification (#824)

We verify the containers through one module-level generator function
per container type. Each function verifies only one level and calls the
function of its items by name, so the verification composes to any
depth:

    for (const error of verify_ListOf_class(that.submodels)) {

All classes and named unions share the ``class`` moniker, since they
are verified with the same ``verify`` call and the read-only containers
are covariant. The constrained primitives are named by themselves
(``verify_SetOf_Code``), as they are verified differently, and a JSON
object with a constrained key gets a moniker of its own
(``jsonObjectByNonEmptyString``).

105 of 107 new or added lines in 1 file covered. (98.13%)

45091 of 50169 relevant lines covered (89.88%)

2.7 hits per line