(self, post_condition)
| 17 | self.post_condition = None |
| 18 | |
| 19 | def add_post_condition(self, post_condition): |
| 20 | if self.post_condition: |
| 21 | self.post_condition = '%s and (%s)' % (self.post_condition, |
| 22 | post_condition) |
| 23 | else: |
| 24 | self.post_condition = post_condition |
| 25 | |
| 26 | def __str__(self): |
| 27 | path = XPathExprOrig.__str__(self) |
no outgoing calls
no test coverage detected