Provides support for special methods. This is done in two steps:
- A subset of
ControlFlowNodes are labelled as potentially corresponding to a special method call (by being an instance of
- A subset of the potential special method calls are labelled as being actual
special method calls (
SpecialMethodCallNode) if the appropriate method is defined. Extend
SpecialMethod::Potentialto capture more cases.
Machinery for detecting special method calls. Extend