678   const ConnectionState &connection{GetConnectionState()};  in CheckForEndOfRecord()  local
679   if (!connection.IsAtEOF()) {  in CheckForEndOfRecord()
680     if (auto length{connection.EffectiveRecordLength()}) {  in CheckForEndOfRecord()
681       if (connection.positionInRecord >= *length) {  in CheckForEndOfRecord()
685           if (connection.access == Access::Stream &&  in CheckForEndOfRecord()
686               connection.unterminatedRecord) {  in CheckForEndOfRecord()
750   const ConnectionState &connection{io.GetConnectionState()};  in EmitLeadingSpaceOrAdvance()  local
751   int space{connection.positionInRecord == 0 ||  in EmitLeadingSpaceOrAdvance()
754   if (connection.NeedAdvance(space + length)) {  in EmitLeadingSpaceOrAdvance()
777   ConnectionState &connection{io.GetConnectionState()};  in GetNextDataEdit()  local
844     auto start{connection.positionInRecord};  in GetNextDataEdit()
873       connection.positionInRecord = start;  in GetNextDataEdit()