| """Encode valid C string literals from Python strings. | |
| If a character is not allowed in C string literals, it is either emitted | |
| as a simple escape sequence (e.g. '\\n'), or an octal escape sequence | |
| with exactly three digits ('\\oXXX'). Question marks are escaped to | |
| prevent trigraphs in the string literal from being interpreted. Note | |
| that '\\?' is an invalid escape sequence in Python. | |
| Consider the string literal "AB\\xCDEF". As one would expect, Python | |
| parses it as ['A', 'B', 0xCD, 'E', 'F']. However, the C standard | |
| specifies that all hexadecimal digits immediately following '\\x' will | |
| be interpreted as part of the escape sequence. Therefore, it is | |
| unexpectedly parsed as ['A', 'B', 0xCDEF]. | |
| Emitting ("AB\\xCD" "EF") would avoid this behaviour. However, we opt | |
| for simplicity and use octal escape sequences instead. They do not | |
| suffer from the same issue as they are defined to parse at most three | |
| octal digits. | |
| """ | |
| import string | |
| from typing import Tuple | |
| CHAR_MAP = ['\\{:03o}'.format(i) for i in range(256)] | |
| # It is safe to use string.printable as it always uses the C locale. | |
| for c in string.printable: | |
| CHAR_MAP[ord(c)] = c | |
| # These assignments must come last because we prioritize simple escape | |
| # sequences over any other representation. | |
| for c in ('\'', '"', '\\', 'a', 'b', 'f', 'n', 'r', 't', 'v'): | |
| escaped = '\\{}'.format(c) | |
| decoded = escaped.encode('ascii').decode('unicode_escape') | |
| CHAR_MAP[ord(decoded)] = escaped | |
| # This escape sequence is invalid in Python. | |
| CHAR_MAP[ord('?')] = r'\?' | |
| def encode_as_c_string(s: str) -> Tuple[str, int]: | |
| """Produce a quoted C string literal and its size, for a UTF-8 string.""" | |
| return encode_bytes_as_c_string(s.encode('utf-8')) | |
| def encode_bytes_as_c_string(b: bytes) -> Tuple[str, int]: | |
| """Produce a quoted C string literal and its size, for a byte string.""" | |
| escaped = ''.join([CHAR_MAP[i] for i in b]) | |
| return '"{}"'.format(escaped), len(b) |