Assertion: exception | /r/HasProperty | specified by a throws clause
Facets:
Source sentences:
text: Any exception that is thrown out of a method must be specified as such by a throws clause.