(self, o: CallExpr)
| 250 | o.expr.accept(self) |
| 251 | |
| 252 | def visit_call_expr(self, o: CallExpr) -> None: |
| 253 | self.process_node(o) |
| 254 | if o.analyzed: |
| 255 | o.analyzed.accept(self) |
| 256 | else: |
| 257 | o.callee.accept(self) |
| 258 | for a in o.args: |
| 259 | a.accept(self) |
| 260 | self.record_call_target_precision(o) |
| 261 | |
| 262 | def record_call_target_precision(self, o: CallExpr) -> None: |
| 263 | """Record precision of formal argument types used in a call.""" |
nothing calls this directly
no test coverage detected