|
@@ -105,7 +105,11 @@ class ConstructorsVisitor(Visitor):
|
|
|
{"value": tree.get_tail()[0].get_text()[1:]})
|
|
|
|
|
|
def visit_string(self, tree):
|
|
|
- self.add_constructors("const", tree.get_text()[1:-1])
|
|
|
+ v = tree.get_text()[1:-1]
|
|
|
+ v = v.replace("\\n", "\n")
|
|
|
+ v = v.replace("\\t", "\t")
|
|
|
+ v = v.replace("\\\"", "\"")
|
|
|
+ self.add_constructors("const", v)
|
|
|
|
|
|
def visit_integer(self, tree):
|
|
|
self.add_constructors("const", int(tree.get_text()))
|