def __str__(self):
"""x.__str__() <==> str(x)"""
sloc = attr_str(self, 'sloc')
message = attr_str(self, 'message')
name = attr_str(self, 'name', " (name = %s)")
status = attr_str(self, 'status', " (status = %s)")
span = attr_str(self, 'span', " (span = %s)")
return "<Message> %s: %s%s%s%s" % (sloc, message, name, status, span)
def __str__(self):
"""x.__str__() <==> str(x)"""
name = attr_str(self, 'name', '%s ')
if 'operands' in dir(self):
expression = " or ".join([full_str(o) for o in self.operands])
else:
expression = ""
return "<StatusOr> (%s%s)" % (name, expression)
def __str__(self):
"""x.__str__() <==> str(x)"""
name = attr_str(self, 'name')
if 'operands' in dir(self):
expression = " and ".join([full_str(o) for o in self.operands])
else:
expression = ""
return "<FreeSetMergeAnd> (%s%s)" % (name, expression)
def __str__(self):
"""x.__str__() <==> str(x)"""
name = attr_str(self, 'name', '%s ')
expression = attr_str(self, 'atom', "some %s")
return "<StatusSome> (%s%s)" % (name, expression)
def __str__(self):
"""x.__str__() <==> str(x)"""
spec = attr_str(self, 'spec', ' %s')
return "<mergeSpec>%s" % spec
def __str__(self):
"""x.__str__() <==> str(x)"""
name = attr_str(self, 'name')
expression = attr_str(self, 'atom', "no %s")
return "<FreeSetMergeNo> (%s%s)" % (name, expression)
def __str__(self):
"""x.__str__() <==> str(x)"""
low = attr_str(self, 'low')
high = attr_str(self, 'high')
return "%s-%s" % (low, high)