Putting back deleted file, and deprecating instead. Deprecating mayThrowException as well.

Author: bdrodes

cpp/ql/lib/semmle/code/cpp/models/interfaces/NonThrowing.qll

@@ -0,0 +1,13 @@
+/**
+ * Provides an abstract class for modeling functions that never throw.
+ */
+
+import semmle.code.cpp.Function
+import semmle.code.cpp.models.Models
+
+/**
+ * A function that is guaranteed to never throw.
+ *
+ * DEPRECATED: use `NonThrowingFunction` in `semmle.code.cpp.models.Models.Interfaces.Throwing` instead.
+ */
+abstract deprecated class NonThrowingFunction extends Function { }

cpp/ql/lib/semmle/code/cpp/models/interfaces/Throwing.qll

@@ -68,6 +68,13 @@ abstract class ThrowingFunction extends ExceptionAnnotation {
    */
   abstract predicate raisesException(boolean unconditional);
 
+  /**
+   * DEPRECATES: use/extend `raisesException` instead.
+   */
+  deprecated predicate mayThrowException(boolean unconditional){
+    this.raisesException(unconditional)
+  }
+
   /**
    * Holds if this function will always raise an exception if called
    */