Extend postcondition on Path.GetTempFileName

[yaakov-h]

Extends postcondition to not-null or whitespace, and length >= 4 since it must end with ".TMP"

Resolves #298.

[Daniel-Svensson]

The merge resutls in a build failure when invoking buildCC.bat

It seems like IsNullOrWhitespace is only awailible for .Net 4+ and Silverlight,
so maybe it should be replaced with IsNullOrEmpty or guireded by #if

"C:\Dev\CodeContracts\Microsoft.Research\ManagedContract.Setup\buildMSI10.xml" (All target) (1) ->
"C:\Dev\CodeContracts\CodeContracts.sln" (Clean;Rebuild target) (2) ->
"C:\Dev\CodeContracts\Microsoft.Research\Contracts\MsCorlib\MsCorlib.Contracts10.csproj.metaproj" (Rebuild target) (41:
3) ->
"C:\Dev\CodeContracts\Microsoft.Research\Contracts\MsCorlib\MsCorlib.Contracts10.csproj" (Rebuild target) (42:3) ->
(BuildMultiTargets target) ->
  CSC : warning CS8021: No value for RuntimeMetadataVersion found. No assembly containing System.Object was found nor w
as a value for RuntimeMetadataVersion specified through options. [C:\Dev\CodeContracts\Microsoft.Research\Contracts\MsC
orlib\MsCorlib.Contracts10.csproj]


"C:\Dev\CodeContracts\Microsoft.Research\ManagedContract.Setup\buildMSI10.xml" (All target) (1) ->
"C:\Dev\CodeContracts\CodeContracts.sln" (Clean;Rebuild target) (2) ->
"C:\Dev\CodeContracts\Microsoft.Research\Contracts\MsCorlib\MsCorlib.Contracts10.csproj.metaproj" (Rebuild target) (41:
3) ->
"C:\Dev\CodeContracts\Microsoft.Research\Contracts\MsCorlib\MsCorlib.Contracts10.csproj" (Rebuild target) (42:3) ->
(BuildMultiTargets target) ->
  System.IO.Path.cs(219,32): error CS0117: 'string' does not contain a definition for 'IsNullOrWhitespace' [C:\Dev\Code
Contracts\Microsoft.Research\Contracts\MsCorlib\MsCorlib.Contracts10.csproj]

[tom-englert]

a) All other contracts in system.io use "IsNullOrEmpty" - we should not start using "IsNullOrWhitespace" now for no special reason.
b) Every second time someone changes contracts the build is broken because the change only builds on one specific platform - it should be common sense to try a build before pushing changes 😞

[SergeyTeplyakov]

Ok. Without build automation, I'll kindly ask for the proof that build is working before merging PR.

[SergeyTeplyakov]

I'll create a PR with a fix in a couple of minutes.

[SergeyTeplyakov]

If someone will take a quick look, I'll merge the fix.

I've checked the build, It passed;)

[tom-englert]

👍

[yaakov-h]

Sorry about this. I forgot to verify this one.

Is anything happening with AppVeyor? I remember seeing something about that mentioned on another issue.