![]() |
MySQL 9.0.0
Source Code Documentation
|
Contains a list of intervals allocated by this Gtid_set. More...
Public Attributes | |
Interval_chunk * | next |
Interval | intervals [1] |
Contains a list of intervals allocated by this Gtid_set.
When a method of this class needs a new interval and there are no more free intervals, a new Interval_chunk is allocated and the intervals of it are added to the list of free intervals.
Interval Gtid_set::Interval_chunk::intervals[1] |
Interval_chunk* Gtid_set::Interval_chunk::next |