예제 #1
0
 def visit_Bytes(self, node):
     tp = TypeDB.get_string()
     return Code(tp=tp, code=tp.as_literal(str(node.s, 'utf-8')))
예제 #2
0
 def visit_Str(self, node):
     tp = TypeDB.get_string()
     return Code(tp=tp, code=tp.as_literal(node.s))