FILE

Used .NET classes

• FILEINFO
• FILESTREAM
• IntPtr (POINTER)
• DateTime

Static methods used

• None

Security notes

• Users need the correct permissions to access information relative to files.

Unhandled exceptions

• All permission exceptions triggered by FILE.
• Exceptions raised when a file doesn't exist.
• There are conversions from int64 to int32 here and there (count, file_descriptor,...), which may raise overflow exceptions.

Other notes

The behavior mimics the behavior under Windows (no inode, no user, etc).

File descriptors are supported, but they require a C call: they are not natively supported by .NET.

Haven't figured out yet how to implement the retrieve process.

Reopening files doesn't work. reopen* only closes the file and opens another one, according to the parameter name.

Link doesn't do anything. I believe it was already the case on Windows anyway.

Adding and removing permissions on files is not supported.

extend and copy_to seem buggy to me (extend does a put_character, copy_to erases the contents of last_string (which is a side effect)), but those are the behaviors in Base.

There is no precondition on put*!! There is definitely a design issue here.

There is no way to read a boolean in a file. This seems crappy (it is possible to write one).