def convert_Filename(self, node):
s = node.value
if s.startswith('"'):
assert s.endswith('"')
s = s[1:-1]
s = self.string_escape(s)
s = s.replace('\\', '\\\\')
return ma.String(s)
def _make_String(self, s):
return ma.String(s)
def convert_String(self, node):
value = self.string_escape(node.value)
return ma.String(value)
