Predicate Expressions::requireHasAttr
Import path
import semmle.python.pointsto.PointsTopredicate requireHasAttr(ClassObjectInternal cls, string name)import semmle.python.pointsto.PointsTopredicate requireHasAttr(ClassObjectInternal cls, string name)