Member predicate ObjectInternal :: introducedAt
Holds if this object is introduced into the code base at
node given the
This means that
context, points-to this object, but the object has not flowed
there from anywhere else.
- 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.m
x.mintroduces the bound method.
predicate introducedAt ( ControlFlowNode node , PointsToContext context )