eclipse-aascw / aas-core-codegen / 37021286829

90%

push

github

Compose the Go verification (#818)

We verify the containers through one unexported 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:

    abort = verifyListOf_ISubmodel(that.Submodels(), ...)

The functions are named by a moniker of their own, which distinguishes
the constrained primitives (``verifyListOf_NonEmptyXMLSerializableString``)
as these share a Go type, but are verified differently.

We sort the keys of JSON objects through ``sortedKeysOfJsonObject`` so
that the errors of constrained keys come in a stable order.

84 of 88 new or added lines in 1 file covered. (95.45%)

45165 of 50274 relevant lines covered (89.84%)

2.7 hits per line