Code contracts usage patterns when dealing with Files

Question

I ve just started using Code contract with .net and I had a Guard clause like this

if (!file.Exists(path)) throw FileNotFoundException();

and replaced it with

 Contract.Requires(File.Exists(path));

Note: the original question had a typo and it used to read Contract.Ensures()

I m not sure this is correct, because the contract will be dealing with a IO concern, but nto sure if this is a problem or not.

Basiecally the question is, is there any problem in using Contracts to ensure Io concerns (or external /non unit concerns) Thanks

Answer 1

• If you are unsure whether the file exists, don't use exceptions.
• If the file should exist, but may not in some exceptional case, use exceptions.
• If you are sure that it is a programming error that the file does not exist, use Contract.Ensures.

Answer 2

Whether a file exists is normally a pre-condition, you'd use Contract.Requires(). Enabling contract verification is optional and not normally turned on in the Release build. Which makes your test disappear.

Frankly, you shouldn't write code like this. Any attempt to use the file will generate an exception, it will be more informative than your version. It includes the name of the file that could not be found. More to the point, File.Exists() is unreliable on a multi-tasking operating system. The thread could be pre-empted right after the Exists() call and another thread in another process could delete the file. And you'll have a heisenbug on your hands: you'll get a FileNotFound exception, even though you tested that it existed.

My call: just delete the statement. It causes more problems than it solves.