RandomAccessFile missing documentation on EOF

[gaaclarke]

The following methods don't state the behavior when reading reaches EOF:

• RandomAccessFile.read
• RandomeAccessFile.readSync

[mraleph]

/cc @brianquinlan

[Levi-Lesches]

Based on my tests, it seems like it truncates:

import "dart:io";

/// Re-open the file to read the _entire_ file each time
Future<void> readFile(int test, int len) async {
  final file = await File("temp.txt").open();
  final buffer = await file.read(len);
  print("Test $test: Read ${buffer.length} bytes");
}

Future<void> main() async {
  final length = await File("temp.txt").length();
  print("The file is $length bytes long");
  await readFile(1, length);
  await readFile(2, length + 10);
  await readFile(3, length - 10);
}

Output:

The file is 24 bytes long
Test 1: Read 24 bytes
Test 2: Read 24 bytes
Test 3: Read 14 bytes

[notcancername]

Dart 3 documentation also doesn't specify short read behavior.