/** Utilities for handling the zope libraries */

import python
private import LegacyPointsTo

/** A method that belongs to a sub-class of `zope.interface.Interface` */
class ZopeInterfaceMethodValue extends PythonFunctionValue {
  /** Holds if this method belongs to a class that sub-classes `zope.interface.Interface` */
  ZopeInterfaceMethodValue() {
    exists(Value interface, ClassValue owner |
      interface = Module::named("zope.interface").attr("Interface") and
      owner.declaredAttribute(_) = this and
      // `zope.interface.Interface` will be recognized as a Value by the pointsTo analysis,
      // because it is the result of instantiating a "meta" class. getASuperType only returns
      // ClassValues, so we do this little trick to make things work
      Types::getBase(owner.getASuperType(), _) = interface
    )
  }

  override int minParameters() { result = super.minParameters() + 1 }

  override int maxParameters() {
    if exists(this.getScope().getVararg())
    then result = super.maxParameters()
    else result = super.maxParameters() + 1
  }
}