Assertion: contract | /r/HasProperty | press
Facets:
Source sentences:
text: Define a contract Press Alt+Enter on a method, and select Add method contract or Edit method contract.