Method __del__

tools/standardTextToCode/writeTablesC++.py:69–71

(self)

        self.namespace = namespace
        self.spaces = 0
    def __del__(self):
        self.f.write(f"""}} // namespace {self.namespace}""")
        self.f.write("\n")
    def write(self, s):
        for i in range(self.spaces):
            self.f.write(" ")