Exemple #1
0
 public int GetUnusedFd()
 {
     Contract.Ensures(Files.IsAvailableFd(Contract.Result <int>()));
     return(Files.GetUnusedFd());
 }