(self, strx)
| 33 | def append_children(self, index): self.children.append(index) |
| 34 | def get_tokens(self): return self.tokens |
| 35 | def set_str(self, strx): self.str = strx |
| 36 | def set_text(self, text): self.text = text |
| 37 | def get_text(self): return self.text |
| 38 | def set_tokens(self, tokens): self.tokens = tokens |