Merge pull request #305 from yaakov-h/pr-PathGetTempFileName

Extend postcondition on Path.GetTempFileName
microsoft · Nov 20, 2015 · 366e422 · 366e422
2 parents bd2c4c4 + 9fccb9d
commit 366e422
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Microsoft.Research/Contracts/MsCorlib/System.IO.Path.cs b/Microsoft.Research/Contracts/MsCorlib/System.IO.Path.cs
@@ -216,7 +216,8 @@ public static string GetRandomFileName()
 
     public static string GetTempFileName()
     {
-      Contract.Ensures(Contract.Result<string>() != null);
+      Contract.Ensures(!string.IsNullOrWhitespace(Contract.Result<string>()));
+      Contract.Ensures(Contract.Result<string>().Length >= 4);
       Contract.EnsuresOnThrow<System.IO.IOException>(true, @"An I/O error occurs, such as no unique temporary file name is available. - or - This method was unable to create a temporary file.");
       return default(string);
     }