Find all protocol members of 'right' that are not implemented (i.e. completely missing) in 'left'.
(left: Instance, right: Instance, skip: list[str])
| 3177 | |
| 3178 | |
| 3179 | def get_missing_protocol_members(left: Instance, right: Instance, skip: list[str]) -> list[str]: |
| 3180 | """Find all protocol members of 'right' that are not implemented |
| 3181 | (i.e. completely missing) in 'left'. |
| 3182 | """ |
| 3183 | assert right.type.is_protocol |
| 3184 | missing: list[str] = [] |
| 3185 | for member in right.type.protocol_members: |
| 3186 | if member in skip: |
| 3187 | continue |
| 3188 | if not find_member(member, left, left): |
| 3189 | missing.append(member) |
| 3190 | return missing |
| 3191 | |
| 3192 | |
| 3193 | def get_conflict_protocol_types( |
no test coverage detected
searching dependent graphs…