Assertion: class's field | /r/HasProperty | initialized on first access
Facets:
Source sentences:
text: The Eiffel standard requires fields to be initialized on first access, so it is not necessary to perform default field initialization during object creation.