Assertion: checked exception | /r/HasProperty | thrown within method
Facets:
Source sentences:
text: Any checked exceptions that can be thrown within a method must be specified in its throws clause.
text: Any checked exceptions that can be thrown within a method are part of that method's public programming interface and must be specified in the throws clause of the method.