/**
 * @name Non-callable called
 * @description A call to an object which is not a callable will raise a TypeError at runtime.
 * @kind problem
 * @tags reliability
 *       correctness
 *       types
 * @problem.severity error
 * @sub-severity high
 * @precision high
 * @id py/call-to-non-callable
 */

import python
import Exceptions.NotImplemented

from Call c, ClassObject t, Expr f, AstNode origin
where f = c.getFunc() and f.refersTo(_, t, origin) and
      not t.isCallable() and not t.unknowableAttributes()
      and not t.isDescriptorType()
      and not t = theNoneType()
      and not use_of_not_implemented_in_raise(_, f)

select c, "Call to a $@ of $@.", origin, "non-callable", t, t.toString()