Beispiel #1
0
 def name(self):
     # TODO string should be orig_key
     inner_str = "[%s" + ", %s" * (len(self.key) - 1) + "]"
     return self.args[0].name() + inner_str % ku.to_str(self.key)
Beispiel #2
0
 def name(self):
     return self.args[0].name() + "[%s, %s]" % ku.to_str(self.key)
Beispiel #3
0
 def name(self):
     return self.args[0].name() + "[%s, %s]" % ku.to_str(self.key)