/**
 * @name Missing call to `__init__` during object initialization
 * @description An omitted call to a super-class `__init__` method may lead to objects of this class not being fully initialized.
 * @kind problem
 * @tags reliability
 *       correctness
 * @problem.severity error
 * @sub-severity low
 * @precision high
 * @id py/missing-call-to-init
 */

import python
import MethodCallOrder

from ClassObject self, FunctionObject initializer, FunctionObject missing
where
  self.lookupAttribute("__init__") = initializer and
  missing_call_to_superclass_method(self, initializer, missing, "__init__") and
  // If a superclass is incorrect, don't flag this class as well.
  not missing_call_to_superclass_method(self.getASuperType(), _, missing, "__init__") and
  not missing.neverReturns() and
  not self.failedInference() and
  not missing.isBuiltin() and
  not self.isAbstract()
select self,
  "Class " + self.getName() + " may not be initialized properly as $@ is not called from its $@.",
  missing, missing.descriptiveString(), initializer, "__init__ method"