Exception declared in throws clause can Not be Thrown (ENT)

Description:

ENT detects if the throws clause of a method declares an exception that cannot be thrown during execution of the method's body and by any method or constructor called by this method.

Example:

   class C {
       void f() throws Exception {
           // No exception is thrown
       }
   }