def warning(self, node, message): self.messages.append((getpos(node), node, False, message))
def error(self, node, message): self.messages.append((getpos(node), node, True, message))