Changing terminology back to "throws" vs "rasis" for alwaysThrowsException to be consistent with other backward compatibility changes.

This commit is contained in:
REDMOND\brodes
2024-11-19 15:10:15 -05:00
parent 23485f185b
commit 4e777561f0

View File

@@ -71,5 +71,5 @@ abstract class ThrowingFunction extends ExceptionAnnotation {
/**
* Holds if this function will always raise an exception if called
*/
final predicate alwaysRaisesException() { this.mayThrowException(true) }
final predicate alwaysThrowsException() { this.mayThrowException(true) }
}