Searched refs:record_end (Results 1 – 2 of 2) sorted by relevance
129 record_end = sorted_headers.end(); in SerializeHeader() local130 record != record_end; ++record) { in SerializeHeader()351 record_end = table_data->end(); in BuildAllTableBuilders() local352 record != record_end; ++record) { in BuildAllTableBuilders()
670 def record_end(self, record_entry): member in Status693 self.record_end(record_entry)