Member predicate DecoratedFunction::introducedAt
Holds if this object is introduced into the code base at node given the context
This means that node, in context, points-to this object, but the object has not flowed
there from anywhere else.
Examples:
- The object
Noneis “introduced” by the keyword “None”. - A bound method would be “introduced” when relevant attribute on an instance
is accessed. In
x = X(); x.mx.mintroduces the bound method.
predicate introducedAt(ControlFlowNode node, PointsToContext context)