| OLD | NEW |
| 1 # Copyright 2014 the V8 project authors. All rights reserved. | 1 # Copyright 2014 the V8 project authors. All rights reserved. |
| 2 # Redistribution and use in source and binary forms, with or without | 2 # Redistribution and use in source and binary forms, with or without |
| 3 # modification, are permitted provided that the following conditions are | 3 # modification, are permitted provided that the following conditions are |
| 4 # met: | 4 # met: |
| 5 # | 5 # |
| 6 # * Redistributions of source code must retain the above copyright | 6 # * Redistributions of source code must retain the above copyright |
| 7 # notice, this list of conditions and the following disclaimer. | 7 # notice, this list of conditions and the following disclaimer. |
| 8 # * Redistributions in binary form must reproduce the above | 8 # * Redistributions in binary form must reproduce the above |
| 9 # copyright notice, this list of conditions and the following | 9 # copyright notice, this list of conditions and the following |
| 10 # disclaimer in the documentation and/or other materials provided | 10 # disclaimer in the documentation and/or other materials provided |
| (...skipping 49 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 60 def __nonzero__(self): | 60 def __nonzero__(self): |
| 61 'true <==> self == empty_term' | 61 'true <==> self == empty_term' |
| 62 return bool(self.__tuple[0]) | 62 return bool(self.__tuple[0]) |
| 63 | 63 |
| 64 def __eq__(self, other): | 64 def __eq__(self, other): |
| 65 return (isinstance(other, self.__class__) and self.__tuple == other.__tuple) | 65 return (isinstance(other, self.__class__) and self.__tuple == other.__tuple) |
| 66 | 66 |
| 67 # TODO(dcarney): escape '(', ')' and ',' in strings | 67 # TODO(dcarney): escape '(', ')' and ',' in strings |
| 68 def __str__(self): | 68 def __str__(self): |
| 69 if self.__str == None: | 69 if self.__str == None: |
| 70 self.__str = '(%s)' % ','.join(map(str, self.__tuple)) | 70 if not self: |
| 71 self.__str = '' |
| 72 else: |
| 73 self.__str = '%s(%s)' % (self.name(), ','.join(map(str, self.args()))) |
| 71 return self.__str | 74 return self.__str |
| OLD | NEW |