Assertion: design contract | /r/HasProperty | concepts of class invariant
Facets:
Source sentences:
text: Other design contracts are concepts of class invariant.