__static_attributes__ doesn't include method calls

[PierreQuentel]

Feature or enhancement

Proposal:

class C:

  def f(self):
    self.x
    self.y[3]
    self.z()

print(C.__static_attributes__) # gives ('y', 'x'), but 'z' is absent

From 3.13 documentation, __static_attributes__ is A tuple containing names of attributes of this class which are accessed through self.X from any function in its body.`. Is there a reason why subscriptions are included in the result, but not method calls ?

Has this already been discussed elsewhere?

This is a minor feature, which does not need previous discussion elsewhere

Links to previous discussion of this feature:

No response

Linked PRs

• gh-122445: populate only modified fields in __static_attributes__ #122446
• [3.13] gh-122445: populate only modified fields in __static_attributes__ (#122446) #122621

[Eclips4]

cc @iritkatriel

[markshannon]

__static_attributes__ is supposed to be a static approximation of the instance attributes, not the class's attributes.
So including methods is counter productive.

Maybe probably should only be counting stores, not loads when filling __static_attributes__?

[iritkatriel]

__static_attributes__ is supposed to be a static approximation of the instance attributes, not the class's attributes. So including methods is counter productive.

Maybe probably should only be counting stores, not loads when filling __static_attributes__?

I was thinking the same, but then we need to change the documentation as well to make this clear.

[PierreQuentel]

Thank you Irit and Mark !