| 123456789101112131415161718192021222324252627282930313233 |
- # Copyright (c) 2012-2017 The ANTLR Project. All rights reserved.
- # Use of this file is governed by the BSD 3-clause license that
- # can be found in the LICENSE.txt file in the project root.
- #
- from io import StringIO
- def str_list(val):
- with StringIO() as buf:
- buf.write('[')
- first = True
- for item in val:
- if not first:
- buf.write(', ')
- buf.write(str(item))
- first = False
- buf.write(']')
- return buf.getvalue()
- def escapeWhitespace(s:str, escapeSpaces:bool):
- with StringIO() as buf:
- for c in s:
- if c==' ' and escapeSpaces:
- buf.write('\u00B7')
- elif c=='\t':
- buf.write("\\t")
- elif c=='\n':
- buf.write("\\n")
- elif c=='\r':
- buf.write("\\r")
- else:
- buf.write(c)
- return buf.getvalue()
|