(self, indent: str)
| 46 | no_save_ip: bool = False |
| 47 | |
| 48 | def dump(self, indent: str) -> None: |
| 49 | simple_properties = self.__dict__.copy() |
| 50 | del simple_properties["escaping_calls"] |
| 51 | text = "escaping_calls:\n" |
| 52 | for tkns in self.escaping_calls.values(): |
| 53 | text += f"{indent} {tkns}\n" |
| 54 | text += ", ".join([f"{key}: {value}" for (key, value) in simple_properties.items()]) |
| 55 | print(indent, text, sep="") |
| 56 | |
| 57 | @staticmethod |
| 58 | def from_list(properties: list["Properties"]) -> "Properties": |