search

aas-core-works / aas-core-meta

Provide formalized meta-models for Asset Administration Shell (AAS).
Other
9 stars 3 forks source link

[V3] Use type strengthening for AASd-117 #261

Closed mristin closed 1 year ago

mristin commented 1 year ago

We use type strengthening instead of invariants so that compilers can detect null exceptions at compile time.