Contract Request: System.IO.Stream
- The IO.Stream class is missing contracts (I checked the Read method, I assume others are also missing).
Answers
- I added contracts for Read, BeginRead, Write, and BeginWrite.
Cheers, -MaF (Manuel Fahndrich)- Marked As Answer byManuel FahndrichMSFT, OwnerFriday, October 23, 2009 11:35 PM
All Replies
- I added contracts for Read, BeginRead, Write, and BeginWrite.
Cheers, -MaF (Manuel Fahndrich)- Marked As Answer byManuel FahndrichMSFT, OwnerFriday, October 23, 2009 11:35 PM
- The contracts you applied are not all correct.
I'm getting warnings: requires is false: offset + count < buffer.Length
That < should be <=. - Duh, you're right of course. I was a bit in a hurry yestereday. Sorry about that.
Cheers, -MaF (Manuel Fahndrich) - If I turn off the rewriter, will my program stop crashing due to violating the incorrect contract?
