(s)
| 16 | |
| 17 | def __str__(self): |
| 18 | def quote(s): |
| 19 | r = { |
| 20 | "\\": "\\\\", |
| 21 | "{": r"\{", |
| 22 | "}": r"\}", |
| 23 | "|": r"\|", |
| 24 | "<": r"\<", |
| 25 | ">": r"\>", |
| 26 | "\n": r"\n", |
| 27 | } |
| 28 | for k, v in r.items(): |
| 29 | s = s.replace(k, v) |
| 30 | return s |
| 31 | |
| 32 | def pport(d): |
| 33 | return "|".join("<{}> {}".format(k, quote(v)) for k, v in d.items()) |