equal
deleted
inserted
replaced
86 else: |
86 else: |
87 return () |
87 return () |
88 |
88 |
89 def get_subterms(self, term): |
89 def get_subterms(self, term): |
90 for subterm in term.specifics: |
90 for subterm in term.specifics: |
91 if self.extract_name in subterm.extracts: |
91 if (not self.extract_name) or (self.extract_name in subterm.extracts): |
92 yield subterm |
92 yield subterm |
93 for another in self.get_subterms(subterm): |
93 for another in self.get_subterms(subterm): |
94 yield another |
94 yield another |
95 |
95 |
96 |
96 |