- if (c.first_timestamp == DUMMY_TIMESTAMP ||
- e.timestamp < c.first_timestamp) {
- c.first_timestamp = e.timestamp;
- c.opening_num = e.opening_num;
+ if (!c.has_first_timestamp() || e.timestamp < c.first_timestamp()) {
+ if (e.timestamp != DUMMY_TIMESTAMP) {
+ c.set_first_timestamp(e.timestamp);
+ }
+ c.set_opening_num(e.opening_num);