codeql/java/ql/lib/semmle/code/java/Exception.qll at codeql-cli/v2.19.2 · github/codeql · GitHub

32 lines (25 loc) · 1.06 KB

/**

* Provides classes and predicates for working with Java exceptions.

import Element

import Type

/**

* An Exception represents an element listed in the `throws` clause

* of a method or constructor.

* For example, `E` is an exception thrown by method `m` in

* `void m() throws E;`, whereas `T` is an exception _type_ in

* `class T extends Exception { }`.

class Exception extends Element, @exception {

/** Gets the type of this exception. */

RefType getType() { exceptions(this, result, _) }

/** Gets the callable whose `throws` clause contains this exception. */

Callable getCallable() { exceptions(this, _, result) }

/** Gets the name of this exception, that is, the name of its type. */

override string getName() { result = this.getType().getName() }

/** Holds if this exception has the specified `name`. */

override predicate hasName(string name) { this.getType().hasName(name) }

override string toString() { result = pragma[only_bind_out](this.getType()).toString() }

override string getAPrimaryQlClass() { result = "Exception" }

}

Expand file tree