(self)
| 2062 | return visitor.visit_parameters(self) |
| 2063 | |
| 2064 | def serialize(self) -> JsonDict: |
| 2065 | return { |
| 2066 | ".class": "Parameters", |
| 2067 | "arg_types": [t.serialize() for t in self.arg_types], |
| 2068 | "arg_kinds": [int(x.value) for x in self.arg_kinds], |
| 2069 | "arg_names": self.arg_names, |
| 2070 | "variables": [tv.serialize() for tv in self.variables], |
| 2071 | "imprecise_arg_kinds": self.imprecise_arg_kinds, |
| 2072 | } |
| 2073 | |
| 2074 | @classmethod |
| 2075 | def deserialize(cls, data: JsonDict) -> Parameters: |