toFile method Null safety

RandomAccessFile toFile()

Extracts opened file from resource handle.

This can also be used when receiving stdin and stdout handles.

If this resource handle is not a file or stdio handle, the behavior of the returned RandomAccessFile is completely unspecified. Be very careful to avoid using a handle incorrectly.

Implementation

RandomAccessFile toFile();