Assertion: contract's condition | /r/HasProperty | guaranteed on entry
Facets:
value: by any client module
type: OTHER
Source sentences:
text: Expect a certain condition to be guaranteed on entry by any client module that calls it: the method's precondition—an obligation for the client, and a benefit for the supplier (the method itself), as it frees it from having to handle cases outside of the precondition.