peter klausler | f7be251 | 2020-01-23 16:59:27 -0800 | [diff] [blame] | 1 | //===-- runtime/unit.cpp ----------------------------------------*- C++ -*-===// |
| 2 | // |
| 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | |
| 9 | #include "unit.h" |
peter klausler | 8f2c5c4 | 2020-07-21 17:37:35 -0700 | [diff] [blame] | 10 | #include "environment.h" |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 11 | #include "io-error.h" |
peter klausler | f7be251 | 2020-01-23 16:59:27 -0800 | [diff] [blame] | 12 | #include "lock.h" |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 13 | #include "unit-map.h" |
peter klausler | bd43fa2 | 2020-07-14 11:28:03 -0700 | [diff] [blame] | 14 | #include <cstdio> |
peter klausler | 8f2c5c4 | 2020-07-21 17:37:35 -0700 | [diff] [blame] | 15 | #include <utility> |
peter klausler | f7be251 | 2020-01-23 16:59:27 -0800 | [diff] [blame] | 16 | |
| 17 | namespace Fortran::runtime::io { |
| 18 | |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 19 | // The per-unit data structures are created on demand so that Fortran I/O |
| 20 | // should work without a Fortran main program. |
| 21 | static Lock unitMapLock; |
| 22 | static UnitMap *unitMap{nullptr}; |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 23 | static ExternalFileUnit *defaultInput{nullptr}; |
peter klausler | 95696d5 | 2020-02-04 16:55:45 -0800 | [diff] [blame] | 24 | static ExternalFileUnit *defaultOutput{nullptr}; |
peter klausler | f7be251 | 2020-01-23 16:59:27 -0800 | [diff] [blame] | 25 | |
peter klausler | 95696d5 | 2020-02-04 16:55:45 -0800 | [diff] [blame] | 26 | void FlushOutputOnCrash(const Terminator &terminator) { |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 27 | if (!defaultOutput) { |
| 28 | return; |
| 29 | } |
| 30 | CriticalSection critical{unitMapLock}; |
peter klausler | 95696d5 | 2020-02-04 16:55:45 -0800 | [diff] [blame] | 31 | if (defaultOutput) { |
| 32 | IoErrorHandler handler{terminator}; |
Tim Keith | 1f87900 | 2020-03-28 21:00:16 -0700 | [diff] [blame] | 33 | handler.HasIoStat(); // prevent nested crash if flush has error |
peter klausler | 95696d5 | 2020-02-04 16:55:45 -0800 | [diff] [blame] | 34 | defaultOutput->Flush(handler); |
| 35 | } |
| 36 | } |
| 37 | |
| 38 | ExternalFileUnit *ExternalFileUnit::LookUp(int unit) { |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 39 | return GetUnitMap().LookUp(unit); |
peter klausler | f7be251 | 2020-01-23 16:59:27 -0800 | [diff] [blame] | 40 | } |
| 41 | |
peter klausler | 95696d5 | 2020-02-04 16:55:45 -0800 | [diff] [blame] | 42 | ExternalFileUnit &ExternalFileUnit::LookUpOrCrash( |
| 43 | int unit, const Terminator &terminator) { |
peter klausler | 95696d5 | 2020-02-04 16:55:45 -0800 | [diff] [blame] | 44 | ExternalFileUnit *file{LookUp(unit)}; |
peter klausler | f7be251 | 2020-01-23 16:59:27 -0800 | [diff] [blame] | 45 | if (!file) { |
| 46 | terminator.Crash("Not an open I/O unit number: %d", unit); |
| 47 | } |
| 48 | return *file; |
| 49 | } |
| 50 | |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 51 | ExternalFileUnit &ExternalFileUnit::LookUpOrCreate( |
peter klausler | bd43fa2 | 2020-07-14 11:28:03 -0700 | [diff] [blame] | 52 | int unit, const Terminator &terminator, bool &wasExtant) { |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 53 | return GetUnitMap().LookUpOrCreate(unit, terminator, wasExtant); |
peter klausler | f7be251 | 2020-01-23 16:59:27 -0800 | [diff] [blame] | 54 | } |
| 55 | |
peter klausler | bd43fa2 | 2020-07-14 11:28:03 -0700 | [diff] [blame] | 56 | ExternalFileUnit &ExternalFileUnit::LookUpOrCreateAnonymous( |
| 57 | int unit, Direction dir, bool isUnformatted, const Terminator &terminator) { |
| 58 | bool exists{false}; |
| 59 | ExternalFileUnit &result{ |
| 60 | GetUnitMap().LookUpOrCreate(unit, terminator, exists)}; |
| 61 | if (!exists) { |
peter klausler | bd43fa2 | 2020-07-14 11:28:03 -0700 | [diff] [blame] | 62 | IoErrorHandler handler{terminator}; |
peter klausler | 675ad1b | 2020-08-03 11:35:29 -0700 | [diff] [blame] | 63 | result.OpenAnonymousUnit( |
| 64 | dir == Direction::Input ? OpenStatus::Unknown : OpenStatus::Replace, |
| 65 | Action::ReadWrite, Position::Rewind, Convert::Native, handler); |
peter klausler | bd43fa2 | 2020-07-14 11:28:03 -0700 | [diff] [blame] | 66 | result.isUnformatted = isUnformatted; |
| 67 | } |
| 68 | return result; |
| 69 | } |
| 70 | |
peter klausler | 675ad1b | 2020-08-03 11:35:29 -0700 | [diff] [blame] | 71 | ExternalFileUnit *ExternalFileUnit::LookUp(const char *path) { |
| 72 | return GetUnitMap().LookUp(path); |
| 73 | } |
| 74 | |
peter klausler | bd43fa2 | 2020-07-14 11:28:03 -0700 | [diff] [blame] | 75 | ExternalFileUnit &ExternalFileUnit::CreateNew( |
| 76 | int unit, const Terminator &terminator) { |
| 77 | bool wasExtant{false}; |
| 78 | ExternalFileUnit &result{ |
| 79 | GetUnitMap().LookUpOrCreate(unit, terminator, wasExtant)}; |
| 80 | RUNTIME_CHECK(terminator, !wasExtant); |
| 81 | return result; |
| 82 | } |
| 83 | |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 84 | ExternalFileUnit *ExternalFileUnit::LookUpForClose(int unit) { |
| 85 | return GetUnitMap().LookUpForClose(unit); |
| 86 | } |
| 87 | |
| 88 | int ExternalFileUnit::NewUnit(const Terminator &terminator) { |
| 89 | return GetUnitMap().NewUnit(terminator).unitNumber(); |
peter klausler | 95696d5 | 2020-02-04 16:55:45 -0800 | [diff] [blame] | 90 | } |
| 91 | |
peter klausler | ea4758a | 2020-07-17 11:24:29 -0700 | [diff] [blame] | 92 | void ExternalFileUnit::OpenUnit(OpenStatus status, std::optional<Action> action, |
| 93 | Position position, OwningPtr<char> &&newPath, std::size_t newPathLength, |
peter klausler | 8f2c5c4 | 2020-07-21 17:37:35 -0700 | [diff] [blame] | 94 | Convert convert, IoErrorHandler &handler) { |
| 95 | if (executionEnvironment.conversion != Convert::Unknown) { |
| 96 | convert = executionEnvironment.conversion; |
| 97 | } |
| 98 | swapEndianness_ = convert == Convert::Swap || |
| 99 | (convert == Convert::LittleEndian && !isHostLittleEndian) || |
| 100 | (convert == Convert::BigEndian && isHostLittleEndian); |
peter klausler | 95696d5 | 2020-02-04 16:55:45 -0800 | [diff] [blame] | 101 | if (IsOpen()) { |
| 102 | if (status == OpenStatus::Old && |
| 103 | (!newPath.get() || |
| 104 | (path() && pathLength() == newPathLength && |
| 105 | std::memcmp(path(), newPath.get(), newPathLength) == 0))) { |
| 106 | // OPEN of existing unit, STATUS='OLD', not new FILE= |
| 107 | newPath.reset(); |
| 108 | return; |
| 109 | } |
| 110 | // Otherwise, OPEN on open unit with new FILE= implies CLOSE |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 111 | DoImpliedEndfile(handler); |
peter klausler | 95696d5 | 2020-02-04 16:55:45 -0800 | [diff] [blame] | 112 | Flush(handler); |
| 113 | Close(CloseStatus::Keep, handler); |
| 114 | } |
| 115 | set_path(std::move(newPath), newPathLength); |
peter klausler | ea4758a | 2020-07-17 11:24:29 -0700 | [diff] [blame] | 116 | Open(status, action, position, handler); |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 117 | auto totalBytes{knownSize()}; |
| 118 | if (access == Access::Direct) { |
| 119 | if (!isFixedRecordLength || !recordLength) { |
| 120 | handler.SignalError(IostatOpenBadRecl, |
| 121 | "OPEN(UNIT=%d,ACCESS='DIRECT'): record length is not known", |
| 122 | unitNumber()); |
| 123 | } else if (*recordLength <= 0) { |
| 124 | handler.SignalError(IostatOpenBadRecl, |
| 125 | "OPEN(UNIT=%d,ACCESS='DIRECT',RECL=%jd): record length is invalid", |
| 126 | unitNumber(), static_cast<std::intmax_t>(*recordLength)); |
peter klausler | 675ad1b | 2020-08-03 11:35:29 -0700 | [diff] [blame] | 127 | } else if (totalBytes && (*totalBytes % *recordLength != 0)) { |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 128 | handler.SignalError(IostatOpenBadAppend, |
| 129 | "OPEN(UNIT=%d,ACCESS='DIRECT',RECL=%jd): record length is not an " |
| 130 | "even divisor of the file size %jd", |
| 131 | unitNumber(), static_cast<std::intmax_t>(*recordLength), |
| 132 | static_cast<std::intmax_t>(*totalBytes)); |
| 133 | } |
| 134 | } |
| 135 | if (position == Position::Append) { |
peter klausler | 675ad1b | 2020-08-03 11:35:29 -0700 | [diff] [blame] | 136 | if (totalBytes && recordLength && *recordLength) { |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 137 | endfileRecordNumber = 1 + (*totalBytes / *recordLength); |
| 138 | } else { |
| 139 | // Fake it so that we can backspace relative from the end |
| 140 | endfileRecordNumber = std::numeric_limits<std::int64_t>::max() - 1; |
| 141 | } |
| 142 | currentRecordNumber = *endfileRecordNumber; |
| 143 | } else { |
| 144 | currentRecordNumber = 1; |
| 145 | } |
peter klausler | 95696d5 | 2020-02-04 16:55:45 -0800 | [diff] [blame] | 146 | } |
| 147 | |
peter klausler | 675ad1b | 2020-08-03 11:35:29 -0700 | [diff] [blame] | 148 | void ExternalFileUnit::OpenAnonymousUnit(OpenStatus status, |
| 149 | std::optional<Action> action, Position position, Convert convert, |
| 150 | IoErrorHandler &handler) { |
| 151 | // I/O to an unconnected unit reads/creates a local file, e.g. fort.7 |
| 152 | std::size_t pathMaxLen{32}; |
| 153 | auto path{SizedNew<char>{handler}(pathMaxLen)}; |
| 154 | std::snprintf(path.get(), pathMaxLen, "fort.%d", unitNumber_); |
| 155 | OpenUnit(status, action, position, std::move(path), std::strlen(path.get()), |
| 156 | convert, handler); |
| 157 | } |
| 158 | |
peter klausler | 95696d5 | 2020-02-04 16:55:45 -0800 | [diff] [blame] | 159 | void ExternalFileUnit::CloseUnit(CloseStatus status, IoErrorHandler &handler) { |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 160 | DoImpliedEndfile(handler); |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 161 | Flush(handler); |
| 162 | Close(status, handler); |
peter klausler | f7be251 | 2020-01-23 16:59:27 -0800 | [diff] [blame] | 163 | } |
| 164 | |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 165 | void ExternalFileUnit::DestroyClosed() { |
Tim Keith | 1f87900 | 2020-03-28 21:00:16 -0700 | [diff] [blame] | 166 | GetUnitMap().DestroyClosed(*this); // destroys *this |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 167 | } |
| 168 | |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 169 | bool ExternalFileUnit::SetDirection( |
| 170 | Direction direction, IoErrorHandler &handler) { |
| 171 | if (direction == Direction::Input) { |
| 172 | if (mayRead()) { |
| 173 | direction_ = Direction::Input; |
| 174 | return true; |
| 175 | } else { |
| 176 | handler.SignalError(IostatReadFromWriteOnly, |
| 177 | "READ(UNIT=%d) with ACTION='WRITE'", unitNumber()); |
| 178 | return false; |
| 179 | } |
| 180 | } else { |
| 181 | if (mayWrite()) { |
| 182 | direction_ = Direction::Output; |
| 183 | return true; |
| 184 | } else { |
| 185 | handler.SignalError(IostatWriteToReadOnly, |
| 186 | "WRITE(UNIT=%d) with ACTION='READ'", unitNumber()); |
| 187 | return false; |
| 188 | } |
| 189 | } |
| 190 | } |
| 191 | |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 192 | UnitMap &ExternalFileUnit::GetUnitMap() { |
| 193 | if (unitMap) { |
| 194 | return *unitMap; |
| 195 | } |
| 196 | CriticalSection critical{unitMapLock}; |
| 197 | if (unitMap) { |
| 198 | return *unitMap; |
| 199 | } |
| 200 | Terminator terminator{__FILE__, __LINE__}; |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 201 | IoErrorHandler handler{terminator}; |
peter klausler | 98d576c | 2020-07-02 18:35:20 -0700 | [diff] [blame] | 202 | unitMap = New<UnitMap>{terminator}().release(); |
peter klausler | bd43fa2 | 2020-07-14 11:28:03 -0700 | [diff] [blame] | 203 | ExternalFileUnit &out{ExternalFileUnit::CreateNew(6, terminator)}; |
peter klausler | f7be251 | 2020-01-23 16:59:27 -0800 | [diff] [blame] | 204 | out.Predefine(1); |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 205 | out.SetDirection(Direction::Output, handler); |
peter klausler | 95696d5 | 2020-02-04 16:55:45 -0800 | [diff] [blame] | 206 | defaultOutput = &out; |
peter klausler | bd43fa2 | 2020-07-14 11:28:03 -0700 | [diff] [blame] | 207 | ExternalFileUnit &in{ExternalFileUnit::CreateNew(5, terminator)}; |
peter klausler | f7be251 | 2020-01-23 16:59:27 -0800 | [diff] [blame] | 208 | in.Predefine(0); |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 209 | in.SetDirection(Direction::Input, handler); |
| 210 | defaultInput = ∈ |
peter klausler | f7be251 | 2020-01-23 16:59:27 -0800 | [diff] [blame] | 211 | // TODO: Set UTF-8 mode from the environment |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 212 | return *unitMap; |
peter klausler | f7be251 | 2020-01-23 16:59:27 -0800 | [diff] [blame] | 213 | } |
| 214 | |
peter klausler | 95696d5 | 2020-02-04 16:55:45 -0800 | [diff] [blame] | 215 | void ExternalFileUnit::CloseAll(IoErrorHandler &handler) { |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 216 | CriticalSection critical{unitMapLock}; |
| 217 | if (unitMap) { |
| 218 | unitMap->CloseAll(handler); |
| 219 | FreeMemoryAndNullify(unitMap); |
| 220 | } |
peter klausler | 95696d5 | 2020-02-04 16:55:45 -0800 | [diff] [blame] | 221 | defaultOutput = nullptr; |
peter klausler | f7be251 | 2020-01-23 16:59:27 -0800 | [diff] [blame] | 222 | } |
| 223 | |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 224 | void ExternalFileUnit::FlushAll(IoErrorHandler &handler) { |
| 225 | CriticalSection critical{unitMapLock}; |
| 226 | if (unitMap) { |
| 227 | unitMap->FlushAll(handler); |
| 228 | } |
| 229 | } |
| 230 | |
peter klausler | 8f2c5c4 | 2020-07-21 17:37:35 -0700 | [diff] [blame] | 231 | static void SwapEndianness( |
| 232 | char *data, std::size_t bytes, std::size_t elementBytes) { |
| 233 | if (elementBytes > 1) { |
| 234 | auto half{elementBytes >> 1}; |
| 235 | for (std::size_t j{0}; j + elementBytes <= bytes; j += elementBytes) { |
| 236 | for (std::size_t k{0}; k < half; ++k) { |
| 237 | std::swap(data[j + k], data[j + elementBytes - 1 - k]); |
| 238 | } |
| 239 | } |
| 240 | } |
| 241 | } |
| 242 | |
| 243 | bool ExternalFileUnit::Emit(const char *data, std::size_t bytes, |
| 244 | std::size_t elementBytes, IoErrorHandler &handler) { |
peter klausler | 95696d5 | 2020-02-04 16:55:45 -0800 | [diff] [blame] | 245 | auto furthestAfter{std::max(furthestPositionInRecord, |
| 246 | positionInRecord + static_cast<std::int64_t>(bytes))}; |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 247 | if (furthestAfter > recordLength.value_or(furthestAfter)) { |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 248 | handler.SignalError(IostatRecordWriteOverrun, |
| 249 | "Attempt to write %zd bytes to position %jd in a fixed-size record of " |
| 250 | "%jd bytes", |
| 251 | bytes, static_cast<std::intmax_t>(positionInRecord), |
| 252 | static_cast<std::intmax_t>(*recordLength)); |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 253 | return false; |
| 254 | } |
| 255 | WriteFrame(frameOffsetInFile_, recordOffsetInFrame_ + furthestAfter, handler); |
peter klausler | 2750556 | 2020-06-18 12:19:49 -0700 | [diff] [blame] | 256 | if (positionInRecord > furthestPositionInRecord) { |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 257 | std::memset(Frame() + recordOffsetInFrame_ + furthestPositionInRecord, ' ', |
peter klausler | 2750556 | 2020-06-18 12:19:49 -0700 | [diff] [blame] | 258 | positionInRecord - furthestPositionInRecord); |
| 259 | } |
peter klausler | 8f2c5c4 | 2020-07-21 17:37:35 -0700 | [diff] [blame] | 260 | char *to{Frame() + recordOffsetInFrame_ + positionInRecord}; |
| 261 | std::memcpy(to, data, bytes); |
| 262 | if (swapEndianness_) { |
| 263 | SwapEndianness(to, bytes, elementBytes); |
| 264 | } |
peter klausler | f7be251 | 2020-01-23 16:59:27 -0800 | [diff] [blame] | 265 | positionInRecord += bytes; |
| 266 | furthestPositionInRecord = furthestAfter; |
| 267 | return true; |
| 268 | } |
| 269 | |
peter klausler | 8f2c5c4 | 2020-07-21 17:37:35 -0700 | [diff] [blame] | 270 | bool ExternalFileUnit::Receive(char *data, std::size_t bytes, |
| 271 | std::size_t elementBytes, IoErrorHandler &handler) { |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 272 | RUNTIME_CHECK(handler, direction_ == Direction::Input); |
| 273 | auto furthestAfter{std::max(furthestPositionInRecord, |
| 274 | positionInRecord + static_cast<std::int64_t>(bytes))}; |
| 275 | if (furthestAfter > recordLength.value_or(furthestAfter)) { |
| 276 | handler.SignalError(IostatRecordReadOverrun, |
| 277 | "Attempt to read %zd bytes at position %jd in a record of %jd bytes", |
| 278 | bytes, static_cast<std::intmax_t>(positionInRecord), |
| 279 | static_cast<std::intmax_t>(*recordLength)); |
| 280 | return false; |
| 281 | } |
| 282 | auto need{recordOffsetInFrame_ + furthestAfter}; |
| 283 | auto got{ReadFrame(frameOffsetInFile_, need, handler)}; |
| 284 | if (got >= need) { |
| 285 | std::memcpy(data, Frame() + recordOffsetInFrame_ + positionInRecord, bytes); |
peter klausler | 8f2c5c4 | 2020-07-21 17:37:35 -0700 | [diff] [blame] | 286 | if (swapEndianness_) { |
| 287 | SwapEndianness(data, bytes, elementBytes); |
| 288 | } |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 289 | positionInRecord += bytes; |
| 290 | furthestPositionInRecord = furthestAfter; |
| 291 | return true; |
| 292 | } else { |
| 293 | handler.SignalEnd(); |
| 294 | endfileRecordNumber = currentRecordNumber; |
| 295 | return false; |
| 296 | } |
| 297 | } |
| 298 | |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 299 | std::optional<char32_t> ExternalFileUnit::GetCurrentChar( |
| 300 | IoErrorHandler &handler) { |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 301 | RUNTIME_CHECK(handler, direction_ == Direction::Input); |
| 302 | if (const char *p{FrameNextInput(handler, 1)}) { |
| 303 | // TODO: UTF-8 decoding; may have to get more bytes in a loop |
| 304 | return *p; |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 305 | } |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 306 | return std::nullopt; |
| 307 | } |
| 308 | |
| 309 | const char *ExternalFileUnit::FrameNextInput( |
| 310 | IoErrorHandler &handler, std::size_t bytes) { |
| 311 | RUNTIME_CHECK(handler, !isUnformatted); |
| 312 | if (static_cast<std::int64_t>(positionInRecord + bytes) <= |
| 313 | recordLength.value_or(positionInRecord + bytes)) { |
| 314 | auto at{recordOffsetInFrame_ + positionInRecord}; |
| 315 | auto need{static_cast<std::size_t>(at + bytes)}; |
| 316 | auto got{ReadFrame(frameOffsetInFile_, need, handler)}; |
| 317 | SetSequentialVariableFormattedRecordLength(); |
| 318 | if (got >= need) { |
| 319 | return Frame() + at; |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 320 | } |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 321 | handler.SignalEnd(); |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 322 | endfileRecordNumber = currentRecordNumber; |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 323 | } |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 324 | return nullptr; |
| 325 | } |
| 326 | |
| 327 | bool ExternalFileUnit::SetSequentialVariableFormattedRecordLength() { |
| 328 | if (recordLength || access != Access::Sequential) { |
| 329 | return true; |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 330 | } |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 331 | if (FrameLength() > recordOffsetInFrame_) { |
| 332 | const char *record{Frame() + recordOffsetInFrame_}; |
| 333 | if (const char *nl{reinterpret_cast<const char *>( |
| 334 | std::memchr(record, '\n', FrameLength() - recordOffsetInFrame_))}) { |
| 335 | recordLength = nl - record; |
| 336 | if (*recordLength > 0 && record[*recordLength - 1] == '\r') { |
| 337 | --*recordLength; |
| 338 | } |
| 339 | return true; |
| 340 | } |
| 341 | } |
| 342 | return false; |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 343 | } |
| 344 | |
peter klausler | 95696d5 | 2020-02-04 16:55:45 -0800 | [diff] [blame] | 345 | void ExternalFileUnit::SetLeftTabLimit() { |
peter klausler | f7be251 | 2020-01-23 16:59:27 -0800 | [diff] [blame] | 346 | leftTabLimit = furthestPositionInRecord; |
| 347 | positionInRecord = furthestPositionInRecord; |
| 348 | } |
| 349 | |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 350 | void ExternalFileUnit::BeginReadingRecord(IoErrorHandler &handler) { |
| 351 | RUNTIME_CHECK(handler, direction_ == Direction::Input); |
peter klausler | e24f0ac | 2020-09-30 12:53:00 -0700 | [diff] [blame] | 352 | if (beganReadingRecord_) { |
| 353 | return; |
| 354 | } |
| 355 | beganReadingRecord_ = true; |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 356 | if (access == Access::Sequential) { |
| 357 | if (endfileRecordNumber && currentRecordNumber >= *endfileRecordNumber) { |
| 358 | handler.SignalEnd(); |
| 359 | } else if (isFixedRecordLength) { |
| 360 | RUNTIME_CHECK(handler, recordLength.has_value()); |
| 361 | auto need{static_cast<std::size_t>(recordOffsetInFrame_ + *recordLength)}; |
| 362 | auto got{ReadFrame(frameOffsetInFile_, need, handler)}; |
| 363 | if (got < need) { |
| 364 | handler.SignalEnd(); |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 365 | } |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 366 | } else if (isUnformatted) { |
| 367 | BeginSequentialVariableUnformattedInputRecord(handler); |
| 368 | } else { // formatted |
| 369 | BeginSequentialVariableFormattedInputRecord(handler); |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 370 | } |
peter klausler | f7be251 | 2020-01-23 16:59:27 -0800 | [diff] [blame] | 371 | } |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 372 | } |
| 373 | |
peter klausler | e24f0ac | 2020-09-30 12:53:00 -0700 | [diff] [blame] | 374 | void ExternalFileUnit::FinishReadingRecord(IoErrorHandler &handler) { |
| 375 | RUNTIME_CHECK(handler, direction_ == Direction::Input && beganReadingRecord_); |
| 376 | beganReadingRecord_ = false; |
| 377 | if (access == Access::Sequential) { |
| 378 | RUNTIME_CHECK(handler, recordLength.has_value()); |
| 379 | if (isFixedRecordLength) { |
| 380 | frameOffsetInFile_ += recordOffsetInFrame_ + *recordLength; |
| 381 | recordOffsetInFrame_ = 0; |
| 382 | } else if (isUnformatted) { |
| 383 | // Retain footer in frame for more efficient BACKSPACE |
| 384 | frameOffsetInFile_ += recordOffsetInFrame_ + *recordLength; |
| 385 | recordOffsetInFrame_ = sizeof(std::uint32_t); |
| 386 | recordLength.reset(); |
| 387 | } else { // formatted |
| 388 | if (Frame()[recordOffsetInFrame_ + *recordLength] == '\r') { |
| 389 | ++recordOffsetInFrame_; |
| 390 | } |
| 391 | recordOffsetInFrame_ += *recordLength + 1; |
| 392 | RUNTIME_CHECK(handler, Frame()[recordOffsetInFrame_ - 1] == '\n'); |
| 393 | recordLength.reset(); |
| 394 | } |
| 395 | } |
| 396 | ++currentRecordNumber; |
| 397 | BeginRecord(); |
| 398 | } |
| 399 | |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 400 | bool ExternalFileUnit::AdvanceRecord(IoErrorHandler &handler) { |
| 401 | bool ok{true}; |
| 402 | if (direction_ == Direction::Input) { |
peter klausler | e24f0ac | 2020-09-30 12:53:00 -0700 | [diff] [blame] | 403 | FinishReadingRecord(handler); |
| 404 | BeginReadingRecord(handler); |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 405 | } else { // Direction::Output |
| 406 | if (!isUnformatted) { |
| 407 | if (isFixedRecordLength && recordLength) { |
| 408 | if (furthestPositionInRecord < *recordLength) { |
| 409 | WriteFrame(frameOffsetInFile_, *recordLength, handler); |
| 410 | std::memset(Frame() + recordOffsetInFrame_ + furthestPositionInRecord, |
| 411 | ' ', *recordLength - furthestPositionInRecord); |
| 412 | } |
| 413 | } else { |
| 414 | positionInRecord = furthestPositionInRecord; |
peter klausler | 8f2c5c4 | 2020-07-21 17:37:35 -0700 | [diff] [blame] | 415 | ok &= Emit("\n", 1, 1, handler); // TODO: Windows CR+LF |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 416 | } |
| 417 | } |
| 418 | frameOffsetInFile_ += |
| 419 | recordOffsetInFrame_ + recordLength.value_or(furthestPositionInRecord); |
| 420 | recordOffsetInFrame_ = 0; |
| 421 | impliedEndfile_ = true; |
peter klausler | e24f0ac | 2020-09-30 12:53:00 -0700 | [diff] [blame] | 422 | ++currentRecordNumber; |
| 423 | BeginRecord(); |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 424 | } |
peter klausler | f7be251 | 2020-01-23 16:59:27 -0800 | [diff] [blame] | 425 | return ok; |
| 426 | } |
| 427 | |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 428 | void ExternalFileUnit::BackspaceRecord(IoErrorHandler &handler) { |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 429 | if (access != Access::Sequential) { |
| 430 | handler.SignalError(IostatBackspaceNonSequential, |
| 431 | "BACKSPACE(UNIT=%d) on non-sequential file", unitNumber()); |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 432 | } else { |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 433 | DoImpliedEndfile(handler); |
| 434 | --currentRecordNumber; |
| 435 | BeginRecord(); |
| 436 | if (isFixedRecordLength) { |
| 437 | BackspaceFixedRecord(handler); |
| 438 | } else if (isUnformatted) { |
| 439 | BackspaceVariableUnformattedRecord(handler); |
| 440 | } else { |
| 441 | BackspaceVariableFormattedRecord(handler); |
| 442 | } |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 443 | } |
peter klausler | f7be251 | 2020-01-23 16:59:27 -0800 | [diff] [blame] | 444 | } |
| 445 | |
peter klausler | 95696d5 | 2020-02-04 16:55:45 -0800 | [diff] [blame] | 446 | void ExternalFileUnit::FlushIfTerminal(IoErrorHandler &handler) { |
| 447 | if (isTerminal()) { |
| 448 | Flush(handler); |
| 449 | } |
| 450 | } |
| 451 | |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 452 | void ExternalFileUnit::Endfile(IoErrorHandler &handler) { |
| 453 | if (access != Access::Sequential) { |
| 454 | handler.SignalError(IostatEndfileNonSequential, |
| 455 | "ENDFILE(UNIT=%d) on non-sequential file", unitNumber()); |
| 456 | } else if (!mayWrite()) { |
| 457 | handler.SignalError(IostatEndfileUnwritable, |
| 458 | "ENDFILE(UNIT=%d) on read-only file", unitNumber()); |
| 459 | } else { |
| 460 | DoEndfile(handler); |
| 461 | } |
| 462 | } |
| 463 | |
| 464 | void ExternalFileUnit::Rewind(IoErrorHandler &handler) { |
| 465 | if (access == Access::Direct) { |
| 466 | handler.SignalError(IostatRewindNonSequential, |
| 467 | "REWIND(UNIT=%d) on non-sequential file", unitNumber()); |
| 468 | } else { |
| 469 | DoImpliedEndfile(handler); |
| 470 | SetPosition(0); |
| 471 | currentRecordNumber = 1; |
| 472 | // TODO: reset endfileRecordNumber? |
| 473 | } |
| 474 | } |
| 475 | |
peter klausler | 95696d5 | 2020-02-04 16:55:45 -0800 | [diff] [blame] | 476 | void ExternalFileUnit::EndIoStatement() { |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 477 | frameOffsetInFile_ += recordOffsetInFrame_; |
| 478 | recordOffsetInFrame_ = 0; |
peter klausler | 95696d5 | 2020-02-04 16:55:45 -0800 | [diff] [blame] | 479 | io_.reset(); |
peter klausler | f7be251 | 2020-01-23 16:59:27 -0800 | [diff] [blame] | 480 | u_.emplace<std::monostate>(); |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 481 | lock_.Drop(); |
| 482 | } |
| 483 | |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 484 | void ExternalFileUnit::BeginSequentialVariableUnformattedInputRecord( |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 485 | IoErrorHandler &handler) { |
| 486 | std::int32_t header{0}, footer{0}; |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 487 | std::size_t need{recordOffsetInFrame_ + sizeof header}; |
| 488 | std::size_t got{ReadFrame(frameOffsetInFile_, need, handler)}; |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 489 | // Try to emit informative errors to help debug corrupted files. |
| 490 | const char *error{nullptr}; |
| 491 | if (got < need) { |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 492 | if (got == recordOffsetInFrame_) { |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 493 | handler.SignalEnd(); |
| 494 | } else { |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 495 | error = "Unformatted variable-length sequential file input failed at " |
| 496 | "record #%jd (file offset %jd): truncated record header"; |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 497 | } |
| 498 | } else { |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 499 | std::memcpy(&header, Frame() + recordOffsetInFrame_, sizeof header); |
| 500 | recordLength = sizeof header + header; // does not include footer |
| 501 | need = recordOffsetInFrame_ + *recordLength + sizeof footer; |
| 502 | got = ReadFrame(frameOffsetInFile_, need, handler); |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 503 | if (got < need) { |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 504 | error = "Unformatted variable-length sequential file input failed at " |
| 505 | "record #%jd (file offset %jd): hit EOF reading record with " |
| 506 | "length %jd bytes"; |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 507 | } else { |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 508 | std::memcpy(&footer, Frame() + recordOffsetInFrame_ + *recordLength, |
| 509 | sizeof footer); |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 510 | if (footer != header) { |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 511 | error = "Unformatted variable-length sequential file input failed at " |
| 512 | "record #%jd (file offset %jd): record header has length %jd " |
| 513 | "that does not match record footer (%jd)"; |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 514 | } |
| 515 | } |
| 516 | } |
| 517 | if (error) { |
| 518 | handler.SignalError(error, static_cast<std::intmax_t>(currentRecordNumber), |
| 519 | static_cast<std::intmax_t>(frameOffsetInFile_), |
| 520 | static_cast<std::intmax_t>(header), static_cast<std::intmax_t>(footer)); |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 521 | // TODO: error recovery |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 522 | } |
| 523 | positionInRecord = sizeof header; |
| 524 | } |
| 525 | |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 526 | void ExternalFileUnit::BeginSequentialVariableFormattedInputRecord( |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 527 | IoErrorHandler &handler) { |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 528 | if (this == defaultInput && defaultOutput) { |
| 529 | defaultOutput->Flush(handler); |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 530 | } |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 531 | std::size_t length{0}; |
| 532 | do { |
| 533 | std::size_t need{recordOffsetInFrame_ + length + 1}; |
| 534 | length = ReadFrame(frameOffsetInFile_, need, handler); |
| 535 | if (length < need) { |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 536 | handler.SignalEnd(); |
| 537 | break; |
| 538 | } |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 539 | } while (!SetSequentialVariableFormattedRecordLength()); |
| 540 | } |
| 541 | |
| 542 | void ExternalFileUnit::BackspaceFixedRecord(IoErrorHandler &handler) { |
| 543 | RUNTIME_CHECK(handler, recordLength.has_value()); |
| 544 | if (frameOffsetInFile_ < *recordLength) { |
| 545 | handler.SignalError(IostatBackspaceAtFirstRecord); |
| 546 | } else { |
| 547 | frameOffsetInFile_ -= *recordLength; |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 548 | } |
| 549 | } |
| 550 | |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 551 | void ExternalFileUnit::BackspaceVariableUnformattedRecord( |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 552 | IoErrorHandler &handler) { |
| 553 | std::int32_t header{0}, footer{0}; |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 554 | auto headerBytes{static_cast<std::int64_t>(sizeof header)}; |
| 555 | frameOffsetInFile_ += recordOffsetInFrame_; |
| 556 | recordOffsetInFrame_ = 0; |
| 557 | if (frameOffsetInFile_ <= headerBytes) { |
| 558 | handler.SignalError(IostatBackspaceAtFirstRecord); |
| 559 | return; |
| 560 | } |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 561 | // Error conditions here cause crashes, not file format errors, because the |
| 562 | // validity of the file structure before the current record will have been |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 563 | // checked informatively in NextSequentialVariableUnformattedInputRecord(). |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 564 | std::size_t got{ |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 565 | ReadFrame(frameOffsetInFile_ - headerBytes, headerBytes, handler)}; |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 566 | RUNTIME_CHECK(handler, got >= sizeof footer); |
| 567 | std::memcpy(&footer, Frame(), sizeof footer); |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 568 | recordLength = footer; |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 569 | RUNTIME_CHECK(handler, frameOffsetInFile_ >= *recordLength + 2 * headerBytes); |
| 570 | frameOffsetInFile_ -= *recordLength + 2 * headerBytes; |
| 571 | if (frameOffsetInFile_ >= headerBytes) { |
| 572 | frameOffsetInFile_ -= headerBytes; |
| 573 | recordOffsetInFrame_ = headerBytes; |
| 574 | } |
| 575 | auto need{static_cast<std::size_t>( |
| 576 | recordOffsetInFrame_ + sizeof header + *recordLength)}; |
| 577 | got = ReadFrame(frameOffsetInFile_, need, handler); |
| 578 | RUNTIME_CHECK(handler, got >= need); |
| 579 | std::memcpy(&header, Frame() + recordOffsetInFrame_, sizeof header); |
| 580 | RUNTIME_CHECK(handler, header == *recordLength); |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 581 | } |
| 582 | |
| 583 | // There's no portable memrchr(), unfortunately, and strrchr() would |
| 584 | // fail on a record with a NUL, so we have to do it the hard way. |
| 585 | static const char *FindLastNewline(const char *str, std::size_t length) { |
| 586 | for (const char *p{str + length}; p-- > str;) { |
| 587 | if (*p == '\n') { |
| 588 | return p; |
| 589 | } |
| 590 | } |
| 591 | return nullptr; |
| 592 | } |
| 593 | |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 594 | void ExternalFileUnit::BackspaceVariableFormattedRecord( |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 595 | IoErrorHandler &handler) { |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 596 | // File offset of previous record's newline |
| 597 | auto prevNL{ |
| 598 | frameOffsetInFile_ + static_cast<std::int64_t>(recordOffsetInFrame_) - 1}; |
| 599 | if (prevNL < 0) { |
| 600 | handler.SignalError(IostatBackspaceAtFirstRecord); |
| 601 | return; |
| 602 | } |
| 603 | while (true) { |
| 604 | if (frameOffsetInFile_ < prevNL) { |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 605 | if (const char *p{ |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 606 | FindLastNewline(Frame(), prevNL - 1 - frameOffsetInFile_)}) { |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 607 | recordOffsetInFrame_ = p - Frame() + 1; |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 608 | *recordLength = prevNL - (frameOffsetInFile_ + recordOffsetInFrame_); |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 609 | break; |
| 610 | } |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 611 | } |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 612 | if (frameOffsetInFile_ == 0) { |
| 613 | recordOffsetInFrame_ = 0; |
| 614 | *recordLength = prevNL; |
| 615 | break; |
| 616 | } |
| 617 | frameOffsetInFile_ -= std::min<std::int64_t>(frameOffsetInFile_, 1024); |
| 618 | auto need{static_cast<std::size_t>(prevNL + 1 - frameOffsetInFile_)}; |
| 619 | auto got{ReadFrame(frameOffsetInFile_, need, handler)}; |
| 620 | RUNTIME_CHECK(handler, got >= need); |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 621 | } |
peter klausler | 3b63571 | 2020-02-13 14:41:56 -0800 | [diff] [blame] | 622 | RUNTIME_CHECK(handler, Frame()[recordOffsetInFrame_ + *recordLength] == '\n'); |
| 623 | if (*recordLength > 0 && |
| 624 | Frame()[recordOffsetInFrame_ + *recordLength - 1] == '\r') { |
| 625 | --*recordLength; |
| 626 | } |
peter klausler | f7be251 | 2020-01-23 16:59:27 -0800 | [diff] [blame] | 627 | } |
peter klausler | 0006354 | 2020-07-03 12:38:22 -0700 | [diff] [blame] | 628 | |
| 629 | void ExternalFileUnit::DoImpliedEndfile(IoErrorHandler &handler) { |
| 630 | if (impliedEndfile_) { |
| 631 | impliedEndfile_ = false; |
| 632 | if (access == Access::Sequential && mayPosition()) { |
| 633 | DoEndfile(handler); |
| 634 | } |
| 635 | } |
| 636 | } |
| 637 | |
| 638 | void ExternalFileUnit::DoEndfile(IoErrorHandler &handler) { |
| 639 | endfileRecordNumber = currentRecordNumber; |
| 640 | Truncate(frameOffsetInFile_ + recordOffsetInFrame_, handler); |
| 641 | BeginRecord(); |
| 642 | impliedEndfile_ = false; |
| 643 | } |
Tim Keith | 1f87900 | 2020-03-28 21:00:16 -0700 | [diff] [blame] | 644 | } // namespace Fortran::runtime::io |