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

bdrodes · bdrodes · commit 4e777561f06a · 2024-11-19T15:10:15.000-05:00
diff --git a/cpp/ql/lib/semmle/code/cpp/models/interfaces/Throwing.qll b/cpp/ql/lib/semmle/code/cpp/models/interfaces/Throwing.qll
@@ -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) }
 }

Original file line number	Diff line number	Diff line change
`@@ -71,5 +71,5 @@ abstract class ThrowingFunction extends ExceptionAnnotation {`
`71`	`71`	`/**`
`72`	`72`	`* Holds if this function will always raise an exception if called`
`73`	`73`	`*/`
`74`		`- final predicate alwaysRaisesException() { this.mayThrowException(true) }`
	`74`	`+ final predicate alwaysThrowsException() { this.mayThrowException(true) }`
`75`	`75`	`}`